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