An graphical user interface for PolyBoRi's groebner_basis
PolyBoRi comes with a QT-based graphical user interface PolyGUI for its command groebner_basis.
The user make a Groebner analysis of custom polynomial systems by selecting
various options of PolyBoRi's
dialog can be used to load PolyBoRi-compatible data files. They have to be
written in Python syntax and must contain a ring declaration and the definition
of an ideal (given as a list of Boolean polynomials).
declare_ring([Block("x", 10), Block("y", 10)])
ideal = [x
(1) + x
(2) + y
For more details, see the PolyBoRi documentation. In particular, have a look at
the tutorial, the doxygen part for the core library, and pythondoc part for the
The PolyBoRi framework was created by The PolyBoRi Team <[email protected]
Michael Brickenstein <[email protected]
> (high-level algorithms, primary
Alexander Dreyer <[email protected]
> (low-level routines,
project infrastructure, and this man page).