Expand description
A plain integer ring as a Semiring, for signed structural matrices.
The algebra spine’s tropical / boolean / counting semirings cannot represent
the signed entries of incidence and Laplacian matrices (no subtraction, no
negatives). IntRing is the ordinary ring of i64 under + and *; it is
a valid semiring (every ring is), with no Kleene star.
Structs§
- IntRing
- The ring of
i64under saturating+and*.