Difference between revisions of "ApCoCoA-1:DA.Differentiate"
From ApCoCoAWiki
S schuster (talk | contribs) (New page: <command> <title>diffalg.Differentiate</title> <short_description>Computes the derivation of a polynomial.</short_description> <syntax> $diffalg.Differentiate(F:POLY):POLY </syntax...) |
S schuster (talk | contribs) |
||
Line 6: | Line 6: | ||
</syntax> | </syntax> | ||
<description> | <description> | ||
− | The function computes the derivation of the polynomial F. | + | 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> | <example> | ||
Use Q[x[1..2,0..20]]; | Use Q[x[1..2,0..20]]; | ||
Line 13: | Line 13: | ||
------------------------------- | ------------------------------- | ||
x[1,2]x[1,4]^2 + 2x[1,1]x[1,4]x[1,5] - 3x[2,4]^2x[2,5] | 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.") | ||
------------------------------- | ------------------------------- | ||
</example> | </example> |
Revision as of 12:07, 8 December 2008
diffalg.Differentiate
Computes the derivation of a 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.") -------------------------------