---
name: "PolyGUI2"
section: "1"
platform: "linux"
package: "polybori-gui"
version: "0.8.3-3+b2"
release: "Debian 8 (Jessie)"
platforms: ["linux"]
url: "https://new.carta.tech/PolyGUI2"
---

# PolyGUI2(1)

An graphical user interface for PolyBoRi's groebner\_basis

## 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)