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.