Welcome to Maxima Grobner development site

Maxima Grobner is a Maxima extension which provides for calculation of Grobner bases within Maxima.

Grobner bases is a mathematical device for solving problems involving polynomial equations in several variables. There are vast resources on Groebner bases, and there are many software systems which compute them. Maxima Groebner is particularly good in several areas:

• It is relatively compact, easy to understand, and easy to modify.
• It is integrated with the Maxima expression pseudo-ring (the set of Maxima expressions with its specific simplification rules).
• It can perform calculations with transcendental functions, symbolic parameters, etc.
• It is suitable for calculations with differential polynomials.
• It is written in Common Lisp.
• It is extremely reliable in comparison with many other non-commercial packages, i.e. it does not produce incorrect results. This may be important to some :).
• It implements several different algorithms.

The package is not particularly fast, which is the cost of its great flexibility. However, it can be optimized in many ways by a programmer proficient in Common Lisp.

Enjoy!
Marek Rychlik
​http://marekrychlik.com