#9056: Add the category of SemiRings with an example : NonNegativeIntegers()
---------------------------+------------------------------------------------
   Reporter:  nborie       |       Owner:  nborie  
       Type:  enhancement  |      Status:  new     
   Priority:  major        |   Milestone:          
  Component:  categories   |    Keywords:  semiring
     Author:               |    Upstream:  N/A     
   Reviewer:               |      Merged:          
Work_issues:               |  
---------------------------+------------------------------------------------
Description changed by nborie:

Old description:

> All is in the title, we want :
>
> {{{
> sage: SemiRings()
> sage: Category of semi rings
> sage: NN = NonNegativeIntegers()
> sage: NN.category()
> Category of semi rings
> }}}

New description:

 All is in the title, we want :

 {{{
 sage: SemiRings()
 sage: Category of semi rings
 sage: NN = NonNegativeIntegersSemiRing()
 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:1>
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