#6177: [with patch, needs work] Update PolyBoRi to newest upstream release
-------------------------+--------------------------------------------------
Reporter: malb | Owner: malb
Type: enhancement | Status: new
Priority: major | Milestone: sage-4.1.2
Component: packages | Keywords: M4RI, PolyBoRi
Reviewer: | Author:
Merged: |
-------------------------+--------------------------------------------------
Comment(by PolyBoRi):
Hi!
First of all,
it is difficult to test the Sage-Wrapper using our tests, since Sage
checks the variable names from time to time.
{{{
/Applications/sage/local/lib/python2.6/site-packages/polybori/gbcore.pyc
in clean_polys(I)
156 return make_wrapper
157 def clean_polys(I):
--> 158 zero=Polynomial(0)
159 I=list(set((Polynomial(p) for p in I if p!=zero)))
160 return I
/Applications/sage/local/lib/python2.6/site-
packages/sage/rings/polynomial/pbori.so in
sage.rings.polynomial.pbori.PolynomialFactory.__call__
(sage/rings/polynomial/pbori.cpp:24232)()
/Applications/sage/local/lib/python2.6/site-
packages/sage/rings/polynomial/pbori.so in
sage.rings.polynomial.pbori.get_cring
(sage/rings/polynomial/pbori.cpp:36518)()
/Applications/sage/local/lib/python2.6/site-
packages/sage/rings/polynomial/pbori.so in
sage.rings.polynomial.pbori.BooleanPolynomialRing_from_PBRing
(sage/rings/polynomial/pbori.cpp:37213)()
/Applications/sage/local/lib/python2.6/site-
packages/sage/rings/polynomial/multi_polynomial_ring_generic.so in
sage.rings.polynomial.multi_polynomial_ring_generic.MPolynomialRing_generic.__init__
(sage/rings/polynomial/multi_polynomial_ring_generic.c:1913)()
/Applications/sage/local/lib/python2.6/site-
packages/sage/structure/parent_gens.so in
sage.structure.parent_gens.ParentWithGens.__init__
(sage/structure/parent_gens.c:2342)()
/Applications/sage/local/lib/python2.6/site-
packages/sage/structure/parent_gens.so in
sage.structure.parent_gens.ParentWithGens._assign_names
(sage/structure/parent_gens.c:2830)()
/Applications/sage/local/lib/python2.6/site-
packages/sage/structure/parent_gens.so in
sage.structure.parent_gens.normalize_names
(sage/structure/parent_gens.c:2068)()
/Applications/sage/local/lib/python2.6/site-
packages/sage/structure/parent_gens.so in
sage.structure.parent_gens._certify_names
(sage/structure/parent_gens.c:1601)()
}}}
Furthermore the ring wrapper has no method n_variables, which is
equivalent to ngens.
Michael
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6177#comment:32>
Sage <http://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 post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
