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.
Only works for ideals in (commutative)polynomial rings or quotients of polynomial rings over a prime field, might have bugs in small characteristic and larger degree (although, many of these cases are caught correctly).