简单热带
这是Julia中热带(最小加)算术的实现。
号码
热带数字包括实数和无穷大。 SimpleTropical模块定义了Tropical类型(它是Number的子类型)。 可以按类型对热带数字进行参数化,但这是自动进行的:
julia > using SimpleTropical
julia > x = Tropical ( 3.5 )
Tropical {Float64} ( 3.5 )
julia > y = Tropical {Int} ( 4 )
Tropical {Int64} ( 4 )
可以通过TropicalInf获得热带无限:
julia> TropicalInf
Tropical(∞)
算术
+运算定义为两个值的最小值,而*定义为总和:
julia > x + y
Tropical {Float64} ( 3.5 )
julia > x * y
Trop