From b18e4e30e3a1dd0f2ccd9b90427d1e45cc0ee9ff Mon Sep 17 00:00:00 2001 From: Claus Fieker Date: Tue, 23 Jan 2024 09:43:42 +0100 Subject: [PATCH] move tropical geometry up --- docs/doc.main | 26 ++++++++++++-------------- 1 file changed, 12 insertions(+), 14 deletions(-) diff --git a/docs/doc.main b/docs/doc.main index cacbdecb6bbe..551c2fcd6af7 100644 --- 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" => [