#7580: bugs in infinite polynomial ring
-----------------------+----------------------------------------------------
Reporter: was | Owner: SimonKing
Type: defect | Status: new
Priority: major | Milestone: sage-4.3
Component: algebra | Keywords:
Work_issues: | Author:
Upstream: N/A | Reviewer:
Merged: |
-----------------------+----------------------------------------------------
Comment(by SimonKing):
Concerning the erroneous result of {{{a[2/3]}}} or {{{a['0+5']}}}: It is
correct that it comes from the use of strings. I am now explicitely
converting the argument to an integer. It is silly that I forgot it in the
original implementation. This also fixes the {{{a[Mod(2,3)]}}} bug.
I meanwhile have code that allows for any alphanumeric variable names.
Only requirement: {{{isalnum()}}} must return {{{True}}} (in particular,
there must be no underscore in the name, as I have explained above). I am
now testing the new code and will hopefully soon be able to post it.
The reason for requiring a base ''field'': It is needed for my original
application, Symmetric Gröbner Bases. But as people now want other
applications, it seems fair to allow ''any'' base ring that is also
allowed for classical polynomial rings. So, the exception should only be
raised in the {{{groebner_basis}}} method of symmetric ideals.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7580#comment:5>
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.
