Macaulay2 » Documentation
Packages » InvariantRing :: RingOfInvariants
next | previous | forward | backward | up | index | toc

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

Description

This class is provided by the package InvariantRing.

RingOfInvariants is the class of rings of invariants when a finite group, an Abelian group or a linearly reductive group acts on a polynomial ring.

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:

For the programmer

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


The source of this document is in InvariantRing/InvariantsDoc.m2:908:0.