SINGULAR - A Computer Algebra System for Polynomial Computations

Functionality

Examples

Algorithms in the PLURAL Kernel

Algorithms which are implemented in the PLURAL kernel include the following:

Left Gröbner bases: generalized Buchberger algorithm (for well-orderings)

Two-sided Gröbner bases: fast proprietary algorithm

Ideal Theory:: Intersection, ideal quotient, elimination

Syzygies and free resolutions of modules:: Standard-basis driven and Schreyer's algorithm; normal and minimal resolutions

As for SINGULAR , one of the main goals of PLURAL is the efficiency.

KL, 06/03