invariants(...,SubringLimit=>...) -- GB option for invariants

Description

The computation of invariants of linearly reductive group actions requires the use of Gröbner bases. These options allow partial control over the computation performed by invariants(LinearlyReductiveAction) and hilbertIdeal(LinearlyReductiveAction), allowing to terminate the computation after a certain number of invariants are obtained. For more information, see gb.

Further information

• Default value: infinity
• Function: invariants -- computes the generating invariants of a group action
• Option key: SubringLimit -- stop after finding enough elements of a subring

See also

• invariants(LinearlyReductiveAction) -- invariant generators of Hilbert ideal
• hilbertIdeal(LinearlyReductiveAction) -- compute generators for the Hilbert ideal

Functions with optional argument named SubringLimit :

• gb(...,SubringLimit=>...) -- see gb -- compute a Gröbner basis
• hilbertIdeal(...,SubringLimit=>...)
• invariants(...,SubringLimit=>...) -- GB option for invariants
• kernel(...,SubringLimit=>...)