RingOfInvariants -- the class of the rings of invariants under the action of a finite group, an Abelian group or a linearly reductive group

Functions and methods returning an object of class RingOfInvariants :

• invariantRing(GroupAction) -- see invariantRing -- the ring of invariants of a group action
• PolynomialRing ^ GroupAction -- see invariantRing -- the ring of invariants of a group action
• QuotientRing ^ LinearlyReductiveAction -- see invariantRing -- the ring of invariants of a group action

Methods that use an object of class RingOfInvariants :

• action(RingOfInvariants) -- see action -- the group action that produced a ring of invariants
• ambient(RingOfInvariants) -- the ambient polynomial ring where the group acted upon
• definingIdeal(RingOfInvariants) -- see definingIdeal -- presentation of a ring of invariants as polynomial ring modulo the defining ideal
• generators(RingOfInvariants) -- the generators for a ring of invariants
• hilbertSeries(RingOfInvariants) -- Hilbert series of the invariant ring
• net(RingOfInvariants) -- format for printing, as a net

For the programmer

The object RingOfInvariants is a type, with ancestor classes HashTable < Thing.