From 29e5768f85db77dbad5fc9918263f742ed9f0e0b Mon Sep 17 00:00:00 2001 From: jodivaso Date: Mon, 2 Sep 2019 12:09:41 +0200 Subject: [PATCH] tuned kenzo.asd --- kenzo.asd | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/kenzo.asd b/kenzo.asd index 4a722b0..4e243f7 100644 --- a/kenzo.asd +++ b/kenzo.asd @@ -56,17 +56,20 @@ (:file "cl-space-efhm") (:file "whitehead") (:file "smith") + (:file "vf-order") (:file "sage-interface") + (:file "finite-topological-spaces") (:module "anromero" :components - ((:file "bicomplexes") + ((:file "resolutions") + (:file "cylinders") + (:file "fundamental-classes") + (:file "homotopy") + (:file "bicomplexes") (:file "filtered-complexes") (:file "spectral-sequences") - (:file "resolutions") - (:file "cylinders") - (:file "fundamental-classes") - (:file "homotopy"))) + (:file "persistent-homology"))) (:module "pushout" :components @@ -76,6 +79,4 @@ (:file "remove-covers") (:file "suspension2") (:file "Pushout"))) - - ))))