#13883: Fix an assertion in polybori
-------------------------------------------------------+--------------------
Reporter: SimonKing | Owner: malb
Type: defect | Status: new
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: | Merged in:
Dependencies: | Stopgaps:
-------------------------------------------------------+--------------------
Comment (by AlexanderDreyer):
The spkg just applies the following patch:
{{{ #!diff
--- a/groebner/include/polybori/groebner/PolyEntryVector.h Sat Dec 22
02:54:10 2012 +0100
+++ b/groebner/include/polybori/groebner/PolyEntryVector.h Sun Dec 30
22:56:49 2012 +0100
@@ -71,7 +71,10 @@
virtual void append(const PolyEntry& element) {
m_data.push_back(element);
- PBORI_ASSERT(m_indices.checked(back().lead) == (size_type)-1);
+#ifndef PBORI_NDEBUG
+ if(m_indices.checked(back().lead) != (size_type)-1)
+ throw std::runtime_error("leading terms not unique when appending
to PolyEntryVector");
+#endif
m_indices.insert(back(), size() - 1);
}
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13883#comment:11>
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.
