ainvar.lib
Invariant Rings of the Additive Group
Gerhard Pfister (email: pfister@mathematik.uni-kl.de), Gert-Martin Greuel (email: greuel@mathematik.uni-kl.de)
Procedures:
D.6.2.1 invariantRing compute ring of invariants of (K,+)-action given by m D.6.2.2 derivate derivation of f with respect to the vector field m D.6.2.3 actionIsProper tests whether action defined by m is proper D.6.2.4 reduction SAGBI reduction of p in the subring generated by I D.6.2.5 completeReduction complete SAGBI reduction D.6.2.6 localInvar invariant polynomial under m computed from p,... D.6.2.7 furtherInvar compute further invariants of m from the given ones D.6.2.8 sortier sorts generators of id by increasing leading terms