### 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

User manual for Singular version 4-0-3, 2016, generated by texi2html.