From 378973dc78ec0197b35c84b4832f2072949ac3a0 Mon Sep 17 00:00:00 2001 From: gheber Date: Wed, 24 Dec 2014 03:50:18 -0600 Subject: [PATCH] Kenzo 1.1.7 Download from http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/ --- Kenzo-1/Demo.cl | 100 ++ Kenzo-1/How-to-Compile-Kenzo-with-Acl8.txt | 214 +++ Kenzo-1/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 +++++ Kenzo-1/How-to-Use-Kenzo-with-LispWorks.txt | 365 +++++ Kenzo-1/Kenzo-Doc.pdf | Bin 0 -> 2803747 bytes Kenzo-1/Test.cl | 39 + Kenzo-1/algebras.cl | 98 ++ Kenzo-1/bar.cl | 719 +++++++++ Kenzo-1/bicones.cl | 444 ++++++ Kenzo-1/cartesian-products.cl | 326 ++++ Kenzo-1/cat-init.cl | 86 ++ Kenzo-1/chain-complexes.cl | 605 ++++++++ Kenzo-1/chcm-elementary-op.cl | 463 ++++++ Kenzo-1/cl-space-efhm.cl | 875 +++++++++++ Kenzo-1/classes.cl | 514 +++++++ Kenzo-1/classifying-spaces.cl | 392 +++++ Kenzo-1/coalgebras.cl | 76 + Kenzo-1/cobar.cl | 708 +++++++++ Kenzo-1/combinations.cl | 674 +++++++++ Kenzo-1/cones.cl | 368 +++++ Kenzo-1/cs-twisted-products.cl | 146 ++ Kenzo-1/delta.cl | 417 +++++ Kenzo-1/disk-pasting.cl | 396 +++++ Kenzo-1/effective-homology.cl | 576 +++++++ Kenzo-1/eilenberg-zilber.cl | 480 ++++++ Kenzo-1/fibrations.cl | 185 +++ Kenzo-1/homology-groups.cl | 673 +++++++++ Kenzo-1/k-pi-n.cl | 1071 +++++++++++++ Kenzo-1/kan.cl | 198 +++ Kenzo-1/loop-spaces.cl | 611 ++++++++ Kenzo-1/lp-space-efhm.cl | 664 ++++++++ Kenzo-1/ls-twisted-products.cl | 524 +++++++ Kenzo-1/macros.cl | 886 +++++++++++ Kenzo-1/searching-homology.cl | 42 + Kenzo-1/serre.cl | 286 ++++ Kenzo-1/simplicial-groups.cl | 198 +++ Kenzo-1/simplicial-mrphs.cl | 162 ++ Kenzo-1/simplicial-sets.cl | 659 ++++++++ Kenzo-1/smith.cl | 1106 ++++++++++++++ Kenzo-1/special-smsts.cl | 688 +++++++++ Kenzo-1/suspensions.cl | 321 ++++ Kenzo-1/tensor-products.cl | 369 +++++ Kenzo-1/various.cl | 144 ++ Kenzo-1/whitehead.cl | 338 +++++ 47 files changed, 20537 insertions(+) create mode 100644 Kenzo-1/Demo.cl create mode 100644 Kenzo-1/How-to-Compile-Kenzo-with-Acl8.txt create mode 100644 Kenzo-1/How-to-Compile-Kenzo-with-CLisp.txt create mode 100644 Kenzo-1/How-to-Compile-Kenzo-with-LispWorks.txt create mode 100644 Kenzo-1/How-to-Use-Kenzo-with-Acl8.txt create mode 100644 Kenzo-1/How-to-Use-Kenzo-with-CLisp.txt create mode 100644 Kenzo-1/How-to-Use-Kenzo-with-LispWorks.txt create mode 100644 Kenzo-1/Kenzo-Doc.pdf create mode 100644 Kenzo-1/Test.cl create mode 100644 Kenzo-1/algebras.cl create mode 100644 Kenzo-1/bar.cl create mode 100644 Kenzo-1/bicones.cl create mode 100644 Kenzo-1/cartesian-products.cl create mode 100644 Kenzo-1/cat-init.cl create mode 100644 Kenzo-1/chain-complexes.cl create mode 100644 Kenzo-1/chcm-elementary-op.cl create mode 100644 Kenzo-1/cl-space-efhm.cl create mode 100644 Kenzo-1/classes.cl create mode 100644 Kenzo-1/classifying-spaces.cl create mode 100644 Kenzo-1/coalgebras.cl create mode 100644 Kenzo-1/cobar.cl create mode 100644 Kenzo-1/combinations.cl create mode 100644 Kenzo-1/cones.cl create mode 100644 Kenzo-1/cs-twisted-products.cl create mode 100644 Kenzo-1/delta.cl create mode 100644 Kenzo-1/disk-pasting.cl create mode 100644 Kenzo-1/effective-homology.cl create mode 100644 Kenzo-1/eilenberg-zilber.cl create mode 100644 Kenzo-1/fibrations.cl create mode 100644 Kenzo-1/homology-groups.cl create mode 100644 Kenzo-1/k-pi-n.cl create mode 100644 Kenzo-1/kan.cl create mode 100644 Kenzo-1/loop-spaces.cl create mode 100644 Kenzo-1/lp-space-efhm.cl create mode 100644 Kenzo-1/ls-twisted-products.cl create mode 100644 Kenzo-1/macros.cl create mode 100644 Kenzo-1/searching-homology.cl create mode 100644 Kenzo-1/serre.cl create mode 100644 Kenzo-1/simplicial-groups.cl create mode 100644 Kenzo-1/simplicial-mrphs.cl create mode 100644 Kenzo-1/simplicial-sets.cl create mode 100644 Kenzo-1/smith.cl create mode 100644 Kenzo-1/special-smsts.cl create mode 100644 Kenzo-1/suspensions.cl create mode 100644 Kenzo-1/tensor-products.cl create mode 100644 Kenzo-1/various.cl create mode 100644 Kenzo-1/whitehead.cl diff --git a/Kenzo-1/Demo.cl b/Kenzo-1/Demo.cl new file mode 100644 index 0000000..9cada96 --- /dev/null +++ b/Kenzo-1/Demo.cl @@ -0,0 +1,100 @@ +;;; 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/Kenzo-1/How-to-Compile-Kenzo-with-Acl8.txt b/Kenzo-1/How-to-Compile-Kenzo-with-Acl8.txt new file mode 100644 index 0000000..944977e --- /dev/null +++ b/Kenzo-1/How-to-Compile-Kenzo-with-Acl8.txt @@ -0,0 +1,214 @@ +;;; +;;; [[ 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/Kenzo-1/How-to-Compile-Kenzo-with-CLisp.txt b/Kenzo-1/How-to-Compile-Kenzo-with-CLisp.txt new file mode 100644 index 0000000..0b0c175 --- /dev/null +++ b/Kenzo-1/How-to-Compile-Kenzo-with-CLisp.txt @@ -0,0 +1,257 @@ +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/Kenzo-1/How-to-Compile-Kenzo-with-LispWorks.txt b/Kenzo-1/How-to-Compile-Kenzo-with-LispWorks.txt new file mode 100644 index 0000000..e14beb8 --- /dev/null +++ b/Kenzo-1/How-to-Compile-Kenzo-with-LispWorks.txt @@ -0,0 +1,1338 @@ +;;; +;;; [[ 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