From 98596792029ebfdd9f299c40e794e0ccb49b59ab Mon Sep 17 00:00:00 2001 From: mihxil Date: Thu, 7 Nov 2024 22:13:50 +0000 Subject: [PATCH 1/2] Automated update of dot.m4 --- docs/algebras.dot.m4 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/algebras.dot.m4 b/docs/algebras.dot.m4 index 8351981f..cd89356e 100644 --- a/docs/algebras.dot.m4 +++ b/docs/algebras.dot.m4 @@ -195,7 +195,7 @@ DivisibleGroup -> {MultiplicativeAbelianGroup} Field[ margin=2 label=< -
Field
* +-
⇆		⋅/
⇆		 ≈ ≉ xⁿ+x -x x⁻¹ inverse x²0 u 1
ℤ/nℤ
GaussianRationals 𝐐(i)
ℤ/3ℤ
+Field * +-
⇆⋅/
⇆ ≈ ≉ xⁿ+x -x x⁻¹ inverse x²0 u 1ℤ/pℤGaussianRationals 𝐐(i)ℤ/3ℤ > ] Field -> {DivisionRing From b32572fd05880cdd5821f9445ebd0e58487b6593 Mon Sep 17 00:00:00 2001 From: mihxil Date: Thu, 7 Nov 2024 22:14:28 +0000 Subject: [PATCH 2/2] Automated update of documentation https://mihxil.github.io/math/ --- docs/algebras.svg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/algebras.svg b/docs/algebras.svg index 1279b3bb..36e4b745 100644 --- a/docs/algebras.svg +++ b/docs/algebras.svg @@ -888,7 +888,7 @@ -ℤ/nℤ +ℤ/pℤ