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

Description

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

Author

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, http://github.com/Macaulay2/M2/blob/master/M2/Macaulay2/packages/InvariantRing.m2, commit number 68f41d641fadb0a1054023432eb60177f1d7cbd9.

Version

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.

Exports