| .. |
|
anromero
|
First attempt at merging Ana Romero's example dependences into Kenzo
|
2015-06-20 21:09:33 -05:00 |
|
algebras.lisp
|
Moved all global variables to kenzo.lisp
|
2014-12-26 20:04:29 -06:00 |
|
bar.lisp
|
Formatting updates.
|
2015-07-10 20:44:09 -05:00 |
|
bicones.lisp
|
Added bicone tests and refactored common functions.
|
2015-07-05 19:19:10 -05:00 |
|
cartesian-products.lisp
|
Extracted cartesian product tests.
|
2015-07-09 18:56:23 -05:00 |
|
cat-init.lisp
|
Minor adjustments for CCL. The code compiles, but some of the tests
|
2015-07-02 11:22:55 -05:00 |
|
chain-complexes.lisp
|
Added a few missing DEFGENERICs.
|
2015-07-04 18:35:29 -05:00 |
|
chcm-elementary-op.lisp
|
Added a few missing DEFGENERICs.
|
2015-07-04 18:35:29 -05:00 |
|
cl-space-efhm.lisp
|
First cl-space-efhm test extracted. This part seems to be affected by the
|
2015-07-10 06:58:06 -05:00 |
|
classes.lisp
|
Just discovered the D macro. It returns a dotted pair. That why CDR is in order.
|
2015-07-08 17:14:33 -05:00 |
|
classifying-spaces.lisp
|
Added a few missing DEFGENERICs.
|
2015-07-04 18:35:29 -05:00 |
|
coalgebras.lisp
|
Moved all global variables to kenzo.lisp
|
2014-12-26 20:04:29 -06:00 |
|
cobar.lisp
|
Added a few missing DEFGENERICs.
|
2015-07-04 18:35:29 -05:00 |
|
combinations.lisp
|
Documentation updates.
|
2015-07-05 14:36:38 -05:00 |
|
cones.lisp
|
Extracted cones tests.
|
2015-07-09 19:54:03 -05:00 |
|
cs-twisted-products.lisp
|
All files compile w/ SBCL
|
2014-12-24 23:08:33 -06:00 |
|
delta.lisp
|
Disabled a misbehaving test and added a missing DEFGENERIC
|
2015-07-11 18:12:32 -05:00 |
|
Demo.lisp
|
Source reorg
|
2014-12-24 04:07:54 -06:00 |
|
disk-pasting.lisp
|
All files compile w/ SBCL
|
2014-12-24 23:08:33 -06:00 |
|
effective-homology.lisp
|
Added a few missing DEFGENERICs.
|
2015-07-04 18:35:29 -05:00 |
|
eilenberg-zilber.lisp
|
All files compile w/ SBCL
|
2014-12-24 23:08:33 -06:00 |
|
fibrations.lisp
|
All files compile w/ SBCL
|
2014-12-24 23:08:33 -06:00 |
|
homology-groups.lisp
|
Extracted simple tests from homology-groups.lisp and searching-homology.lisp.
|
2015-07-07 20:07:07 -05:00 |
|
k-pi-n.lisp
|
All files compile w/ SBCL
|
2014-12-24 23:08:33 -06:00 |
|
kan.lisp
|
Moved all global variables to kenzo.lisp
|
2014-12-26 20:04:29 -06:00 |
|
kenzo.lisp
|
Extracted tensor product tests.
|
2015-07-11 17:46:41 -05:00 |
|
loop-spaces.lisp
|
DEFCONSTANT -> DEFINE-CONSTANT
|
2014-12-25 21:07:32 -06:00 |
|
lp-space-efhm.lisp
|
All files compile w/ SBCL
|
2014-12-24 23:08:33 -06:00 |
|
ls-twisted-products.lisp
|
Merge asdf-issues branch.
|
2015-06-15 16:13:17 -05:00 |
|
macros.lisp
|
Added bicone tests and refactored common functions.
|
2015-07-05 19:19:10 -05:00 |
|
searching-homology.lisp
|
Extracted simple tests from homology-groups.lisp and searching-homology.lisp.
|
2015-07-07 20:07:07 -05:00 |
|
serre.lisp
|
All files compile w/ SBCL
|
2014-12-24 23:08:33 -06:00 |
|
simplicial-groups.lisp
|
Moved all global variables to kenzo.lisp
|
2014-12-26 20:04:29 -06:00 |
|
simplicial-mrphs.lisp
|
Moved all global variables to kenzo.lisp
|
2014-12-26 20:04:29 -06:00 |
|
simplicial-sets.lisp
|
Moved all global variables to kenzo.lisp
|
2014-12-26 20:04:29 -06:00 |
|
smith.lisp
|
Merge asdf-issues branch.
|
2015-06-15 16:13:17 -05:00 |
|
special-smsts.lisp
|
All files compile w/ SBCL
|
2014-12-24 23:08:33 -06:00 |
|
suspensions.lisp
|
Added a few missing DEFGENERICs.
|
2015-07-04 18:35:29 -05:00 |
|
tensor-products.lisp
|
Extracted tensor product tests.
|
2015-07-11 17:46:41 -05:00 |
|
various.lisp
|
Updated formattting
|
2015-01-02 07:44:28 -06:00 |
|
whitehead.lisp
|
All files compile w/ SBCL
|
2014-12-24 23:08:33 -06:00 |
