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>;

両方とも同じエラー「Runtime error in idea< ... >: Coefficient ring of LHS must be a field」が表示されます。