#9056: Add the category of SemiRings with an example : NonNegativeIntegers()
-------------------------------+--------------------------------------------
Reporter: nborie | Owner: nborie
Type: enhancement | Status: closed
Priority: major | Milestone: sage-4.4.4
Component: categories | Resolution: fixed
Keywords: semiring | Author: Nicolas Borie
Upstream: N/A | Reviewer: Nicolas M. Thiéry
Merged: sage-4.4.4.alpha1 | Work_issues:
-------------------------------+--------------------------------------------
Changes (by nborie):
* cc: nthiery (added)
Comment:
Thanks Mike for the fix!
For now, I still don't really manage to integrate completely such patch
which touch so many things in Sage. Dependencies are not trivial when you
begin to modify categories.
For Nicolas Thiéry : This patch go in Sage before I fold your second
reviewer patch :
{{{
diff --git a/sage/categories/primer.py b/sage/categories/primer.py
--- a/sage/categories/primer.py
+++ b/sage/categories/primer.py
@@ -122,6 +122,7 @@ Example of mathematical information::
Category of rings,
Category of rngs,
Category of commutative additive groups,
+ Category of semirings,
Category of commutative additive monoids,
Category of commutative additive semigroups,
Category of additive magmas,
@@ -503,6 +504,7 @@ This gives the following order::
Category of algebras over Rational Field,
Category of rings,
Category of rngs,
+ Category of semirings,
Category of monoids,
Category of semigroups,
Category of magmas,
}}}
I don't no the status about your improvements of the category primer but
be aware about this fact. As I don't want to produce some chaos in the
queue, I didn't touch your reviewer patch "trac_9056_semirings_category-
review-nt.patch".
Sorry to being late to fold it.
Nicolas (the little).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9056#comment:21>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
