#15852: implement Sequence parent from Sets
-------------------------------------+-------------------------------------
       Reporter:  rws                |        Owner:
           Type:  enhancement        |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-6.2
      Component:  categories         |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Ralf Stephan       |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/rws/ticket/15852                 |  c0f4cf53bd33fa88e375a632454a81ce1954a4e1
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by nthiery):

 I am finally looking at this ticket. Thanks for taking care of long
 deprecated stuff!

 The documentation of `Sequence` states «A mutable list of elements with a
 common guaranteed universe, which can be set immutable».

 I interpret that as a data structure for an homogeneous collection of
 objects, homogeneous in that they share a common universe. This sounds
 much more like a programming utility than a model for a mathematical
 concept.

 So I would tend to not try imposing a mathematical structure onto it: a
 sequence needs not have a parent nor a category, nor mathematical
 operations like +, ... Let's indeed deprecate/remove the corresponding
 methods.

 On the other hand, one could triple check that `Sequence` fits nicely in
 Python's collection Abstract Base Classes [1]. This is a good start:
 {{{
 sage: S = Sequence([QQ, RR])
 sage: isinstance(S, collections.MutableSequence)
 True
 }}}
 There would remain to check that all methods indeed fit the
 specifications.

 [1] https://docs.python.org/2/library/collections.html#collections-
 abstract-base-classes

 Cheers,
                                        Nicolas

--
Ticket URL: <http://trac.sagemath.org/ticket/15852#comment:14>
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.

Reply via email to