..
bar-test.lisp
Disable BAR-HRZN-DFFR check, which sometimes causes an out-of-bounds error.
2015-07-25 17:14:08 -05:00
bicones-test.lisp
Added bicone tests and refactored common functions.
2015-07-05 19:19:10 -05:00
cartesian-products-test.lisp
Extracted cartesian product tests.
2015-07-09 18:56:23 -05:00
ccn.lisp
Added CCN test from Kenzo handbook.
2014-12-31 17:03:16 -06:00
chain-complexes-test.lisp
Added bicone tests and refactored common functions.
2015-07-05 19:19:10 -05:00
chcm-elementary-op-test.lisp
Added bicone tests and refactored common functions.
2015-07-05 19:19:10 -05:00
circle.lisp
Changes to keep ECL happy. (NIL for BASIS and INTR-MRPH...)
2015-07-22 21:43:03 -05:00
cl-space-efhm-test.lisp
Disabled a few tests which fail "randomly."
2015-07-28 20:04:22 -05:00
classifying-spaces-test.lisp
Extracted last batch of classifying spaces tests.
2015-07-22 06:57:19 -05:00
cobar-test.lisp
Extracted loop spaces tests.
2015-07-25 10:05:30 -05:00
combinations-test.lisp
Added another combinations test.
2014-12-26 20:51:13 -06:00
common.lisp
Extracted tests from lp-space-efhm.lisp.
2015-07-28 19:33:08 -05:00
cones-test.lisp
Extracted cones tests.
2015-07-09 19:54:03 -05:00
cs-twisted-products-test.lisp
Extracted tests from cs-twisted-products.lisp.
2015-07-23 06:53:16 -05:00
delta-test.lisp
The implementation of DELTAB2-DGNL appears to be based on the old internal
2015-08-01 19:39:16 -05:00
diabolo.lisp
All files compile w/ SBCL
2014-12-24 23:08:33 -06:00
disk-pasting-test.lisp
Extracted disk pasting tests.
2015-07-23 17:58:15 -05:00
effective-homology-test.lisp
Added bicone tests and refactored common functions.
2015-07-05 19:19:10 -05:00
eilenberg-zilber-test.lisp
Extracted Eilenberg-Zilber tests.
2015-07-24 03:27:25 -05:00
fibrations-test.lisp
Extracted tests from fibrations.lisp.
2015-07-24 06:59:40 -05:00
homology-groups-test.lisp
Extracted simple tests from homology-groups.lisp and searching-homology.lisp.
2015-07-07 20:07:07 -05:00
k-pi-n-test.lisp
Extracted k-pi-n tests.
2015-07-24 20:01:33 -05:00
kan-test.lisp
ECL signals a SIMPLE-TYPE-ERROR instead of a SIMPLE-ERROR.
2015-07-17 14:04:28 -05:00
loop-spaces-test.lisp
Extracted tests from ls-twisted-products.lisp.
2015-07-25 16:41:00 -05:00
lp-space-efhm-test.lisp
Disabled a few tests which fail "randomly."
2015-07-28 20:04:22 -05:00
ls-twisted-products-test.lisp
Extracted tests from ls-twisted-products.lisp.
2015-07-25 16:41:00 -05:00
macros-test.lisp
SBCL wasn't happy with the treatment of *PRINT-LEVEL* and *PRINT-LENGTH*.
2015-07-29 21:22:53 -05:00
package.lisp
Added tests for various.lisp
2014-12-24 11:56:09 -06:00
searching-homology-test.lisp
Extracted simple tests from homology-groups.lisp and searching-homology.lisp.
2015-07-07 20:07:07 -05:00
serre-test.lisp
Extracted tests from serre.lisp.
2015-07-28 06:47:14 -05:00
simplicial-groups-test.lisp
The previous commits fixed a few outstanding issues.
2015-07-15 21:03:14 -05:00
simplicial-mrphs-test.lisp
Extracted simplicial morphism tests.
2015-07-13 19:20:30 -05:00
simplicial-sets-test.lisp
Extracted simplicial set tests.
2015-07-12 19:35:13 -05:00
smith-test.lisp
Fixed naming conflict. MINIMAL-TERM-TOP-LEFT shows the occasional
2015-07-30 19:30:38 -05:00
special-smsts-test.lisp
ECL and SBCL signal TYPE-ERROR instead of SIMPPLE-ERROR.
2015-07-27 20:53:48 -05:00
suspensions-test.lisp
SUSPESION-FACE test fails with SBCL and ECL.
2015-07-26 08:33:15 -05:00
tensor-products-test.lisp
The previous commits fixed a few outstanding issues.
2015-07-15 21:03:14 -05:00
Test.lisp
Source reorg
2014-12-24 04:07:54 -06:00
various-test.lisp
All files compile w/ SBCL
2014-12-24 23:08:33 -06:00
whitehead-test.lisp
Disable long running Z2-WHITEHEAD test.
2015-07-26 10:27:11 -05:00
c52da283b7