#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:
---------------------------------------------------------+------------------
Changes (by AlexanderDreyer):
* dependencies: => #13229
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 pbori_degrevlex_problem.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.patch
--
Comment:
Here's my proposed change to `pbori.pyx` `.index()`, `.iterindex()` and
related functions obey the variable reordering in degrevlex now. Also,
degneglex is supported now. Feel free to test it. (There are only a few
degrevlex examples in the doctests, so some functionality might not be
covered.)
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13202#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.
