Registration
Manual
Overview
Presentations
News
Distribution
Docu
Links
Support
People
Impressum
|
Overview of PLURAL
PLURAL is a kernel extension of SINGULAR ,
which is designed for considerably fast computations
within the class of non-commutative polynomial algebras.
Here are some of the most important features of PLURAL:
-
The system allows us to handle many problems,
coming from different branches of mathematics
(representation theory of Lie and
quantum algebras, algebraic geometry, theoretical physics,
differential equations and other).
- Main computational objects: left ideals/modules over
non-commutative G-algebras over various ground fields
-
Major tools: a generalization of Buchberger's algorithm for
computing Gröbner bases and of Schreyer's
algorithm for computing syzygies and free resolutions.
-
Many algorithms (module arithmetics, two--sided bases etc) are
implemented in kernel.
-
Intuitive, C-like programming language
- Written in C/C++; Available for most hard- and software platforms
Unix (HP-UX, SunOS, Solaris, Linux, AIX), Windows, Macintosh.
- Extensive printed and on-line documentation
Detailed reference manual, tutorial
|
