i1 : R = QQ[x,y] 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 |