Changes between Version 9 and Version 10 of Ticket #5891


Ignore:
Timestamp:
05/14/09 16:30:57 (4 years ago)
Author:
nthiery
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #5891 – Description

    v9 v10  
    55William Stein, ... for design discussions). 
    66 
    7 Under development on combinat.sagemath.org/patches: 
     7The latest version of the patches are available from: 
     8http://combinat.sagemath.org/patches/file/ 
    89 
    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) 
     10Main patch: 
     11 
     12 - #5891: categories-nt.patch: 
     13   the category framework itself 
     14   + updates to the sage library (import fixes, ... see below) 
     15   + updates to combinatorial free modules (will be split before submission) 
    1316 
    1417Related 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 
     18 - categories-combinat-nt.patch 
     19 - categories-numberfield_homset-nt.patch 
     20 - family_enumset-fh.patch 
     21 - enumset_unions-fh.patch 
     22 - categories-sf-nt.patch       Symmetric functions 
     23 - categories-symmetric_group_algebra-nt.patch 
     24 - ncsf-nt.patch                Non commutative Symmetric Functions 
     25 - #4326: root_systems-4326-nt.patch 
    2326 
    2427Small technical patches the category patch depends on: 
    25  
    26 - #5449: cached_in_parent_method-5449-submitted.patch 
    27  
    28 - #5783: lazy_attributes-fixes-5783-final.patch 
    29 - #5120: unique_representation-5120-submitted.patch 
    30 - #5967: element_wrapper-5967-submitted.patch 
    31 - #5979: parent-element_constructor-fix-5979-submitted.patch 
    32 - #5985: cPickle-5985-import-submitted.patch, cPickle-5985-copy_reg_classes-submitted.patch 
    33 - #5986: cPickle-5986-nested-classes-submitted.patch 
    34 - #5991: dynamic_class-5991-submitted.patch 
    35 - #5598: 5598-coerce-declare.patch 
    36 - #5483: explain-pickle-v1.patch                        # probably can get rid of this dependency 
    37 - #6000: transitive_ideal-6000-submitted.patch 
     28 - #5449: cached_in_parent_method-5449-submitted.patch 
     29 - #5783: lazy_attributes-fixes-5783-final.patch 
     30 - #5120: unique_representation-5120-submitted.patch 
     31 - #5967: element_wrapper-5967-submitted.patch 
     32 - #5979: parent-element_constructor-fix-5979-submitted.patch 
     33 - #5985: cPickle-5985-import-submitted.patch, cPickle-5985-copy_reg_classes-submitted.patch 
     34 - #5986: cPickle-5986-nested-classes-submitted.patch 
     35 - #5991: dynamic_class-5991-submitted.patch 
     36 - #5598: 5598-coerce-declare.patch 
     37 - #5483: explain-pickle-v1.patch                       # probably can get rid of this dependency 
     38 - #6000: transitive_ideal-6000-submitted.patch 
    3839 
    3940Current status: 
    4041 
    41 - All test pass except for: 
     42 - All test pass except for: 
    4243  - sage -t  "devel/sage/sage/geometry/lattice_polytope.py" (apparently caused by categories, though I don't see how) 
    4344  - sage -t  "devel/sage/sage/structure/sage_object.pyx"    (unpickling of old stuff) 
    4445 
    45 - Documentation: 
     46 - Documentation: 
    4647  - sage.categories?         Category quickref card 
    4748  - sage.categories.primer?  Element/Parent/Category primer (in writing) 
    … …  
    5152  - http://groups.google.com/group/sage-devel/msg/d4065154e2e8cbd9 
    5253 
    53 - Real life applications: 
     54 - Real life applications: 
    5455  see related patches, automatic monoids, ... 
    5556 
    56 - Categories: 
     57 - Categories: 
    5758  - All the mathematical categories of Axiom and MuPAD (Courtesy of Teresa Gomez Diaz) 
    5859  - (Infinite/Finite)EnumeratedSets (with example) (Courtesy of Florent Hivert) 
    … …  
    6566    - Have construction / reduce by default 
    6667 
    67 - Functorial constructions: 
     68 - Functorial constructions: 
    6869  - direct sum 
    6970  - tensor product 
    … …  
    7374  - isomorphism type (todo) 
    7475 
    75 - Homomorphisms 
     76 - Homomorphisms 
    7677  - Integrates with current sage morphisms 
    7778  - Adds morphisms for some categories 
    … …  
    8485    This may be backward incompatible. 
    8586 
    86 - Generic test framework 
     87 - Generic test framework 
    8788  - Functional, final design clear, needs cleanup (2/3 hours) 
    8889 
    89 - Reorganization of the Sage library to start using the category framework: 
     90 - Reorganization of the Sage library to start using the category framework: 
    9091  * Combinatorial free modules 
    9192    * Have unique representation, use coercion, are more robust 
    … …  
    109110  * Added sage.sets.finite_enumerated_set 
    110111 
    111 - Todo: 
     112 - Todo: 
    112113  * Naming cleanup: 
    113114    * Parent -> ParentMethods (or _ParentMethods? or ?) 
    … …  
    140141    and a x B -> C are morphisms for a possibly different category 
    141142 
    142 - Discussion: 
     143 - Discussion: 
    143144  * Defining new inline operators, at least within the sage interpreter 
    144145