i1 : R = QQ[x,y,z] o1 = R o1 : PolynomialRing |
i2 : I = ideal (x^2-1)
2
o2 = ideal(x - 1)
o2 : Ideal of R
|
i3 : binomialIsPrimary (I,returnPrimes=>true)
CellVariables not given, Please consider precomputing them
The radical is not prime, as the character is not saturated
o3 = {ideal(x - 1), ideal(x + 1)}
o3 : List
|
The object returnPrimes is a symbol.