top
|
index
|
Macaulay2 web site
InvariantRing : Table of Contents
InvariantRing
-- a package to construct the invariant ring of a finite group
generateGroup
-- a brute-force algorithm to generate a group from a list of matrices
generateGroup(..., OrderBound => ...)
-- an optional argument for generateGroup that bounds the permissible order of the group
hsop algorithms
-- an overview of the algorithms used in primaryInvariants
invariantRing
-- calculates a Hironaka decomposition for the invariant ring of a finite group
invariantRing(..., DegreeVector => ...)
-- an optional argument for invariantRing that finds primary invariants of certain degrees
invariantRing(..., IsGroup => ...)
-- an optional argument for invariantRing that specifies whether the List is a group
invariantRing(..., PrintDegreePolynomial => ...)
-- an optional argument for invariantRing that determines the printing of an informative polynomial
molienSeries
-- computes the Molien (Hilbert) series of the invariant ring of a finite group
primaryInvariants
-- computes a list of primary invariants for the invariant ring of a finite group
primaryInvariants(..., Dade => ...)
-- an optional argument for primaryInvariants determining whether to use the Dade algorithm
primaryInvariants(..., DegreeVector => ...)
-- an optional argument for primaryInvariants that finds invariants of certain degrees
reynoldsOperator
-- the Reynolds operator for averaging a polynomial over a finite group
secondaryInvariants
-- computes secondary invariants for the invariant ring of a finite group
secondaryInvariants(..., PrintDegreePolynomial => ...)
-- an optional argument for secondaryInvariants that determines the printing of an informative polynomial