up previous next
Action of a derivation
DerivationAction(D: RINGELEM, P: RINGELEM)
Thanks to Enrico Carlini.
Given the polynomial
and the derivation
, this function
computes the action of
For the sake of simplicity Forms/Polynomials and Derivations live in
the same ring, the distinction between them is purely formal.
/**/ use R ::= QQ[x,y,z];
/**/ DerivationAction(x*y*z, x^3+x*y*z);