Semiring Applications - All pairs shortest path (Tropical semiring) + Ridge Linear Regression (Semiring)

lattices/src/lib.rs

@@ -78,13 +78,13 @@ pub trait Multiplication<Other> {
 /// Trait to check if semiring contains a zero.
 pub trait Zero<T> {
     /// Returns the zero element of the semiring. Identify for the Addition operation.
-    fn zero(&self) -> T;
+    fn zero(&self) -> Self;
 }
 
 /// Trait to define a one in a semiring.
 pub trait One<T> {
     /// Returns the one element of the semiring. Identity for the multiplication operation.
-    fn one(&self) -> T;
+    fn one(&self) -> Self;
 }
 /// Trait for lattice merge (AKA "join" or "least upper bound").
 pub trait Merge<Other> {