move tropical geometry up (oscar-system#3247)

HechtiDerLachs · Jan 26, 2024 · 8a77b16 · 8a77b16
1 parent b79c0e2
commit 8a77b16
Showing 1 changed file with 12 additions and 14 deletions.
diff --git a/docs/doc.main b/docs/doc.main
@@ -213,6 +213,18 @@
      ]
   ],
 
+  "Tropical Geometry" => [
+     "TropicalGeometry/intro.md",
+     "TropicalGeometry/semiring.md",
+     "TropicalGeometry/semiring_map.md",
+     "TropicalGeometry/variety.md",
+     "TropicalGeometry/hypersurface.md",
+     "TropicalGeometry/curve.md",
+     "TropicalGeometry/linear_space.md",
+     "TropicalGeometry/groebner_theory.md",
+     "TropicalGeometry/tropicalization.md",
+  ],
+
  "Noncommutative Algebra" => [
     "NoncommutativeAlgebra/intro.md",
     "PBW-Algebras" => [
@@ -239,20 +251,6 @@
       "StraightLinePrograms/abstractalgebra.md",
    ],
 
-
-  "Tropical Geometry" => [
-     "TropicalGeometry/intro.md",
-     "TropicalGeometry/semiring.md",
-     "TropicalGeometry/semiring_map.md",
-     "TropicalGeometry/variety.md",
-     "TropicalGeometry/hypersurface.md",
-     "TropicalGeometry/curve.md",
-     "TropicalGeometry/linear_space.md",
-     "TropicalGeometry/groebner_theory.md",
-     "TropicalGeometry/tropicalization.md",
-  ],
-
-
   "References" => "references.md",
   "Index" => "manualindex.md",
   "Developer Documentation" => [