D.6.3 rinvar_lib

Library:

rinvar.lib

Purpose:

Invariant Rings of Reductive Groups

Author:

Thomas Bayer, tbayer@in.tum.de
http://wwwmayr.informatik.tu-muenchen.de/personen/bayert/ Current Adress: Institut fuer Informatik, TU Muenchen

Overview:

Implementation based on Derksen’s algorithm. Written in the frame of the diploma thesis (advisor: Prof. Gert-Martin Greuel) ’Computations of moduli spaces of semiquasihomogeneous singularities and an implementation in Singular’

Procedures:

D.6.3.1 HilbertSeries		Hilbert series of the ideal I w.r.t. weight w
D.6.3.2 HilbertWeights		weighted degrees of the generators of I
D.6.3.3 ImageVariety		ideal of the image variety F(variety(I))
D.6.3.4 ImageGroup		ideal of G w.r.t. the induced representation
D.6.3.5 InvariantRing		generators of the invariant ring of G
D.6.3.6 InvariantQ		decide if f is invariant w.r.t. G
D.6.3.7 LinearizeAction		linearization of the action ’Gaction’ of G
D.6.3.8 LinearActionQ		decide if action is linear in var(s..nvars)
D.6.3.9 LinearCombinationQ		decide if f is in the linear hull of ’base’
D.6.3.10 MinimalDecomposition		minimal decomposition of f (like coef)
D.6.3.11 NullCone		ideal of the null cone of the action ’act’ of G
D.6.3.12 ReynoldsImage		image of f under the Reynolds operator ’RO’
D.6.3.13 ReynoldsOperator		Reynolds operator of the group G
D.6.3.14 SimplifyIdeal		simplify the ideal I (try to reduce variables)
D.6.3.15 TransferIdeal		transfer the ideal ’name’ from R to basering

See also: qhmoduli_lib; zeroset_lib.