Changes between Version 6 and Version 7 of Ticket #5891


Ignore:
Timestamp:
05/14/09 21:33:44 (10 years ago)
Author:
nthiery
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #5891 – Description

    v6 v7  
    77Under development on combinat.sagemath.org/patches:
    88
    9  - #5891: categories-nt.patch:
    10    the category framework itself
    11    + updates to the sage library (import fixes, ... see below)
    12    + updates to combinatorial free modules (will be split before submission)
     9- #5891: categories-nt.patch:
     10  the category framework itself
     11  + updates to the sage library (import fixes, ... see below)
     12  + updates to combinatorial free modules (will be split before submission)
    1313
    1414Related patches (will need to be applied after to recover 100% doctest pass):
    15  - categories-combinat-nt.patch
    16  - categories-numberfield_homset-nt.patch
    17  - family_enumset-fh.patch
    18  - enumset_unions-fh.patch
    19  - categories-sf-nt.patch       Symmetric functions
    20  - categories-symmetric_group_algebra-nt.patch
    21  - ncsf-nt.patch                Non commutative Symmetric Functions
    22  - #4326: root_systems-4326-nt.patch
     15- categories-combinat-nt.patch
     16- categories-numberfield_homset-nt.patch
     17- family_enumset-fh.patch
     18- enumset_unions-fh.patch
     19- categories-sf-nt.patch        Symmetric functions
     20- categories-symmetric_group_algebra-nt.patch
     21- ncsf-nt.patch         Non commutative Symmetric Functions
     22- #4326: root_systems-4326-nt.patch
    2323
    2424Small technical patches the category patch depends on:
    25  - #5449: cached_in_parent_method-5449-submitted.patch
    26  - #5783: lazy_attributes-fixes-5783-final.patch
    27  - #5120: unique_representation-5120-submitted.patch
    28  - #5967: element_wrapper-5967-submitted.patch
    29  - #5979: parent-element_constructor-fix-5979-submitted.patch
    30  - #5985: cPickle-5985-import-submitted.patch, cPickle-5985-copy_reg_classes-submitted.patch
    31  - #5986: cPickle-5986-nested-classes-submitted.patch
    32  - #5991: dynamic_class-5991-submitted.patch
    33  - #5598: 5598-coerce-declare.patch
    34  - #5483: explain-pickle-v1.patch                       # probably can get rid of this dependency
    35  - #6000: transitive_ideal-6000-submitted.patch
     25- #5449: cached_in_parent_method-5449-submitted.patch
     26- #5783: lazy_attributes-fixes-5783-final.patch
     27- #5120: unique_representation-5120-submitted.patch
     28- #5967: element_wrapper-5967-submitted.patch
     29- #5979: parent-element_constructor-fix-5979-submitted.patch
     30- #5985: cPickle-5985-import-submitted.patch, cPickle-5985-copy_reg_classes-submitted.patch
     31- #5986: cPickle-5986-nested-classes-submitted.patch
     32- #5991: dynamic_class-5991-submitted.patch
     33- #5598: 5598-coerce-declare.patch
     34- #5483: explain-pickle-v1.patch                        # probably can get rid of this dependency
     35- #6000: transitive_ideal-6000-submitted.patch
    3636
    3737Current status:
    3838
    39 * All test pass except for:
    40   sage -t  "devel/sage/sage/geometry/lattice_polytope.py" (apparently caused by categories, though I don't see how)
    41   sage -t  "devel/sage/sage/structure/sage_object.pyx"    (unpickling of old stuff)
     39- All test pass except for:
     40  - sage -t  "devel/sage/sage/geometry/lattice_polytope.py" (apparently caused by categories, though I don't see how)
     41  - sage -t  "devel/sage/sage/structure/sage_object.pyx"    (unpickling of old stuff)
    4242
    43 * Documentation:
    44   sage.categories?         Category quickref card
    45   sage.categories.primer?  Element/Parent/Category primer (in writing)
    46   Category?                Technical background on categories
    47   Semigroups().example()?? A template of semigroup
    48   See also the discussion on sage-devel in November 2009:
    49   http://groups.google.com/group/sage-devel/msg/d4065154e2e8cbd9
     43- Documentation:
     44  - sage.categories?         Category quickref card
     45  - sage.categories.primer?  Element/Parent/Category primer (in writing)
     46  - Category?                Technical background on categories
     47  - Semigroups().example()?? A template of semigroup
     48  - See also the discussion on sage-devel in November 2009:
     49  - http://groups.google.com/group/sage-devel/msg/d4065154e2e8cbd9
    5050
    51 * Real life applications:
     51- Real life applications:
    5252  see related patches, automatic monoids, ...
    5353
    54 * Categories:
     54- Categories:
    5555  - All the mathematical categories of Axiom and MuPAD (Courtesy of Teresa Gomez Diaz)
    5656  - (Infinite/Finite)EnumeratedSets (with example) (Courtesy of Florent Hivert)
     
    6363    - Have construction / reduce by default
    6464
    65 * Functorial constructions:
     65- Functorial constructions:
    6666  - direct sum
    6767  - tensor product
     
    7171  - isomorphism type (todo)
    7272
    73 * Homomorphisms
     73- Homomorphisms
    7474  - Integrates with current sage morphisms
    7575  - Adds morphisms for some categories
     
    8282    This may be backward incompatible.
    8383
    84 * Generic test framework
     84- Generic test framework
    8585  - Functional, final design clear, needs cleanup (2/3 hours)
    8686
    87 * Reorganization of the Sage library to start using the category framework:
     87- Reorganization of the Sage library to start using the category framework:
    8888  * Combinatorial free modules
    8989    * Have unique representation, use coercion, are more robust
     
    107107  * Added sage.sets.finite_enumerated_set
    108108
    109 * Todo:
     109- Todo:
    110110  * Naming cleanup:
    111111    * Parent -> ParentMethods (or _ParentMethods? or ?)
     
    138138    and a x B -> C are morphisms for a possibly different category
    139139
    140 * Discussion:
     140- Discussion:
    141141  * Defining new inline operators, at least within the sage interpreter
     142