From 5d80fe983bddf7fd073df4304d01adf7fe9ae064 Mon Sep 17 00:00:00 2001 From: Miguel Marco Date: Thu, 28 Mar 2019 10:32:16 +0100 Subject: [PATCH] Removed examples and archived versions to slim down the tarball --- archive/Kenzo-1/Demo.cl | 100 - .../How-to-Compile-Kenzo-with-Acl8.txt | 214 - .../How-to-Compile-Kenzo-with-CLisp.txt | 257 - .../How-to-Compile-Kenzo-with-LispWorks.txt | 1338 -- .../Kenzo-1/How-to-Use-Kenzo-with-Acl8.txt | 350 - .../Kenzo-1/How-to-Use-Kenzo-with-CLisp.txt | 386 - .../How-to-Use-Kenzo-with-LispWorks.txt | 365 - archive/Kenzo-1/Kenzo-Doc.pdf | Bin 1116716 -> 0 bytes archive/Kenzo-1/Test.cl | 39 - archive/Kenzo-1/algebras.cl | 98 - archive/Kenzo-1/bar.cl | 719 -- archive/Kenzo-1/bicones.cl | 444 - archive/Kenzo-1/cartesian-products.cl | 326 - archive/Kenzo-1/cat-init.cl | 86 - archive/Kenzo-1/chain-complexes.cl | 605 - archive/Kenzo-1/chcm-elementary-op.cl | 463 - archive/Kenzo-1/cl-space-efhm.cl | 875 -- archive/Kenzo-1/classes.cl | 514 - archive/Kenzo-1/classifying-spaces.cl | 392 - archive/Kenzo-1/coalgebras.cl | 76 - archive/Kenzo-1/cobar.cl | 708 -- archive/Kenzo-1/combinations.cl | 674 -- archive/Kenzo-1/cones.cl | 368 - archive/Kenzo-1/cs-twisted-products.cl | 146 - archive/Kenzo-1/delta.cl | 417 - archive/Kenzo-1/disk-pasting.cl | 396 - archive/Kenzo-1/effective-homology.cl | 576 - archive/Kenzo-1/eilenberg-zilber.cl | 480 - archive/Kenzo-1/fibrations.cl | 185 - archive/Kenzo-1/homology-groups.cl | 673 -- archive/Kenzo-1/k-pi-n.cl | 1071 -- archive/Kenzo-1/kan.cl | 198 - archive/Kenzo-1/loop-spaces.cl | 611 - archive/Kenzo-1/lp-space-efhm.cl | 664 - archive/Kenzo-1/ls-twisted-products.cl | 524 - archive/Kenzo-1/macros.cl | 886 -- archive/Kenzo-1/searching-homology.cl | 42 - archive/Kenzo-1/serre.cl | 286 - archive/Kenzo-1/simplicial-groups.cl | 198 - archive/Kenzo-1/simplicial-mrphs.cl | 162 - archive/Kenzo-1/simplicial-sets.cl | 659 - archive/Kenzo-1/smith.cl | 1106 -- archive/Kenzo-1/special-smsts.cl | 688 -- archive/Kenzo-1/suspensions.cl | 321 - archive/Kenzo-1/tensor-products.cl | 369 - archive/Kenzo-1/various.cl | 144 - archive/Kenzo-1/whitehead.cl | 338 - archive/Kenzo-2/Kenzo-2-Acl5/Alexis.cl | 56 - archive/Kenzo-2/Kenzo-2-Acl5/Compile.txt | 331 - archive/Kenzo-2/Kenzo-2-Acl5/Demo.cl | 113 - archive/Kenzo-2/Kenzo-2-Acl5/Release.txt | 10 - archive/Kenzo-2/Kenzo-2-Acl5/Start.txt | 218 - archive/Kenzo-2/Kenzo-2-Acl5/algebras.cl | 53 - archive/Kenzo-2/Kenzo-2-Acl5/bar.cl | 701 -- .../Kenzo-2-Acl5/cartesian-products.cl | 311 - .../Kenzo-2/Kenzo-2-Acl5/chain-complexes.cl | 526 - .../Kenzo-2-Acl5/chcm-elementary-op.cl | 461 - archive/Kenzo-2/Kenzo-2-Acl5/cl-space-efhm.cl | 875 -- archive/Kenzo-2/Kenzo-2-Acl5/classes.cl | 522 - .../Kenzo-2-Acl5/classifying-spaces.cl | 383 - archive/Kenzo-2/Kenzo-2-Acl5/coalgebras.cl | 58 - archive/Kenzo-2/Kenzo-2-Acl5/cobar.cl | 734 -- archive/Kenzo-2/Kenzo-2-Acl5/combinations.cl | 687 -- archive/Kenzo-2/Kenzo-2-Acl5/cones.cl | 443 - .../Kenzo-2-Acl5/cs-twisted-products.cl | 146 - archive/Kenzo-2/Kenzo-2-Acl5/delta.cl | 408 - archive/Kenzo-2/Kenzo-2-Acl5/disk-pasting.cl | 399 - .../Kenzo-2-Acl5/effective-homology.cl | 539 - .../Kenzo-2/Kenzo-2-Acl5/eilenberg-zilber.cl | 479 - archive/Kenzo-2/Kenzo-2-Acl5/fibrations.cl | 186 - archive/Kenzo-2/Kenzo-2-Acl5/file-list.cl | 110 - .../Kenzo-2/Kenzo-2-Acl5/homology-groups.cl | 676 -- archive/Kenzo-2/Kenzo-2-Acl5/k-pi-n.cl | 1070 -- archive/Kenzo-2/Kenzo-2-Acl5/kan.cl | 182 - archive/Kenzo-2/Kenzo-2-Acl5/loop-spaces.cl | 610 - archive/Kenzo-2/Kenzo-2-Acl5/lp-space-efhm.cl | 644 - .../Kenzo-2-Acl5/ls-twisted-products.cl | 521 - archive/Kenzo-2/Kenzo-2-Acl5/macros.cl | 816 -- .../Kenzo-2-Acl5/searching-homology.cl | 43 - archive/Kenzo-2/Kenzo-2-Acl5/serre.cl | 288 - .../Kenzo-2/Kenzo-2-Acl5/simplicial-groups.cl | 175 - .../Kenzo-2/Kenzo-2-Acl5/simplicial-mrphs.cl | 143 - .../Kenzo-2/Kenzo-2-Acl5/simplicial-sets.cl | 679 -- archive/Kenzo-2/Kenzo-2-Acl5/smith.cl | 1239 -- archive/Kenzo-2/Kenzo-2-Acl5/special-smsts.cl | 552 - archive/Kenzo-2/Kenzo-2-Acl5/suspensions.cl | 321 - .../Kenzo-2/Kenzo-2-Acl5/tensor-products.cl | 354 - archive/Kenzo-2/Kenzo-2-Acl5/test.cl | 42 - archive/Kenzo-2/Kenzo-2-Acl5/various.cl | 130 - archive/Kenzo-2/Kenzo-2-Acl5/whitehead.cl | 338 - archive/Kenzo-2/Kenzo-2-Acl8/Alexis.cl | 56 - archive/Kenzo-2/Kenzo-2-Acl8/Compile.txt | 331 - archive/Kenzo-2/Kenzo-2-Acl8/Demo.cl | 100 - archive/Kenzo-2/Kenzo-2-Acl8/Release.txt | 10 - archive/Kenzo-2/Kenzo-2-Acl8/Start.txt | 218 - archive/Kenzo-2/Kenzo-2-Acl8/algebras.cl | 53 - archive/Kenzo-2/Kenzo-2-Acl8/bar.cl | 701 -- .../Kenzo-2-Acl8/cartesian-products.cl | 311 - .../Kenzo-2/Kenzo-2-Acl8/chain-complexes.cl | 526 - .../Kenzo-2-Acl8/chcm-elementary-op.cl | 461 - archive/Kenzo-2/Kenzo-2-Acl8/cl-space-efhm.cl | 875 -- archive/Kenzo-2/Kenzo-2-Acl8/classes.cl | 526 - .../Kenzo-2-Acl8/classifying-spaces.cl | 383 - archive/Kenzo-2/Kenzo-2-Acl8/coalgebras.cl | 58 - archive/Kenzo-2/Kenzo-2-Acl8/cobar.cl | 734 -- archive/Kenzo-2/Kenzo-2-Acl8/combinations.cl | 687 -- archive/Kenzo-2/Kenzo-2-Acl8/cones.cl | 443 - .../Kenzo-2-Acl8/cs-twisted-products.cl | 146 - archive/Kenzo-2/Kenzo-2-Acl8/delta.cl | 408 - archive/Kenzo-2/Kenzo-2-Acl8/disk-pasting.cl | 399 - .../Kenzo-2-Acl8/effective-homology.cl | 539 - .../Kenzo-2/Kenzo-2-Acl8/eilenberg-zilber.cl | 479 - archive/Kenzo-2/Kenzo-2-Acl8/fibrations.cl | 186 - archive/Kenzo-2/Kenzo-2-Acl8/file-list.cl | 114 - .../Kenzo-2/Kenzo-2-Acl8/homology-groups.cl | 650 - archive/Kenzo-2/Kenzo-2-Acl8/k-pi-n.cl | 1070 -- archive/Kenzo-2/Kenzo-2-Acl8/kan.cl | 182 - archive/Kenzo-2/Kenzo-2-Acl8/loop-spaces.cl | 610 - archive/Kenzo-2/Kenzo-2-Acl8/lp-space-efhm.cl | 644 - .../Kenzo-2-Acl8/ls-twisted-products.cl | 521 - archive/Kenzo-2/Kenzo-2-Acl8/macros.cl | 816 -- .../Kenzo-2-Acl8/searching-homology.cl | 43 - archive/Kenzo-2/Kenzo-2-Acl8/serre.cl | 288 - .../Kenzo-2/Kenzo-2-Acl8/simplicial-groups.cl | 175 - .../Kenzo-2/Kenzo-2-Acl8/simplicial-mrphs.cl | 143 - .../Kenzo-2/Kenzo-2-Acl8/simplicial-sets.cl | 679 -- archive/Kenzo-2/Kenzo-2-Acl8/smith.cl | 1239 -- archive/Kenzo-2/Kenzo-2-Acl8/special-smsts.cl | 551 - archive/Kenzo-2/Kenzo-2-Acl8/suspensions.cl | 321 - .../Kenzo-2/Kenzo-2-Acl8/tensor-products.cl | 354 - archive/Kenzo-2/Kenzo-2-Acl8/test.cl | 42 - archive/Kenzo-2/Kenzo-2-Acl8/various.cl | 130 - archive/Kenzo-2/Kenzo-2-Acl8/whitehead.cl | 338 - examples/00_Overview.ipynb | 2606 ---- examples/01_Chain_Complexes.ipynb | 2582 ---- .../02_Objects_with_effective_homology.ipynb | 2666 ---- examples/03_The_Homology_module.ipynb | 2338 ---- ...04_Tensor_product_of_chain_complexes.ipynb | 847 -- examples/05_Coalgebras_and_cobars.ipynb | 1177 -- examples/06_Algebras_and_bars.ipynb | 897 -- examples/07_Simplicial_Sets.ipynb | 5684 --------- examples/08_Simplicial_morphisms.ipynb | 357 - examples/09_The_Eilenberg-Zilber_module.ipynb | 2366 ---- examples/10_Programming_the_Kan_theory.ipynb | 400 - examples/11_Simplicial_Groups.ipynb | 1772 --- examples/12_Fibrations.ipynb | 2055 ---- examples/13_Loop_Spaces.ipynb | 919 -- examples/14_Disk_pasting_and_suspension.ipynb | 3803 ------ examples/15_Loop_spaces_fibrations.ipynb | 4037 ------- ..._Eilenberg-Moore_spectral_sequence_I.ipynb | 2431 ---- examples/17_Classifying_Spaces.ipynb | 1246 -- examples/18_Serre_spectral_sequence.ipynb | 1753 --- examples/19_Simplicial_groups_fibration.ipynb | 2475 ---- ...Eilenberg-Moore_spectral_sequence_II.ipynb | 1147 -- examples/21_Computing_homotopy_groups.ipynb | 3179 ----- examples/anromero/bousfield-kan/gamma.lsp | 1107 -- .../bousfield-kan/simplicial-hmtps.lsp | 153 - .../filtered-complexes/bicomplexes.lsp | 270 - .../filtered-complexes/filtered-complexes.lsp | 843 -- .../filtered-complexes/spectral-sequences.lsp | 1359 --- .../homology-of-groups/OMparsers.lisp | 464 - .../homology-of-groups/cylinders.lisp | 462 - examples/anromero/homology-of-groups/kzs.LSP | 52 - .../homology-of-groups/resolutions.lisp | 1600 --- .../filtered-complexes.lsp | 843 -- .../persistent-homology.cl | 501 - .../spectral-sequences.lsp | 1359 --- .../OMparsers.cl | 469 - .../cylinders.cl | 454 - .../fundamental-classes.cl | 173 - .../permutation-groups.cl | 153 - .../resolutions.cl | 1791 --- .../suspended-classifying-spaces-examples.cl | 10036 ---------------- examples/bottless.png | Bin 16374 -> 0 bytes ...Common Lisp, Typing, and Mathematics.ipynb | 6671 ---------- examples/cltm/cde.png | Bin 4117 -> 0 bytes examples/cltm/class-diagram.png | Bin 2255 -> 0 bytes examples/cltm/kenzo-class-diagram.png | Bin 52019 -> 0 bytes ...-main-initialization-generic-functions.png | Bin 23592 -> 0 bytes examples/cltm/tp-instance.png | Bin 5882 -> 0 bytes examples/cylinss.png | Bin 16034 -> 0 bytes examples/diabolo.graphml | 247 - examples/diabolo.png | Bin 19563 -> 0 bytes examples/diabolo.svg | 117 - examples/dunce.png | Bin 31413 -> 0 bytes examples/duncess.png | Bin 14406 -> 0 bytes examples/eml1.png | Bin 26763 -> 0 bytes examples/eml2.png | Bin 65428 -> 0 bytes examples/eml3.png | Bin 27112 -> 0 bytes examples/ffp/Figure1.png | Bin 13573 -> 0 bytes examples/ffp/Figure2.png | Bin 24770 -> 0 bytes examples/ffp/Figure3.png | Bin 41601 -> 0 bytes .../ffp/Functional Programming is Free.ipynb | 2256 ---- examples/ie/Figure1.png | Bin 42232 -> 0 bytes examples/ie/Figure2.png | Bin 5766 -> 0 bytes examples/ie/Figure3.png | Bin 4675 -> 0 bytes examples/ie/Figure4.png | Bin 21875 -> 0 bytes ...ness from a Functional Point of View.ipynb | 413 - ...veness from a Functional Point of View.pdf | Bin 331746 -> 0 bytes examples/moebiuss.png | Bin 17161 -> 0 bytes examples/overview.lisp | 141 - examples/pcl/Packages in Common Lisp.ipynb | 5655 --------- examples/pcl/Packages_in_Common_Lisp.org | 2391 ---- examples/ppss.png | Bin 14692 -> 0 bytes examples/ssquare.png | Bin 46440 -> 0 bytes examples/torus2.png | Bin 16073 -> 0 bytes examples/toruss.png | Bin 15304 -> 0 bytes 207 files changed, 142366 deletions(-) delete mode 100644 archive/Kenzo-1/Demo.cl delete mode 100644 archive/Kenzo-1/How-to-Compile-Kenzo-with-Acl8.txt delete mode 100644 archive/Kenzo-1/How-to-Compile-Kenzo-with-CLisp.txt delete mode 100644 archive/Kenzo-1/How-to-Compile-Kenzo-with-LispWorks.txt delete mode 100644 archive/Kenzo-1/How-to-Use-Kenzo-with-Acl8.txt delete mode 100644 archive/Kenzo-1/How-to-Use-Kenzo-with-CLisp.txt delete mode 100644 archive/Kenzo-1/How-to-Use-Kenzo-with-LispWorks.txt delete mode 100644 archive/Kenzo-1/Kenzo-Doc.pdf delete mode 100644 archive/Kenzo-1/Test.cl delete mode 100644 archive/Kenzo-1/algebras.cl delete mode 100644 archive/Kenzo-1/bar.cl delete mode 100644 archive/Kenzo-1/bicones.cl delete mode 100644 archive/Kenzo-1/cartesian-products.cl delete mode 100644 archive/Kenzo-1/cat-init.cl delete mode 100644 archive/Kenzo-1/chain-complexes.cl delete mode 100644 archive/Kenzo-1/chcm-elementary-op.cl delete mode 100644 archive/Kenzo-1/cl-space-efhm.cl delete mode 100644 archive/Kenzo-1/classes.cl delete mode 100644 archive/Kenzo-1/classifying-spaces.cl delete mode 100644 archive/Kenzo-1/coalgebras.cl delete mode 100644 archive/Kenzo-1/cobar.cl delete mode 100644 archive/Kenzo-1/combinations.cl delete mode 100644 archive/Kenzo-1/cones.cl delete mode 100644 archive/Kenzo-1/cs-twisted-products.cl delete mode 100644 archive/Kenzo-1/delta.cl delete mode 100644 archive/Kenzo-1/disk-pasting.cl delete mode 100644 archive/Kenzo-1/effective-homology.cl delete mode 100644 archive/Kenzo-1/eilenberg-zilber.cl delete mode 100644 archive/Kenzo-1/fibrations.cl delete mode 100644 archive/Kenzo-1/homology-groups.cl delete mode 100644 archive/Kenzo-1/k-pi-n.cl delete mode 100644 archive/Kenzo-1/kan.cl delete mode 100644 archive/Kenzo-1/loop-spaces.cl delete mode 100644 archive/Kenzo-1/lp-space-efhm.cl delete mode 100644 archive/Kenzo-1/ls-twisted-products.cl delete mode 100644 archive/Kenzo-1/macros.cl delete mode 100644 archive/Kenzo-1/searching-homology.cl delete mode 100644 archive/Kenzo-1/serre.cl delete mode 100644 archive/Kenzo-1/simplicial-groups.cl delete mode 100644 archive/Kenzo-1/simplicial-mrphs.cl delete mode 100644 archive/Kenzo-1/simplicial-sets.cl delete mode 100644 archive/Kenzo-1/smith.cl delete mode 100644 archive/Kenzo-1/special-smsts.cl delete mode 100644 archive/Kenzo-1/suspensions.cl delete mode 100644 archive/Kenzo-1/tensor-products.cl delete mode 100644 archive/Kenzo-1/various.cl delete mode 100644 archive/Kenzo-1/whitehead.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/Alexis.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/Compile.txt delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/Demo.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/Release.txt delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/Start.txt delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/algebras.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/bar.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/cartesian-products.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/chain-complexes.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/chcm-elementary-op.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/cl-space-efhm.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/classes.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/classifying-spaces.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/coalgebras.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/cobar.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/combinations.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/cones.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/cs-twisted-products.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/delta.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/disk-pasting.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/effective-homology.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/eilenberg-zilber.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/fibrations.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/file-list.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/homology-groups.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/k-pi-n.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/kan.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/loop-spaces.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/lp-space-efhm.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/ls-twisted-products.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/macros.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/searching-homology.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/serre.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/simplicial-groups.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/simplicial-mrphs.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/simplicial-sets.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/smith.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/special-smsts.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/suspensions.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/tensor-products.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/test.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/various.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl5/whitehead.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/Alexis.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/Compile.txt delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/Demo.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/Release.txt delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/Start.txt delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/algebras.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/bar.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/cartesian-products.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/chain-complexes.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/chcm-elementary-op.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/cl-space-efhm.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/classes.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/classifying-spaces.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/coalgebras.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/cobar.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/combinations.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/cones.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/cs-twisted-products.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/delta.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/disk-pasting.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/effective-homology.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/eilenberg-zilber.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/fibrations.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/file-list.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/homology-groups.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/k-pi-n.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/kan.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/loop-spaces.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/lp-space-efhm.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/ls-twisted-products.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/macros.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/searching-homology.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/serre.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/simplicial-groups.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/simplicial-mrphs.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/simplicial-sets.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/smith.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/special-smsts.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/suspensions.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/tensor-products.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/test.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/various.cl delete mode 100644 archive/Kenzo-2/Kenzo-2-Acl8/whitehead.cl delete mode 100644 examples/00_Overview.ipynb delete mode 100644 examples/01_Chain_Complexes.ipynb delete mode 100644 examples/02_Objects_with_effective_homology.ipynb delete mode 100644 examples/03_The_Homology_module.ipynb delete mode 100644 examples/04_Tensor_product_of_chain_complexes.ipynb delete mode 100644 examples/05_Coalgebras_and_cobars.ipynb delete mode 100644 examples/06_Algebras_and_bars.ipynb delete mode 100644 examples/07_Simplicial_Sets.ipynb delete mode 100644 examples/08_Simplicial_morphisms.ipynb delete mode 100644 examples/09_The_Eilenberg-Zilber_module.ipynb delete mode 100644 examples/10_Programming_the_Kan_theory.ipynb delete mode 100644 examples/11_Simplicial_Groups.ipynb delete mode 100644 examples/12_Fibrations.ipynb delete mode 100644 examples/13_Loop_Spaces.ipynb delete mode 100644 examples/14_Disk_pasting_and_suspension.ipynb delete mode 100644 examples/15_Loop_spaces_fibrations.ipynb delete mode 100644 examples/16_Eilenberg-Moore_spectral_sequence_I.ipynb delete mode 100644 examples/17_Classifying_Spaces.ipynb delete mode 100644 examples/18_Serre_spectral_sequence.ipynb delete mode 100644 examples/19_Simplicial_groups_fibration.ipynb delete mode 100644 examples/20_Eilenberg-Moore_spectral_sequence_II.ipynb delete mode 100644 examples/21_Computing_homotopy_groups.ipynb delete mode 100644 examples/anromero/bousfield-kan/gamma.lsp delete mode 100644 examples/anromero/bousfield-kan/simplicial-hmtps.lsp delete mode 100644 examples/anromero/filtered-complexes/bicomplexes.lsp delete mode 100644 examples/anromero/filtered-complexes/filtered-complexes.lsp delete mode 100644 examples/anromero/filtered-complexes/spectral-sequences.lsp delete mode 100644 examples/anromero/homology-of-groups/OMparsers.lisp delete mode 100644 examples/anromero/homology-of-groups/cylinders.lisp delete mode 100644 examples/anromero/homology-of-groups/kzs.LSP delete mode 100644 examples/anromero/homology-of-groups/resolutions.lisp delete mode 100644 examples/anromero/persistent-homology/filtered-complexes.lsp delete mode 100644 examples/anromero/persistent-homology/persistent-homology.cl delete mode 100644 examples/anromero/persistent-homology/spectral-sequences.lsp delete mode 100644 examples/anromero/suspended-classifying-spaces-lisp-files/OMparsers.cl delete mode 100644 examples/anromero/suspended-classifying-spaces-lisp-files/cylinders.cl delete mode 100644 examples/anromero/suspended-classifying-spaces-lisp-files/fundamental-classes.cl delete mode 100644 examples/anromero/suspended-classifying-spaces-lisp-files/permutation-groups.cl delete mode 100644 examples/anromero/suspended-classifying-spaces-lisp-files/resolutions.cl delete mode 100644 examples/anromero/suspended-classifying-spaces-lisp-files/suspended-classifying-spaces-examples.cl delete mode 100644 examples/bottless.png delete mode 100644 examples/cltm/Common Lisp, Typing, and Mathematics.ipynb delete mode 100644 examples/cltm/cde.png delete mode 100644 examples/cltm/class-diagram.png delete mode 100644 examples/cltm/kenzo-class-diagram.png delete mode 100644 examples/cltm/the-main-initialization-generic-functions.png delete mode 100644 examples/cltm/tp-instance.png delete mode 100644 examples/cylinss.png delete mode 100644 examples/diabolo.graphml delete mode 100644 examples/diabolo.png delete mode 100644 examples/diabolo.svg delete mode 100644 examples/dunce.png delete mode 100644 examples/duncess.png delete mode 100644 examples/eml1.png delete mode 100644 examples/eml2.png delete mode 100644 examples/eml3.png delete mode 100644 examples/ffp/Figure1.png delete mode 100644 examples/ffp/Figure2.png delete mode 100644 examples/ffp/Figure3.png delete mode 100644 examples/ffp/Functional Programming is Free.ipynb delete mode 100644 examples/ie/Figure1.png delete mode 100644 examples/ie/Figure2.png delete mode 100644 examples/ie/Figure3.png delete mode 100644 examples/ie/Figure4.png delete mode 100644 examples/ie/Infinity and Effectiveness from a Functional Point of View.ipynb delete mode 100644 examples/ie/Infinity and Effectiveness from a Functional Point of View.pdf delete mode 100644 examples/moebiuss.png delete mode 100644 examples/overview.lisp delete mode 100644 examples/pcl/Packages in Common Lisp.ipynb delete mode 100644 examples/pcl/Packages_in_Common_Lisp.org delete mode 100644 examples/ppss.png delete mode 100644 examples/ssquare.png delete mode 100644 examples/torus2.png delete mode 100644 examples/toruss.png diff --git a/archive/Kenzo-1/Demo.cl b/archive/Kenzo-1/Demo.cl deleted file mode 100644 index 9cada96..0000000 --- a/archive/Kenzo-1/Demo.cl +++ /dev/null @@ -1,100 +0,0 @@ -;;; DEMO DEMO DEMO DEMO DEMO DEMO DEMO DEMO DEMO DEMO DEMO -;;; DEMO DEMO DEMO DEMO DEMO DEMO DEMO DEMO DEMO DEMO DEMO -;;; DEMO DEMO DEMO DEMO DEMO DEMO DEMO DEMO DEMO DEMO DEMO - -(IN-PACKAGE :USER) - -(DEFVAR *STATEMENT*) - -;; C = comment -(DEFUN C (string) - (terpri) - (dotimes (i 50) (princ "-")) - (princ "") -; (dotimes (i 31) (princ "-")) -; (terpri) - (princ string) -; (terpri) - (dotimes (i 50) (princ "-")) - (values)) - -;; R = read -(DEFMACRO R (statement) - (declare (special *statement*)) - (setf *statement* statement) - `(progn - (terpri) - (dotimes (i 50) (princ "-")) - (princ "") -; (dotimes (i 29) (princ "-")) -; (terpri) - (pprint ',statement) - (terpri) ; (terpri) - (dotimes (i 50) (princ "-")) - (values))) - -(DEFUN STRIP-INITIAL-SPACES (st) - (let ((st2 (make-string (- (length st) (count #\Newline st))))) - (declare (type string st2)) - (do ((i 0 (1+ i)) - (j 0 (1+ j))) - ((= i (length st))) - (let ((char (aref st i))) - (when (char= char #\newline) - (incf i)) - (setf (aref st2 j) char))) - st2)) - -(DEFMACRO R2 (dstatement) - (declare (special *statement* *dstatement*)) - (setf *dstatement* dstatement) - (setf *statement* (read-from-string dstatement)) - `(progn - (terpri) - (dotimes (i 50) (princ "-")) - (princ "") - ; (dotimes (i 31) (princ "-")) - ; (terpri) - (princ (strip-initial-spaces *dstatement*)) - ; (terpri) - (dotimes (i 50) (princ "-")) - (values))) - -;; E = EXECUTE -(DEFUN E () - (declare (special *statement*)) - (terpri) - (dotimes (i 50) (princ "-")) - (princ "") -; (dotimes (i 32) (princ "-")) - (terpri) ; (terpri) - (prin1 (eval *statement*)) - (terpri) ; (terpri) - (dotimes (i 50) (princ "-")) - (values)) - -(DEFUN EE () - (declare (special *statement*)) - (terpri) - (dotimes (i 10) (princ "-")) - (princ " Error ") - (dotimes (i 33) (princ "-")) - (terpri) (terpri) - (restart-case - (handler-bind ((error - #'(lambda (condition) - (format t "Type-error: ~S~&" - (class-name (class-of condition))) - (apply #'format t - (simple-condition-format-control condition) - (simple-condition-format-arguments condition)) - (invoke-restart 'my-restart)))) - (eval *statement*)) - (my-restart () (values))) - (terpri) (terpri) - (dotimes (i 50) (princ "-")) - (values)) - -(DEFMACRO M (statement) - (eval statement) - '(values )) \ No newline at end of file diff --git a/archive/Kenzo-1/How-to-Compile-Kenzo-with-Acl8.txt b/archive/Kenzo-1/How-to-Compile-Kenzo-with-Acl8.txt deleted file mode 100644 index 944977e..0000000 --- a/archive/Kenzo-1/How-to-Compile-Kenzo-with-Acl8.txt +++ /dev/null @@ -1,214 +0,0 @@ -;;; -;;; [[ Comments added to the listing.]] -;;; - - -International Allegro CL Free Express Edition -8.0 [Windows] (Dec 27, 2006 16:11) -Copyright (C) 1985-2006, Franz Inc., Oakland, CA, USA. All Rights Reserved. - -This development copy of Allegro CL is licensed to: - Trial User - -CG version 1.81.2.23 / IDE version 1.80.2.21 -Loaded options from C:\Documents and Settings\Fourier\Mes documents\allegro-prefs.cl. - -;; Optimization settings: safety 1, space 1, speed 1, debug 2. -;; For a complete description of all compiler switches given the current -;; optimization settings evaluate (EXPLAIN-COMPILER-SETTINGS). -;;; -;;; [[ Don't forget to define the standard package "COMMON-LISP-USER" -;;; [[ before starting. -;;; [[ Cf Tools > IDE 1 > Initial Package := COMMON-LISP-USER -;;; -CL-USER(1): (load "cat-init") -; Loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\cat-init.cl - - FILE 1: macros - FILE 2: various - FILE 3: classes - FILE 4: combinations - FILE 5: chain-complexes - FILE 6: chcm-elementary-op - FILE 7: effective-homology - FILE 8: homology-groups - FILE 9: searching-homology - FILE 10: cones - FILE 11: tensor-products - FILE 12: coalgebras - FILE 13: cobar - FILE 14: algebras - FILE 15: bar - FILE 16: simplicial-sets - FILE 17: simplicial-mrphs - FILE 18: delta - FILE 19: special-smsts - FILE 20: suspensions - FILE 21: disk-pasting - FILE 22: cartesian-products - FILE 23: eilenberg-zilber - FILE 24: kan - FILE 25: simplicial-groups - FILE 26: fibrations - FILE 27: loop-spaces - FILE 28: ls-twisted-products - FILE 29: lp-space-efhm - FILE 30: classifying-spaces - FILE 31: k-pi-n - FILE 32: serre - FILE 33: cs-twisted-products - FILE 34: cl-space-efhm - FILE 35: whitehead - FILE 36: smith -T -CL-USER(2): (compile-files) - -*CMBN-CONTROL* = T - -;;; Compiling file macros.cl -;;; Writing fasl file macros.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\macros.fasl -;;; Compiling file various.cl -;;; Writing fasl file various.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\various.fasl -;;; Compiling file classes.cl -;;; Writing fasl file classes.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\classes.fasl -;;; Compiling file combinations.cl -;;; Writing fasl file combinations.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\combinations.fasl -;;; Compiling file chain-complexes.cl -;;; Writing fasl file chain-complexes.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\chain-complexes.fasl -;;; Compiling file chcm-elementary-op.cl -;;; Writing fasl file chcm-elementary-op.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\chcm-elementary-op.fasl -;;; Compiling file effective-homology.cl -;;; Writing fasl file effective-homology.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\effective-homology.fasl -;;; Compiling file homology-groups.cl -;;; Writing fasl file homology-groups.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\homology-groups.fasl -;;; Compiling file searching-homology.cl -;;; Writing fasl file searching-homology.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\searching-homology.fasl -;;; Compiling file cones.cl -;;; Writing fasl file cones.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\cones.fasl -;;; Compiling file tensor-products.cl -;;; Writing fasl file tensor-products.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\tensor-products.fasl -;;; Compiling file coalgebras.cl -;;; Writing fasl file coalgebras.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\coalgebras.fasl -;;; Compiling file cobar.cl -;;; Writing fasl file cobar.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\cobar.fasl -;;; Compiling file algebras.cl -;;; Writing fasl file algebras.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\algebras.fasl -;;; Compiling file bar.cl -;;; Writing fasl file bar.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\bar.fasl -;;; Compiling file simplicial-sets.cl -;;; Writing fasl file simplicial-sets.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\simplicial-sets.fasl -;;; Compiling file simplicial-mrphs.cl -;;; Writing fasl file simplicial-mrphs.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\simplicial-mrphs.fasl -;;; Compiling file delta.cl -;;; Writing fasl file delta.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\delta.fasl -;;; Compiling file special-smsts.cl -;;; Writing fasl file special-smsts.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\special-smsts.fasl -;;; Compiling file suspensions.cl -;;; Writing fasl file suspensions.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\suspensions.fasl -;;; Compiling file disk-pasting.cl -;;; Writing fasl file disk-pasting.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\disk-pasting.fasl -;;; Compiling file cartesian-products.cl -;;; Writing fasl file cartesian-products.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\cartesian-products.fasl -;;; Compiling file eilenberg-zilber.cl -;;; Writing fasl file eilenberg-zilber.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\eilenberg-zilber.fasl -;;; Compiling file kan.cl -;;; Writing fasl file kan.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\kan.fasl -;;; Compiling file simplicial-groups.cl -;;; Writing fasl file simplicial-groups.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\simplicial-groups.fasl -;;; Compiling file fibrations.cl -;;; Writing fasl file fibrations.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\fibrations.fasl -;;; Compiling file loop-spaces.cl -;;; Writing fasl file loop-spaces.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\loop-spaces.fasl -;;; Compiling file ls-twisted-products.cl -;;; Writing fasl file ls-twisted-products.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\ls-twisted-products.fasl -;;; Compiling file lp-space-efhm.cl -;;; Writing fasl file lp-space-efhm.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\lp-space-efhm.fasl -;;; Compiling file classifying-spaces.cl -;;; Writing fasl file classifying-spaces.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\classifying-spaces.fasl -;;; Compiling file k-pi-n.cl -;;; Writing fasl file k-pi-n.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\k-pi-n.fasl -;;; Compiling file serre.cl -;;; Writing fasl file serre.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\serre.fasl -;;; Compiling file cs-twisted-products.cl -;;; Writing fasl file cs-twisted-products.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\cs-twisted-products.fasl -;;; Compiling file cl-space-efhm.cl -;;; Writing fasl file cl-space-efhm.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\cl-space-efhm.fasl -;;; Compiling file whitehead.cl -;;; Writing fasl file whitehead.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\whitehead.fasl -;;; Compiling file smith.cl -;;; Writing fasl file smith.fasl -;;; Fasl write complete -; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-Acl8\smith.fasl -("macros" "various" "classes" "combinations" "chain-complexes" "chcm-elementary-op" - "effective-homology" "homology-groups" "searching-homology" "cones" ...) -CL-USER(3): (exit) \ No newline at end of file diff --git a/archive/Kenzo-1/How-to-Compile-Kenzo-with-CLisp.txt b/archive/Kenzo-1/How-to-Compile-Kenzo-with-CLisp.txt deleted file mode 100644 index 0b0c175..0000000 --- a/archive/Kenzo-1/How-to-Compile-Kenzo-with-CLisp.txt +++ /dev/null @@ -1,257 +0,0 @@ -c:\Documents and Settings\Francis\AA\Kenzo\Kenzo-1.1-CLisp>CLisp - - i i i i i i i ooooo o ooooooo ooooo ooooo - I I I I I I I 8 8 8 8 8 o 8 8 - I \ `+' / I 8 8 8 8 8 8 - \ `-+-' / 8 8 8 ooooo 8oooo - `-__|__-' 8 8 8 8 8 - | 8 o 8 8 o 8 8 - ------+------ ooooo 8oooooo ooo8ooo ooooo 8 - -Copyright (c) Bruno Haible, Michael Stoll 1992, 1993 -Copyright (c) Bruno Haible, Marcus Daniels 1994-1997 -Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998 -Copyright (c) Bruno Haible, Sam Steingold 1999-2000 -Copyright (c) Sam Steingold, Bruno Haible 2001-2006 - -[1]> (load "cat-init") - -;; Loading file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\cat-init.cl ... - FILE 1: macros - FILE 2: various - FILE 3: classes - FILE 4: combinations - FILE 5: chain-complexes - FILE 6: chcm-elementary-op - FILE 7: effective-homology - FILE 8: homology-groups - FILE 9: searching-homology - FILE 10: cones - FILE 11: tensor-products - FILE 12: coalgebras - FILE 13: cobar - FILE 14: algebras - FILE 15: bar - FILE 16: simplicial-sets - FILE 17: simplicial-mrphs - FILE 18: delta - FILE 19: special-smsts - FILE 20: suspensions - FILE 21: disk-pasting - FILE 22: cartesian-products - FILE 23: eilenberg-zilber - FILE 24: kan - FILE 25: simplicial-groups - FILE 26: fibrations - FILE 27: loop-spaces - FILE 28: ls-twisted-products - FILE 29: lp-space-efhm - FILE 30: classifying-spaces - FILE 31: k-pi-n - FILE 32: serre - FILE 33: cs-twisted-products - FILE 34: cl-space-efhm - FILE 35: whitehead - FILE 36: smith -;; Loaded file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\cat-init.cl -T -[2]> (compile-files) - -*CMBN-CONTROL* = T - -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\macros.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\macros.fas -0 errors, 0 warnings -;; Loading file macros.fas ... -;; Loaded file macros.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\various.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\various.fas -0 errors, 0 warnings -;; Loading file various.fas ... -;; Loaded file various.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\classes.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\classes.fas - -;;; -;;; [[ Do not take account of this warning. -;;; [[ For coherence, these functions are defined in later files. -;;; - -The following functions were used but not defined: - CMBN-PRINT RESULT-PRINT BICN-PRINT TNPR-PRINT ALLP-PRINT ABAR-PRINT - ABSM-PRINT CRPR-PRINT LOOP-PRINT GBAR-PRINT -0 errors, 0 warnings -;; Loading file classes.fas ... -;; Loaded file classes.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\combinations.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\combinations.fas -0 errors, 0 warnings -;; Loading file combinations.fas ... -;; Loaded file combinations.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\chain-complexes.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\chain-complexes.fas -0 errors, 0 warnings -;; Loading file chain-complexes.fas ... -;; Loaded file chain-complexes.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\chcm-elementary-op.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\chcm-elementary-op.fas -0 errors, 0 warnings -;; Loading file chcm-elementary-op.fas ... -;; Loaded file chcm-elementary-op.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\effective-homology.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\effective-homology.fas -0 errors, 0 warnings -;; Loading file effective-homology.fas ... -;; Loaded file effective-homology.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\homology-groups.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\homology-groups.fas -0 errors, 0 warnings -;; Loading file homology-groups.fas ... -;; Loaded file homology-groups.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\searching-homology.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\searching-homology.fas -0 errors, 0 warnings -;; Loading file searching-homology.fas ... -;; Loaded file searching-homology.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\cones.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\cones.fas -0 errors, 0 warnings -;; Loading file cones.fas ... -;; Loaded file cones.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\tensor-products.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\tensor-products.fas -0 errors, 0 warnings -;; Loading file tensor-products.fas ... -;; Loaded file tensor-products.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\coalgebras.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\coalgebras.fas -0 errors, 0 warnings -;; Loading file coalgebras.fas ... -;; Loaded file coalgebras.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\cobar.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\cobar.fas -0 errors, 0 warnings -;; Loading file cobar.fas ... -;; Loaded file cobar.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\algebras.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\algebras.fas -0 errors, 0 warnings -;; Loading file algebras.fas ... -;; Loaded file algebras.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\bar.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\bar.fas -0 errors, 0 warnings -;; Loading file bar.fas ... -;; Loaded file bar.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\simplicial-sets.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\simplicial-sets.fas -0 errors, 0 warnings -;; Loading file simplicial-sets.fas ... -;; Loaded file simplicial-sets.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\simplicial-mrphs.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\simplicial-mrphs.fas -0 errors, 0 warnings -;; Loading file simplicial-mrphs.fas ... -;; Loaded file simplicial-mrphs.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\delta.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\delta.fas -0 errors, 0 warnings -;; Loading file delta.fas ... -;; Loaded file delta.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\special-smsts.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\special-smsts.fas -0 errors, 0 warnings -;; Loading file special-smsts.fas ... -;; Loaded file special-smsts.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\suspensions.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\suspensions.fas -0 errors, 0 warnings -;; Loading file suspensions.fas ... -;; Loaded file suspensions.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\disk-pasting.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\disk-pasting.fas -0 errors, 0 warnings -;; Loading file disk-pasting.fas ... -;; Loaded file disk-pasting.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\cartesian-products.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\cartesian-products.fas -0 errors, 0 warnings -;; Loading file cartesian-products.fas ... -;; Loaded file cartesian-products.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\eilenberg-zilber.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\eilenberg-zilber.fas -0 errors, 0 warnings -;; Loading file eilenberg-zilber.fas ... -;; Loaded file eilenberg-zilber.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\kan.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\kan.fas -0 errors, 0 warnings -;; Loading file kan.fas ... -;; Loaded file kan.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\simplicial-groups.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\simplicial-groups.fas -0 errors, 0 warnings -;; Loading file simplicial-groups.fas ... -;; Loaded file simplicial-groups.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\fibrations.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\fibrations.fas -0 errors, 0 warnings -;; Loading file fibrations.fas ... -;; Loaded file fibrations.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\loop-spaces.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\loop-spaces.fas -0 errors, 0 warnings -;; Loading file loop-spaces.fas ... -;; Loaded file loop-spaces.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\ls-twisted-products.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\ls-twisted-products.fas -0 errors, 0 warnings -;; Loading file ls-twisted-products.fas ... -;; Loaded file ls-twisted-products.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\lp-space-efhm.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\lp-space-efhm.fas -0 errors, 0 warnings -;; Loading file lp-space-efhm.fas ... -;; Loaded file lp-space-efhm.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\classifying-spaces.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\classifying-spaces.fas -0 errors, 0 warnings -;; Loading file classifying-spaces.fas ... -;; Loaded file classifying-spaces.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\k-pi-n.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\k-pi-n.fas -0 errors, 0 warnings -;; Loading file k-pi-n.fas ... -;; Loaded file k-pi-n.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\serre.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\serre.fas -0 errors, 0 warnings -;; Loading file serre.fas ... -;; Loaded file serre.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\cs-twisted-products.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\cs-twisted-products.fas -0 errors, 0 warnings -;; Loading file cs-twisted-products.fas ... -;; Loaded file cs-twisted-products.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\cl-space-efhm.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\cl-space-efhm.fas -0 errors, 0 warnings -;; Loading file cl-space-efhm.fas ... -;; Loaded file cl-space-efhm.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\whitehead.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\whitehead.fas -0 errors, 0 warnings -;; Loading file whitehead.fas ... -;; Loaded file whitehead.fas -;; Compiling file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\smith.cl ... -;; Wrote file C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp\smith.fas -0 errors, 0 warnings -;; Loading file smith.fas ... -;; Loaded file smith.fas -("macros" "various" "classes" "combinations" "chain-complexes" "chcm-elementary-op" "effective-homology" - "homology-groups" "searching-homology" "cones" ...) -[3]> (exit) - -Bye. - -C:\DOCUME~1\Francis\AA\Kenzo\Kenzo-1.1-CLisp> diff --git a/archive/Kenzo-1/How-to-Compile-Kenzo-with-LispWorks.txt b/archive/Kenzo-1/How-to-Compile-Kenzo-with-LispWorks.txt deleted file mode 100644 index e14beb8..0000000 --- a/archive/Kenzo-1/How-to-Compile-Kenzo-with-LispWorks.txt +++ /dev/null @@ -1,1338 +0,0 @@ -;;; -;;; [[ Loading the initialization file. -;;; [[ Do not forget the extension ".cl" not guessed by LispWorks. -;;; - -CL-USER 1 > (load "cat-init.cl") -; Loading text file C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-LispWorks\cat-init.cl - - FILE 1: macros - FILE 2: various - FILE 3: classes - FILE 4: combinations - FILE 5: chain-complexes - FILE 6: chcm-elementary-op - FILE 7: effective-homology - FILE 8: homology-groups - FILE 9: searching-homology - FILE 10: cones - FILE 11: tensor-products - FILE 12: coalgebras - FILE 13: cobar - FILE 14: algebras - FILE 15: bar - FILE 16: simplicial-sets - FILE 17: simplicial-mrphs - FILE 18: delta - FILE 19: special-smsts - FILE 20: suspensions - FILE 21: disk-pasting - FILE 22: cartesian-products - FILE 23: eilenberg-zilber - FILE 24: kan - FILE 25: simplicial-groups - FILE 26: fibrations - FILE 27: loop-spaces - FILE 28: ls-twisted-products - FILE 29: lp-space-efhm - FILE 30: classifying-spaces - FILE 31: k-pi-n - FILE 32: serre - FILE 33: cs-twisted-products - FILE 34: cl-space-efhm - FILE 35: whitehead - FILE 36: smith -#P"C:/Docume~1/Francis/AA/Kenzo/Kenzo-1.1-LispWorks/cat-init.cl" - -;;; -;;; [[ Compiling the Kenzo files. -;;; [[ Compiling will be stopped by LispWorks because -;;; [[ a claimed error; which is not one! -;;; [[ see below how to bypass. -;;; [[ Find "***" with your editor. -;;; - -CL-USER 2 > (compile-files) - -*CMBN-CONTROL* = T - -;;; Compiling file macros.cl ... -;;; Safety = 1, Speed = 3, Space = 0, Float = 1, Interruptible = 0 -;;; Compilation speed = 1, Debug = 0, Fixnum safety = 3 -;;; Source level debugging is off -;;; Source file recording is on -;;; Cross referencing is on -; (TOP-LEVEL-FORM 1) -; (TOP-LEVEL-FORM 2) -; (TOP-LEVEL-FORM 3) -; -1-EXPT-N -; -1-EXPT-N+1 -; -1-EXPT-N-1 -; 2-EXP -; MASK -; BINOMIAL-P-Q -; LEXICO -; TERM -; -TERM -; CFFC -; -CFFC -; GNRT -; -GNRT -; WITH-TERM -; WITH--TERM -; WITH-CMBN -; TERM-CMBN -; CMBN-NON-ZERO-P -; CMBN-ZERO-P -; CONTROL -; CONTROLN -; (DEFVAR *WRONG-CMBN*) -; CMPR -; CMPR3 -; BASIS -; BASIS3 -; DFFR -; ? -; MAKE-RSLT -; RSLT-GNRT -; RSLT-VALUE -; RSLT-CLNM -; RSLT-RNTM -; I-CMPS -; I-ADD -; I-SBTR -; BCC -; TCC -; F -; G -; H -; LBCC -; RBCC -; LF -; LG -; LH -; RF -; RG -; RH -; BASELIG -; BASECOL -; BCNB -; BCNC -; BCND -; WITH-BICN -; TNPR -; WITH-TNPR -; CPRD -; CBGN -; CDEGR -; CGNRT -; -CDEGR -; -CGNRT -; WITH-CBGN -; WITH--CBGN -; WITH-ALLP -; GNRT-ALLP-TNPR -; APRD -; BRGN -; BDEGR -; BGNRT -; -BDEGR -; -BGNRT -; WITH-BRGN -; WITH--BRGN -; WITH-ABAR -; WITH-GBAR -; ABSM -; WITH-ABSM -; DEGENERATE-P -; NON-DEGENERATE-P -; BSPN -; BNDR -; DGNL -; FACE -; D -; MAKE-GMSM-FACES-INFO -; INFO-GMSM -; INFO-FACES -; INFO-FACE-I -; INFO-BNDR -; CRPR -; CRPR2 -; CRPR4 -; ABSM1 -; ABSM2 -; WITH-CRPR -; WITH-CRPR-2 -; WITH-CRPR-4 -; EILENBERG-ZILBER -; KFLL -; KFLL4 -; GRML -; GRIN -; BUILD-AB-SMGR -; POWR -; PGMSM -; EXPN -; WITH-POWR -; WITH-APOWR -; APOWR -; APDGOP -; APGMSM -; APEXPN -; LINE-NUMBER -; COLUMN-NUMBER -; LINE-OP-5 -; COLUMN-OP-5 -; LINE-SWAP-5 -; COLUMN-SWAP-5 -; LINE-MINUS-5 -; COLUMN-MINUS-5 -; GNRT-NAME -; (TOP-LEVEL-FORM 4) -; Loading fasl file C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-LispWorks\macros.ofasl -;;; Compiling file various.cl ... -;;; Safety = 1, Speed = 3, Space = 0, Float = 1, Interruptible = 0 -;;; Compilation speed = 1, Debug = 0, Fixnum safety = 3 -;;; Source level debugging is off -;;; Source file recording is on -;;; Cross referencing is on -; (TOP-LEVEL-FORM 1) -; (TOP-LEVEL-FORM 2) -; (TOP-LEVEL-FORM 3) -; (DEFCONSTANT +EMPTY-LIST+) -; (DEFCONSTANT +F-EMPTY-VECTOR+) -; (DEFCONSTANT +S-EMPTY-VECTOR+) -; (DEFCONSTANT +TRUE+) -; (DEFCONSTANT +FALSE+) -; (DEFCONSTANT +2-EXP+) -; (DEFCONSTANT +MASK+) -; BINOMIAL-N-P -; (TOP-LEVEL-FORM 4) -; (TOP-LEVEL-FORM 5) -; -; >A-B< -; >A-B> -; V -; SRANDOM -; CLOCK -; DONE -; (TOP-LEVEL-FORM 6) -; Loading fasl file C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-LispWorks\various.ofasl -;;; Compiling file classes.cl ... -;;; Safety = 1, Speed = 3, Space = 0, Float = 1, Interruptible = 0 -;;; Compilation speed = 1, Debug = 0, Fixnum safety = 3 -;;; Source level debugging is off -;;; Source file recording is on -;;; Cross referencing is on -; (TOP-LEVEL-FORM 1) -; (TOP-LEVEL-FORM 2) -; (TOP-LEVEL-FORM 3) -; (DEFTYPE ANY) -; (SUBFUNCTION (DEFSETF CMBN-LIST) (DEFSTRUCT CMBN)) -; (SUBFUNCTION (DEFSETF CMBN-DEGR) (DEFSTRUCT CMBN)) -; (SUBFUNCTION MAKE-CMBN (DEFSTRUCT CMBN)) -; (SUBFUNCTION MAKE-CMBN (DEFSTRUCT CMBN)) -; CFFC-P -; (DEFTYPE CFFC) -; (DEFTYPE GNRT) -; (DEFTYPE CMPR) -; (DEFTYPE CMPRF) -; TERM-P -; (DEFTYPE TERM) -; ICMBN-P -; (DEFTYPE ICMBN) -; (DEFTYPE BASIS) -; (DEFTYPE INTR-MRPH) -; (DEFCLASS CHAIN-COMPLEX) -; (DEFCLASS MORPHISM) -; (DEFCLASS HOMOTOPY-EQUIVALENCE) -; (DEFVAR *IDNM-COUNTER*) -; (TOP-LEVEL-FORM 4) - -;;; -;;; [[ Do not take account of these warnings. -;;; [[ These classes are mutually recursive -;;; [[ and redefinitions are necessary. -;;; - -;;;*** Warning in (DEFCLASS CHAIN-COMPLEX): (DEFCLASS CHAIN-COMPLEX) defined more than once in C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-LispWorks\classes.cl. -; (DEFCLASS CHAIN-COMPLEX) -; (DEFTYPE STRT) -;;;*** Warning in (DEFCLASS MORPHISM): (DEFCLASS MORPHISM) defined more than once in C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-LispWorks\classes.cl. -; (DEFCLASS MORPHISM) -; (SUBFUNCTION (DEFSETF RESULT-RNTM) (DEFSTRUCT RESULT)) -; (SUBFUNCTION (DEFSETF RESULT-CLNM) (DEFSTRUCT RESULT)) -; (SUBFUNCTION (DEFSETF RESULT-VALUE) (DEFSTRUCT RESULT)) -; (SUBFUNCTION (DEFSETF RESULT-GNRT) (DEFSTRUCT RESULT)) -; (SUBFUNCTION MAKE-RESULT (DEFSTRUCT RESULT)) -; (SUBFUNCTION MAKE-RESULT (DEFSTRUCT RESULT)) -; (DEFCLASS REDUCTION) -;;;*** Warning in (DEFCLASS HOMOTOPY-EQUIVALENCE): (DEFCLASS HOMOTOPY-EQUIVALENCE) defined more than once in C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-LispWorks\classes.cl. -; (DEFCLASS HOMOTOPY-EQUIVALENCE) -; (SUBFUNCTION (DEFSETF UPLIG) (DEFSTRUCT MATRICE)) -; (SUBFUNCTION (DEFSETF LEFTCOL) (DEFSTRUCT MATRICE)) -; (SUBFUNCTION MAKE-MATRICE (DEFSTRUCT MATRICE)) -; (SUBFUNCTION MAKE-MATRICE (DEFSTRUCT MATRICE)) -; (SUBFUNCTION (DEFSETF UP) (DEFSTRUCT T-MAT)) -; (SUBFUNCTION (DEFSETF LEFT) (DEFSTRUCT T-MAT)) -; (SUBFUNCTION (DEFSETF ICOL) (DEFSTRUCT T-MAT)) -; (SUBFUNCTION (DEFSETF ILIG) (DEFSTRUCT T-MAT)) -; (SUBFUNCTION (DEFSETF VAL) (DEFSTRUCT T-MAT)) -; (SUBFUNCTION MAKE-T-MAT (DEFSTRUCT T-MAT)) -; (SUBFUNCTION MAKE-T-MAT (DEFSTRUCT T-MAT)) -; (SUBFUNCTION (DEFSETF IBICN) (DEFSTRUCT BICN)) -; (SUBFUNCTION (DEFSETF BCNX) (DEFSTRUCT BICN)) -; (SUBFUNCTION MAKE-BICN (DEFSTRUCT BICN)) -; (SUBFUNCTION MAKE-BICN (DEFSTRUCT BICN)) -; (SUBFUNCTION (DEFSETF GNRT2) (DEFSTRUCT TNPR)) -; (SUBFUNCTION (DEFSETF DEGR2) (DEFSTRUCT TNPR)) -; (SUBFUNCTION (DEFSETF GNRT1) (DEFSTRUCT TNPR)) -; (SUBFUNCTION (DEFSETF DEGR1) (DEFSTRUCT TNPR)) -; (SUBFUNCTION MAKE-TNPR (DEFSTRUCT TNPR)) -; (SUBFUNCTION MAKE-TNPR (DEFSTRUCT TNPR)) -; (DEFCLASS COALGEBRA) -; CBGN-P -; (DEFTYPE CBGN) -; IALLP-P -; (DEFTYPE IALLP) -; (SUBFUNCTION (DEFSETF ALLP-LIST) (DEFSTRUCT ALLP)) -; (SUBFUNCTION MAKE-ALLP (DEFSTRUCT ALLP)) -; (SUBFUNCTION MAKE-ALLP (DEFSTRUCT ALLP)) -; (DEFCLASS ALGEBRA) -; (DEFCLASS HOPF-ALGEBRA) -; BRGN-P -; (DEFTYPE BRGN) -; IABAR-P -; (DEFTYPE IABAR) -; (SUBFUNCTION (DEFSETF ABAR-LIST) (DEFSTRUCT ABAR)) -; (SUBFUNCTION MAKE-ABAR (DEFSTRUCT ABAR)) -; (SUBFUNCTION MAKE-ABAR (DEFSTRUCT ABAR)) -; (DEFTYPE DGOP) -; (DEFTYPE GMSM) -; (DEFTYPE DLOP) -; (SUBFUNCTION (DEFSETF GMSM) (DEFSTRUCT ABSM)) -; (SUBFUNCTION (DEFSETF DGOP) (DEFSTRUCT ABSM)) -; (SUBFUNCTION MAKE-ABSM (DEFSTRUCT ABSM)) -; (SUBFUNCTION MAKE-ABSM (DEFSTRUCT ABSM)) -; (DEFTYPE FACE) -; (DEFTYPE FACE*) -; (DEFCLASS SIMPLICIAL-SET) -; (DEFTYPE SINTR) -; (DEFCLASS SIMPLICIAL-MRPH) -; SOFT-DLOP-P -; (DEFTYPE SOFT-DLOP) -; (SUBFUNCTION (DEFSETF GMSM2) (DEFSTRUCT CRPR)) -; (SUBFUNCTION (DEFSETF DGOP2) (DEFSTRUCT CRPR)) -; (SUBFUNCTION (DEFSETF GMSM1) (DEFSTRUCT CRPR)) -; (SUBFUNCTION (DEFSETF DGOP1) (DEFSTRUCT CRPR)) -; (SUBFUNCTION MAKE-CRPR (DEFSTRUCT CRPR)) -; (SUBFUNCTION MAKE-CRPR (DEFSTRUCT CRPR)) -; (DEFTYPE KFLL) -; (DEFCLASS KAN) -; FIBRATION-P -; (DEFTYPE FIBRATION) -; (DEFCLASS SIMPLICIAL-GROUP) -; (DEFCLASS AB-SIMPLICIAL-GROUP) -; EXPN-P -; (DEFTYPE EXPN) -; POWR-P -; (DEFTYPE POWR) -; APOWR-P -; (DEFTYPE APOWR) -; ILOOP-P -; (DEFTYPE ILOOP) -; (SUBFUNCTION (DEFSETF LOOP-LIST) (DEFSTRUCT LOOP)) -; (SUBFUNCTION MAKE-LOOP (DEFSTRUCT LOOP)) -; (SUBFUNCTION MAKE-LOOP (DEFSTRUCT LOOP)) -; (SUBFUNCTION (DEFSETF GBAR-LIST) (DEFSTRUCT GBAR)) -; (SUBFUNCTION (DEFSETF GBAR-DMNS) (DEFSTRUCT GBAR)) -; (SUBFUNCTION MAKE-GBAR (DEFSTRUCT GBAR)) -; (SUBFUNCTION MAKE-GBAR (DEFSTRUCT GBAR)) -; (TOP-LEVEL-FORM 5) -; Loading fasl file C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-LispWorks\classes.ofasl -Warning: (DEFCLASS CHAIN-COMPLEX) defined more than once in C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-LispWorks\classes.cl. -Warning: (DEFCLASS MORPHISM) defined more than once in C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-LispWorks\classes.cl. -Warning: (DEFCLASS HOMOTOPY-EQUIVALENCE) defined more than once in C:\Docume~1\Francis\AA\Kenzo\Kenzo-1.1-LispWorks\classes.cl. - -;;; *** -;;; [[ Defining (METHOD PRINT-OBJECT (LOOP T)) -;;; [[ is not at all an error. -;;; [[ LispWorks complains for Loop being an identifier -;;; [[ of the Common-Lisp Package and is afraid we damage the system! -;;; [[ The loops here are the loops of Algebraic Topology -;;; [[ not the iterated loops of standard programming !!! -;;; - -Error: Defining (METHOD PRINT-OBJECT (LOOP T)) visible from packages COMMON-LISP, CLOS. - 1 (continue) Define it anyway. - 2 Discard the new method. - 3 Try loading classes.ofasl again. - 4 Give up loading classes.ofasl. - 5 Try loading another file instead of classes.ofasl. - 6 (abort) Return to level 0. - 7 Return to top loop level 0. - -Type :b for backtrace, :c