Changes between Version 134 and Version 540 of Ticket #10963


Ignore:
Timestamp:
02/25/14 23:34:37 (6 years ago)
Author:
nthiery
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10963

    • Property Status changed from needs_review to needs_info
    • Property Modified changed from 12/25/13 16:34:58 to 01/30/14 15:01:36
    • Property Cc zabrocki added
    • Property Commit changed from to 7ab3103368e46d33f37e135a9eb09a1e16a029a7
    • Property Keywords days54 added
    • Property Dependencies changed from #11224, #8327, #10193, #12895, #14516, #14722, #13589, #14471, #15069, #15094, #11688 to #11224, #8327, #10193, #12895, #14516, #14722, #13589, #14471, #15069, #15094, #11688, #13394, #15150, #15506, #15757, #15759
    • Property Branch changed from to public/ticket/10963-doc-distributive
    • Property Milestone changed from sage-5.13 to sage-6.2
  • Ticket #10963 – Description

    v134 v540  
    22
    33- Support for full subcategories defined by an axiom (Finite,
    4   Infinite, Facade, Commutative, Associative, Unital,
    5   Inverse, NoZeroDivisors, Division, FiniteDimensional, Connected,
    6   WithBasis, Irreducible), and joins thereof:
     4  Infinite, Facade, Commutative, Associative, Unital, Inverse,
     5  Distributive, NoZeroDivisors, Division, FiniteDimensional,
     6  Connected, WithBasis, Irreducible), and joins thereof:
    77
    88{{{
    99    sage: Groups() & Sets().Finite()
    1010    Category of finite groups
     11
    1112    sage: Algebras(QQ).Finite() & Monoids().Commutative()
    12     Join of Category of commutative algebras over Rational Field and Category of finite monoids
     13    Category of finite commutative algebras over Rational Field
     14
     15    sage: (Monoids() & CommutativeAdditiveGroups()).Distributive()
     16    Category of rings
     17
    1318    sage: Rings().Division() & Sets().Finite()
    1419    Category of finite fields
     
    4146- More lazy imports, removed a bunch of unused imports, ...
    4247
    43 Patch developed on: http://combinat.sagemath.org/patches/file/tip/trac_10963-more_functorial_constructions-nt.patch.
    44 
    4548This ticket is dedicated to the town of Megantic where I was so warmly welcomed and a good chunk of this ticket got implemented!
    46 
    47 Apply:
    48 
    49 * [attachment:trac_10963-more_functorial_constructions-nt.patch]
    50 * [attachment:trac_10963_doctest_correction-fc.patch]
    51 * [attachment:trac_10963-more_functorial_constructions-graded-modules-fix-nt.patch]