diff --git a/comm_alg/test.lean b/CommAlg/hilbertpolynomial.lean
similarity index 100%
rename from comm_alg/test.lean
rename to CommAlg/hilbertpolynomial.lean
diff --git a/.docker/test.lean b/CommAlg/monalisa.lean
similarity index 100%
rename from .docker/test.lean
rename to CommAlg/monalisa.lean