Difference between revisions of "ApCoCoA-1:DA.Differentiate"
From ApCoCoAWiki
S schuster (talk | contribs) m (ApCoCoA:Diffalg.Differentiate moved to ApCoCoA:DA.Differentiate: To comply with style principles.) |
|||
| Line 8: | Line 8: | ||
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. | 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. | ||
<itemize> | <itemize> | ||
| − | <item>@param F A differential polynomial.</item> | + | <item>@param <em>F</em> A differential polynomial.</item> |
<item>@return The derivation of F.</item> | <item>@return The derivation of F.</item> | ||
</itemize> | </itemize> | ||
| Line 33: | Line 33: | ||
</types> | </types> | ||
<see>DA.NthDerivation</see> | <see>DA.NthDerivation</see> | ||
| + | |||
<key>Differentiate</key> | <key>Differentiate</key> | ||
<key>DA.Differentiate</key> | <key>DA.Differentiate</key> | ||
Revision as of 11:04, 23 April 2009
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 Q[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 Q[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("Maximum order is exceeded.")
-------------------------------
