The binomial minimal primes of a binomial ideal over QQ exist only in extension fields.
R = QQ[x,y,z] |
I = ideal(y^3,y^2*z^2-x^3,x*y^2*z,x^3*z-x*y) |
binomialMinimalPrimes I |
If the option
Verbose is set (default), then output about the number of components found so far will be generated.