Gerd Heber
d7c46944aa
Update README.md
2015-08-15 21:24:12 -05:00
Gerd Heber
6549530370
Documentation updates.
2015-08-15 21:16:14 -05:00
Gerd Heber
e768ad1690
Documentation updates.
2015-08-15 18:32:15 -05:00
Gerd Heber
d9a5c7921d
Update README.md
2015-08-14 21:25:30 -05:00
Gerd Heber
8042a34976
Updated to the latest cl-jupyter format.
2015-08-14 21:21:04 -05:00
Gerd Heber
3c5f86cada
Merge branch 'master' of https://github.com/gheber/kenzo
2015-08-14 19:55:32 -05:00
Gerd Heber
0b95544e85
Completed Chapter 1 examples in iPython notebook.
2015-08-14 19:54:37 -05:00
Gerd Heber
a90925c6cf
Removed incorrect type declaration.
2015-08-14 19:51:50 -05:00
Gerd Heber
f909237c5c
Example updates.
2015-08-08 16:59:01 -05:00
Gerd Heber
fc30017b6c
Update Chapter1.ipynb
2015-08-08 15:34:30 -05:00
Gerd Heber
2fc1e7b1a3
Merge branch 'master' of https://github.com/gheber/kenzo
2015-08-08 15:28:23 -05:00
Gerd Heber
a31e73a77b
Documentation update.
2015-08-08 15:27:41 -05:00
Gerd Heber
6a04badd8b
Make CMBN-NO-ZERO-P return a boolean instead of CMBN-LIST.
2015-08-08 15:20:46 -05:00
Gerd Heber
5b5bd030cf
Update README.md
2015-08-08 11:00:59 -05:00
Gerd Heber
6a52d31d7f
Use DEF.
2015-08-08 10:22:29 -05:00
Gerd Heber
6b6aa08c7d
Fixed typo.
2015-08-08 10:16:35 -05:00
Gerd Heber
29208f2646
Started Chapter 1 and included outputs in Overview.ipynb.
2015-08-08 10:12:53 -05:00
Gerd Heber
d02fe185e2
Use DEF instead of DEFVAR.
2015-08-08 09:32:25 -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
71596227c8
First IPython notebook for Fishbowl ( https://github.com/fredokun/fishbowl-repl ).
2015-08-07 20:31:19 -05:00
Gerd Heber
585232633d
Documentation updates.
2015-08-06 19:32:12 -05:00
Gerd Heber
d7e48c7c40
Documentation updates.
2015-08-06 07:04:43 -05:00
Gerd Heber
8f626f81d2
Documentation updates.
2015-08-05 17:58:21 -05:00
Gerd Heber
f6ee486572
Merge branch 'master' of https://github.com/gheber/kenzo
2015-08-05 07:21:58 -05:00
Gerd Heber
eed9c0c91c
Documentation updates.
2015-08-05 07:20:56 -05:00
Gerd Heber
9e4adb575e
Update README.md
2015-08-04 21:06:21 -05:00
Gerd Heber
8ce5dba831
Update README.md
2015-08-04 21:05:07 -05:00
Gerd Heber
0b08258c7a
Update README.md
2015-08-04 20:56:08 -05:00
Gerd Heber
418d832048
Update README.md
2015-08-04 20:46:59 -05:00
Gerd Heber
06a9533114
Documentation updates.
2015-08-04 20:41:58 -05:00
Gerd Heber
34ae4fe4a7
Documentation updates.
2015-08-04 07:15:25 -05:00
Gerd Heber
707127d328
Started a collection of the symbols to be exported.
2015-08-04 07:00:06 -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
eba4e41e1f
Removed unnecessary read-time conditionals.
2015-08-02 16:33:10 -05:00
Gerd Heber
b4c7ad119a
Removed duplicate definition of RANDOM-ALLP.
2015-08-02 15:58:50 -05:00
Gerd Heber
6cc1acf71b
Band-aid for issue #61 .
2015-08-02 11:17:46 -05:00
Gerd Heber
c52da283b7
The implementation of DELTAB2-DGNL appears to be based on the old internal
...
representation of TPNR as (:tnpr (degr1.gnrt1).(degr2.gnrt2)). (See page 77
in the Kenzo handbook.) The current internal representation of TPNR is a
structure with slots DEGR1, GNRT1, DEGR2, GNRT2. The implementation has been
modified accordingly.
2015-08-01 19:39:16 -05:00
Gerd Heber
c3f663e202
Fixed naming conflict. MINIMAL-TERM-TOP-LEFT shows the occasional
...
divide-by-zero error. Gotta investigate!
2015-07-30 19:30:38 -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
c2dedbc6c4
Disabled a few tests which fail "randomly."
2015-07-28 20:04:22 -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
cb8a3d582c
ECL and SBCL signal TYPE-ERROR instead of SIMPPLE-ERROR.
2015-07-27 20:53:48 -05:00
Gerd Heber
a1ca5821c3
Extracted tests from special-smsts.lisp.
2015-07-27 18:27:45 -05:00
Gerd Heber
c75d7183dc
Disabled potential divide-by-0 tests.
2015-07-26 18:47:10 -05:00
Gerd Heber
9eece57056
Extracted tests from smith.lisp.
2015-07-26 18:09:57 -05:00
Gerd Heber
3d3b44b5a4
Disable long running Z2-WHITEHEAD test.
2015-07-26 10:27:11 -05:00
Gerd Heber
dc4d330e5d
Extracted Whitehead tests.
2015-07-26 10:09:14 -05:00
Gerd Heber
2b78905586
SUSPESION-FACE test fails with SBCL and ECL.
2015-07-26 08:33:15 -05:00
