在 Magma 中定义一个新的归约算子

问题描述

标题或多或少说明了一切,我想定义一个新的归约运算符(请参阅文档 here),但我找不到任何 if 示例。如果有人知道,那就太好了!

顺便说一句,我没有找到一种方法来计算给定操作的集合的闭包,所以我创建了自己的内在函数,但是如果有人也知道如何做到这一点,我将非常感激:D

解决方法

暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!

如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@)