#13265: Missing attributes of `pbori.pyx`'s `BooleConstant`
----------------------------------------------------------------+-----------
Reporter: AlexanderDreyer |
Owner: AlexanderDreyer
Type: defect |
Status: positive_review
Priority: major |
Milestone: sage-5.3
Component: algebra |
Resolution:
Keywords: groebner basis, polybori | Work
issues:
Report Upstream: None of the above - read trac for reasoning. |
Reviewers: Martin Albrecht
Authors: Alexander Dreyer | Merged
in:
Dependencies: |
Stopgaps:
----------------------------------------------------------------+-----------
Changes (by malb):
* status: needs_review => positive_review
* reviewer: => Martin Albrecht
Old description:
> 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:BooleConstant.patch
New description:
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:BooleConstant.2.patch
--
Comment:
Patch looks good, except that the {{{sage:}}} blocks after {{{EXAMPLE:}}}
were not properly indented. I fixed that.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13265#comment:6>
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.
