ipbori(1)

1IPBORI(1)                   General Commands Manual                  IPBORI(1)
2
3
4

NAME

6       ipbori - An Interactive PolyBoRi Shell
7

SYNOPSIS

9       ipbori [ -ipythonprefix  prefix ] [  ipython-options ]
10

DESCRIPTION

12       An  interactive  IPython shell for interfacing with the PolyBoRi frame‐
13       work. It offers full support of specialized data structures as well  as
14       C/C++-  and Python-based algorithms for treating polynomials over Bool‐
15       ean rings.
16

OPTIONS

18       -ipythonprefix
19              This options allows to select a path for the IPython  executable
20              in the case of multiple IPython installations.
21
22              Alternatively, the environment variable IPYTHONPREFIX may be set
23              accordingly.
24
25       In addition IPython options may be added to the command line.
26
27

ENVIRONMENT

29       IPYTHONPREFIX
30              Defines a path for the IPython executable. It can be overwritten
31              by the -ipythonprefix option.
32
33

Background

35       The core of PolyBoRi is a C++ library, which is wrapped and extended by
36       a Python interface. Essentially, ipbori calls IPython together  with  a
37       profile  for  using  PolyBoRi's  python interface.  It can be used as a
38       special purpose computer-algebra system for computation with  polynomi‐
39       als  over Boolean rings.  In ipbori a global ring is already predefined
40       and a set of variables called x(0), ..., x(9999). The default  ordering
41       is lexicographical ordering (lp).
42
43       For more details, see the PolyBoRi documentation. In particular, have a
44       look at the tutorial, the  doxygen  part  for  the  core  library,  and
45       pythondoc part for the high-level routines.
46

AUTHOR

48       The   PolyBoRi   framework   was   created   by   The   PolyBoRi   Team
49       <polybori@mfo.de>,     consisting     of      Michael      Brickenstein
50       <brickenstein@mfo.de>  (high-level  algorithms,  primary  designer) and
51       Alexander   Dreyer   <alexander.dreyer@itwm.fraunhofer.de>   (low-level
52       routines, project infrastructure, and this man page).
53