Changes between Version 4 and Version 7 of Ticket #15425


Ignore:
Timestamp:
05/05/14 10:02:11 (6 years ago)
Author:
nthiery
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #15425 – Description

    v4 v7  
    1 Currently we have: {{{cartesian_product}}}, {{{CartesianProduct}}} and
     1eCurrently we have: {{{cartesian_product}}}, {{{CartesianProduct}}} and
    22{{{cartesian_product_iterator}}} for constructing cartesian products.
    33
     
    101101    }}}
    102102
     1038.  Make `_cartesian_product_of_elements` a public method?
    103104
    104 7.  Many features could be further added, like for example making the cartesian product of an additive magma into an additive magma, and so on. A good step was done with #16269. Another step needs to be done after #10963 to ventilate the features in the appropriate axiom categories, and add {{{Distributive.CartesianProducts}}}.
     1059.  Add a tutorial in `Sets.SubcategoryMethods.CartesianProducts`
     106    describing the general scheme, possibly starting from the blurb there:
     107    https://groups.google.com/d/msg/sage-combinat-devel/s_aPBD6BgOg/H1aJbCI1TYoJ
     108
     1097.  Many features could be further added, like for example making the
     110    cartesian product of an additive magma into an additive magma, and
     111    so on. A good step was done with #16269. Another step needs to be
     112    done after #10963 to ventilate the features in the appropriate
     113    axiom categories, and implement
     114    {{{Distributive.CartesianProducts}}} so that a cartesian product
     115    of rings would be a ring.