mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
163 Commits 2 Branches 0 Tags 5.1 MiB
29208f2646
Commit Graph

55 Commits

Author SHA1 Message Date
Gerd Heber
c1fbc5ab70 Added DEF macro to define dynamic variables in user space and get 
around the 'undefined variable' warnings when using SETF without
prior variable declaration.
 2015-08-08 09:12:49 -05:00
Gerd Heber
c89b0054ab Added the SHOW-STRUCTURE function for simplicial sets from the Handbook p. 143. 2015-08-03 17:40:37 -05:00
Gerd Heber
b1c69c1725 SBCL wasn't happy with the treatment of *PRINT-LEVEL* and *PRINT-LENGTH*. 2015-07-29 21:22:53 -05:00
Gerd Heber
a4c9914cd4 Extracted tests from macros.lisp. 2015-07-29 01:42:15 -05:00
Gerd Heber
0b929824ab Extracted tests from lp-space-efhm.lisp. 2015-07-28 19:33:08 -05:00
Gerd Heber
5dceced785 Extracted tests from serre.lisp. 2015-07-28 06:47:14 -05:00
Gerd Heber
a1ca5821c3 Extracted tests from special-smsts.lisp. 2015-07-27 18:27:45 -05:00
Gerd Heber
9eece57056 Extracted tests from smith.lisp. 2015-07-26 18:09:57 -05:00
Gerd Heber
dc4d330e5d Extracted Whitehead tests. 2015-07-26 10:09:14 -05:00
Gerd Heber
f1ab0d41e8 Extracted suspensions tests. 2015-07-26 04:04:35 -05:00
Gerd Heber
f2da8526e4 Extracted tests from ls-twisted-products.lisp. 2015-07-25 16:41:00 -05:00
Gerd Heber
5528954480 Extracted loop spaces tests. 2015-07-25 10:05:30 -05:00
Gerd Heber
1ea365ec1e Extracted k-pi-n tests. 2015-07-24 20:01:33 -05:00
Gerd Heber
f670848a49 Extracted tests from fibrations.lisp. 2015-07-24 06:59:40 -05:00
Gerd Heber
84004e8556 Extracted Eilenberg-Zilber tests. 2015-07-24 03:27:25 -05:00
Gerd Heber
c921cb9c2b Extracted disk pasting tests. 2015-07-23 17:58:15 -05:00
Gerd Heber
80a94c4c72 Extracted tests from cs-twisted-products.lisp. 2015-07-23 06:53:16 -05:00
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
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
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
d46e4d3046 Added a few more examples. 2015-07-15 11:57:11 -05:00
Gerd Heber
2672709129 Extracted simplicial groups test. 2015-07-14 06:39:49 -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
c177ef36f4 Extracted simplicial set tests. 2015-07-12 19:35:13 -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
Gerd Heber
6fc2688b58 Extracted tensor product tests. 2015-07-11 17:46:41 -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
gheber
39197123b4 First batch of DELTA tests. 2015-07-08 07:51:19 -05:00
Gerd Heber
911a74de68 Extracted simple tests from homology-groups.lisp and searching-homology.lisp. 2015-07-07 20:07:07 -05:00
Gerd Heber
ded9d544ca Added bicone tests and refactored common functions. 2015-07-05 19:19:10 -05:00
Gerd Heber
9ea8e6fbab Added a few exports. 2015-07-04 16:48:59 -05:00
Gerd Heber
3a96ef0164 Added a few more exports. 2015-07-03 20:37:22 -05:00
gheber
53d132145f First attempt at merging Ana Romero's example dependences into Kenzo 
Persistent homology
 2015-06-20 21:09:33 -05:00
Dima Pasechnik
9c8d78680d more exports added 
in particular *LIST-LIST* is used by advanced Kenzo users to
extend the system, so they need it to be available globally
 2015-06-17 23:46:22 +01:00
gheber
fe0f5a3e96 Added effective homology test. 2015-01-01 18:52:53 -06:00
gheber
ad86b8c500 Added RESULT type corrections. 2015-01-01 18:30:57 -06:00
gheber
b3627d3b5d Specializing on the second argument to PRINT-OBJECT 
Specializing on the second argument to PRINT-OBJECT has unportable
effects,
and also interferes with precomputation of print functions for
exceptional
situations.
 2015-01-01 10:40:24 -06:00
gheber
8043c1edfd Added CCN test from Kenzo handbook. 2014-12-31 17:03:16 -06:00