The following returns two minimal generators (Serre's Theorem: a codim 2 Gorenstein ideal is a complete intersection.)
|
|
|
Without trimming we would get 4 generators instead.
|
Sometimes the extra time to find the minimal generators is too large. This allows one to bypass this part of the computation.
|
|
|
|
|
|
|
The object MinimalGenerators is a symbol.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/Macaulay2Doc/functions/trim-doc.m2:84:0.