#7654: Conversion bug in MPolynomialRing_libsingular
-----------------------------------+----------------------------------------
Reporter: SimonKing | Owner: malb
Type: defect | Status: needs_review
Priority: critical | Milestone: sage-4.7.2
Component: commutative algebra | Keywords: conversion libsingular
Work_issues: | Upstream: N/A
Reviewer: | Author: Martin Albrecht
Merged: | Dependencies:
-----------------------------------+----------------------------------------
Comment(by SimonKing):
First things first: My original example still fails, but I think we agreed
that it ''should'' fail. And the error message is definitely nicer than
before:
{{{
sage: R.<y_6, y_3, y_2, y_1, z_6, z_5, z_4, z_3, z_2, z_1> = GF(3)[]
sage: S = GF(3)['y_4', 'y_3', 'y_2', 'y_1', 'z_5', 'z_4', 'z_3', 'z_2',
'z_1']
sage: S(y_1*z_2^2*z_1)
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', (6675, 0))
---------------------------------------------------------------------------
TypeError Traceback (most recent call
last)
/mnt/local/king/SAGE/sage-4.7.1.rc1/devel/sage-main/<ipython console> in
<module>()
/mnt/local/king/SAGE/sage-4.7.1.rc1/local/lib/python2.6/site-
packages/sage/rings/polynomial/multi_polynomial_libsingular.so in
sage.rings.polynomial.multi_polynomial_libsingular.MPolynomialRing_libsingular.__call__
(sage/rings/polynomial/multi_polynomial_libsingular.cpp:7805)()
/mnt/local/king/SAGE/sage-4.7.1.rc1/local/lib/python2.6/site-
packages/sage/rings/polynomial/multi_polynomial.so in
sage.rings.polynomial.multi_polynomial.MPolynomial._polynomial_
(sage/rings/polynomial/multi_polynomial.c:3271)()
/mnt/local/king/SAGE/sage-4.7.1.rc1/local/lib/python2.6/site-
packages/sage/rings/polynomial/multi_polynomial_libsingular.so in
sage.rings.polynomial.multi_polynomial_libsingular.MPolynomialRing_libsingular.__call__
(sage/rings/polynomial/multi_polynomial_libsingular.cpp:8103)()
TypeError: Could not find a mapping of the passed element to this ring.
}}}
I went through the examples that we had discussed, and I find that they
work as it was proposed. And the logic behind the conversions is explained
in the docs.
I am now running all long tests, and if that works then it'll be a
positive review.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7654#comment:17>
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.
