#13265: Missing attributes of `pbori.pyx`'s `BooleConstant`
-------------------------------+--------------------------------------------
Reporter: AlexanderDreyer | Owner: AlexGhitza
Type: defect | Status: new
Priority: major | Milestone: sage-5.3
Component: algebra | Keywords: groebner basis, polybori
Work issues: | Report Upstream: None of the above - read
trac for reasoning.
Reviewers: | Authors: Alexander Dreyer
Merged in: | Dependencies:
Stopgaps: |
-------------------------------+--------------------------------------------
Stanislav Bulygin pointed me to another issue with the `PolyBoRi`
interface in Sage:
{{{
P.<x,y,z>=BooleanPolynomialRing(3)
gb=Ideal([x*z + y*z + z, x*y + x*z + x + y*z + y + z])
gb.groebner_basis()
ERROR: An unexpected error occurred while tokenizing input
The following traceback may be corrupted or invalid
The error message is: ('EOF in multi-line statement', (14, 0))
[...]
add_vars=set(used_vars_set(to_reduce).variables()).difference(ll_ranks.keys())
145 for v in add_vars:
146 ll_ranks[v]=-1
AttributeError: 'sage.rings.polynomial.pbori.BooleConstant' object has
no attribute 'variables'
}}}
The reason is that Sage's reimplementation of `PolyBoRi`'s `BooleConstant`
misses some routines.
* '''Apply:''' attachment:
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13265>
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 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.
