Overview
Objects
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 http://www.singular.uni-kl.de