affine k-algebra 계산을위한 라이브러리?

Question

F_2 여기서 F_2는 2 요소 유한 필드이고 <f^2 - f>은 모든 요소에 대해 f^2 - f에서 생성 된 이상입니다. F_2[...]의 f. (나는/희망/이것이 xor를 + and와 * [ 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" 

이 코드는 하스켈에서 작성했지만 성능은 좋지 않습니다.

주 : "affine k-algebra"라는 제목은 Eisenbud 's Commutative Algebra에서 Algebraic Geometry를 향한 견해로 나옵니다. 35; 더 좋은 이름이 있으면 질문을 수정하십시오, 감사합니다!

Answer 1

나는이 분야에서 수년간 많은 연구를 해왔으며, 내가 선호하는 시스템 [http://www.sagemath.org/]으로 Sage를 사용하고있다. 그것은 매우 효율적이며 체계와 다른 대수적 구조를위한 자연어를 가지고 있습니다. 내가 사용하고 즐기는 다른 것들은 OpenAxiom과 Magma입니다. 필자는 MathCad와 Mathematica를 피하는 경향이 있습니다. 왜냐하면 파서의 오버 헤드가 많고 계산이 해결되지 않은 인터페이스와 관련된 많은 팽창을 제공하는 경향이 있기 때문입니다.

어파인 스키마에 대한 지원의 예는 http://www.sagemath.org/doc/reference/sage/schemes/generic/affine_space.html?highlight=affine#sage.schemes.generic.affine_space