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