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

From ApCoCoAWiki
(New page: <command> <title>diffalg.Initial</title> <short_description>Returns the initial of F with respect to the current differential term ordering.</short_description> <syntax> $diffalg.I...)
 
Line 1: Line 1:
 
<command>
 
<command>
 
     <title>diffalg.Initial</title>
 
     <title>diffalg.Initial</title>
     <short_description>Returns the initial of F with respect to the current differential term ordering.</short_description>
+
     <short_description>the initial of a differential polynomial</short_description>
 
<syntax>
 
<syntax>
 
$diffalg.Initial(F:POLY):POLY
 
$diffalg.Initial(F:POLY):POLY

Revision as of 09:05, 22 December 2008

diffalg.Initial

the initial of a differential polynomial

Syntax

$diffalg.Initial(F:POLY):POLY

Description

Initial returns the initial of polynomial F wrt. the current differential term ordering, or the hereby induced ranking, respectively.


Example

Use Q[x[1..2,0..20]];
Use Q[x[1..2,0..20]], Ord($diffalg.DiffTO("Lex"));

F:=x[1,2]^3x[2,2]^2 + x[1,1]^3x[2,2]^2 + 1/4x[1,2];

$diffalg.LD(F);
-------------------------------
x[2,2]
-------------------------------
$diffalg.LPot(F);
-------------------------------
x[2,2]^2
-------------------------------
$diffalg.Initial(F);
-------------------------------
x[1,2]^3 + x[1,1]^3
-------------------------------

Diffalg.LD

Diffalg.LPot

Diffalg.DiffTO