Fix some doc cross-refs (#5503)

Author: lgoettgens

Project.toml

@@ -42,7 +42,7 @@ JSON3 = "1.13.2"
 LazyArtifacts = "1.6"
 Markdown = "1.6"
 Mongoc = "0.9.2, 0.10"
-Nemo = "0.52.1"
+Nemo = "0.52.3"
 NetworkOptions = "1.2.0"
 Pkg = "1.6"
 Polymake = "0.13.1"

docs/src/Fields/intro.md

@@ -17,15 +17,15 @@ Here is a list of the fields available in OSCAR:
 | Field        | How to create | Remark | Reference |
 | ------------ | ----------- | --------- |------|
 | $\mathbb{Q}$ | `rational_field()` | Also available as `QQ` | [Rationals](@ref rationals_section) |
-| $\mathbb{F}_q$ | `GF(q)` | See also `finite_field` | [Finite fields](@ref) |
-| $\mathbb{F}_q[X]/(f)$ | `finite_field(f)` |  | [Finite fields](@ref)|
-| $\overline{\mathbb{Q}}$ | `algebraic_closure(QQ)` | | [Algebraic closure of the rational numbers](@ref) |
+| $\mathbb{F}_q$ | `GF(q)` | See also `finite_field` | [Finite fields](@ref finite_fields_section) |
+| $\mathbb{F}_q[X]/(f)$ | `finite_field(f)` |  | [Finite fields](@ref finite_fields_section)|
+| $\overline{\mathbb{Q}}$ | `algebraic_closure(QQ)` | | [Algebraic closure of the rational numbers](@ref qqbar_section) |
 | $\overline{\mathbb{F}}_q$ | `algebraic_closure(F)` | | [Algebraic closure of finite prime fields](@ref)
 | $\mathbb{Q}^{\mathrm{ab}}$ | `abelian_closure(QQ)` | | [Abelian closure of the rationals](@ref)
 | $\mathbb{Q}[X]/(f)$ | `number_field(f)` |
 | $\mathbb{Q}(\alpha) \subseteq \R$ | `embedded_number_field` | Ordered field
-| $\mathbb{R}$ | `real_field()` | Ball arithmetic | [Arbitrary precision real balls](@ref)
-| $\mathbb{C}$ | `complex_field()` | Ball arithmetic | [Arbitrary precision complex balls](@ref)
+| $\mathbb{R}$ | `real_field()` | Ball arithmetic | [Arbitrary precision real balls](@ref real_field_section)
+| $\mathbb{C}$ | `complex_field()` | Ball arithmetic | [Arbitrary precision complex balls](@ref complex_field_section)
 | $\mathbb{Q}_p$ | `padic_field(p)` |  | [Padics](@ref)
 | $\mathbb{Q}_{p^n}$ | `qadic_field(p, n)` | Unramified extensions of $\mathbb{Q}_p$ | [Qadics](@ref)
 | $R/(f)$ | `residue_field(R, f)` | $R$ must be a principal ideal domain