Changes between Version 11 and Version 79 of Ticket #10963


Ignore:
Timestamp:
08/14/13 08:47:37 (7 years ago)
Author:
nthiery
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10963

    • Property Status changed from needs_info to needs_work
    • Property Dependencies changed from #11224, #8327 to #11224, #8327, #10193, #12895, #14516, #14722, #13589
    • Property Reviewers changed from to Simon King
    • Property Work issues changed from Find dependencies. Finite dimensional vector spaces to Reduce startup time by 5%. Avoid "recursion depth exceeded (ignored)".
  • Ticket #10963 – Description

    v11 v79  
    1 The patch under finalization on the Sage-Combinat queue implements:
     1This ticket implements:
    22
    3 - Support for full subcategories defined by a predicate on the objects
    4   (Finite, Infinite, FiniteDimensional, Commutative, Graded, Facade),
    5   and joins thereof:
     3- Support for full subcategories defined by an axiom (Finite,
     4  Infinite, FiniteDimensional, Commutative, Associative, Unital,
     5  Inverse, NoZeroDivisors, Division, Facade), and joins thereof:
    66
    77{{{
    8     sage: Category.join([Groups(), Sets().Finite()])
     8    sage: Groups() & Sets().Finite()
    99    Category of finite groups
    10     sage: Category.join([Algebras(QQ).Finite(), Monoids().Commutative()])
     10    sage: Algebras(QQ).Finite() & Monoids().Commutative()
    1111    Join of Category of commutative algebras over Rational Field and Category of finite monoids
     12    sage: Rings().Division() & Sets().Finite()
     13    Category of finite fields
    1214}}}
     15
     16- New categories:
     17  - AdditiveSemigroups, AdditiveMonoids, AdditiveGroups
     18  - DistributiveMagmasAndAdditiveMagmas
     19  - MagmaticAlgebras (will replace Algebras in #15043)
     20  - AssociativeAlgebras
     21  - UnitalAlgebras
     22  - Algebras of additive semigroups and monoids
    1323
    1424- More mathematical rules:
     
    1626  - The algebra of a finite set is finite dimensional
    1727  - The algebra of a commutative magma is commutative
    18 - Algebras of commutative additive semigroups and monoids
     28  - A finite division ring is a field
     29  - ...
     30
    1931- More documentation for IsomorphicObjects and other doc improvements
    2032
    21 See http://combinat.sagemath.org/patches/file/tip/trac_10963-more_functorial_constructions-nt.patch and follow ups.
     33- Complete revamping of sage.categories.primer
     34
     35- Use SubcategoryMethods to put the functorial constructions where
     36  they belong. E.g. DualObjects, TensorProducts, and Graded are now
     37  only defined for subcategories of Modules.
     38
     39Patch developed on: http://combinat.sagemath.org/patches/file/tip/trac_10963-more_functorial_constructions-nt.patch.