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 |