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].
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, http://github.com/Macaulay2/M2/blob/master/M2/Macaulay2/packages/InvariantRing.m2, commit number 68f41d641fadb0a1054023432eb60177f1d7cbd9.
This documentation describes version 1.1.0 of InvariantRing.
The source code from which this documentation is derived is in the file InvariantRing.m2.