Question

我正在寻找一个有助于计算环中多项式运算的库或计算机代数系统

F_2[x_1, ..., x_n] / <f^2 - f>

其中F_2是2元素有限域，而<f^2 - f>是f^2 - f中f中所有F_2[...]的元素x_1 = poly_xn 1 x_2 = poly_xn 2 x_1 * x_2 * x_1 -- returns "x_1 * x_2" x_1 + x_1 + x_2 -- returns "x_2"生成的理想值。（我认为/希望/我很确定这是使用xor作为+和* [wikipedia]）的布尔代数环。

例如，

{{1}}

我已经在Haskell中为此编写了代码，但不幸的是性能不是很好。

注意：标题“仿射k-代数”来自艾森伯德的交换代数，其中包含一个代数几何图书。 35;如果有更好的名字，请编辑问题，谢谢！

Answer 1

多年来我在这方面做了很多工作，发现自己使用Sage作为我的首选系统[http://www.sagemath.org/]。它非常有效，并且具有方案和其他代数结构的自然语言。我用过和喜欢的其他人是OpenAxiom和Magma。我倾向于避免使用MathCad和Mathematica，因为它们在解析器中往往会有很多开销，并且提供了与它们的接口相关的大量膨胀，而这些接口与解决计算无关。

可以在http://www.sagemath.org/doc/reference/sage/schemes/generic/affine_space.html?highlight=affine#sage.schemes.generic.affine_space

看到支持仿射方案的示例

用于仿射k-代数计算的库？

1 个答案: