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

# Copyright (c) 2005-2007 by The PolyBoRi Team

 
Modules
       
sys

 
Functions
       
VariableBlock(...)
C++ signature:
VariableBlock(int, int, int, bool) -> boost::python::api::object
add_up_poly_list(l)
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*
bench_interpolate(degree, nvariables, points)
change_ordering(...)
C++ signature:
change_ordering(int) -> void*
clock(...)
clock() -> floating point number
 
Return the CPU time or real time since the start of the process or since
the first call to clock().  This has as much precision as the system
records.
contained_vars(...)
C++ signature:
contained_vars(polybori::BooleSet) -> polybori::BooleSet
count_double(...)
C++ signature:
count_double(polybori::BooleSet) -> double
gen_random_monomial()
gen_random_o_z(points, points_p)
gen_random_polynomial(max_len=50)
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
lex_groebner_basis_for_polynomial_via_variety(p)
lex_groebner_basis_points(points, variables)
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
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
nf_lex_points(f, p)
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
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
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(points, variables)
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
generator = <random.Random object at 0x397078>
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)>, '_functools': <module '_functools' (built-in)>, '_locale': <module '_locale' (built-in)>, ...}