NAME
ipbori - An Interactive PolyBoRi Shell
SYNOPSIS
ipbori [ -ipythonprefix prefix ] [ ipython-options ]
DESCRIPTION
An interactive IPython shell for interfacing with the PolyBoRi
framework. It offers full support of specialized data structures as
well as C/C++- and Python-based algorithms for treating polynomials
over Boolean rings.
OPTIONS
-ipythonprefix
This options allows to select a path for the IPython executable
in the case of multiple IPython installations.
Alternatively, the environment variable IPYTHONPREFIX may be set
accordingly.
In addition IPython options may be added to the command line.
ENVIRONMENT
IPYTHONPREFIX
Defines a path for the IPython executable. It can be overwritten
by the -ipythonprefix option.
Background
The core of PolyBoRi is a C++ library, which is wrapped and extended by
a Python interface. Essentially, ipbori calls IPython together with a
profile for using PolyBoRi’s python interface. It can be used as a
special purpose computer-algebra system for computation with
polynomials over Boolean rings. In ipbori a global ring is already
predefined and a set of variables called x(0), ..., x(9999). The
default ordering is lexicographical ordering (lp).
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
IPYTHON(1)
May 2, 2008