next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
InvariantRing :: InvariantRing

InvariantRing -- a package to construct the invariant ring of a finite group


InvariantRing is a package that enables the user to construct the invariant ring of a finite matrix subgroup of GL(n,K) as a free module decomposition. It outputs primary invariants f1,...,fn and secondary invariants g1,...,gr such that K[x1,...,xn]G=Ag1...Agr, where A=K[f1,...,fn].

See also


Certification a gold star

Version 1.1.0 of this package was accepted for publication in volume 5 of the journal The Journal of Software for Algebra and Geometry on 2013-05-16, in the article Computing the invariant ring of a finite group. That version can be obtained from the journal or from the Macaulay2 source code repository,, commit number 68f41d641fadb0a1054023432eb60177f1d7cbd9.


This documentation describes version 1.1.0 of InvariantRing.

Source code

The source code from which this documentation is derived is in the file InvariantRing.m2.