Commit 2021-09-07 15:17 f8cfed4d
View on Github →feat(algebra/tropical/basic): define tropical semiring (#8864) Just the initial algebraic structures. Follow up PRs will provide these with a topology, prove that tropical polynomials can be interpreted as sums of affine maps, and further towards tropical geometry.