
from sage.misc.lazy_import import lazy_import
lazy_import('sage.rings.semirings.non_negative_integer_semiring',
            ['NonNegativeIntegerSemiring', 'NN'])

from tropical_semiring import TropicalSemiring

