polybori.check_claims | index ../../../../lib/python2.7/dist-packages/polybori/check_claims.py

`untitled.py
Created by Michael Brickenstein on 2007-03-05.
Copyright (c) 2007 The PolyBoRi Team. See LICENSE file.`

Modules

``

sys |  |  |

Functions

``

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)

Data
`` |  | LINEAR_LEAD_NOREDSB = 'll' NF3 = 'nf3' parser = <optparse.OptionParser instance>