i1 : R = QQ[x] o1 = R o1 : PolynomialRing |
i2 : I = ideal (x^2-1) 2 o2 = ideal(x - 1) o2 : Ideal of R |
i3 : cellularBinomialIsPrimary (I,ReturnPChars=>true) The radical is not prime, as the character is not saturated o3 = {{{x}, | 1 |, {1}}, {{x}, | 1 |, {-1}}} o3 : List |
The object ReturnPChars is a symbol.