Home Online Manual
Top
Back: image_of_variety
Forward: invariantRing
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.2 ainvar_lib

Library:
ainvar.lib
Purpose:
Invariant Rings of the Additive Group
Authors:
Gerhard Pfister (email: pfister@mathematik.uni-kl.de), Gert-Martin Greuel (email: greuel@mathematik.uni-kl.de)

Procedures:

D.7.2.1 invariantRing  compute ring of invariants of (K,+)-action given by m
D.7.2.2 derivate  derivation of f with respect to the vector field m
D.7.2.3 actionIsProper  tests whether action defined by m is proper
D.7.2.4 reduction  SAGBI reduction of p in the subring generated by I
D.7.2.5 completeReduction  complete SAGBI reduction
D.7.2.6 localInvar  invariant polynomial under m computed from p,...
D.7.2.7 furtherInvar  compute further invariants of m from the given ones
D.7.2.8 sortier  sorts generators of id by increasing leading terms