#16405: Cartesian product of rings
-----------------------------+-------------------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.3
Component: categories | Keywords: cartesian product
Merged in: | Authors: Nicolas M. Thiéry
Reviewers: Nathann Cohen | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
-----------------------------+-------------------------------------
This ticket lifts up cartesian product features to the categories recently
created in #10963, where they belong. Thanks to this and to the definition
of CartesianProducts for the Distributive axiom, we have now:
{{{
sage: Fields().CartesianProducts()
Join of Category of rings
and Category of Cartesian products of distributive magmas and additive
magmas
and Category of Cartesian products of semigroups
and Category of Cartesian products of unital magmas
and Category of Cartesian products of additive inverse additive unital
additive magmas
and Category of Cartesian products of additive commutative additive
magmas
and Category of Cartesian products of additive semigroups
}}}
And this works smoothly for all variants of rings (semirings, ...).
This fixes a piece of : #15425.
--
Ticket URL: <http://trac.sagemath.org/ticket/16405>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
