| Overview |
| Objects |
| Functionality |
| Examples |
| Applications |
Algorithms which are implemented in the PLURAL kernel include the following:
- Groebner basis: 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