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’. In many cases the new function is much faster, although there are cases when the older, current, version is 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).
This documentation describes version 0.9 of MinimalPrimes.
The source code from which this documentation is derived is in the file MinimalPrimes.m2. The auxiliary files accompanying it are in the directory MinimalPrimes/.