#13883: Fix an assertion in polybori
-------------------------------------------------------+--------------------
Reporter: SimonKing | Owner: malb
Type: defect | Status:
needs_review
Priority: major | Milestone:
sage-5.6
Component: commutative algebra | Resolution:
Keywords: polybori FGLMStrategy debug | Work issues:
Report Upstream: Reported upstream. No feedback yet. | Reviewers:
Authors: AlexanderDreyer | Merged in:
Dependencies: | Stopgaps:
-------------------------------------------------------+--------------------
Comment (by jpflori):
Replying to [comment:9 AlexanderDreyer]:
> I was able to reproduce Simon's example now with plain polybori. The
problem is that the input ideal must be a reduced Gröbner basis (fglm does
not compute a Groebner basis itself, it just converts). This is what the
assertion complains about. But since a user can trigger this, an assertion
is probably not the best idea.
>
> I could patch polybori to throw an exception here. What do you think?
Good idea!
Now we have just to make sure that Sage catch the exception (which it did
not seem to do in my example at least).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13883#comment:14>
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.
