Find the minimal primes of an ideal in a polynomial ring over a prime field, or a quotient ring of that. These are the geometric components of the corresponding algebraic set.
The main routine is minprimes, although in a future release this will be renamed to minimalPrimes.
Use
installMinprimes to replace the system versions of ’decompose Ideal’, ’minimalPrimes Ideal’ and ’isPrime Ideal’. Warning! Although this code passes many tests, it has not been used any where near as often as the ’decompose’ function in Macaulay2. However, in many cases the new function is
much faster.