InvolutiveBases -- Methods for Janet bases and Pommaret bases in Macaulay 2. nvolutiveBases is a package which provides routines for dealing with Janet and Pommaret bases. Janet bases can be constructed from given Gröbner 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.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Robertz, Daniel: Formal algorithmic elimination for PDEs (2014)