Add missing Abelian groups docs (#1631)

thofma · Oct 2, 2024 · a5801c7 · a5801c7
1 parent bdeaacb
commit a5801c7
Show file tree

Hide file tree

Showing 5 changed files with 26 additions and 2 deletions.
diff --git a/docs/Build.jl b/docs/Build.jl
@@ -36,7 +36,11 @@ using Pkg, Nemo, Documenter, DocumenterVitepress, DocumenterCitations
                                  "elliptic_curves/basics.md",
                                  "elliptic_curves/finite_fields.md",
                                  "elliptic_curves/number_fields.md",],
-          "Abelian groups" => "abelian/introduction.md",
+          "Abelian groups" => [ "abelian/introduction.md",
+                                "abelian/elements.md",
+                                "abelian/maps.md",
+                                "abelian/structural.md",
+                              ],
           "Class field theory" => "class_fields/intro.md",
           "Misc" =>  ["FacElem.md",
                       "sparse/intro.md",

diff --git a/docs/src/manual/abelian/elements.md b/docs/src/manual/abelian/elements.md
@@ -1,3 +1,9 @@
+```@meta
+CurrentModule = Hecke
+DocTestSetup = quote
+    using Hecke
+end
+```
 ## Elements
 Elements in a finitely generated abelian group are of type `FinGenAbGroupElem`
 and are always given as a linear combination of the generators.

diff --git a/docs/src/manual/abelian/introduction.md b/docs/src/manual/abelian/introduction.md
@@ -1,4 +1,5 @@
 ```@meta
+CurrentModule = Hecke
 DocTestSetup = quote
     using Hecke
 end

diff --git a/docs/src/manual/abelian/maps.md b/docs/src/manual/abelian/maps.md
@@ -1,7 +1,14 @@
+```@meta
+CurrentModule = Hecke
+DocTestSetup = quote
+    using Hecke
+end
+```
+## Maps
 Maps between abelian groups are mainly of type `FinGenAbGroupHom`. They
 allow normal map operations such as `image`, `preimage`, `domain`, `codomain`
 and can be created in a variety of situations.
-## Maps
+
 Maps between abelian groups can be constructed via
  - images of the generators
  - pairs of elements

diff --git a/docs/src/manual/abelian/structural.md b/docs/src/manual/abelian/structural.md
@@ -1,3 +1,9 @@
+```@meta
+CurrentModule = Hecke
+DocTestSetup = quote
+    using Hecke
+end
+```
 ## Structural Computations
 Abelian groups support a wide range of structural operations such as
  - enumeration of subgroups