polybori.PyPolyBoRi
index
../../../../lib/python2.6/dist-packages/polybori/PyPolyBoRi.py

 
Classes
       
Boost.Python.enum(__builtin__.int)
polybori.dynamic.PyPolyBoRi.OrderCode

 
OrderCode = class polybori.dynamic.PyPolyBoRi.OrderCode(Boost.Python.enum)
    
Method resolution order:
polybori.dynamic.PyPolyBoRi.OrderCode
Boost.Python.enum
__builtin__.int
__builtin__.object

Data and other attributes defined here:
block_dlex = polybori.dynamic.PyPolyBoRi.OrderCode.block_dlex
block_dp_asc = polybori.dynamic.PyPolyBoRi.OrderCode.block_dp_asc
dlex = polybori.dynamic.PyPolyBoRi.OrderCode.dlex
dp_asc = polybori.dynamic.PyPolyBoRi.OrderCode.dp_asc
lp = polybori.dynamic.PyPolyBoRi.OrderCode.lp
values = {0: polybori.dynamic.PyPolyBoRi.OrderCode.lp, 1: polybori.dynamic.PyPolyBoRi.OrderCode.dlex, 2: polybori.dynamic.PyPolyBoRi.OrderCode.dp_asc, 3: polybori.dynamic.PyPolyBoRi.OrderCode.block_dlex, 4: polybori.dynamic.PyPolyBoRi.OrderCode.block_dp_asc}

Methods inherited from Boost.Python.enum:
__repr__(...)
x.__repr__() <==> repr(x)
__str__(...)
x.__str__() <==> str(x)

Data descriptors inherited from Boost.Python.enum:
name

Methods inherited from __builtin__.int:
__abs__(...)
x.__abs__() <==> abs(x)
__add__(...)
x.__add__(y) <==> x+y
__and__(...)
x.__and__(y) <==> x&y
__cmp__(...)
x.__cmp__(y) <==> cmp(x,y)
__coerce__(...)
x.__coerce__(y) <==> coerce(x, y)
__div__(...)
x.__div__(y) <==> x/y
__divmod__(...)
x.__divmod__(y) <==> divmod(x, y)
__float__(...)
x.__float__() <==> float(x)
__floordiv__(...)
x.__floordiv__(y) <==> x//y
__format__(...)
__getattribute__(...)
x.__getattribute__('name') <==> x.name
__getnewargs__(...)
__hash__(...)
x.__hash__() <==> hash(x)
__hex__(...)
x.__hex__() <==> hex(x)
__index__(...)
x[y:z] <==> x[y.__index__():z.__index__()]
__int__(...)
x.__int__() <==> int(x)
__invert__(...)
x.__invert__() <==> ~x
__long__(...)
x.__long__() <==> long(x)
__lshift__(...)
x.__lshift__(y) <==> x<<y
__mod__(...)
x.__mod__(y) <==> x%y
__mul__(...)
x.__mul__(y) <==> x*y
__neg__(...)
x.__neg__() <==> -x
__nonzero__(...)
x.__nonzero__() <==> x != 0
__oct__(...)
x.__oct__() <==> oct(x)
__or__(...)
x.__or__(y) <==> x|y
__pos__(...)
x.__pos__() <==> +x
__pow__(...)
x.__pow__(y[, z]) <==> pow(x, y[, z])
__radd__(...)
x.__radd__(y) <==> y+x
__rand__(...)
x.__rand__(y) <==> y&x
__rdiv__(...)
x.__rdiv__(y) <==> y/x
__rdivmod__(...)
x.__rdivmod__(y) <==> divmod(y, x)
__rfloordiv__(...)
x.__rfloordiv__(y) <==> y//x
__rlshift__(...)
x.__rlshift__(y) <==> y<<x
__rmod__(...)
x.__rmod__(y) <==> y%x
__rmul__(...)
x.__rmul__(y) <==> y*x
__ror__(...)
x.__ror__(y) <==> y|x
__rpow__(...)
y.__rpow__(x[, z]) <==> pow(x, y[, z])
__rrshift__(...)
x.__rrshift__(y) <==> y>>x
__rshift__(...)
x.__rshift__(y) <==> x>>y
__rsub__(...)
x.__rsub__(y) <==> y-x
__rtruediv__(...)
x.__rtruediv__(y) <==> y/x
__rxor__(...)
x.__rxor__(y) <==> y^x
__sub__(...)
x.__sub__(y) <==> x-y
__truediv__(...)
x.__truediv__(y) <==> x/y
__trunc__(...)
Truncating an Integral returns itself.
__xor__(...)
x.__xor__(y) <==> x^y
conjugate(...)
Returns self, the complex conjugate of any int.

