Namespace Tropical

This module provides a structure that denotes tropical semi-ring.

Additive and multiplication of Tropical variable x and y is defined as:

• add(x, y) := Math.min(x, y),
• mul(x, y) := x + y.

This module exports semiRing which is about this mathematical structure.