binomialIsPrime I
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.