Category:ApCoCoA-1:Package diffalg: Difference between revisions

From ApCoCoAWiki
← Older editNewer edit →
S schuster (talk | contribs)
Administrators, xmladmin
308 edits
No edit summary
S schuster (talk | contribs)
Administrators, xmladmin
308 edits
No edit summary
Line 1: Line 1:
The package diffalg provides basic functionality for computations within differential polynomial rings in <math>n</math> indeterminates over the field of rationals, Q. Currently, these rings are realized by using doubly indexed indeterminates where the first index distinguishes the indeterminates <math>x_1,\dots,x_n</math> and the second index denotes the order of the corresponding derivative.
The package diffalg provides basic functionality for computations within differential polynomial rings in <math>n^22</math> indeterminates over the field of rationals, Q. Currently, these rings are realized by using doubly indexed indeterminates where the first index distinguishes the indeterminates <math>x_1,\dots,x_n</math> and the second index denotes the order of the corresponding derivative.


==Example==
==Example==

Revision as of 11:43, 3 September 2013

The package diffalg provides basic functionality for computations within differential polynomial rings in n22 indeterminates over the field of rationals, Q. Currently, these rings are realized by using doubly indexed indeterminates where the first index distinguishes the indeterminates x1,…,xn and the second index denotes the order of the corresponding derivative.

Example

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]];
 F:=x[1,4]^2-x[2,4]^3;

References

  • H. Bluhm: Gröbnerbasen in gewöhnlichen differentiellen Polynomringen, Doctoral Thesis, Dortmund, 2008
Retrieved from "https://app.apcocoa.uni-passau.de/wiki/index.php?title=Category:ApCoCoA-1:Package_diffalg&oldid=13757"