Home Online Manual
Top
Back: Invariant theory
Forward: invariant_ring
FastBack: Singularities
FastForward: ainvar_lib
Up: Invariant theory
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.1 finvar_lib

Library:
finvar.lib
Purpose:
Invariant Rings of Finite Groups
Author:
Agnes E. Heydtmann, contact via Wolfram Decker: decker@mathematik.uni-kl.de Simon A. King, email: simon.king@nuigalway.ie

Overview:
A library for computing polynomial invariants of finite matrix groups and generators of related varieties. The algorithms are based on B. Sturmfels, G. Kemper, S. King and W. Decker et al..

Procedures:

D.7.1.1 invariant_ring  generators of the invariant ring (i.r.)
D.7.1.2 invariant_ring_random  generators of the i.r., randomized alg.
D.7.1.3 primary_invariants  primary invariants (p.i.)
D.7.1.4 primary_invariants_random  primary invariants, randomized alg.
D.7.1.5 invariant_algebra_reynolds  minimal generating set for the invariant ring of a finite matrix group, in the non-modular case
D.7.1.6 invariant_algebra_perm  minimal generating set for the invariant ring or a permutation group, in the non-modular case
D.7.1.7 cyclotomic  cyclotomic polynomial
D.7.1.8 group_reynolds  finite group and Reynolds operator (R.o.)
D.7.1.9 molien  Molien series (M.s.)
D.7.1.10 reynolds_molien  Reynolds operator and Molien series
D.7.1.11 partial_molien  partial expansion of Molien series
D.7.1.12 evaluate_reynolds  image under the Reynolds operator
D.7.1.13 invariant_basis  basis of homogeneous invariants of a degree
D.7.1.14 invariant_basis_reynolds  as invariant_basis(), with R.o.
D.7.1.15 primary_char0  primary invariants (p.i.) in char 0
D.7.1.16 primary_charp  primary invariants in char p
D.7.1.17 primary_char0_no_molien  p.i., char 0, without Molien series
D.7.1.18 primary_charp_no_molien  p.i., char p, without Molien series
D.7.1.19 primary_charp_without  p.i., char p, without R.o. or Molien series
D.7.1.20 primary_char0_random  primary invariants in char 0, randomized
D.7.1.21 primary_charp_random  primary invariants in char p, randomized
D.7.1.22 primary_char0_no_molien_random  p.i., char 0, without M.s., randomized
D.7.1.23 primary_charp_no_molien_random  p.i., char p, without M.s., randomized
D.7.1.24 primary_charp_without_random  p.i., char p, without R.o. or M.s., random.
D.7.1.25 power_products  exponents for power products
D.7.1.26 secondary_char0  secondary invariants (s.i.) in char 0
D.7.1.27 irred_secondary_char0  irreducible s.i. in char 0
D.7.1.28 secondary_charp  s.i. in char p, with Molien series and Reynolds operator
D.7.1.29 secondary_no_molien  s.i., without Molien series but with Reynolds operator
D.7.1.30 irred_secondary_no_molien  irreducible s.i., without Molien series but with Reynolds operator
D.7.1.31 secondary_and_irreducibles_no_molien  s.i. & irreducible s.i., without M.s.
D.7.1.32 secondary_not_cohen_macaulay  s.i. when the invariant ring is not Cohen-Macaulay
D.7.1.33 orbit_variety  ideal of the orbit variety
D.7.1.34 rel_orbit_variety  ideal of a relative orbit variety (new version)
D.7.1.35 relative_orbit_variety  ideal of a relative orbit variety (old version)
D.7.1.36 image_of_variety  ideal of the image of a variety orbit_sums orbit sums of a set of monomials under the action of a permutation group