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

From ApCoCoAWiki
Line 1: Line 1:
'''Note:''' This package will not be available until the upcoming ApCoCoA-Release 1.0 (scheduled for 2008-12-22). The documentation of this package, as well, is still under construction.
+
'''Note:''' This package will first be available in the upcoming ApCoCoA-Release 1.0 (scheduled for 2008-12-22). The documentation of this package, as well, is still under construction.
  
  

Revision as of 12:26, 8 December 2008

Note: This package will first be available in the upcoming ApCoCoA-Release 1.0 (scheduled for 2008-12-22). The documentation of this package, as well, is still under construction.


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

Example

The differential polynomial with and where we consider only orders up to 20 is defined as follows:

 
 Use S::=Q[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