NAME¶
PolyGUI - An graphical user interface for PolyBoRi's groebner_basis
SYNOPSIS¶
PolyGUI
DESCRIPTION¶
PolyBoRi comes with a QT-based graphical user interface PolyGUI for its command
groebner_basis.
BACKGROUND¶
The user make a Groebner analysis of custom polynomial systems by selecting
various options of PolyBoRi's
groebner_basis command. The
Open
File 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).
EXAMPLE FILE¶
declare_ring([Block("x", 10), Block("y", 10)])
ideal = [x(1) + x(2), x(2) + y(1)]
READ MORE¶
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 high-level routines.
AUTHOR¶
The PolyBoRi framework was created by The PolyBoRi Team <polybori@mfo.de>,
consisting of Michael Brickenstein <brickenstein@mfo.de> (high-level
algorithms, primary designer) and Alexander Dreyer
<alexander.dreyer@itwm.fraunhofer.de> (low-level routines, project
infrastructure, and this man page).
SEE ALSO¶
IPBORI(1)