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