mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
19297ce111
kenzo/src
History
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
..
anromero First attempt at merging Ana Romero's example dependences into Kenzo 2015-06-20 21:09:33 -05:00
abbreviations.lisp Added a simple abbreviation resolver. 2015-07-12 13:46:15 -05:00
algebras.lisp Moved all global variables to kenzo.lisp 2014-12-26 20:04:29 -06:00
bar.lisp Formatting updates. 2015-07-10 20:44:09 -05:00
bicones.lisp Added bicone tests and refactored common functions. 2015-07-05 19:19:10 -05:00
cartesian-products.lisp Extracted cartesian product tests. 2015-07-09 18:56:23 -05:00
cat-init.lisp Minor adjustments for CCL. The code compiles, but some of the tests 2015-07-02 11:22:55 -05:00
chain-complexes.lisp Added a few missing DEFGENERICs. 2015-07-04 18:35:29 -05:00
chcm-elementary-op.lisp Added a few missing DEFGENERICs. 2015-07-04 18:35:29 -05:00
cl-space-efhm.lisp First cl-space-efhm test extracted. This part seems to be affected by the 2015-07-10 06:58:06 -05:00
classes.lisp Just discovered the D macro. It returns a dotted pair. That why CDR is in order. 2015-07-08 17:14:33 -05:00
classifying-spaces.lisp Added a few missing DEFGENERICs. 2015-07-04 18:35:29 -05:00
coalgebras.lisp Moved all global variables to kenzo.lisp 2014-12-26 20:04:29 -06:00
cobar.lisp Added a few missing DEFGENERICs. 2015-07-04 18:35:29 -05:00
combinations.lisp Documentation updates. 2015-07-05 14:36:38 -05:00
cones.lisp Extracted cones tests. 2015-07-09 19:54:03 -05:00
cs-twisted-products.lisp All files compile w/ SBCL 2014-12-24 23:08:33 -06:00
delta.lisp Disabled a misbehaving test and added a missing DEFGENERIC 2015-07-11 18:12:32 -05:00
Demo.lisp Source reorg 2014-12-24 04:07:54 -06:00
disk-pasting.lisp All files compile w/ SBCL 2014-12-24 23:08:33 -06:00
effective-homology.lisp Added a few missing DEFGENERICs. 2015-07-04 18:35:29 -05:00
eilenberg-zilber.lisp All files compile w/ SBCL 2014-12-24 23:08:33 -06:00
fibrations.lisp All files compile w/ SBCL 2014-12-24 23:08:33 -06:00
homology-groups.lisp Extracted simple tests from homology-groups.lisp and searching-homology.lisp. 2015-07-07 20:07:07 -05:00
k-pi-n.lisp First batch of k-pi-n tests. 2015-07-11 21:13:19 -05:00
kan.lisp Moved all global variables to kenzo.lisp 2014-12-26 20:04:29 -06:00
kenzo.lisp Extracted tensor product tests. 2015-07-11 17:46:41 -05:00
loop-spaces.lisp DEFCONSTANT -> DEFINE-CONSTANT 2014-12-25 21:07:32 -06:00
lp-space-efhm.lisp All files compile w/ SBCL 2014-12-24 23:08:33 -06:00
ls-twisted-products.lisp Merge asdf-issues branch. 2015-06-15 16:13:17 -05:00
macros.lisp Added bicone tests and refactored common functions. 2015-07-05 19:19:10 -05:00
searching-homology.lisp Extracted simple tests from homology-groups.lisp and searching-homology.lisp. 2015-07-07 20:07:07 -05:00
serre.lisp All files compile w/ SBCL 2014-12-24 23:08:33 -06:00
simplicial-groups.lisp Moved all global variables to kenzo.lisp 2014-12-26 20:04:29 -06:00
simplicial-mrphs.lisp Moved all global variables to kenzo.lisp 2014-12-26 20:04:29 -06:00
simplicial-sets.lisp Moved all global variables to kenzo.lisp 2014-12-26 20:04:29 -06:00
smith.lisp Merge asdf-issues branch. 2015-06-15 16:13:17 -05:00
special-smsts.lisp All files compile w/ SBCL 2014-12-24 23:08:33 -06:00
suspensions.lisp Added a few missing DEFGENERICs. 2015-07-04 18:35:29 -05:00
tensor-products.lisp Extracted tensor product tests. 2015-07-11 17:46:41 -05:00
various.lisp Updated formattting 2015-01-02 07:44:28 -06:00
whitehead.lisp All files compile w/ SBCL 2014-12-24 23:08:33 -06:00