Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

Commit 6b19700

Browse files
committedSep 20, 2020
more direct import in pbori
1 parent df037c2 commit 6b19700

File tree

6 files changed

+16
-11
lines changed

6 files changed

+16
-11
lines changed
 

‎src/sage/rings/polynomial/pbori/cnf.py

+2-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
from random import Random
2-
from .PyPolyBoRi import Polynomial, if_then_else as ite
2+
from sage.rings.polynomial.pbori.pbori import if_then_else as ite
3+
from .PyPolyBoRi import Polynomial
34
from .statistics import used_vars_set
45

56

‎src/sage/rings/polynomial/pbori/ll.py

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
1+
from sage.rings.polynomial.pbori.pbori import top_index, if_then_else
22
from .PyPolyBoRi import *
33
from .statistics import used_vars_set
44
from .rank import rank

‎src/sage/rings/polynomial/pbori/nf.py

+1
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
from sage.rings.polynomial.pbori.pbori import mod_mon_set
12
from .PyPolyBoRi import *
23
from .easy_polynomials import (easy_linear_polynomials as
34
easy_linear_polynomials_func)

‎src/sage/rings/polynomial/pbori/parallel.py

+4-5
Original file line numberDiff line numberDiff line change
@@ -6,10 +6,9 @@
66
Created by Michael Brickenstein on 2008-10-31.
77
Copyright 2008 The PolyBoRi Team
88
"""
9-
10-
from .PyPolyBoRi import if_then_else, CCuddNavigator, BooleSet
11-
from .PyPolyBoRi import (Polynomial, Ring, WeakRingRef, Monomial,
12-
Variable)
9+
from sage.rings.polynomial.pbori.pbori import if_then_else
10+
from .PyPolyBoRi import CCuddNavigator, BooleSet
11+
from .PyPolyBoRi import (Polynomial, Ring, WeakRingRef, Monomial, Variable)
1312
from .gbcore import groebner_basis
1413
from zlib import compress, decompress
1514
try:
@@ -20,7 +19,7 @@
2019

2120
def to_fast_pickable(l):
2221
r"""
23-
Converts a list of polynomials into a builtin Python value, which is fast pickable and compact.
22+
Convert a list of polynomials into a builtin Python value, which is fast pickable and compact.
2423
2524
INPUT:
2625

‎src/sage/rings/polynomial/pbori/specialsets.py

+6-3
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,15 @@
1-
from .PyPolyBoRi import (BooleSet, Polynomial, mod_mon_set,
2-
if_then_else, Monomial, top_index, BooleConstant)
3-
1+
from sage.rings.polynomial.pbori.pbori import (top_index, if_then_else,
2+
mod_mon_set)
3+
from .PyPolyBoRi import (BooleSet, Polynomial,
4+
Monomial, BooleConstant)
45

56
#def all_monomials_of_degree_d(d,variables):
67
# res=all_monomials_of_degree_d_new(d, variables)
78
# ref=all_monomials_of_degree_d_old(d, variables)
89
# assert res==ref, (d, variables)
910
# return res
11+
12+
1013
def all_monomials_of_degree_d_old(d, variables):
1114

1215
if d == 0:

‎src/sage/rings/polynomial/pbori/statistics.py

+2-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
1-
from .PyPolyBoRi import Monomial, Polynomial, top_index, BooleConstant
1+
from sage.rings.polynomial.pbori.pbori import top_index
2+
from .PyPolyBoRi import Monomial, Polynomial, BooleConstant
23

34

45
def used_vars(l, bound=None):

0 commit comments

Comments
 (0)
This repository has been archived.