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

83 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
gheber
b7a7e9a4ea Use F-CMPR and CADR instead of L-CMPR. 
This is faster and closer to the original code.
 2015-07-08 08:04:03 -05:00
gheber
39197123b4 First batch of DELTA tests. 2015-07-08 07:51:19 -05:00
gheber
b92f5211f9 CDR -> CADR 
In SOFT-DLOP-P and SOFT-DELTA-FACE. We are looking for a FIXNUM, not a
LIST.
 2015-07-08 07:50:54 -05:00
gheber
b82a5e6884 Fixed error in SOFT-DELTA-CMPR 
Must be L-CMPR instead of F-CMPR, since CDR returns a list.
 2015-07-08 06:42:31 -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
cbe1401e76 Documentation updates. 2015-07-05 14:36:38 -05:00
gheber
1d828f8cf6 Added a few missing DEFGENERICs. 
Good for the soul...
 2015-07-04 18:35:29 -05:00
gheber
3c5c05989e Whoops! Can't get rid of INTR-MRPH quite yet... 2015-07-04 17:53:08 -05:00
Gerd Heber
8eb4dd94b9 The type INTR-MRPH appears to be unused. 2015-07-04 17:32:20 -05:00
Gerd Heber
cddfc7ba99 Added effective homology examples. 2015-07-04 16:56:20 -05:00
Gerd Heber
f58e12d2fd Added ignore declarations. 2015-07-04 16:55:43 -05:00
Gerd Heber
b6c2f46f4f Updated formatting. Moved examples to the test file. 2015-07-04 16:50:59 -05:00
Gerd Heber
71db68240c Fixed an apparently wrong type declaration. 2015-07-04 16:50:04 -05:00
Gerd Heber
9ea8e6fbab Added a few exports. 2015-07-04 16:48:59 -05:00
Gerd Heber
093e082936 Temporarily ignore the anromero module. 2015-07-04 16:47:40 -05:00
Gerd Heber
0bdc968478 Simplified test runner. 2015-07-03 21:02:26 -05:00
Gerd Heber
d3dce67ea4 The *CMBN-CONTROL* variable was ignored in DO-CONTROL. Fixed. 
Added missing tests.
 2015-07-03 20:42:09 -05:00
Gerd Heber
c95825279c Added a few documentation strings. 2015-07-03 20:41:05 -05:00
Gerd Heber
8b61753579 Reformatted documentation string. 2015-07-03 20:40:15 -05:00
Gerd Heber
ab56af4f50 Moved the definition of *IDNM-COUNTER* to kenzo.lisp. 2015-07-03 20:39:04 -05:00
Gerd Heber
175be44c46 Added a documentation string. 2015-07-03 20:38:07 -05:00
Gerd Heber
3a96ef0164 Added a few more exports. 2015-07-03 20:37:22 -05:00
Gerd Heber
6c72802bf5 Added a few documentation strings. 2015-07-03 20:36:50 -05:00
Gerd Heber
e12fa22620 Updated indentation. 2015-07-03 20:35:45 -05:00
gheber
f5086f6c4d Added license information. 
GPLv3 it is.
 2015-07-02 13:29:16 -05:00
Gerd Heber
e9bd143f71 The RSLTS slot of a morphism instancet be of type SIMPLE-VECTOR. 
It was initialized with NIL under strategy :cmbn. This also fixes issue #21.
 2015-07-02 13:01:22 -05:00
Gerd Heber
c1b81d4321 Minor adjustments for CCL. The code compiles, but some of the tests 
are failing.
 2015-07-02 11:22:55 -05:00
gheber
31c09565c7 Added documentation to combinations.lisp. 2015-07-02 08:29:11 -05:00
Dima Pasechnik
0c61f7bee0 added the index entry to t.o.c. 2015-07-01 23:14:35 +01:00
Dima Pasechnik
880913fdcb more cleanup 2015-07-01 23:01:28 +01:00
Dima Pasechnik
45cf053708 ported to LaTeX2e, added build instructions, removed old files 2015-07-01 22:59:24 +01:00
Dima Pasechnik
b288a64669 added doc sources (in old LaTeX) 2015-07-01 22:46:17 +01:00