#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:
----------------------------------------------+-----------------------------
Comment (by tscrim):
Hey Vincent,
Thanks for the review. According to the wiki, its min-plus, but of course,
this is/should not be the standard. However, half the tropical talks I go
to are min, half are max. I'll change things around to allow the users to
have a choice. I based it on the reals since I've only every seen it as
such and to avoid having to check if the base ring has a total order
(which is the only thing we really need and I don't know how to check
that). I will just let it use any base ring and put warnings in the doc.
I'll also include your other changes.
For tropical matrices, this should be the same as tropical polynomials,
they aren't there (yet). We will see if making the base ring input
arbitrary will make it work. I'll let you know when an updated patch is
posted.
Thanks,[[BR]]
Travis
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14507#comment:3>
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.
