ApCoCoA-1:DA.Differentiate

From ApCoCoAWiki
Revision as of 09:04, 22 December 2008 by S schuster (talk | contribs)

diffalg.Differentiate

the derivation of a differential polynomial

Syntax

$diffalg.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.

Example

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

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

Diffalg.NthDerivation