Category:ApCoCoA-1:Package diffalg

From ApCoCoAWiki
Revision as of 10:52, 28 April 2009 by Skaspar (talk | contribs) (Description update.)

The package diffalg provides basic functionality for computations within differential polynomial rings in n indeterminates over the field of rationals, Q. Currently, these rings are realized by using doubly indexed indeterminates where the first index distinguishes the indeterminates Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "":): {\displaystyle x_1,\dots,x_n} and the second index denotes the order of the corresponding derivative.


The differential polynomial F:=u_1^2-u_2^3 in Q{x_1,x_2} with u_1=x_1^(4) and u_2=x_2^(4) where we consider only orders up to 20 is defined as follows:

 Use S::=QQ[x[1..2,0..20]];


  • H. Bluhm: Gröbnerbasen in gewöhnlichen differentiellen Polynomringen, Doctoral Thesis, Dortmund, 2008