Difference between revisions of "ApCoCoA-1:DA.Differentiate"
From ApCoCoAWiki
m (replaced <quotes> tag by real quotes) |
|||
| (6 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
| + | {{Version|1}} | ||
<command> | <command> | ||
<title>DA.Differentiate</title> | <title>DA.Differentiate</title> | ||
| Line 6: | Line 7: | ||
</syntax> | </syntax> | ||
<description> | <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. | + | The function computes the derivation of the polynomial <tt>F</tt>. 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 <em>F</em> 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 <tt>F</tt>.</item> |
</itemize> | </itemize> | ||
<example> | <example> | ||
| − | Use | + | 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 21: | ||
</example> | </example> | ||
<example> | <example> | ||
| − | Use | + | 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); | ||
| Line 32: | Line 33: | ||
<type>polynomial</type> | <type>polynomial</type> | ||
</types> | </types> | ||
| − | <see>DA.NthDerivation</see> | + | <see>ApCoCoA-1:DA.NthDerivation|DA.NthDerivation</see> |
<key>Differentiate</key> | <key>Differentiate</key> | ||
| Line 38: | Line 39: | ||
<key>diffalg.Differentiate</key> | <key>diffalg.Differentiate</key> | ||
<key>differential.Differentiate</key> | <key>differential.Differentiate</key> | ||
| − | <wiki-category>Package_diffalg</wiki-category> | + | <wiki-category>ApCoCoA-1:Package_diffalg</wiki-category> |
</command> | </command> | ||
Latest revision as of 13:29, 29 October 2020
| This article is about a function from ApCoCoA-1. |
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.")
-------------------------------
