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:

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

Ideal Theory:: Intersection, ideal quotient, elimination and saturation

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

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

Sao Carlos, 08/02