xenial (1) PolyGUI2.7.1.gz

Provided by: polybori-gui_0.8.3-5build1_amd64 bug

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)