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

From ApCoCoAWiki
Line 1: Line 1:
 
<command>
 
<command>
 
     <title>diffalg.NthDerivation</title>
 
     <title>diffalg.NthDerivation</title>
     <short_description>Computes the n-th derivation of a differential polynomial.</short_description>
+
     <short_description>the n-th derivation of a differential polynomial</short_description>
 
<syntax>
 
<syntax>
 
$diffalg.NthDerivation(F:POLY, N:INT):POLY
 
$diffalg.NthDerivation(F:POLY, N:INT):POLY

Revision as of 09:10, 22 December 2008

diffalg.NthDerivation

the n-th derivation of a differential polynomial

Syntax

$diffalg.NthDerivation(F:POLY, N:INT):POLY

Description

Computes the N-th derivation of the differential polynomial F. If the order of the result would exceed the given maximum order as implied by the current ring, an error is thrown.

Example

Use Q[x[1..2,0..20]];
F:=x[1,2]^2*x[1,1]-x[2,4]^3;
$diffalg.NthDerivation(F, 2);
-------------------------------
5x[1,2]^2x[1,3] + 2x[1,1]x[1,3]^2 + 2x[1,1]x[1,2]x[1,4] - 6x[2,4]x[2,5]^2 - 3x[2,4]^2x[2,6]
-------------------------------

Use Q[x[1..2,0..20]];
F:=x[1,2]^2*x[1,1]-x[2,4]^3;
$diffalg.NthDerivation(F, 20);
-------------------------------
ERROR: Maximum order is exceeded.
CONTEXT: Error("Maximum order is exceeded.")
-------------------------------

Diffalg.Differentiate