Overview
Objects
Functionality
Libraries
Examples
Applications
Availability
History
Contributors
Future
Plans and Projects
  • Library: Resolution of singularities.

  • Library: Differential equations with algebraic constraints.

  • Kernel: Gröbner basis computation in characteristic 0, using Gröbner basis computations in characteristic p and their lifting using Chinese Remainder Theorem.

  • Gröbner bases with sparse matrix-technique ?

  • PLURAL : a kernel extension for SINGULAR , providing Gröbner basis based computations in noncommutative polynomial algebras over fields (algebras of solvable type (Kandri-Rodi, Weispfenning), G-algebras (Apel, Levandovskyy)).
    These classes of algebras include, e.g. quantized enveloping algebras of Lie algebras, Weyl algebras, exterior algebras and many others. The Gröbner basis, syzygy module and free resolution computations for left (resp. two-sided) modules are planned to be implemented.


Sao Carlos, 08/02 http://www.singular.uni-kl.de