Tropical algebra overloading: Difference between revisions

m
mNo edit summary
Line 34:
<lang julia>⊕(x, y) = max(x, y)
⊗(x, y) = x + y
↑(x, y) = (@assert round(y) == y && y > 0; x * y)
 
@show 2 ⊗ -2
Line 41:
@show 1.5 ⊕ -1
@show -0.5 ⊗ 0
@show (-1)↑(1/2)5↑7
@show 5 ⊗ (8 ⊕ 7)
@show 5 ⊗ 8 ⊕ 5 ⊗ 7
Line 52:
1.5 ⊕ -1 = 1.5
-0.5 ⊗ 0 = -0.5
(-1)5(1 / 2)7 = -0.535
5 ⊗ (8 ⊕ 7) = 13
5 ⊗ 8 ⊕ 5 ⊗ 7 = 13
4,106

edits