| |
- VariableBlock(...)
- VariableBlock( (int)arg1, (int)arg2, (int)arg3, (bool)arg4) -> object :
C++ signature :
boost::python::api::object VariableBlock(int,int,int,bool)
- add_up_polynomials(...)
- add_up_polynomials( (BoolePolynomialVector)arg1) -> Polynomial :
C++ signature :
polybori::BoolePolynomial add_up_polynomials(std::vector<polybori::BoolePolynomial, std::allocator<polybori::BoolePolynomial> >)
- append_ring_block(...)
- append_ring_block( (int)arg1) -> None :
Append integer, which marks start of next block (for block orderings)
C++ signature :
void append_ring_block(int)
- cached_GB(I, prot=False)
- change_ordering(...)
- change_ordering( (int)arg1) -> None :
C++ signature :
void change_ordering(int)
- contained_vars(...)
- contained_vars( (BooleSet)arg1) -> BooleSet :
C++ signature :
polybori::BooleSet contained_vars(polybori::BooleSet)
- count_double(...)
- count_double( (BooleSet)arg1) -> float :
C++ signature :
double count_double(polybori::BooleSet)
- get_order_code(...)
- get_order_code() -> int :
C++ signature :
int get_order_code()
- global_ring(...)
- global_ring() -> Ring :
C++ signature :
polybori::BoolePolyRing {lvalue} global_ring()
- have_degree_order(...)
- have_degree_order() -> bool :
Determines, whether ring ordering is a degree ordering
C++ signature :
bool have_degree_order()
- if_then_else(...)
- if_then_else( (int)arg1, (BooleSet)arg2, (BooleSet)arg3) -> BooleSet :
if-then else operator
C++ signature :
polybori::BooleSet if_then_else(int,polybori::BooleSet,polybori::BooleSet)
if_then_else( (Variable)arg1, (BooleSet)arg2, (BooleSet)arg3) -> BooleSet :
if-then else operator
C++ signature :
polybori::BooleSet if_then_else(polybori::BooleVariable,polybori::BooleSet,polybori::BooleSet)
- interpolate(...)
- interpolate( (BooleSet)arg1, (BooleSet)arg2) -> Polynomial :
C++ signature :
polybori::BoolePolynomial interpolate(polybori::BooleSet,polybori::BooleSet)
- interpolate_smallest_lex(...)
- interpolate_smallest_lex( (BooleSet)arg1, (BooleSet)arg2) -> Polynomial :
C++ signature :
polybori::BoolePolynomial interpolate_smallest_lex(polybori::BooleSet,polybori::BooleSet)
- ll_red_nf(...)
- ll_red_nf( (Polynomial)arg1, (BooleSet)arg2) -> Polynomial :
C++ signature :
polybori::BoolePolynomial ll_red_nf(polybori::BoolePolynomial,polybori::BooleSet)
- ll_red_nf_noredsb(...)
- ll_red_nf_noredsb( (Polynomial)arg1, (BooleSet)arg2) -> Polynomial :
C++ signature :
polybori::BoolePolynomial ll_red_nf_noredsb(polybori::BoolePolynomial,polybori::BooleSet)
- m2code(m, table)
- map_every_x_to_x_plus_one(...)
- map_every_x_to_x_plus_one( (Polynomial)arg1) -> Polynomial :
C++ signature :
polybori::BoolePolynomial map_every_x_to_x_plus_one(polybori::BoolePolynomial)
- mapping(...)
- mapping( (Polynomial)arg1, (Monomial)arg2, (Monomial)arg3) -> Polynomial :
C++ signature :
polybori::BoolePolynomial mapping(polybori::BoolePolynomial,polybori::BooleMonomial,polybori::BooleMonomial)
- mod_mon_set(...)
- mod_mon_set( (BooleSet)arg1, (BooleSet)arg2) -> BooleSet :
C++ signature :
polybori::BooleSet mod_mon_set(polybori::BooleSet,polybori::BooleSet)
mod_mon_set( (BooleSet)arg1, (BooleSet)arg2) -> BooleSet :
C++ signature :
polybori::BooleSet mod_mon_set(polybori::BooleSet,polybori::BooleSet)
- mod_var_set(...)
- mod_var_set( (BooleSet)arg1, (BooleSet)arg2) -> BooleSet :
C++ signature :
polybori::BooleSet mod_var_set(polybori::BooleSet,polybori::BooleSet)
- mult_fast_sim_C(...)
- mult_fast_sim_C( (BoolePolynomialVector)arg1) -> Polynomial :
C++ signature :
polybori::BoolePolynomial mult_fast_sim_C(std::vector<polybori::BoolePolynomial, std::allocator<polybori::BoolePolynomial> >)
- nf3(...)
- nf3( (GroebnerStrategy)arg1, (Polynomial)arg2, (Monomial)arg3) -> Polynomial :
C++ signature :
polybori::BoolePolynomial nf3(polybori::groebner::GroebnerStrategy,polybori::BoolePolynomial,polybori::BooleMonomial)
- number_of_variables(...)
- number_of_variables() -> int :
Number of variables in the active ring
C++ signature :
unsigned int number_of_variables()
- one(...)
- one() -> object :
Constant one of the active ring
C++ signature :
polybori::CDDInterface<polybori::CCuddZDD> one()
- p2code(p, table)
- parallel_reduce(...)
- parallel_reduce( (BoolePolynomialVector)arg1, (GroebnerStrategy)arg2, (int)arg3, (float)arg4) -> BoolePolynomialVector :
C++ signature :
std::vector<polybori::BoolePolynomial, std::allocator<polybori::BoolePolynomial> > parallel_reduce(std::vector<polybori::BoolePolynomial, std::allocator<polybori::BoolePolynomial> >,polybori::groebner::GroebnerStrategy {lvalue},int,double)
- preprocess(I, prot=False)
- print_ring_info(...)
- print_ring_info() -> None :
C++ signature :
void print_ring_info()
- random_set(...)
- random_set( (Monomial)arg1, (int)arg2) -> BooleSet :
C++ signature :
polybori::BooleSet random_set(polybori::BooleMonomial,unsigned int)
- recursively_insert(...)
- recursively_insert( (CCuddNavigator)arg1, (int)arg2, (BooleSet)arg3) -> BooleSet :
C++ signature :
polybori::BooleSet recursively_insert(polybori::CCuddNavigator,int,polybori::BooleSet)
- sbox_generator4(code)
- set_variable_name(...)
- set_variable_name( (int)arg1, (str)arg2) -> None :
C++ signature :
void set_variable_name(int,char const*)
- spoly(...)
- spoly( (Polynomial)arg1, (Polynomial)arg2) -> Polynomial :
Compute s-Polynomial between two Polynomials
C++ signature :
polybori::BoolePolynomial spoly(polybori::BoolePolynomial,polybori::BoolePolynomial)
- test_iterate_lex(...)
- test_iterate_lex( (Polynomial)arg1) -> int :
C++ signature :
unsigned long test_iterate_lex(polybori::BoolePolynomial {lvalue})
- test_iterate_ordered(...)
- test_iterate_ordered( (Polynomial)arg1) -> int :
C++ signature :
unsigned long test_iterate_ordered(polybori::BoolePolynomial {lvalue})
- test_iterate_reference_ordered(...)
- test_iterate_reference_ordered( (Polynomial)arg1) -> int :
C++ signature :
unsigned long test_iterate_reference_ordered(polybori::BoolePolynomial {lvalue})
- testvalidstrat(...)
- testvalidstrat( (GroebnerStrategy)arg1) -> None :
C++ signature :
void testvalidstrat(polybori::groebner::GroebnerStrategy)
- top_index(...)
- top_index( (BooleSet)arg1) -> int :
C++ signature :
int top_index(polybori::BooleSet)
- translate(p, table)
- translate_indices(...)
- translate_indices( (Polynomial)arg1, (IntVector)arg2) -> Polynomial :
C++ signature :
polybori::BoolePolynomial translate_indices(polybori::BoolePolynomial,std::vector<int, std::allocator<int> >)
- translate_m(m, table)
- var_list(n, r, c, e)
- variety_lex_groebner_basis(...)
- variety_lex_groebner_basis( (BooleSet)arg1, (Monomial)arg2) -> BoolePolynomialVector :
C++ signature :
std::vector<polybori::BoolePolynomial, std::allocator<polybori::BoolePolynomial> > variety_lex_groebner_basis(polybori::BooleSet,polybori::BooleMonomial)
- variety_lex_leading_terms(...)
- variety_lex_leading_terms( (BooleSet)arg1, (Monomial)arg2) -> BooleSet :
C++ signature :
polybori::BooleSet variety_lex_leading_terms(polybori::BooleSet,polybori::BooleMonomial)
- zero(...)
- zero() -> object :
Constant zero of the active ring
C++ signature :
polybori::CDDInterface<polybori::CCuddZDD> zero()
|