oscar-system · lkastner · May 9, 2023 · May 8, 2023 · May 8, 2023 · May 8, 2023
diff --git a/docs/src/DeveloperDocumentation/styleguide.md b/docs/src/DeveloperDocumentation/styleguide.md
@@ -263,7 +263,7 @@ printing in Oscar](@ref).
 
 Sometimes it is necessary to rename a function or otherwise change it. To allow
 for backwards compatibility, please then introduce a new line in the file
-`src/Deprecations.jl`. The syntax is as follows:
+`src/deprecations.jl`. The syntax is as follows:
 ```
 # Deprecated after CURRENT_RELEASE_VERSION
 @deprecate old_function(args) new_function(args)
@@ -280,14 +280,14 @@ end
 @deprecate old_function(args) new_function(transform_args_for_new_function(args))
 ```
 The comment about the version number is only necessary if you are the first one
-adding to `Deprecations.jl` after a release, otherwise please add to the
+adding to `deprecations.jl` after a release, otherwise please add to the
 existing block.
 
 !!! note
     Please make sure to change to the new function everywhere in the existing
     OSCAR code base. Even if you think, you were the only one using the
     function, run a quick `grep` to make sure. When you are done,
-    `Deprecations.jl` should be the only place mentioning `old_function`. To
+    `deprecations.jl` should be the only place mentioning `old_function`. To
     make sure, you can start Julia with `--depwarn=yes` or even
     `--depwarn=error` and then run the tests.
 

diff --git a/src/Oscar.jl b/src/Oscar.jl
@@ -461,7 +461,7 @@ function test_experimental_module(
   test_module(test_file; new)
 end
 
-include("Exports.jl")
+include("exports.jl")
 
 # HACK/FIXME: remove these aliases once we have them in AA/Nemo/Hecke
 @alias characteristic_polynomial charpoly  # FIXME
@@ -549,7 +549,7 @@ include("Rings/ReesAlgebra.jl")
 
 include("NumberTheory/NmbThy.jl")
 
-include("PolyhedralGeometry/main.jl")
+include("PolyhedralGeometry/PolyhedralGeometry.jl")
 
 include("Polymake/polymake_to_oscar.jl")
 
@@ -587,9 +587,9 @@ end
 
 include("Serialization/main.jl")
 
-include("Aliases.jl")
+include("aliases.jl")
 
-include("Deprecations.jl")
+include("deprecations.jl")
 
 const global OSCAR = Oscar
 const global oscar = Oscar

diff --git a/src/PolyhedralGeometry/LPFiles.jl → src/PolyhedralGeometry/LP_file_format.jl b/src/PolyhedralGeometry/LPFiles.jl → src/PolyhedralGeometry/LP_file_format.jl
diff --git a/src/PolyhedralGeometry/main.jl → src/PolyhedralGeometry/PolyhedralGeometry.jl b/src/PolyhedralGeometry/main.jl → src/PolyhedralGeometry/PolyhedralGeometry.jl
@@ -18,12 +18,12 @@ include("PolyhedralComplex/standard_constructions.jl")
 include("SubdivisionOfPoints/constructors.jl")
 include("SubdivisionOfPoints/properties.jl")
 include("SubdivisionOfPoints/functions.jl")
-include("LinearProgram.jl")
-include("MixedIntegerLinearProgram.jl")
-include("LPFiles.jl")
-include("Groups.jl")
+include("linear_program.jl")
+include("mixed_integer_linear_program.jl")
+include("LP_file_format.jl")
+include("groups.jl")
 include("type_functions.jl")
-include("Visualization.jl")
+include("visualization.jl")
 include("solving_integrally.jl")
 include("triangulations.jl")
 

diff --git a/src/PolyhedralGeometry/Groups.jl → src/PolyhedralGeometry/groups.jl b/src/PolyhedralGeometry/Groups.jl → src/PolyhedralGeometry/groups.jl
diff --git a/src/PolyhedralGeometry/LinearProgram.jl → src/PolyhedralGeometry/linear_program.jl b/src/PolyhedralGeometry/LinearProgram.jl → src/PolyhedralGeometry/linear_program.jl
diff --git a/...dralGeometry/MixedIntegerLinearProgram.jl → ...lGeometry/mixed_integer_linear_program.jl b/...dralGeometry/MixedIntegerLinearProgram.jl → ...lGeometry/mixed_integer_linear_program.jl
diff --git a/src/PolyhedralGeometry/Visualization.jl → src/PolyhedralGeometry/visualization.jl b/src/PolyhedralGeometry/Visualization.jl → src/PolyhedralGeometry/visualization.jl
diff --git a/src/Aliases.jl → src/aliases.jl b/src/Aliases.jl → src/aliases.jl
diff --git a/src/Deprecations.jl → src/deprecations.jl b/src/Deprecations.jl → src/deprecations.jl
diff --git a/src/Exports.jl → src/exports.jl b/src/Exports.jl → src/exports.jl
diff --git a/test/PolyhedralGeometry/Cone.jl → test/PolyhedralGeometry/cone.jl b/test/PolyhedralGeometry/Cone.jl → test/PolyhedralGeometry/cone.jl
diff --git a/test/PolyhedralGeometry/Group.jl → test/PolyhedralGeometry/group.jl b/test/PolyhedralGeometry/Group.jl → test/PolyhedralGeometry/group.jl
diff --git a/test/PolyhedralGeometry/LinearProgram.jl → test/PolyhedralGeometry/linear_program.jl b/test/PolyhedralGeometry/LinearProgram.jl → test/PolyhedralGeometry/linear_program.jl
diff --git a/test/PolyhedralGeometry/PolyhedralComplex.jl → .../PolyhedralGeometry/polyhedral_complex.jl b/test/PolyhedralGeometry/PolyhedralComplex.jl → .../PolyhedralGeometry/polyhedral_complex.jl
diff --git a/test/PolyhedralGeometry/PolyhedralFan.jl → test/PolyhedralGeometry/polyhedral_fan.jl b/test/PolyhedralGeometry/PolyhedralFan.jl → test/PolyhedralGeometry/polyhedral_fan.jl
diff --git a/test/PolyhedralGeometry/Polyhedron.jl → test/PolyhedralGeometry/polyhedron.jl b/test/PolyhedralGeometry/Polyhedron.jl → test/PolyhedralGeometry/polyhedron.jl
diff --git a/test/PolyhedralGeometry/runtests.jl b/test/PolyhedralGeometry/runtests.jl
@@ -4,13 +4,13 @@ using Oscar
 
 include("types.jl")
 include("iterators.jl")
-include("Cone.jl")
-include("Group.jl")
-include("Polyhedron.jl")
-include("LinearProgram.jl")
-include("PolyhedralFan.jl")
-include("PolyhedralComplex.jl")
-include("SubdivisionOfPoints.jl")
+include("cone.jl")
+include("group.jl")
+include("polyhedron.jl")
+include("linear_program.jl")
+include("polyhedral_fan.jl")
+include("polyhedral_complex.jl")
+include("subdivision_of_points.jl")
 include("extended.jl")
 include("timing.jl")
 include("solve_integrally.jl")

diff --git a/...PolyhedralGeometry/SubdivisionOfPoints.jl → ...lyhedralGeometry/subdivision_of_points.jl b/...PolyhedralGeometry/SubdivisionOfPoints.jl → ...lyhedralGeometry/subdivision_of_points.jl