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)

                                          April 26, 2011                               POLYGUI(1)