#12748: An inconsistent term order must not be accepted as input of a polynomial
ring construction
-----------------------------------+----------------------------------------
Reporter: SimonKing | Owner: malb
Type: defect | Status: new
Priority: major | Milestone: sage-5.0
Component: commutative algebra | Keywords: polynomial ring
termorder
Work issues: | Report Upstream: N/A
Reviewers: | Authors:
Merged in: | Dependencies:
Stopgaps: |
-----------------------------------+----------------------------------------
[http://groups.google.com/group/sage-
devel/browse_thread/thread/1fe4a837a625754c Ben Hutz] pointed out the
following:
{{{
sage:
R.<x0,y0,z0,x1,y1,z1,a0,a1,a2,a3,a4,a5,a6,a7,a8>=PolynomialRing(QQ,order=TermOrder('degrevlex',
6) + TermOrder('degrevlex',10))sage: I = Ideal([a0])
sage: x1 in I
---------------------------------------------------------------------------
RuntimeError Traceback (most recent call
last)
...
RuntimeError: Segmentation fault
}}}
So, two problems:
* I think a `ValueError` should be raised if one tries to define a
polynomial ring in 15 variables, but provide a term order for 16
variables.
* One should try to have a less scary error message. Ben understood that
he got a segmentation fault, but if I understand correctly one really gets
not more than a harmless `RuntimeError`.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12748>
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.
