In addition to our Python-based tool ipbori and the PolyBoRi package of Sage we also support two more front ends.
PolyBoRi comes with a QT-based graphical user interface, which is started by typing PolyGUI at the command prompt.
The user make a Gröbner 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 ﬁles. They have to be written in Python syntax and must contain a ring declaration and the deﬁnition of an ideal (given as a lit of Boolean polynomials).
The user interface comes with several switches and buttons which can be used to set the monomial ordering and the available options of the groebner_basis; including the protocol output. The “Run” button is then to be used to execute the Gröbner basis computation.
This approach uses Singular’s upcoming built-in pyobject extension. For using PolyBoRi from Singular you must ensure, that PolyBoRi is installed either in the python search path, or in Singular’s binary path. PolyBoRi’s default installation target (in the system resources) will work. In case you do not have root access, you can customize the installation:
where /path/to/my/bin is the users path, and /path/to/python/modules could be for instance Singular’s binary directory. If you also do not have write permission to the latter, please add a custom directory to environment variable PYTHONPATH and use that directory for PYINSTALLPREFIX.
The following session illustrates how PolyBoRi’s functionality can be accessed from Singular: