From b3fb9ee8ead39998766919127fdf512ba4503b06 Mon Sep 17 00:00:00 2001 From: mihxil Date: Tue, 22 Oct 2024 22:28:06 +0000 Subject: [PATCH] Automated update of dot.m4 --- docs/algebras.dot.m4 | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/algebras.dot.m4 b/docs/algebras.dot.m4 index 612b9f33..e72268b2 100644 --- a/docs/algebras.dot.m4 +++ b/docs/algebras.dot.m4 @@ -163,10 +163,11 @@ AdditiveAbelianSemiGroup} Ring[ margin=2 label=< -
Ring
* +-
≈ ≉ +x -x inverse x²0 u 1
ModuloStructure
+Ring * +-
⇆⋅ ≈ ≉ +x -x inverse x²1 0 uModuloStructure > ] -Ring -> {Rng} +Ring -> {Rng +MultiplicativeMonoid} # interface org.meeuw.math.abstractalgebra.AbelianRing