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