用于仿射 k 代数计算的库？ [关闭]答案

【问题标题】：library for affine k-algebra computations? [closed]用于仿射 k 代数计算的库？ [关闭]
【发布时间】：2011-08-31 04:14:40
【问题描述】：

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

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

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

例如，

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"

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

注意：标题“仿射 k 代数”来自 Eisenbud 的 Commutative Algebra with a View Toward Algebraic Geometry 书 p。 35;如果有更好的名字，请编辑问题，谢谢！

【问题讨论】：

标签： haskell polynomial-math computer-algebra-systems

【解决方案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看到一个支持仿射方案的示例

【讨论】：