build based on ae55c37

oscar-system · Jul 17, 2024 · 07b49e3 · 07b49e3
1 parent 1c4c66a
commit 07b49e3
Show file tree

Hide file tree

Showing 1,472 changed files with 9,230 additions and 8,963 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-07-16T18:30:52","documenter_version":"1.5.0"}}
+{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-07-17T17:53:18","documenter_version":"1.5.0"}}
diff --git a/dev/AbstractAlgebra/constructors/index.html b/dev/AbstractAlgebra/constructors/index.html
diff --git a/dev/AbstractAlgebra/direct_sum/index.html b/dev/AbstractAlgebra/direct_sum/index.html
diff --git a/dev/AbstractAlgebra/euclidean_interface/index.html b/dev/AbstractAlgebra/euclidean_interface/index.html
diff --git a/dev/AbstractAlgebra/extending_abstractalgebra/index.html b/dev/AbstractAlgebra/extending_abstractalgebra/index.html
diff --git a/dev/AbstractAlgebra/field/index.html b/dev/AbstractAlgebra/field/index.html
diff --git a/dev/AbstractAlgebra/field_interface/index.html b/dev/AbstractAlgebra/field_interface/index.html
diff --git a/dev/AbstractAlgebra/field_introduction/index.html b/dev/AbstractAlgebra/field_introduction/index.html
diff --git a/dev/AbstractAlgebra/finfield/index.html b/dev/AbstractAlgebra/finfield/index.html
diff --git a/dev/AbstractAlgebra/fraction/index.html b/dev/AbstractAlgebra/fraction/index.html
diff --git a/dev/AbstractAlgebra/fraction_interface/index.html b/dev/AbstractAlgebra/fraction_interface/index.html
diff --git a/dev/AbstractAlgebra/free_associative_algebra/index.html b/dev/AbstractAlgebra/free_associative_algebra/index.html
diff --git a/dev/AbstractAlgebra/free_module/index.html b/dev/AbstractAlgebra/free_module/index.html
diff --git a/dev/AbstractAlgebra/function_field/index.html b/dev/AbstractAlgebra/function_field/index.html
diff --git a/dev/AbstractAlgebra/functional_map/index.html b/dev/AbstractAlgebra/functional_map/index.html
diff --git a/dev/AbstractAlgebra/ideal/index.html b/dev/AbstractAlgebra/ideal/index.html
diff --git a/dev/AbstractAlgebra/index.html b/dev/AbstractAlgebra/index.html
diff --git a/dev/AbstractAlgebra/integer/index.html b/dev/AbstractAlgebra/integer/index.html
diff --git a/dev/AbstractAlgebra/interface_introduction/index.html b/dev/AbstractAlgebra/interface_introduction/index.html
diff --git a/dev/AbstractAlgebra/laurent_mpolynomial/index.html b/dev/AbstractAlgebra/laurent_mpolynomial/index.html
diff --git a/dev/AbstractAlgebra/laurent_polynomial/index.html b/dev/AbstractAlgebra/laurent_polynomial/index.html
diff --git a/dev/AbstractAlgebra/linear_solving/index.html b/dev/AbstractAlgebra/linear_solving/index.html
diff --git a/dev/AbstractAlgebra/map_cache/index.html b/dev/AbstractAlgebra/map_cache/index.html
diff --git a/dev/AbstractAlgebra/map_interface/index.html b/dev/AbstractAlgebra/map_interface/index.html
diff --git a/dev/AbstractAlgebra/map_introduction/index.html b/dev/AbstractAlgebra/map_introduction/index.html
diff --git a/dev/AbstractAlgebra/map_with_inverse/index.html b/dev/AbstractAlgebra/map_with_inverse/index.html
diff --git a/dev/AbstractAlgebra/matrix/index.html b/dev/AbstractAlgebra/matrix/index.html
diff --git a/dev/AbstractAlgebra/matrix_algebras/index.html b/dev/AbstractAlgebra/matrix_algebras/index.html
diff --git a/dev/AbstractAlgebra/matrix_interface/index.html b/dev/AbstractAlgebra/matrix_interface/index.html
diff --git a/dev/AbstractAlgebra/matrix_introduction/index.html b/dev/AbstractAlgebra/matrix_introduction/index.html
diff --git a/dev/AbstractAlgebra/misc/index.html b/dev/AbstractAlgebra/misc/index.html
diff --git a/dev/AbstractAlgebra/module/index.html b/dev/AbstractAlgebra/module/index.html
diff --git a/dev/AbstractAlgebra/module_homomorphism/index.html b/dev/AbstractAlgebra/module_homomorphism/index.html
diff --git a/dev/AbstractAlgebra/module_interface/index.html b/dev/AbstractAlgebra/module_interface/index.html
diff --git a/dev/AbstractAlgebra/module_introduction/index.html b/dev/AbstractAlgebra/module_introduction/index.html
diff --git a/dev/AbstractAlgebra/mpoly_interface/index.html b/dev/AbstractAlgebra/mpoly_interface/index.html
diff --git a/dev/AbstractAlgebra/mpolynomial/index.html b/dev/AbstractAlgebra/mpolynomial/index.html
diff --git a/dev/AbstractAlgebra/mseries/index.html b/dev/AbstractAlgebra/mseries/index.html
diff --git a/dev/AbstractAlgebra/ncpolynomial/index.html b/dev/AbstractAlgebra/ncpolynomial/index.html
diff --git a/dev/AbstractAlgebra/ncring_interface/index.html b/dev/AbstractAlgebra/ncring_interface/index.html
diff --git a/dev/AbstractAlgebra/perm/index.html b/dev/AbstractAlgebra/perm/index.html
diff --git a/dev/AbstractAlgebra/poly_interface/index.html b/dev/AbstractAlgebra/poly_interface/index.html
diff --git a/dev/AbstractAlgebra/polynomial/index.html b/dev/AbstractAlgebra/polynomial/index.html
diff --git a/dev/AbstractAlgebra/puiseux/index.html b/dev/AbstractAlgebra/puiseux/index.html
diff --git a/dev/AbstractAlgebra/quotient_module/index.html b/dev/AbstractAlgebra/quotient_module/index.html
diff --git a/dev/AbstractAlgebra/rand/index.html b/dev/AbstractAlgebra/rand/index.html
diff --git a/dev/AbstractAlgebra/rational/index.html b/dev/AbstractAlgebra/rational/index.html
diff --git a/dev/AbstractAlgebra/real/index.html b/dev/AbstractAlgebra/real/index.html
diff --git a/dev/AbstractAlgebra/residue/index.html b/dev/AbstractAlgebra/residue/index.html
diff --git a/dev/AbstractAlgebra/residue_interface/index.html b/dev/AbstractAlgebra/residue_interface/index.html
diff --git a/dev/AbstractAlgebra/ring/index.html b/dev/AbstractAlgebra/ring/index.html
diff --git a/dev/AbstractAlgebra/ring_interface/index.html b/dev/AbstractAlgebra/ring_interface/index.html
diff --git a/dev/AbstractAlgebra/ring_introduction/index.html b/dev/AbstractAlgebra/ring_introduction/index.html
diff --git a/dev/AbstractAlgebra/series/index.html b/dev/AbstractAlgebra/series/index.html
diff --git a/dev/AbstractAlgebra/series_interface/index.html b/dev/AbstractAlgebra/series_interface/index.html
diff --git a/dev/AbstractAlgebra/submodule/index.html b/dev/AbstractAlgebra/submodule/index.html
diff --git a/dev/AbstractAlgebra/total_fraction/index.html b/dev/AbstractAlgebra/total_fraction/index.html
diff --git a/dev/AbstractAlgebra/types/index.html b/dev/AbstractAlgebra/types/index.html
diff --git a/dev/AbstractAlgebra/univpolynomial/index.html b/dev/AbstractAlgebra/univpolynomial/index.html
diff --git a/dev/AbstractAlgebra/visualizing_types/index.html b/dev/AbstractAlgebra/visualizing_types/index.html
diff --git a/dev/AbstractAlgebra/ytabs/index.html b/dev/AbstractAlgebra/ytabs/index.html
diff --git a/dev/AlgebraicGeometry/AlgebraicSets/AffineAlgebraicSet/index.html b/dev/AlgebraicGeometry/AlgebraicSets/AffineAlgebraicSet/index.html
diff --git a/dev/AlgebraicGeometry/AlgebraicSets/ProjectiveAlgebraicSet/index.html b/dev/AlgebraicGeometry/AlgebraicSets/ProjectiveAlgebraicSet/index.html
diff --git a/dev/AlgebraicGeometry/AlgebraicVarieties/AffineVariety/index.html b/dev/AlgebraicGeometry/AlgebraicVarieties/AffineVariety/index.html
diff --git a/dev/AlgebraicGeometry/AlgebraicVarieties/ProjectiveVariety/index.html b/dev/AlgebraicGeometry/AlgebraicVarieties/ProjectiveVariety/index.html
diff --git a/dev/AlgebraicGeometry/Curves/AffinePlaneCurves/index.html b/dev/AlgebraicGeometry/Curves/AffinePlaneCurves/index.html
diff --git a/dev/AlgebraicGeometry/Curves/ParametrizationPlaneCurves/index.html b/dev/AlgebraicGeometry/Curves/ParametrizationPlaneCurves/index.html
diff --git a/dev/AlgebraicGeometry/Curves/ProjectiveCurves/index.html b/dev/AlgebraicGeometry/Curves/ProjectiveCurves/index.html
diff --git a/dev/AlgebraicGeometry/Curves/ProjectivePlaneCurves/index.html b/dev/AlgebraicGeometry/Curves/ProjectivePlaneCurves/index.html
diff --git a/dev/AlgebraicGeometry/FrameWorks/ArchitectureOfAffineSchemes/index.html b/dev/AlgebraicGeometry/FrameWorks/ArchitectureOfAffineSchemes/index.html
diff --git a/dev/AlgebraicGeometry/Miscellaneous/miscellaneous/index.html b/dev/AlgebraicGeometry/Miscellaneous/miscellaneous/index.html
diff --git a/dev/AlgebraicGeometry/Schemes/AffineSchemes/index.html b/dev/AlgebraicGeometry/Schemes/AffineSchemes/index.html
diff --git a/dev/AlgebraicGeometry/Schemes/CoveredSchemeMorphisms/index.html b/dev/AlgebraicGeometry/Schemes/CoveredSchemeMorphisms/index.html
diff --git a/dev/AlgebraicGeometry/Schemes/CoveredSchemes/index.html b/dev/AlgebraicGeometry/Schemes/CoveredSchemes/index.html
diff --git a/dev/AlgebraicGeometry/Schemes/CoveringsAndGluings/index.html b/dev/AlgebraicGeometry/Schemes/CoveringsAndGluings/index.html
diff --git a/dev/AlgebraicGeometry/Schemes/GeneralSchemes/index.html b/dev/AlgebraicGeometry/Schemes/GeneralSchemes/index.html
diff --git a/dev/AlgebraicGeometry/Schemes/MorphismsOfAffineSchemes/index.html b/dev/AlgebraicGeometry/Schemes/MorphismsOfAffineSchemes/index.html
diff --git a/dev/AlgebraicGeometry/Schemes/MorphismsOfProjectiveSchemes/index.html b/dev/AlgebraicGeometry/Schemes/MorphismsOfProjectiveSchemes/index.html
diff --git a/dev/AlgebraicGeometry/Schemes/ProjectiveSchemes/index.html b/dev/AlgebraicGeometry/Schemes/ProjectiveSchemes/index.html
diff --git a/dev/AlgebraicGeometry/Schemes/RationalPointsAffine/index.html b/dev/AlgebraicGeometry/Schemes/RationalPointsAffine/index.html
diff --git a/dev/AlgebraicGeometry/Schemes/RationalPointsProjective/index.html b/dev/AlgebraicGeometry/Schemes/RationalPointsProjective/index.html
diff --git a/dev/AlgebraicGeometry/Schemes/intro/index.html b/dev/AlgebraicGeometry/Schemes/intro/index.html
diff --git a/dev/AlgebraicGeometry/SheafCohomology/sheaf_cohomology/index.html b/dev/AlgebraicGeometry/SheafCohomology/sheaf_cohomology/index.html
diff --git a/dev/AlgebraicGeometry/Surfaces/AdjunctionProcess/index.html b/dev/AlgebraicGeometry/Surfaces/AdjunctionProcess/index.html
diff --git a/dev/AlgebraicGeometry/Surfaces/K3Surfaces/index.html b/dev/AlgebraicGeometry/Surfaces/K3Surfaces/index.html
diff --git a/dev/AlgebraicGeometry/Surfaces/ParametrizationSurfaces/index.html b/dev/AlgebraicGeometry/Surfaces/ParametrizationSurfaces/index.html
diff --git a/dev/AlgebraicGeometry/Surfaces/SurfacesP4/index.html b/dev/AlgebraicGeometry/Surfaces/SurfacesP4/index.html
diff --git a/dev/AlgebraicGeometry/ToricVarieties/AlgebraicCycles/index.html b/dev/AlgebraicGeometry/ToricVarieties/AlgebraicCycles/index.html
diff --git a/dev/AlgebraicGeometry/ToricVarieties/BlowdownMorphisms/index.html b/dev/AlgebraicGeometry/ToricVarieties/BlowdownMorphisms/index.html
diff --git a/dev/AlgebraicGeometry/ToricVarieties/CohomologyClasses/index.html b/dev/AlgebraicGeometry/ToricVarieties/CohomologyClasses/index.html
diff --git a/dev/AlgebraicGeometry/ToricVarieties/CyclicQuotientSingularities/index.html b/dev/AlgebraicGeometry/ToricVarieties/CyclicQuotientSingularities/index.html
diff --git a/dev/AlgebraicGeometry/ToricVarieties/NormalToricVarieties/index.html b/dev/AlgebraicGeometry/ToricVarieties/NormalToricVarieties/index.html
diff --git a/dev/AlgebraicGeometry/ToricVarieties/Subvarieties/index.html b/dev/AlgebraicGeometry/ToricVarieties/Subvarieties/index.html
diff --git a/dev/AlgebraicGeometry/ToricVarieties/ToricDivisorClasses/index.html b/dev/AlgebraicGeometry/ToricVarieties/ToricDivisorClasses/index.html
diff --git a/dev/AlgebraicGeometry/ToricVarieties/ToricDivisors/index.html b/dev/AlgebraicGeometry/ToricVarieties/ToricDivisors/index.html
diff --git a/dev/AlgebraicGeometry/ToricVarieties/ToricIdealSheaves/index.html b/dev/AlgebraicGeometry/ToricVarieties/ToricIdealSheaves/index.html
diff --git a/dev/AlgebraicGeometry/ToricVarieties/ToricLineBundles/index.html b/dev/AlgebraicGeometry/ToricVarieties/ToricLineBundles/index.html
diff --git a/dev/AlgebraicGeometry/ToricVarieties/ToricMorphisms/index.html b/dev/AlgebraicGeometry/ToricVarieties/ToricMorphisms/index.html
diff --git a/dev/AlgebraicGeometry/ToricVarieties/ToricSchemes/index.html b/dev/AlgebraicGeometry/ToricVarieties/ToricSchemes/index.html
diff --git a/dev/AlgebraicGeometry/ToricVarieties/cohomCalg/index.html b/dev/AlgebraicGeometry/ToricVarieties/cohomCalg/index.html
diff --git a/dev/AlgebraicGeometry/ToricVarieties/intro/index.html b/dev/AlgebraicGeometry/ToricVarieties/intro/index.html
diff --git a/dev/AlgebraicGeometry/intro/index.html b/dev/AlgebraicGeometry/intro/index.html
diff --git a/dev/Combinatorics/EnumerativeCombinatorics/compositions/index.html b/dev/Combinatorics/EnumerativeCombinatorics/compositions/index.html
diff --git a/dev/Combinatorics/EnumerativeCombinatorics/partitions/index.html b/dev/Combinatorics/EnumerativeCombinatorics/partitions/index.html
diff --git a/dev/Combinatorics/EnumerativeCombinatorics/schur_polynomials/index.html b/dev/Combinatorics/EnumerativeCombinatorics/schur_polynomials/index.html
diff --git a/dev/Combinatorics/EnumerativeCombinatorics/tableaux/index.html b/dev/Combinatorics/EnumerativeCombinatorics/tableaux/index.html
diff --git a/dev/Combinatorics/graphs/index.html b/dev/Combinatorics/graphs/index.html
diff --git a/dev/Combinatorics/intro/index.html b/dev/Combinatorics/intro/index.html
diff --git a/dev/Combinatorics/matroids/index.html b/dev/Combinatorics/matroids/index.html
diff --git a/dev/Combinatorics/phylogenetic_trees/index.html b/dev/Combinatorics/phylogenetic_trees/index.html
diff --git a/dev/Combinatorics/simplicialcomplexes/index.html b/dev/Combinatorics/simplicialcomplexes/index.html
diff --git a/dev/CommutativeAlgebra/FrameWorks/module_localizations/index.html b/dev/CommutativeAlgebra/FrameWorks/module_localizations/index.html
diff --git a/dev/CommutativeAlgebra/FrameWorks/ring_localizations/index.html b/dev/CommutativeAlgebra/FrameWorks/ring_localizations/index.html
diff --git a/dev/CommutativeAlgebra/GroebnerBases/groebner_bases/index.html b/dev/CommutativeAlgebra/GroebnerBases/groebner_bases/index.html
diff --git a/dev/CommutativeAlgebra/GroebnerBases/groebner_bases_integers/index.html b/dev/CommutativeAlgebra/GroebnerBases/groebner_bases_integers/index.html
diff --git a/dev/CommutativeAlgebra/GroebnerBases/orderings/index.html b/dev/CommutativeAlgebra/GroebnerBases/orderings/index.html
diff --git a/dev/CommutativeAlgebra/Miscellaneous/binomial_ideals/index.html b/dev/CommutativeAlgebra/Miscellaneous/binomial_ideals/index.html
diff --git a/dev/CommutativeAlgebra/ModulesOverMultivariateRings/complexes/index.html b/dev/CommutativeAlgebra/ModulesOverMultivariateRings/complexes/index.html
diff --git a/dev/CommutativeAlgebra/ModulesOverMultivariateRings/free_modules/index.html b/dev/CommutativeAlgebra/ModulesOverMultivariateRings/free_modules/index.html
diff --git a/dev/CommutativeAlgebra/ModulesOverMultivariateRings/hom_operations/index.html b/dev/CommutativeAlgebra/ModulesOverMultivariateRings/hom_operations/index.html
diff --git a/dev/CommutativeAlgebra/ModulesOverMultivariateRings/intro/index.html b/dev/CommutativeAlgebra/ModulesOverMultivariateRings/intro/index.html
diff --git a/dev/CommutativeAlgebra/ModulesOverMultivariateRings/module_operations/index.html b/dev/CommutativeAlgebra/ModulesOverMultivariateRings/module_operations/index.html
diff --git a/dev/CommutativeAlgebra/ModulesOverMultivariateRings/subquotients/index.html b/dev/CommutativeAlgebra/ModulesOverMultivariateRings/subquotients/index.html
diff --git a/dev/CommutativeAlgebra/affine_algebras/index.html b/dev/CommutativeAlgebra/affine_algebras/index.html
diff --git a/dev/CommutativeAlgebra/homological_algebra/index.html b/dev/CommutativeAlgebra/homological_algebra/index.html
diff --git a/dev/CommutativeAlgebra/ideals/index.html b/dev/CommutativeAlgebra/ideals/index.html
diff --git a/dev/CommutativeAlgebra/intro/index.html b/dev/CommutativeAlgebra/intro/index.html
diff --git a/dev/CommutativeAlgebra/localizations/index.html b/dev/CommutativeAlgebra/localizations/index.html
diff --git a/dev/CommutativeAlgebra/rings/index.html b/dev/CommutativeAlgebra/rings/index.html
diff --git a/dev/DeveloperDocumentation/AbstractCollection/index.html b/dev/DeveloperDocumentation/AbstractCollection/index.html
diff --git a/dev/DeveloperDocumentation/SubObjectIterator/index.html b/dev/DeveloperDocumentation/SubObjectIterator/index.html
diff --git a/dev/DeveloperDocumentation/caching/index.html b/dev/DeveloperDocumentation/caching/index.html
diff --git a/dev/DeveloperDocumentation/debugging/index.html b/dev/DeveloperDocumentation/debugging/index.html
diff --git a/dev/DeveloperDocumentation/design_decisions/index.html b/dev/DeveloperDocumentation/design_decisions/index.html
diff --git a/dev/DeveloperDocumentation/documentation/index.html b/dev/DeveloperDocumentation/documentation/index.html
diff --git a/dev/DeveloperDocumentation/gap_integration/index.html b/dev/DeveloperDocumentation/gap_integration/index.html
diff --git a/dev/DeveloperDocumentation/new_developers/index.html b/dev/DeveloperDocumentation/new_developers/index.html
diff --git a/dev/DeveloperDocumentation/printing_details/index.html b/dev/DeveloperDocumentation/printing_details/index.html
diff --git a/dev/DeveloperDocumentation/release/index.html b/dev/DeveloperDocumentation/release/index.html
diff --git a/dev/DeveloperDocumentation/serialization/index.html b/dev/DeveloperDocumentation/serialization/index.html
diff --git a/dev/DeveloperDocumentation/styleguide/index.html b/dev/DeveloperDocumentation/styleguide/index.html
diff --git a/dev/Experimental/AlgebraicStatistics/ci/index.html b/dev/Experimental/AlgebraicStatistics/ci/index.html
diff --git a/dev/Experimental/AlgebraicStatistics/gaussian_graphical_models/index.html b/dev/Experimental/AlgebraicStatistics/gaussian_graphical_models/index.html
diff --git a/dev/Experimental/AlgebraicStatistics/graphical_models/index.html b/dev/Experimental/AlgebraicStatistics/graphical_models/index.html
diff --git a/dev/Experimental/AlgebraicStatistics/introduction/index.html b/dev/Experimental/AlgebraicStatistics/introduction/index.html
diff --git a/dev/Experimental/AlgebraicStatistics/markov/index.html b/dev/Experimental/AlgebraicStatistics/markov/index.html
diff --git a/dev/Experimental/AlgebraicStatistics/phylogenetics/index.html b/dev/Experimental/AlgebraicStatistics/phylogenetics/index.html
diff --git a/dev/Experimental/BasisLieHighestWeight/introduction/index.html b/dev/Experimental/BasisLieHighestWeight/introduction/index.html
diff --git a/dev/Experimental/BasisLieHighestWeight/user_functions/index.html b/dev/Experimental/BasisLieHighestWeight/user_functions/index.html
diff --git a/dev/Experimental/DoubleAndHyperComplexes/advice_for_the_programmer/index.html b/dev/Experimental/DoubleAndHyperComplexes/advice_for_the_programmer/index.html
diff --git a/dev/Experimental/DoubleAndHyperComplexes/user_interface/index.html b/dev/Experimental/DoubleAndHyperComplexes/user_interface/index.html
diff --git a/dev/Experimental/FTheoryTools/generalities/index.html b/dev/Experimental/FTheoryTools/generalities/index.html
diff --git a/dev/Experimental/FTheoryTools/hypersurface/index.html b/dev/Experimental/FTheoryTools/hypersurface/index.html
diff --git a/dev/Experimental/FTheoryTools/introduction/index.html b/dev/Experimental/FTheoryTools/introduction/index.html
diff --git a/dev/Experimental/FTheoryTools/literature/index.html b/dev/Experimental/FTheoryTools/literature/index.html
diff --git a/dev/Experimental/FTheoryTools/tate/index.html b/dev/Experimental/FTheoryTools/tate/index.html
diff --git a/dev/Experimental/FTheoryTools/weierstrass/index.html b/dev/Experimental/FTheoryTools/weierstrass/index.html
diff --git a/dev/Experimental/IntersectionTheory/AbstractBundles/index.html b/dev/Experimental/IntersectionTheory/AbstractBundles/index.html
diff --git a/dev/Experimental/IntersectionTheory/AbstractVarieties/index.html b/dev/Experimental/IntersectionTheory/AbstractVarieties/index.html
diff --git a/dev/Experimental/IntersectionTheory/AbstractVarietyMaps/index.html b/dev/Experimental/IntersectionTheory/AbstractVarietyMaps/index.html
diff --git a/dev/Experimental/IntersectionTheory/AbstractVarietyMorphisms/index.html b/dev/Experimental/IntersectionTheory/AbstractVarietyMorphisms/index.html
diff --git a/dev/Experimental/IntersectionTheory/BlowUps/index.html b/dev/Experimental/IntersectionTheory/BlowUps/index.html
diff --git a/dev/Experimental/IntersectionTheory/BottFormulas/index.html b/dev/Experimental/IntersectionTheory/BottFormulas/index.html
diff --git a/dev/Experimental/IntersectionTheory/examples/index.html b/dev/Experimental/IntersectionTheory/examples/index.html
diff --git a/dev/Experimental/IntersectionTheory/intro/index.html b/dev/Experimental/IntersectionTheory/intro/index.html
diff --git a/dev/Experimental/LieAlgebras/cartan_matrix/index.html b/dev/Experimental/LieAlgebras/cartan_matrix/index.html
diff --git a/dev/Experimental/LieAlgebras/ideals_and_subalgebras/index.html b/dev/Experimental/LieAlgebras/ideals_and_subalgebras/index.html
diff --git a/dev/Experimental/LieAlgebras/introduction/index.html b/dev/Experimental/LieAlgebras/introduction/index.html
diff --git a/dev/Experimental/LieAlgebras/lie_algebra_homs/index.html b/dev/Experimental/LieAlgebras/lie_algebra_homs/index.html
diff --git a/dev/Experimental/LieAlgebras/lie_algebras/index.html b/dev/Experimental/LieAlgebras/lie_algebras/index.html
diff --git a/dev/Experimental/LieAlgebras/module_homs/index.html b/dev/Experimental/LieAlgebras/module_homs/index.html
diff --git a/dev/Experimental/LieAlgebras/modules/index.html b/dev/Experimental/LieAlgebras/modules/index.html
diff --git a/dev/Experimental/LinearQuotients/cox_rings/index.html b/dev/Experimental/LinearQuotients/cox_rings/index.html
diff --git a/dev/Experimental/LinearQuotients/introduction/index.html b/dev/Experimental/LinearQuotients/introduction/index.html
diff --git a/dev/Experimental/LinearQuotients/linear_quotients/index.html b/dev/Experimental/LinearQuotients/linear_quotients/index.html
diff --git a/dev/Experimental/MatroidRealizationSpaces/introduction/index.html b/dev/Experimental/MatroidRealizationSpaces/introduction/index.html
diff --git a/dev/Experimental/OrthogonalDiscriminants/access/index.html b/dev/Experimental/OrthogonalDiscriminants/access/index.html
diff --git a/dev/Experimental/OrthogonalDiscriminants/compute/index.html b/dev/Experimental/OrthogonalDiscriminants/compute/index.html
diff --git a/dev/Experimental/OrthogonalDiscriminants/introduction/index.html b/dev/Experimental/OrthogonalDiscriminants/introduction/index.html
diff --git a/dev/Experimental/OrthogonalDiscriminants/misc/index.html b/dev/Experimental/OrthogonalDiscriminants/misc/index.html
diff --git a/dev/Experimental/PartitionedPermutations/introduction/index.html b/dev/Experimental/PartitionedPermutations/introduction/index.html
diff --git a/dev/Experimental/QuadFormAndIsom/enumeration/index.html b/dev/Experimental/QuadFormAndIsom/enumeration/index.html
diff --git a/dev/Experimental/QuadFormAndIsom/introduction/index.html b/dev/Experimental/QuadFormAndIsom/introduction/index.html
diff --git a/dev/Experimental/QuadFormAndIsom/latwithisom/index.html b/dev/Experimental/QuadFormAndIsom/latwithisom/index.html
diff --git a/dev/Experimental/QuadFormAndIsom/primembed/index.html b/dev/Experimental/QuadFormAndIsom/primembed/index.html
diff --git a/dev/Experimental/QuadFormAndIsom/spacewithisom/index.html b/dev/Experimental/QuadFormAndIsom/spacewithisom/index.html
diff --git a/dev/Experimental/Singularities/intro/index.html b/dev/Experimental/Singularities/intro/index.html
diff --git a/dev/Experimental/Singularities/space_germs/index.html b/dev/Experimental/Singularities/space_germs/index.html
diff --git a/dev/Experimental/StandardFiniteFields/introduction/index.html b/dev/Experimental/StandardFiniteFields/introduction/index.html
diff --git a/dev/Experimental/intro/index.html b/dev/Experimental/intro/index.html
diff --git a/dev/Fields/algebraic_closure_fp/index.html b/dev/Fields/algebraic_closure_fp/index.html
diff --git a/dev/Fields/intro/index.html b/dev/Fields/intro/index.html
diff --git a/dev/General/architecture/index.html b/dev/General/architecture/index.html
diff --git a/dev/General/complex/index.html b/dev/General/complex/index.html
diff --git a/dev/General/faq/index.html b/dev/General/faq/index.html
diff --git a/dev/General/other/index.html b/dev/General/other/index.html
diff --git a/dev/General/serialization/index.html b/dev/General/serialization/index.html
diff --git a/dev/Groups/action/index.html b/dev/Groups/action/index.html
diff --git a/dev/Groups/autgroup/index.html b/dev/Groups/autgroup/index.html
diff --git a/dev/Groups/basics/index.html b/dev/Groups/basics/index.html
diff --git a/dev/Groups/fpgroup/index.html b/dev/Groups/fpgroup/index.html
diff --git a/dev/Groups/group_characters/index.html b/dev/Groups/group_characters/index.html
diff --git a/dev/Groups/grouphom/index.html b/dev/Groups/grouphom/index.html
diff --git a/dev/Groups/grouplib/index.html b/dev/Groups/grouplib/index.html
diff --git a/dev/Groups/intro/index.html b/dev/Groups/intro/index.html
diff --git a/dev/Groups/matgroup/index.html b/dev/Groups/matgroup/index.html
diff --git a/dev/Groups/pcgroup/index.html b/dev/Groups/pcgroup/index.html
diff --git a/dev/Groups/permgroup/index.html b/dev/Groups/permgroup/index.html
diff --git a/dev/Groups/products/index.html b/dev/Groups/products/index.html
diff --git a/dev/Groups/quotients/index.html b/dev/Groups/quotients/index.html
diff --git a/dev/Groups/recog/index.html b/dev/Groups/recog/index.html
diff --git a/dev/Groups/subgroups/index.html b/dev/Groups/subgroups/index.html
diff --git a/dev/Groups/tom/index.html b/dev/Groups/tom/index.html
diff --git a/dev/Hecke/FacElem/index.html b/dev/Hecke/FacElem/index.html
diff --git a/dev/Hecke/abelian/introduction/index.html b/dev/Hecke/abelian/introduction/index.html
diff --git a/dev/Hecke/class_fields/intro/index.html b/dev/Hecke/class_fields/intro/index.html
diff --git a/dev/Hecke/examples/index.html b/dev/Hecke/examples/index.html
diff --git a/dev/Hecke/function_fields/basics/index.html b/dev/Hecke/function_fields/basics/index.html
diff --git a/dev/Hecke/function_fields/degree_localization/index.html b/dev/Hecke/function_fields/degree_localization/index.html
diff --git a/dev/Hecke/function_fields/elements/index.html b/dev/Hecke/function_fields/elements/index.html
diff --git a/dev/Hecke/function_fields/internal/index.html b/dev/Hecke/function_fields/internal/index.html
diff --git a/dev/Hecke/function_fields/intro/index.html b/dev/Hecke/function_fields/intro/index.html
diff --git a/dev/Hecke/howto/index.html b/dev/Hecke/howto/index.html
diff --git a/dev/Hecke/howto/reduction/index.html b/dev/Hecke/howto/reduction/index.html
diff --git a/dev/Hecke/index.html b/dev/Hecke/index.html
diff --git a/dev/Hecke/manual/abelian/elements/index.html b/dev/Hecke/manual/abelian/elements/index.html
diff --git a/dev/Hecke/manual/abelian/introduction/index.html b/dev/Hecke/manual/abelian/introduction/index.html
diff --git a/dev/Hecke/manual/abelian/maps/index.html b/dev/Hecke/manual/abelian/maps/index.html
diff --git a/dev/Hecke/manual/abelian/structural/index.html b/dev/Hecke/manual/abelian/structural/index.html
diff --git a/dev/Hecke/manual/developer/macros/index.html b/dev/Hecke/manual/developer/macros/index.html
diff --git a/dev/Hecke/manual/developer/test/index.html b/dev/Hecke/manual/developer/test/index.html
diff --git a/dev/Hecke/manual/elliptic_curves/basics/index.html b/dev/Hecke/manual/elliptic_curves/basics/index.html
diff --git a/dev/Hecke/manual/elliptic_curves/finite_fields/index.html b/dev/Hecke/manual/elliptic_curves/finite_fields/index.html
diff --git a/dev/Hecke/manual/elliptic_curves/intro/index.html b/dev/Hecke/manual/elliptic_curves/intro/index.html
diff --git a/dev/Hecke/manual/elliptic_curves/number_fields/index.html b/dev/Hecke/manual/elliptic_curves/number_fields/index.html
diff --git a/dev/Hecke/manual/index.html b/dev/Hecke/manual/index.html
diff --git a/dev/Hecke/manual/misc/FacElem/index.html b/dev/Hecke/manual/misc/FacElem/index.html
diff --git a/dev/Hecke/manual/misc/conjugacy/index.html b/dev/Hecke/manual/misc/conjugacy/index.html
diff --git a/dev/Hecke/manual/misc/mset/index.html b/dev/Hecke/manual/misc/mset/index.html
diff --git a/dev/Hecke/manual/misc/sparse/index.html b/dev/Hecke/manual/misc/sparse/index.html
diff --git a/dev/Hecke/manual/number_fields/class_fields/index.html b/dev/Hecke/manual/number_fields/class_fields/index.html
diff --git a/dev/Hecke/manual/number_fields/complex_embeddings/index.html b/dev/Hecke/manual/number_fields/complex_embeddings/index.html
diff --git a/dev/Hecke/manual/number_fields/conventions/index.html b/dev/Hecke/manual/number_fields/conventions/index.html
diff --git a/dev/Hecke/manual/number_fields/elements/index.html b/dev/Hecke/manual/number_fields/elements/index.html
diff --git a/dev/Hecke/manual/number_fields/fields/index.html b/dev/Hecke/manual/number_fields/fields/index.html
diff --git a/dev/Hecke/manual/number_fields/internal/index.html b/dev/Hecke/manual/number_fields/internal/index.html
diff --git a/dev/Hecke/manual/number_fields/intro/index.html b/dev/Hecke/manual/number_fields/intro/index.html
diff --git a/dev/Hecke/manual/orders/elements/index.html b/dev/Hecke/manual/orders/elements/index.html
diff --git a/dev/Hecke/manual/orders/frac_ideals/index.html b/dev/Hecke/manual/orders/frac_ideals/index.html
diff --git a/dev/Hecke/manual/orders/ideals/index.html b/dev/Hecke/manual/orders/ideals/index.html
diff --git a/dev/Hecke/manual/orders/introduction/index.html b/dev/Hecke/manual/orders/introduction/index.html
diff --git a/dev/Hecke/manual/orders/orders/index.html b/dev/Hecke/manual/orders/orders/index.html
diff --git a/dev/Hecke/manual/quad_forms/Zgenera/index.html b/dev/Hecke/manual/quad_forms/Zgenera/index.html
diff --git a/dev/Hecke/manual/quad_forms/basics/index.html b/dev/Hecke/manual/quad_forms/basics/index.html
diff --git a/dev/Hecke/manual/quad_forms/discriminant_group/index.html b/dev/Hecke/manual/quad_forms/discriminant_group/index.html
diff --git a/dev/Hecke/manual/quad_forms/genusherm/index.html b/dev/Hecke/manual/quad_forms/genusherm/index.html
diff --git a/dev/Hecke/manual/quad_forms/integer_lattices/index.html b/dev/Hecke/manual/quad_forms/integer_lattices/index.html
diff --git a/dev/Hecke/manual/quad_forms/introduction/index.html b/dev/Hecke/manual/quad_forms/introduction/index.html
diff --git a/dev/Hecke/manual/quad_forms/lattices/index.html b/dev/Hecke/manual/quad_forms/lattices/index.html
diff --git a/dev/Hecke/misc/Map/index.html b/dev/Hecke/misc/Map/index.html
diff --git a/dev/Hecke/misc/index.html b/dev/Hecke/misc/index.html
diff --git a/dev/Hecke/number_fields/complex_embeddings/index.html b/dev/Hecke/number_fields/complex_embeddings/index.html
diff --git a/dev/Hecke/number_fields/conventions/index.html b/dev/Hecke/number_fields/conventions/index.html
diff --git a/dev/Hecke/number_fields/elements/index.html b/dev/Hecke/number_fields/elements/index.html
diff --git a/dev/Hecke/number_fields/fields/index.html b/dev/Hecke/number_fields/fields/index.html
diff --git a/dev/Hecke/number_fields/internal/index.html b/dev/Hecke/number_fields/internal/index.html
diff --git a/dev/Hecke/number_fields/intro/index.html b/dev/Hecke/number_fields/intro/index.html
diff --git a/dev/Hecke/orders/elements/index.html b/dev/Hecke/orders/elements/index.html
diff --git a/dev/Hecke/orders/frac_ideals/index.html b/dev/Hecke/orders/frac_ideals/index.html
diff --git a/dev/Hecke/orders/ideals/index.html b/dev/Hecke/orders/ideals/index.html
diff --git a/dev/Hecke/orders/introduction/index.html b/dev/Hecke/orders/introduction/index.html
diff --git a/dev/Hecke/orders/orders/index.html b/dev/Hecke/orders/orders/index.html
diff --git a/dev/Hecke/pmat/introduction/index.html b/dev/Hecke/pmat/introduction/index.html
diff --git a/dev/Hecke/quad_forms/Zgenera/index.html b/dev/Hecke/quad_forms/Zgenera/index.html
diff --git a/dev/Hecke/quad_forms/basics/index.html b/dev/Hecke/quad_forms/basics/index.html
diff --git a/dev/Hecke/quad_forms/discriminant_group/index.html b/dev/Hecke/quad_forms/discriminant_group/index.html
diff --git a/dev/Hecke/quad_forms/genusherm/index.html b/dev/Hecke/quad_forms/genusherm/index.html
diff --git a/dev/Hecke/quad_forms/integer_lattices/index.html b/dev/Hecke/quad_forms/integer_lattices/index.html
diff --git a/dev/Hecke/quad_forms/introduction/index.html b/dev/Hecke/quad_forms/introduction/index.html
diff --git a/dev/Hecke/quad_forms/lattices/index.html b/dev/Hecke/quad_forms/lattices/index.html
diff --git a/dev/Hecke/sparse/intro/index.html b/dev/Hecke/sparse/intro/index.html
diff --git a/dev/Hecke/start/index.html b/dev/Hecke/start/index.html
diff --git a/dev/Hecke/tutorials/index.html b/dev/Hecke/tutorials/index.html
diff --git a/dev/InvariantTheory/finite_groups/index.html b/dev/InvariantTheory/finite_groups/index.html
diff --git a/dev/InvariantTheory/intro/index.html b/dev/InvariantTheory/intro/index.html
diff --git a/dev/InvariantTheory/reductive_groups/index.html b/dev/InvariantTheory/reductive_groups/index.html
diff --git a/dev/InvariantTheory/tori/index.html b/dev/InvariantTheory/tori/index.html
diff --git a/dev/LinearAlgebra/intro/index.html b/dev/LinearAlgebra/intro/index.html
diff --git a/dev/Nemo/about/index.html b/dev/Nemo/about/index.html
diff --git a/dev/Nemo/acb/index.html b/dev/Nemo/acb/index.html
diff --git a/dev/Nemo/algebraic/index.html b/dev/Nemo/algebraic/index.html
diff --git a/dev/Nemo/arb/index.html b/dev/Nemo/arb/index.html
diff --git a/dev/Nemo/complex/index.html b/dev/Nemo/complex/index.html
diff --git a/dev/Nemo/constructors/index.html b/dev/Nemo/constructors/index.html
diff --git a/dev/Nemo/developer/conventions/index.html b/dev/Nemo/developer/conventions/index.html
diff --git a/dev/Nemo/developer/interfaces/index.html b/dev/Nemo/developer/interfaces/index.html
diff --git a/dev/Nemo/developer/introduction/index.html b/dev/Nemo/developer/introduction/index.html
diff --git a/dev/Nemo/developer/parents/index.html b/dev/Nemo/developer/parents/index.html
diff --git a/dev/Nemo/developer/topics/index.html b/dev/Nemo/developer/topics/index.html
diff --git a/dev/Nemo/developer/typesystem/index.html b/dev/Nemo/developer/typesystem/index.html