#11856: Raise an overflow error if the exponent of a multivariate polynomial
flows
over
-----------------------------------+----------------------------------------
Reporter: SimonKing | Owner: malb
Type: defect | Status: needs_review
Priority: critical | Milestone: sage-4.7.2
Component: commutative algebra | Keywords: exponent overflow
Work_issues: | Upstream: N/A
Reviewer: | Author: Simon King
Merged: | Dependencies:
-----------------------------------+----------------------------------------
Comment(by SimonKing):
Very tricky. Singular correctly computes `x^2^30*x^2^30`, but it does not
print it correctly, because when printing the exponent then it is
converted in a different format:
{{{
sage: P.<x,y> = QQ[]
sage: (x^2^30*x^2^30)
x^-2147483648
sage: (x^2^30*x^2^30).degree()
2147483648
}}}
So, ''internally'' the degree is correct.
Even more tricky: In the case of `x^2^31`, Singular believes that the
result is zero. The `degree()` method first tests whether it is (believed
to be) zero, and acts accordingly:
{{{
sage: (x^2^31).degree()
-1
sage: (x^2^31)
0
}}}
That happens when I remove the max_exponent_size. I suppose I shouldd
revert that removal...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11856#comment:4>
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.
