| .. |
|
anromero
|
First attempt at merging Ana Romero's example dependences into Kenzo
|
2015-06-20 21:09:33 -05:00 |
|
abbreviations.lisp
|
All examples from Chapter 0 of the Kenzo User's Guide appear to be working.
|
2015-07-16 15:49:40 -05:00 |
|
algebras.lisp
|
Moved all global variables to kenzo.lisp
|
2014-12-26 20:04:29 -06:00 |
|
bar.lisp
|
Added missing NREVERSE in return from ABAR.
|
2016-02-29 19:16:38 -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
|
Applied Francis' changes to remedy issue #44. It's still failing.
|
2015-11-24 20:14:03 -06:00 |
|
chain-complexes.lisp
|
Added Emacs mode line.
|
2016-01-10 18:32:20 -05:00 |
|
chcm-elementary-op.lisp
|
Added Emacs mode line.
|
2016-01-10 18:32:20 -05:00 |
|
cl-space-efhm.lisp
|
Resolved #40 #41 #43 #45 as per Francis' comment. The (unless (>= abar-degr *))
|
2015-11-18 19:49:09 -06:00 |
|
classes.lisp
|
Added Emacs mode line.
|
2016-01-10 18:32:20 -05:00 |
|
classifying-spaces.lisp
|
Extracted last batch of classifying spaces tests.
|
2015-07-22 06:57:19 -05:00 |
|
coalgebras.lisp
|
Moved all global variables to kenzo.lisp
|
2014-12-26 20:04:29 -06:00 |
|
cobar.lisp
|
Extracted cobar tests.
|
2015-07-22 20:11:54 -05:00 |
|
combinations.lisp
|
Added Emacs mode line.
|
2016-01-10 18:32:20 -05:00 |
|
cones.lisp
|
Extracted cones tests.
|
2015-07-09 19:54:03 -05:00 |
|
cs-twisted-products.lisp
|
Extracted tests from cs-twisted-products.lisp.
|
2015-07-23 06:53:16 -05:00 |
|
delta.lisp
|
The implementation of DELTAB2-DGNL appears to be based on the old internal
|
2015-08-01 19:39:16 -05:00 |
|
Demo.lisp
|
Source reorg
|
2014-12-24 04:07:54 -06:00 |
|
disk-pasting.lisp
|
Extracted disk pasting tests.
|
2015-07-23 17:58:15 -05:00 |
|
effective-homology.lisp
|
Addressed issue #73.
|
2015-11-11 19:12:25 -06:00 |
|
eilenberg-zilber.lisp
|
Extracted Eilenberg-Zilber tests.
|
2015-07-24 03:27:25 -05:00 |
|
fibrations.lisp
|
Extracted tests from fibrations.lisp.
|
2015-07-24 06:59:40 -05: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
|
Extracted loop spaces tests.
|
2015-07-25 10:05:30 -05:00 |
|
kan.lisp
|
Extracted Kan tests.
|
2015-07-13 18:50:45 -05:00 |
|
kenzo.lisp
|
Disabled failing tests. Fixed test name duplication. Reverted change
|
2015-07-21 21:08:54 -05:00 |
|
loop-spaces.lisp
|
Extracted loop spaces tests.
|
2015-07-25 10:05:30 -05:00 |
|
lp-space-efhm.lisp
|
Same remedy as #40 #41 #43 #45.
|
2015-11-18 20:04:43 -06:00 |
|
ls-twisted-products.lisp
|
Extracted tests from ls-twisted-products.lisp.
|
2015-07-25 16:41:00 -05:00 |
|
macros.lisp
|
Added Emacs mode line.
|
2016-01-10 18:32:20 -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
|
Extracted tests from serre.lisp.
|
2015-07-28 06:47:14 -05:00 |
|
simplicial-groups.lisp
|
Extracted simplicial groups test.
|
2015-07-14 06:39:49 -05:00 |
|
simplicial-mrphs.lisp
|
Extracted test from simplicial-mrphs.lisp.
|
2015-07-25 21:04:59 -05:00 |
|
simplicial-sets.lisp
|
Added the SHOW-STRUCTURE function for simplicial sets from the Handbook p. 143.
|
2015-08-03 17:40:37 -05:00 |
|
smith.lisp
|
Extracted tests from smith.lisp.
|
2015-07-26 18:09:57 -05:00 |
|
special-smsts.lisp
|
Extracted tests from special-smsts.lisp.
|
2015-07-27 18:27:45 -05:00 |
|
suspensions.lisp
|
Extracted suspensions tests.
|
2015-07-26 04:04:35 -05:00 |
|
tensor-products.lisp
|
Extracted tensor product tests.
|
2015-07-11 17:46:41 -05:00 |
|
various.lisp
|
Added Emacs mode line.
|
2016-01-10 18:32:20 -05:00 |
|
whitehead.lisp
|
Extracted Whitehead tests.
|
2015-07-26 10:09:14 -05:00 |
