Difference between revisions of "ApCoCoA-1:DA.Differentiate"

From ApCoCoAWiki
(Corrected example.)
Line 12: Line 12:
 
</itemize>
 
</itemize>
 
<example>
 
<example>
Use Q[x[1..2,0..20]];
+
Use QQ[x[1..2,0..20]];
 
F:=x[1,4]^2*x[1,1]-x[2,4]^3;
 
F:=x[1,4]^2*x[1,1]-x[2,4]^3;
 
DA.Differentiate(F);
 
DA.Differentiate(F);
Line 20: Line 20:
 
</example>
 
</example>
 
<example>
 
<example>
Use Q[x[1..2,0..20]];
+
Use QQ[x[1..2,0..20]];
 
F:=x[1,20]^2*x[1,1]-x[2,4]^3;
 
F:=x[1,20]^2*x[1,1]-x[2,4]^3;
 
DA.Differentiate(F);
 
DA.Differentiate(F);

Revision as of 11:02, 28 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 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("Maximum order is exceeded.")
-------------------------------

DA.NthDerivation