Gerd Heber
c6666fbe3d
Extracted cobar tests.
2015-07-22 20:11:54 -05:00
Gerd Heber
3c0bf751c4
Extracted last batch of classifying spaces tests.
2015-07-22 06:57:19 -05:00
Gerd Heber
23dd20c419
First batch of classifying spaces tests.
2015-07-22 03:21:51 -05:00
Gerd Heber
a75a2ee3d5
Disabled failing tests.
2015-07-21 21:36:15 -05:00
Gerd Heber
eb6efad17d
Disabled failing tests. Fixed test name duplication. Reverted change
...
of +MAXIMAL-DIMENSION+.
2015-07-21 21:08:54 -05:00
Gerd Heber
7093cbe4df
Extracted last batch of CL-SPACE-EFHM tests.
2015-07-21 06:58:13 -05:00
Gerd Heber
3d6c2812b9
Another batch of CL-SPACE-EFHM tests extracted.
2015-07-20 20:13:04 -05:00
Gerd Heber
ed51e2b993
ECL signals a SIMPLE-TYPE-ERROR instead of a SIMPLE-ERROR.
2015-07-17 14:04:28 -05:00
Gerd Heber
5d3b7815eb
Added ECL feature expressions.
2015-07-17 06:16:07 -05:00
Gerd Heber
277eb3f980
ECL has the same issue that was resolved in 463522d for CCL and SBCL.
2015-07-17 06:11:24 -05:00
Gerd Heber
b15b0b1e75
CCL doesn't like the asterisks. Fixed.
2015-07-16 17:26:26 -05:00
gheber
2aecb86a50
All examples from Chapter 0 of the Kenzo User's Guide appear to be working.
2015-07-16 15:49:40 -05:00
Gerd Heber
37e052cfe9
Export the *RESULTS-VERBOSE* variable.
...
The tests in cl-space-efhm-test.lisp are passing.
2015-07-15 21:27:52 -05:00
Gerd Heber
0648e4e8c0
The previous commits fixed a few outstanding issues.
2015-07-15 21:03:14 -05:00
Gerd Heber
bd09c079c2
Fixed missing hashmark.
2015-07-15 18:54:52 -05:00
Gerd Heber
42d1e01f0f
The current examples pass.
2015-07-15 18:48:12 -05:00
Gerd Heber
c1a9b6977a
CCL can't initialize the INTR slot with NIL.
2015-07-15 18:45:51 -05:00
Gerd Heber
f836b37aff
Type declaration should include NULL.
2015-07-15 18:20:39 -05:00
Gerd Heber
463522dc4c
CCL and SBCL are also affected by the alleged LispWorks bug.
2015-07-15 18:19:24 -05:00
Gerd Heber
78e460ec9a
NULL is a permissible value for INTR.
2015-07-15 17:45:00 -05:00
Gerd Heber
d46e4d3046
Added a few more examples.
2015-07-15 11:57:11 -05:00
Gerd Heber
c18a485dcb
Added a few examples from Chapter 0 of the Kenzo User's Guide.
2015-07-15 07:54:58 -05:00
Gerd Heber
9fba07a1c0
Formatting updates.
2015-07-14 20:31:52 -05:00
Gerd Heber
2672709129
Extracted simplicial groups test.
2015-07-14 06:39:49 -05:00
Gerd Heber
04eb103bad
Update README.md
2015-07-13 19:58:23 -05:00
Gerd Heber
9e14b1fdaa
Update README.md
2015-07-13 19:49:38 -05:00
Gerd Heber
ec5ad4d359
Update README.md
2015-07-13 19:33:44 -05:00
Gerd Heber
682b7ad2f8
Extracted simplicial morphism tests.
2015-07-13 19:20:30 -05:00
Gerd Heber
3fb780645b
Extracted Kan tests.
2015-07-13 18:50:45 -05:00
Gerd Heber
ba6d13452a
Enable all tests.
2015-07-12 19:36:29 -05:00
Gerd Heber
c177ef36f4
Extracted simplicial set tests.
2015-07-12 19:35:13 -05:00
Gerd Heber
e31bbd56f7
Need to take care of NIL, which is also a SYMBOL.
2015-07-12 15:53:04 -05:00
Gerd Heber
19297ce111
Fixed uninitialized BASIS and INTR-DFFR.
2015-07-12 15:37:26 -05:00
gheber
32c2ab2383
Added a simple abbreviation resolver.
...
Use the WHAT-IS function to expand a Kenzo abbreviation. The
abbreviation can be a KEYWORD, STRING or SYMBOL, e.g., (what-is 'chcm)
or (what-is "chcm") or (what-is :chcm) all return "CHain CoMplex" .
2015-07-12 13:46:15 -05:00
Gerd Heber
c75796d4c7
First batch of k-pi-n tests.
2015-07-11 21:13:19 -05:00
gheber
dc99be9e18
Disabled a misbehaving test and added a missing DEFGENERIC
2015-07-11 18:12:32 -05:00
Gerd Heber
6fc2688b58
Extracted tensor product tests.
2015-07-11 17:46:41 -05:00
Gerd Heber
2f7b5d9128
VRTC-BAR appears to be fixed by the +MAXIMAL-DIMENSION+ bump.
2015-07-10 21:11:14 -05:00
Gerd Heber
edefe1d661
Formatting updates.
2015-07-10 20:44:09 -05:00
Gerd Heber
a8623228e1
After bumping +MAXIMUM-DIMENSION+ this test appears to be working.
2015-07-10 20:36:02 -05:00
Gerd Heber
4773e918cf
Bump +MAXIMAL-DIMENSION+ by 1.
2015-07-10 20:35:09 -05:00
Gerd Heber
097873d88c
The previous commit (type declaration) fixes a bunch of tests.
2015-07-10 19:51:08 -05:00
Gerd Heber
463f908c8c
Fixed incorrect type declaration. GNRT-? returns a CMBN, not ICMBN.
2015-07-10 19:41:45 -05:00
Gerd Heber
89975ca8fa
First cl-space-efhm test extracted. This part seems to be affected by the
...
ICMBN-P issues.
2015-07-10 06:58:06 -05:00
Gerd Heber
6a9a2f60b9
Extracted cones tests.
2015-07-09 19:54:03 -05:00
Gerd Heber
fe065a7a13
Extracted cartesian product tests.
2015-07-09 18:56:23 -05:00
gheber
34576fb375
First stab at BAR tests.
...
Created quite a few (related ?) issues...
2015-07-09 08:09:57 -05:00
Gerd Heber
8b2a7e835c
Added first batch of ABAR tests.
2015-07-08 21:35:22 -05:00
Gerd Heber
7776c92aaf
Extracted all tests from delta.lisp.
2015-07-08 18:50:51 -05:00
Gerd Heber
31d84edc1e
Just discovered the D macro. It returns a dotted pair. That why CDR is in order.
...
Backed out the earlier changes.
2015-07-08 17:14:33 -05:00
