# Category:ApCoCoA-1:Package diffalg

From ApCoCoAWiki

Revision as of 12:26, 8 December 2008 by S schuster (talk | contribs)

**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

## Pages in category "ApCoCoA-1:Package diffalg"

The following 17 pages are in this category, out of 17 total.

### D

- ApCoCoA-1:DA.Class
- ApCoCoA-1:DA.DiffAutoReduce
- ApCoCoA-1:DA.Differentiate
- ApCoCoA-1:DA.DiffGB
- ApCoCoA-1:DA.DiffOrd
- ApCoCoA-1:DA.DiffReduce
- ApCoCoA-1:DA.DiffSupp
- ApCoCoA-1:DA.DiffTO
- ApCoCoA-1:DA.Initial
- ApCoCoA-1:DA.InitialOfDer
- ApCoCoA-1:DA.LD
- ApCoCoA-1:DA.LPot
- ApCoCoA-1:DA.NthDerivation
- ApCoCoA-1:DA.PseudoAutoReduce
- ApCoCoA-1:DA.PseudoReduce
- ApCoCoA-1:DA.Sep
- ApCoCoA-1:DA.Weight