next | previous | forward | backward | up | top | index | toc | home

InvolutiveBases -- Methods for Janet bases and Pommaret bases in Macaulay 2

Description

InvolutiveBases is a package which provides routines for dealing with Janet and Pommaret bases.

Janet bases can be constructed from given Groebner bases. It can be checked whether a Janet basis is a Pommaret basis. Involutive reduction modulo a Janet basis can be performed. Syzygies and free resolutions can be computed using Janet bases. A convenient way to use this strategy is to use an optional argument for resolution, see Involutive.

Some references:

  • J. Apel, The theory of involutive divisions and an application to Hilbert function computations. J. Symb. Comp. 25(6), 1998, pp. 683-704.
  • V. P. Gerdt, Involutive Algorithms for Computing Gröbner Bases. In: Cojocaru, S. and Pfister, G. and Ufnarovski, V. (eds.), Computational Commutative and Non-Commutative Algebraic Geometry, NATO Science Series, IOS Press, pp. 199-225.
  • V. P. Gerdt and Y. A. Blinkov, Involutive bases of polynomial ideals. Minimal involutive bases. Mathematics and Computers in Simulation 45, 1998, pp. 519-541 resp. 543-560.
  • M. Janet, Lecons sur les systemes des equationes aux derivees partielles. Cahiers Scientifiques IV. Gauthiers-Villars, Paris, 1929.
  • J.-F. Pommaret, Partial Differential Equations and Group Theory. Kluwer Academic Publishers, 1994.
  • W. Plesken and D. Robertz, Janet's approach to presentations and resolutions for polynomials and linear pdes. Archiv der Mathematik 84(1), 2005, pp. 22-37.
  • W. M. Seiler, A Combinatorial Approach to Involution and delta-Regularity: I. Involutive Bases in Polynomial Algebras of Solvable Type. II. Structure Analysis of Polynomial Modules with Pommaret Bases. Preprints, arXiv:math/0208247 and arXiv:math/0208250.

Author

Version

This documentation describes version 1.0 of InvolutiveBases.

Source code

The source code is in the file InvolutiveBases.m2.

Exports