#14507: Implement the tropical semiring
----------------------------------------------+-----------------------------
       Reporter:  tscrim                      |         Owner:  tscrim          
     
           Type:  enhancement                 |        Status:  needs_work      
     
       Priority:  major                       |     Milestone:  sage-5.10       
     
      Component:  algebra                     |    Resolution:                  
     
       Keywords:  tropical geometry semiring  |   Work issues:  documentation, 
design
Report Upstream:  N/A                         |     Reviewers:  Vincent 
Delecroix    
        Authors:  Travis Scrimshaw            |     Merged in:                  
     
   Dependencies:                              |      Stopgaps:                  
     
----------------------------------------------+-----------------------------
Changes (by vdelecroix):

  * status:  needs_review => needs_work
  * reviewer:  => Vincent Delecroix
  * work_issues:  => documentation, design


Comment:

 1) '''Design'''

 - the min-plus convention is standard ? I thought it was max-plus. I think
 that it might be an option of the ring to chose between min and max.

 - Why did you choose to base it on real fields ? It seems more like a
 wrapper that call `+` and `max` (or `min`) appropriately. What if I want
 tropical integers ? Tropical real intervals ? (note: I do want those).

 - It would be better to call `x.min(y)` (optimized mpfr stuff) instead of
 `min(x,y)` (Python generic stuff)

 - For sake of optimization you should implement a `cdef _new` method that
 duplicate the object instead of calling `self.__class__(my_parent,
 my_new_value)`. It is the way it is for most cythonized elements.

 2) '''Documentation''' the file is not included in the documentation.
 Moreover it might be nice to have more examples in the headers of the file
 (with a link to :wikipedia:Tropical_geometry... actually it might be a
 good idea to rewrite the wikipedia article ;-)

 3) '''Question''' Do you know how I can build a tropical matrix ?

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14507#comment:2>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to