up previous next
DerivationAction --
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
|