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

58 Commits

Author SHA1 Message Date
Gerd Heber
e8f7e9dfc9 Added missing symbol. 2015-08-21 18:52:47 -05:00
Gerd Heber
48e26406cd Have an interactive and a no-wait version of CHECK-RDCT. 2015-08-17 20:51:01 -05:00
Gerd Heber
6549530370 Documentation updates. 2015-08-15 21:16:14 -05:00
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