> | ### 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.4.1, 2025, generated by texi2html.