标签: gap-system

这个问题可以指任何计算机代数系统,它能够从一组多项式(Mathematica,Singular,GAP,Macaulay2,MatLab等)计算Groebner基础.

我正在使用一个超定的多项式系统,其中完整的groebner基础太难以计算,但是对于我来说,能够打印出找到的groebner基本元素对我来说是有价值的,这样我就可以知道是否有特定的多项式是基于groebner的.有没有办法做到这一点？

尽管抽象代数附加组件对于Mathematica来说是一个很好的包,但是没有任何东西可以胜过GAP,至少不是群论.几年前,当我看着Sage的时候,我发现据说它与Mma有一个接口,但是当我仔细观察它时,它变得有点原始(但是可操作).我知道埃因霍温技术大学(OpenMath)已经在一个集成/连接主要数学工具的平台上完成了工作,我甚至开始研究它.但那项工作迷失了.现在问我的问题:

GAP和Mathematica之间的接口是否存在,是否有人愿意分享？

如何使用GAP从乘法表中识别组的名称？我知道您可以从一组生成器中定义一个组,然后在内部表集中查找该组

gap> g := Group([ (1,2), (1,2,3,4,5) ]);    
Group([ (1,2), (1,2,3,4,5) ])

gap> IdGroup(g);                            
[ 120, 34 ]

但是如何找出小组的名字[120,34]？

最小工作示例：

x:=Indeterminate(Rationals,"x");
f:=Sum([1..1000],i->x^i);
PrintTo("~/temp.txt",f);

它打印出temp.txt以下内容：

x^1000+x^999+x^998+x^997+x^996+x^995+x^994+x^993+x^992+x^991+x^990+x^989+x^988\
+x^987+x^986+x^985+x^984+x^983+x^982+x^981+x^980+x^979+x^978+x^977+x^976+x^975\
+x^974+x^973+x^972+x^971+x^970+x^969+x^968+x^967+x^966+x^965+x^964+x^963+x^962\
+x^961+x^960+x^959+x^958+x^957+x^956+x^955+x^954+x^953+x^952+x^951+x^950+x^949\

[snip]

我怎样才能让它在文本文件中的一行上打印？