#13202: conversion problems in BooleanPolynomialRing with degrevlex order
---------------------------------------------------------+------------------
Reporter: Bouillaguet | Owner: malb
Type: defect | Status:
needs_review
Priority: major | Milestone:
sage-5.2
Component: commutative algebra | Resolution:
Keywords: conversion | Work issues:
Report Upstream: N/A | Reviewers:
Martin Albrecht
Authors: Alexander Dreyer, Charles Bouillaguet | Merged in:
Dependencies: #13229 | Stopgaps:
---------------------------------------------------------+------------------
Old description:
> Some conversion between different !BooleanPolynomial rings fail but they
> should not.
>
> example :
> {{{
> sage: B.<a,b,c,d> = BooleanPolynomialRing(order='degrevlex')
> sage: P.<c,d> = BooleanPolynomialRing(order='lex')
> sage: P(B('c'))
> 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', (1369, 0))
> .......
> TypeError: cannot convert polynomial c to Boolean PolynomialRing in c, d:
> name b not defined
> }}}
>
> * '''Apply''': attachment:pbori_consistent_degrevlex.patch
New description:
Some conversion between different !BooleanPolynomial rings fail but they
should not.
example :
{{{
sage: B.<a,b,c,d> = BooleanPolynomialRing(order='degrevlex')
sage: P.<c,d> = BooleanPolynomialRing(order='lex')
sage: P(B('c'))
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', (1369, 0))
.......
TypeError: cannot convert polynomial c to Boolean PolynomialRing in c, d:
name b not defined
}}}
* '''Apply''': attachment:pbori_consistent_degrevlex_5-2.patch
--
Comment (by AlexanderDreyer):
Rebased patch to Sage 5.2 rc0:
Apply pbori_consistent_degrevlex_5.2.patch
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13202#comment:19>
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.
