Skip to content

Commit 4c25150

Browse files
authored
Update README.md
1 parent 59a22d6 commit 4c25150

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ pkg> add TropicalNumbers
2323

2424
A Topical algebra can be described as a tuple $(R, \oplus, \otimes, \mathbb{0}, \mathbb{1})$, where $R$ is the set, $\oplus$ and $\otimes$ are the opeartions and $\mathbb{0}$, $\mathbb{1}$ are their identity element, respectively. In this package, the following tropical algebras are implemented:
2525
* `TropicalAndOr`: $([T, F], \lor, \land, F, T)$;
26-
* `TropicalBitwise`: $(\mathbb{T}, |, \&, 0, \sim 0)$
26+
* `TropicalBitwise`: $(\mathbb{R}, |, \\&, 0, \sim 0)$
2727
* `Tropical` (`TropicalMaxPlus`): $(\mathbb{R}, \max, +, -\infty, 0)$;
2828
* `TropicalMinPlus`: $(\mathbb{R}, \min, +, \infty, 0)$;
2929
* `TropicalMaxMul`: $(\mathbb{R}^+, \max, \times, 0, 1)$.

0 commit comments

Comments
 (0)