| | |
- find_one(p, res=None)
- gen_strat(polys)
- 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)
- ll_red_nf_redsb(...)
- ll_red_nf_redsb( (Polynomial)arg1, (BooleSet)arg2) -> Polynomial :
C++ signature :
polybori::BoolePolynomial ll_red_nf_redsb(polybori::BoolePolynomial,polybori::BooleSet)
- logicaland(l)
- logicalor(l)
- main(argv=None)
- my_red_nf(p, strat)
- proof(ifthen, strat)
- proofll(ifthen, reductors, redsb=True, prot=True)
- recursively_insert(...)
- recursively_insert( (CCuddNavigator)arg1, (object)arg2, (BooleSet)arg3) -> BooleSet :
C++ signature :
polybori::BooleSet recursively_insert(polybori::CCuddNavigator,int,polybori::BooleSet)
- to_if_then(p)
|