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

From ApCoCoAWiki
(New page: <command> <title>diffalg.Differentiate</title> <short_description>Computes the derivation of a polynomial.</short_description> <syntax> $diffalg.Differentiate(F:POLY):POLY </syntax...)
 
m (replaced <quotes> tag by real quotes)
 
(12 intermediate revisions by 4 users not shown)
Line 1: Line 1:
 +
{{Version|1}}
 
<command>
 
<command>
     <title>diffalg.Differentiate</title>
+
     <title>DA.Differentiate</title>
     <short_description>Computes the derivation of a polynomial.</short_description>
+
     <short_description>Computes the derivation of a differential polynomial.</short_description>
 
<syntax>
 
<syntax>
$diffalg.Differentiate(F:POLY):POLY
+
DA.Differentiate(F:POLY):POLY
 
</syntax>
 
</syntax>
 
<description>
 
<description>
The function computes the derivation of the polynomial F.
+
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>
 +
<item>@param <em>F</em> A differential polynomial.</item>
 +
<item>@return The derivation of <tt>F</tt>.</item>
 +
</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;
$diffalg.Differentiate(F);
+
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]
 
x[1,2]x[1,4]^2 + 2x[1,1]x[1,4]x[1,5] - 3x[2,4]^2x[2,5]
 +
-------------------------------
 +
</example>
 +
<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.")
 
-------------------------------
 
-------------------------------
 
</example>
 
</example>
 
</description>
 
</description>
<wiki-category>Package_diffalg</wiki-category>
+
<types>
 +
<type>polynomial</type>
 +
</types>
 +
<see>ApCoCoA-1:DA.NthDerivation|DA.NthDerivation</see>
 +
 
 +
<key>Differentiate</key>
 +
<key>DA.Differentiate</key>
 +
<key>diffalg.Differentiate</key>
 +
<key>differential.Differentiate</key>
 +
<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.")
-------------------------------

DA.NthDerivation