#15820: Implement sequences of bounded integers
-------------------------------------+-------------------------------------
Reporter: SimonKing | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.4
Component: algebra | Resolution:
Keywords: sequence bounded | Merged in:
integer | Reviewers: Jeroen Demeyer, Simon
Authors: Simon King, | King
Jeroen Demeyer | Work issues: interrupt handling
Report Upstream: N/A | Commit:
Branch: | 63d2693eb4915632e3cb806730a4eb56dc26008e
u/SimonKing/ticket/15820 | Stopgaps:
Dependencies: #17195, #17196 |
-------------------------------------+-------------------------------------
Comment (by SimonKing):
By the way: Note that I've formulated error messages such as `ValueError:
BoundedIntegerSequence.index(x): x(=32) not in sequence` by taking tuples
as good example:
{{{
sage: (1,2,3).index(4)
---------------------------------------------------------------------------
ValueError Traceback (most recent call
last)
<ipython-input-2-e2928ab3b336> in <module>()
----> 1 (Integer(1),Integer(2),Integer(3)).index(Integer(4))
ValueError: tuple.index(x): x not in tuple
}}}
Your error message is more similar to what is done for lists:
{{{
sage: [1,2,3].index(4)
---------------------------------------------------------------------------
ValueError Traceback (most recent call
last)
<ipython-input-1-e163a1d1b274> in <module>()
----> 1 [Integer(1),Integer(2),Integer(3)].index(Integer(4))
ValueError: 4 is not in list
}}}
But that's not more than a side-note. I accept your change.
--
Ticket URL: <http://trac.sagemath.org/ticket/15820#comment:357>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
