| |
- 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>
|