Data descriptors inherited from __builtin__.int:
denominator
the denominator of a rational number in lowest terms
imag
the imaginary part of a complex number
numerator
the numerator of a rational number in lowest terms
real
the real part of a complex number

Data and other attributes inherited from __builtin__.int:
__new__ = <built-in method __new__ of type object at 0x21613c>
T.__new__(S, ...) -> a new object with type S, a subtype of T

 
Functions
       
VariableBlock(...)
C++ signature:
VariableBlock(int, int, int, bool) -> boost::python::api::object
add_up_polynomials(...)
C++ signature:
add_up_polynomials(std::vector<polybori::BoolePolynomial, std::allocator<polybori::BoolePolynomial> >) -> polybori::BoolePolynomial
append_ring_block(...)
Append integer, which marks start of next block (for block orderings)
C++ signature:
    append_ring_block(int) -> void*
booleset_new_init(self, arg=None, second=None)
change_ordering(...)
C++ signature:
change_ordering(int) -> void*
contained_vars(...)
C++ signature:
contained_vars(polybori::BooleSet) -> polybori::BooleSet
count_double(...)
C++ signature:
count_double(polybori::BooleSet) -> double
get_order_code(...)
C++ signature:
get_order_code(void) -> int
global_ring(...)
C++ signature:
global_ring(void) -> polybori::BoolePolyRing
have_degree_order(...)
Determines, whether ring ordering is a degree ordering
C++ signature:
    have_degree_order(void) -> bool
if_then_else(...)
if-then else operator
C++ signature:
    if_then_else(int, polybori::BooleSet, polybori::BooleSet) -> polybori::BooleSet
 
if-then else operator
C++ signature:
    if_then_else(polybori::BooleVariable, polybori::BooleSet, polybori::BooleSet) -> polybori::BooleSet
interpolate(...)
C++ signature:
interpolate(polybori::BooleSet, polybori::BooleSet) -> polybori::BoolePolynomial
interpolate_smallest_lex(...)
C++ signature:
interpolate_smallest_lex(polybori::BooleSet, polybori::BooleSet) -> polybori::BoolePolynomial
ll_red_nf(...)
C++ signature:
ll_red_nf(polybori::BoolePolynomial, polybori::BooleSet) -> polybori::BoolePolynomial
ll_red_nf_noredsb(...)
C++ signature:
ll_red_nf_noredsb(polybori::BoolePolynomial, polybori::BooleSet) -> polybori::BoolePolynomial
map_every_x_to_x_plus_one(...)
C++ signature:
map_every_x_to_x_plus_one(polybori::BoolePolynomial) -> polybori::BoolePolynomial
mapping(...)
C++ signature:
mapping(polybori::BoolePolynomial, polybori::BooleMonomial, polybori::BooleMonomial) -> polybori::BoolePolynomial
mod_mon_set(...)
C++ signature:
    mod_mon_set(polybori::BooleSet, polybori::BooleSet) -> polybori::BooleSet
C++ signature:
    mod_mon_set(polybori::BooleSet, polybori::BooleSet) -> polybori::BooleSet
mod_var_set(...)
C++ signature:
mod_var_set(polybori::BooleSet, polybori::BooleSet) -> polybori::BooleSet
monomial_new_init(self, arg=None)
monomial_python_div(self, arg)
mult_fast_sim_C(...)
C++ signature:
mult_fast_sim_C(std::vector<polybori::BoolePolynomial, std::allocator<polybori::BoolePolynomial> >) -> polybori::BoolePolynomial
nf3(...)
C++ signature:
nf3(polybori::groebner::GroebnerStrategy, polybori::BoolePolynomial, polybori::BooleMonomial) -> polybori::BoolePolynomial
number_of_variables(...)
Number of variables in the active ring
C++ signature:
    number_of_variables(void) -> unsigned int
