i1 : R = QQ[x,y,z] o1 = R o1 : PolynomialRing |
i2 : I = ideal(x-y,z^3)
3
o2 = ideal (x - y, z )
o2 : Ideal of R
|
i3 : binomialIsPrimary I o3 = true |
The object binomialIsPrimary is a function closure.