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
gheber
53d132145f
First attempt at merging Ana Romero's example dependences into Kenzo
...
Persistent homology
2015-06-20 21:09:33 -05:00
gheber
e3cfc0ad9b
Added examples from Ana Romero's website
...
http://www.unirioja.es/cu/anromero/research2.html
2015-06-19 15:55:09 -05:00
Gerd Heber
be5d0c9bf0
Merge pull request #16 from dimpase/master
...
add more exports
2015-06-19 14:34:49 -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
0f873a569b
Merge asdf-issues branch.
2015-06-15 16:13:17 -05:00
gheber
870466490b
Revert ASDF/compilation issue related changes
...
Fix in asdf-issues branch
2015-06-15 06:31:05 -05:00
gheber
f092de28f9
File issues #9 , #10 , #11 , #12 , #13
...
There are several functions preventing compilation and loading via
(asdf:operate 'asdf:load-op 'kenzo). They've been commented for now.
2015-06-14 20:36:31 -05:00
gheber
b9a6785c15
Update cat-init and add SBCL compilation HowTo
2015-06-13 19:23:15 -05:00
Gerd Heber
f6460444be
Merge pull request from @dimpase
2015-06-13 18:12:50 -05:00
Gerd Heber
0e54dcd4d3
Update README.md
...
Add Quicklisp link.
2015-06-13 17:06:44 -05:00
Gerd Heber
3912f89d59
Update README.md
...
Add a quick-start guide.
2015-06-13 17:04:22 -05:00
Dima Pasechnik
adcc9a6483
explain how to load the stuff
2015-06-13 19:29:36 +01:00
Dima Pasechnik
f40740ee8e
a fix to allow compilation on ECL
2015-06-13 19:04:15 +01:00
gheber
baaec230bb
Updated formattting
2015-01-02 07:44:28 -06: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
gheber
e8d0011910
DEFINE-CONSTANT macro needs to be defined earlier.
2014-12-31 10:46:12 -06:00
Gerd Heber
36b7046b78
Update README.md
2014-12-27 09:49:51 -06:00
Gerd Heber
4cdecd0e20
Update README.md
2014-12-27 09:48:13 -06:00
gheber
2bac738009
Updated description
2014-12-26 21:00:23 -06:00
gheber
a6cd1f86f9
Added another combinations test.
2014-12-26 20:51:13 -06:00
gheber
04a64f467e
Moved all global variables to kenzo.lisp
2014-12-26 20:04:29 -06:00
gheber
0351445e49
Added chcm-elementary-op tests.
2014-12-26 18:10:33 -06:00
gheber
c21253dd13
Slot options must include a slot init form
2014-12-25 21:41:54 -06:00
gheber
e1b2373a40
DEFCONSTANT -> DEFINE-CONSTANT
2014-12-25 21:07:32 -06:00
gheber
5ed7133fff
Converted a few more chain-complexes tests.
2014-12-25 19:57:57 -06:00
gheber
6851846a71
All files compile w/ SBCL
2014-12-24 23:08:33 -06:00
gheber
80c82ea6ac
Added tests for various.lisp
2014-12-24 11:56:09 -06:00
gheber
8ea70b812d
Updated infrastructure.
...
* Quicklisp
* DEFINE-CONSTANT macro
* First batch of files compiles w/ SBCL
* Simple regression tests for combinations
2014-12-24 08:16:17 -06:00
gheber
64e1beaa77
Source reorg
...
Subdirectories, .cl -> .lisp
2014-12-24 04:07:54 -06:00
gheber
378973dc78
Kenzo 1.1.7
...
Download from http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/
2014-12-24 03:50:18 -06:00