one(...)
Constant one of the active ring
C++ signature:
    one(void) -> polybori::CDDInterface<polybori::CCuddZDD>
parallel_reduce(...)
C++ signature:
parallel_reduce(std::vector<polybori::BoolePolynomial, std::allocator<polybori::BoolePolynomial> >, polybori::groebner::GroebnerStrategy {lvalue}, int, double) -> std::vector<polybori::BoolePolynomial, std::allocator<polybori::BoolePolynomial> >
print_ring_info(...)
C++ signature:
print_ring_info(void) -> void*
random_set(...)
C++ signature:
random_set(polybori::BooleMonomial, unsigned int) -> polybori::BooleSet
recursively_insert(...)
C++ signature:
recursively_insert(polybori::CCuddNavigator, int, polybori::BooleSet) -> polybori::BooleSet
replace_init_proc(cls)
set_variable_name(...)
C++ signature:
set_variable_name(int, char const*) -> void*
spoly(...)
Compute s-Polynomial between two Polynomials
C++ signature:
    spoly(polybori::BoolePolynomial, polybori::BoolePolynomial) -> polybori::BoolePolynomial
test_iterate_lex(...)
C++ signature:
test_iterate_lex(polybori::BoolePolynomial {lvalue}) -> unsigned long
test_iterate_ordered(...)
C++ signature:
test_iterate_ordered(polybori::BoolePolynomial {lvalue}) -> unsigned long
test_iterate_reference_ordered(...)
C++ signature:
test_iterate_reference_ordered(polybori::BoolePolynomial {lvalue}) -> unsigned long
testvalidstrat(...)
C++ signature:
testvalidstrat(polybori::groebner::GroebnerStrategy) -> void*
top_index(...)
C++ signature:
top_index(polybori::BooleSet) -> int
translate_indices(...)
C++ signature:
translate_indices(polybori::BoolePolynomial, std::vector<int, std::allocator<int> >) -> polybori::BoolePolynomial
variable_python_div(self, arg)
variety_lex_groebner_basis(...)
C++ signature:
variety_lex_groebner_basis(polybori::BooleSet, polybori::BooleMonomial) -> std::vector<polybori::BoolePolynomial, std::allocator<polybori::BoolePolynomial> >
variety_lex_leading_terms(...)
C++ signature:
variety_lex_leading_terms(polybori::BooleSet, polybori::BooleMonomial) -> polybori::BooleSet
zero(...)
Constant zero of the active ring
C++ signature:
    zero(void) -> polybori::CDDInterface<polybori::CCuddZDD>

 
Data
        block_dlex = polybori.dynamic.PyPolyBoRi.OrderCode.block_dlex
block_dp_asc = polybori.dynamic.PyPolyBoRi.OrderCode.block_dp_asc
dlex = polybori.dynamic.PyPolyBoRi.OrderCode.dlex
dp_asc = polybori.dynamic.PyPolyBoRi.OrderCode.dp_asc
k = 4
lp = polybori.dynamic.PyPolyBoRi.OrderCode.lp
modules = {'StringIO': <module 'StringIO' from '/usr/lib/python2.6/StringIO.pyc'>, 'UserDict': <module 'UserDict' from '/usr/lib/python2.6/UserDict.pyc'>, '__builtin__': <module '__builtin__' (built-in)>, '__future__': <module '__future__' from '/usr/lib/python2.6/__future__.pyc'>, '__main__': <module '__main__' from 'doc/python/genpythondoc.py'>, '_abcoll': <module '_abcoll' from '/usr/lib/python2.6/_abcoll.pyc'>, '_codecs': <module '_codecs' (built-in)>, '_collections': <module '_collections' (built-in)>, '_random': <module '_random' (built-in)>, '_sre': <module '_sre' (built-in)>, ...}