#18437: Switch from PolyBoRi to BRiAl
-------------------------------------+-------------------------------------
Reporter: ohanar | Owner:
Type: task | Status: needs_review
Priority: major | Milestone: sage-6.8
Component: packages: | Resolution:
standard | Merged in:
Keywords: | Reviewers:
Authors: R. Andrew Ohana | Work issues:
Report Upstream: N/A | Commit:
Branch: u/ohanar/brial | 5cbf983ee15dd61d8ad4aec707b58e743def3c72
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by fbissey):
I just greped the sage source code for traces of `polybori` import. Since
it now installs in `brial` unless I missed a mechanism the followings need
to be updated
{{{
Mirage:sage fbissey$ grep -r "from polybori" *
rings/polynomial/multi_polynomial_sequence.py: from polybori import
gauss_on_polys
rings/polynomial/multi_polynomial_sequence.py: from polybori.ll
import eliminate,ll_encode,ll_red_nf_redsb
rings/polynomial/multi_polynomial_sequence.py: from
polybori.interred import interred as inter_red
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: #from polybori.interpolate import
interpolate_smallest_lex
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid, BooleanMonomial
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid, BooleanMonomial
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import BooleSet
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanPolynomial
rings/polynomial/pbori.pyx: from polybori.parallel import
_encode_polynomial
rings/polynomial/pbori.pyx: sage: from polybori import BooleSet
rings/polynomial/pbori.pyx: from polybori import red_tail
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: from polybori.gbcore import
groebner_basis
rings/polynomial/pbori.pyx: from polybori import red_tail
rings/polynomial/pbori.pyx: sage: from polybori import BooleSet
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import BooleSet
rings/polynomial/pbori.pyx: sage: from polybori import BooleSet
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanPolynomialVector
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanPolynomialVector
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanPolynomialVector
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanPolynomialVector
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanPolynomialVector
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanPolynomialVector
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanPolynomialVector
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import
GroebnerStrategy
rings/polynomial/pbori.pyx: sage: from polybori import
GroebnerStrategy
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import
GroebnerStrategy
rings/polynomial/pbori.pyx: sage: from polybori import
groebner_basis
rings/polynomial/pbori.pyx: sage: from polybori import
GroebnerStrategy
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanPolynomialVector
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import
GroebnerStrategy
rings/polynomial/pbori.pyx: sage: from polybori import
groebner_basis
rings/polynomial/pbori.pyx: sage: from polybori import
GroebnerStrategy
rings/polynomial/pbori.pyx: sage: from polybori import
GroebnerStrategy
rings/polynomial/pbori.pyx: sage: from polybori import
GroebnerStrategy
rings/polynomial/pbori.pyx: sage: from polybori import
BooleanMonomialMonoid
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import
map_every_x_to_x_plus_one
rings/polynomial/pbori.pyx: sage: from polybori import zeros
rings/polynomial/pbori.pyx: sage: from polybori.interpolate import
*
rings/polynomial/pbori.pyx: sage: from polybori.interpolate import
*
rings/polynomial/pbori.pyx: sage: from polybori import
ll_red_nf_redsb
rings/polynomial/pbori.pyx: sage: from polybori import
ll_red_nf_noredsb
rings/polynomial/pbori.pyx: sage: from polybori import
ll_red_nf_noredsb_single_recursive_call
rings/polynomial/pbori.pyx: sage: from polybori import if_then_else
rings/polynomial/pbori.pyx: sage: from polybori import top_index
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import
substitute_variables
rings/polynomial/pbori.pyx: sage: from polybori import
substitute_variables
rings/polynomial/pbori.pyx: sage: from polybori import random_set,
set_random_seed
rings/polynomial/pbori.pyx: sage: from polybori import random_set,
set_random_seed
rings/polynomial/pbori.pyx:# todo: merge with pickling from
polybori.parallel
rings/polynomial/pbori.pyx:# todo: merge with pickling from
polybori.parallel
rings/polynomial/pbori.pyx: from polybori.parallel import
_decode_polynomial
rings/polynomial/pbori.pyx:# todo: merge with pickling from
polybori.parallel
rings/polynomial/pbori.pyx: sage: from polybori import
BooleConstant
rings/polynomial/pbori.pyx: sage: from polybori import
BooleConstant
rings/polynomial/pbori.pyx: sage: from polybori import
BooleConstant
rings/polynomial/pbori.pyx: sage: from polybori import
BooleConstant
rings/polynomial/pbori.pyx: sage: from polybori import
BooleConstant
rings/polynomial/pbori.pyx: sage: from polybori import
BooleConstant
rings/polynomial/pbori.pyx: sage: from polybori import
BooleConstant
rings/polynomial/pbori.pyx: sage: from polybori import
BooleConstant
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
rings/polynomial/pbori.pyx: sage: from polybori import *
sat/converters/__init__.py:from polybori import CNFEncoder as
PolyBoRiCNFEncoder
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/18437#comment:44>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
