#9056: Add the category of SemiRings with an example : NonNegativeIntegers()
---------------------------------+------------------------------------------
   Reporter:  nborie             |       Owner:  nborie      
       Type:  enhancement        |      Status:  needs_review
   Priority:  major              |   Milestone:  sage-4.4.3  
  Component:  categories         |    Keywords:  semiring    
     Author:  Nicolas Borie      |    Upstream:  N/A         
   Reviewer:  Nicolas M. ThiƩry  |      Merged:              
Work_issues:                     |  
---------------------------------+------------------------------------------
Description changed by nborie:

Old description:

> All is in the title, we want :
>
> {{{
> sage: Semirings()
> sage: Category of semirings
> sage: NN = NonNegativeIntegersSemiring()
> sage: NN.category()
> Join of Category of semirings and Category of infinite enumerated sets
> }}}

New description:

 All is in the title, we want :

 {{{
 sage: Semirings()
 sage: Category of semirings
 sage: NN = NonNegativeIntegerSemiring()
 sage: NN.category()
 Join of Category of semirings and Category of infinite enumerated sets
 }}}

--

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9056#comment:11>
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.

Reply via email to