Changes between Initial Version and Version 2 of Ticket #10963


Ignore:
Timestamp:
04/24/11 05:06:29 (9 years ago)
Author:
nthiery
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10963

    • Property Dependencies changed from to #11224
  • Ticket #10963 – Description

    initial v2  
    1 The patch under development on the Sage-Combinat queue implements:
     1The patch under finalization on the Sage-Combinat queue implements:
    22
    3  - The algebra of a finite enumerated set is a finite dimensional algebra
    4  - Commutative additive semigroup and monoid algebras
    5  - More documentation for IsomorphicObjects and other doc improvements
     3- Support for full subcategories defined by a predicate on the objects
     4  (Finite, Infinite, FiniteDimensional, Commutative, Graded, Facade),
     5  and joins thereof:
     6
     7{{{
     8    sage: Category.join([Groups(), Sets().Finite()])
     9    Category of finite groups
     10    sage: Category.join([Algebras(QQ).Finite(), Monoids().Commutative()])
     11    Join of Category of commutative algebras over Rational Field and Category of finite monoids
     12}}}
     13
     14- More mathematical rules:
     15  - A subquotient of a finite set is a finite set
     16  - The algebra of a finite set is finite dimensional
     17  - The algebra of a commutative magma is commutative
     18- Algebras of commutative additive semigroups and monoids
     19- More documentation for IsomorphicObjects and other doc improvements