Changes between Version 9 and Version 10 of Ticket #5891


Ignore:
Timestamp:
05/14/09 23:30:57 (10 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