Difference between revisions of "ApCoCoA-1:DA.Differentiate"
From ApCoCoAWiki
m (Bot: Category moved) |
m (fixed links to namespace ApCoCoA) |
||
| Line 32: | Line 32: | ||
<type>polynomial</type> | <type>polynomial</type> | ||
</types> | </types> | ||
| − | <see>DA.NthDerivation</see> | + | <see>ApCoCoA-1:DA.NthDerivation|DA.NthDerivation</see> |
<key>Differentiate</key> | <key>Differentiate</key> | ||
Revision as of 08:10, 7 October 2020
DA.Differentiate
Computes the derivation of a differential polynomial.
Syntax
DA.Differentiate(F:POLY):POLY
Description
The function computes the derivation of the polynomial F. If the order of the result would exceed the given maximum order as implied by the current ring, an error is thrown.
@param F A differential polynomial.
@return The derivation of F.
Example
Use QQ[x[1..2,0..20]]; F:=x[1,4]^2*x[1,1]-x[2,4]^3; DA.Differentiate(F); ------------------------------- x[1,2]x[1,4]^2 + 2x[1,1]x[1,4]x[1,5] - 3x[2,4]^2x[2,5] -------------------------------
Example
Use QQ[x[1..2,0..20]]; F:=x[1,20]^2*x[1,1]-x[2,4]^3; DA.Differentiate(F); ------------------------------- ERROR: Maximum order is exceeded. CONTEXT: Error(<quotes>Maximum order is exceeded.</quotes>) -------------------------------
