ApCoCoA-1:DA.LD: Difference between revisions
From ApCoCoAWiki
S schuster (talk | contribs) m ApCoCoA:Diffalg.LD moved to ApCoCoA:DA.LD: To comply with style principles. |
No edit summary |
||
| Line 8: | Line 8: | ||
DA.LD computes the leading derivative of polynomial F wrt. the current differential term ordering, or the hereby induced ranking respectivly. | DA.LD computes the leading derivative of polynomial F wrt. the current differential term ordering, or the hereby induced ranking respectivly. | ||
<itemize> | <itemize> | ||
<item>@param F A differential polynomial.</item> | <item>@param <em>F</em> A differential polynomial.</item> | ||
<item>@return The leading derivative of F.</item> | <item>@return The leading derivative of F.</item> | ||
</itemize> | </itemize> | ||
| Line 25: | Line 25: | ||
</types> | </types> | ||
<see>DA.DiffTO</see> | <see>DA.DiffTO</see> | ||
<key>LD</key> | <key>LD</key> | ||
<key>DA.LD</key> | <key>DA.LD</key> | ||
Revision as of 11:06, 23 April 2009
DA.LD
Computes the leading derivative of a differential polynomial.
Syntax
DA.LD(F:POLY):POLY
Description
DA.LD computes the leading derivative of polynomial F wrt. the current differential term ordering, or the hereby induced ranking respectivly.
@param F A differential polynomial.
@return The leading derivative of F.
Example
Use Q[x[1..2,0..20]];
Use Q[x[1..2,0..20]], Ord(DA.DiffTO("DegOrd"));
F:=x[1,2]^2*x[1,1]-x[2,4]^3;
DA.LD(F);
-------------------------------
x[2,4]
-------------------------------
