magma-ca - LHS理想系数环中的运行时错误必须是一个字段

Question

我正在岩浆中尝试以下代码

   z:=Integers();
   P<x>:=PolynomialRing(z);
   ideal<P|x>;

我也试过：

 z:=GR(2,2,1);
 P<x>:=PolynomialRing(z);
 ideal<P|x>;

两者都显示相同的错误“理想中的运行时错误< ... >：LHS的系数环必须是一个字段”我试图构建Z [x]的理想