up previous next
Action of a derivation
DerivationAction(D: RINGELEM, P: RINGELEM)

Thanks to Enrico Carlini.
Given the polynomial
P
and the derivation
D
, this function
computes the action of
D
on
P
.
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);
1
