使用Macaulay2显示商环是一个字段

Question

我是Macaulay2的新手。我试图使用以下命令来显示商环S = ZZ_977 [x] /＆lt; 7x ^ 11 + 4x ^ 5-23x ^ 4 + x-27＆gt;是一个领域：

i2 : S = ZZ[x]/<7*x^11+4*x^5-23*x^4+x-27>
o2 = S
     IsField S

但它不起作用。我在互联网上查了一下但是他们没有报道这一部分。有人可以帮忙吗？谢谢！

Answer 1

您正在寻找的命令（或M2中的方法）是IsField而不是{{1}}。

  

i1：R = ZZ [x];

     

i2：I =理想（7 * x ^ 11 + 4 * x ^ 5-23 * x ^ 4 + x-27）;

     

o2：R

的理想选择      

i3：S = R / I;

     

i4：isField S

     

o4 = false

     

i5：isField（ZZ / 2）

     

o5 = true

但是（或者至少截至2014年2月）有一个major caveat关于使用这个内部M2方法来测试商环是否是一个场（交替测试理想的最大值）。

更一般地说，Macaulay2 style guide适用于命名方法和变量的规则是

  

表示方法的名称必须是动词并以大小写形式书写   以小写字母开头。

     

前缀＆＃34;是＆＃34;应该用于布尔变量和方法。