feat(core): improve error message in FiniteMonoidMap.checkFiniteMonoi…

…dMapAxioms
shwaka · Dec 24, 2023 · a9ebf5e · a9ebf5e
1 parent 34ac2f9
commit a9ebf5e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/...mology/src/commonMain/kotlin/com/github/shwaka/kohomology/resol/monoid/FiniteMonoidMap.kt b/...mology/src/commonMain/kotlin/com/github/shwaka/kohomology/resol/monoid/FiniteMonoidMap.kt
@@ -64,7 +64,8 @@ public interface FiniteMonoidMap<ES : FiniteMonoidElement, ET : FiniteMonoidElem
                     val rhs = multiplyTarget(map(a), map(b))
                     if (lhs != rhs) {
                         cause.add(
-                            "f(ab)=f(a)f(b) is not satisfied for a=$a, b=$b"
+                            "f(ab)=f(a)f(b) is not satisfied for a=$a, b=$b; " +
+                                "f(ab) = $lhs and f(a)f(b) = $rhs"
                         )
                     }
                 }