Next: Introduction, Previous: (dir), Up: (dir) [Contents][Index]
This is the kenzo Reference Manual, version 1.1.9, generated automatically by Declt version 3.0 "Montgomery Scott" on Tue Dec 22 13:56:33 2020 GMT+0.
• Introduction | What kenzo is all about | |
• Systems | The systems documentation | |
• Modules | The modules documentation | |
• Files | The files documentation | |
• Packages | The packages documentation | |
• Definitions | The symbols documentation | |
• Indexes | Concepts, functions, variables and data types |
Kenzo is a Symbolic Software for Effective Homology Computation and should be of interest to students and researchers in algebraic topology.
This repository contains a repackaged version of the Kenzo program developed by Francis Sergeraert and collaborators. The original version of the program can be found at http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/ . This version updates its infrastructure by providing the following:
The primary source of documentation is the excellent Kenzo Handbook.
The easiest way to get started with Kenzo is to peruse a matching set of
Jupyter notebooks. In the notebooks
folder,
there is one notebook for each chapter in the Kenzo handbook. NOTE: The
first time you try to access the
Kenzo JupterHub
site, you will be prompted to authenticate via GitHub.
Please consult the Wiki for news, different installation methods, and other Kenzo topics.
Enjoy!
Next: Modules, Previous: Introduction, Up: Top [Contents][Index]
The main system appears first, followed by any subsystem dependency.
• The kenzo system |
Francis Sergeraert <Francis.Sergeraert@ujf-grenoble.fr>
GPLv3
A Symbolic Software for Effective Homology Computation by Francis Sergeraert
1.1.9
kenzo.asd (file)
src (module)
Modules are listed depth-first from the system components tree.
• The kenzo/src module | ||
• The kenzo/src/kenzo-7 module | ||
• The kenzo/src/kenzo-8 module | ||
• The kenzo/src/kenzo-9 module |
Next: The kenzo/src/kenzo-7 module, Previous: Modules, Up: Modules [Contents][Index]
Next: The kenzo/src/kenzo-8 module, Previous: The kenzo/src module, Up: Modules [Contents][Index]
src (module)
src/kenzo-7/
Next: The kenzo/src/kenzo-9 module, Previous: The kenzo/src/kenzo-7 module, Up: Modules [Contents][Index]
src (module)
src/kenzo-8/
Previous: The kenzo/src/kenzo-8 module, Up: Modules [Contents][Index]
src (module)
src/kenzo-9/
Files are sorted by type and then listed depth-first from the systems components trees.
• Lisp files |
Next: The kenzo/src/kenzo-7/package․lisp file, Previous: Lisp files, Up: Lisp files [Contents][Index]
Next: The kenzo/src/kenzo-7/kenzo․lisp file, Previous: The kenzo․asd file, Up: Lisp files [Contents][Index]
Next: The kenzo/src/kenzo-7/abbreviations․lisp file, Previous: The kenzo/src/kenzo-7/package․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/kenzo.lisp
Next: The kenzo/src/kenzo-7/macros․lisp file, Previous: The kenzo/src/kenzo-7/kenzo․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/abbreviations.lisp
Next: The kenzo/src/kenzo-7/various․lisp file, Previous: The kenzo/src/kenzo-7/abbreviations․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/macros.lisp
Next: The kenzo/src/kenzo-7/classes․lisp file, Previous: The kenzo/src/kenzo-7/macros․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/various.lisp
Next: The kenzo/src/kenzo-7/combinations․lisp file, Previous: The kenzo/src/kenzo-7/various․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/classes.lisp
Next: The kenzo/src/kenzo-7/chain-complexes․lisp file, Previous: The kenzo/src/kenzo-7/classes․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/combinations.lisp
Next: The kenzo/src/kenzo-7/chcm-elementary-op․lisp file, Previous: The kenzo/src/kenzo-7/combinations․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/chain-complexes.lisp
Next: The kenzo/src/kenzo-7/effective-homology․lisp file, Previous: The kenzo/src/kenzo-7/chain-complexes․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/chcm-elementary-op.lisp
Next: The kenzo/src/kenzo-7/homology-groups․lisp file, Previous: The kenzo/src/kenzo-7/chcm-elementary-op․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/effective-homology.lisp
Next: The kenzo/src/kenzo-7/searching-homology․lisp file, Previous: The kenzo/src/kenzo-7/effective-homology․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/homology-groups.lisp
Next: The kenzo/src/kenzo-7/cones․lisp file, Previous: The kenzo/src/kenzo-7/homology-groups․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/searching-homology.lisp
Next: The kenzo/src/kenzo-7/bicones․lisp file, Previous: The kenzo/src/kenzo-7/searching-homology․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/cones.lisp
Next: The kenzo/src/kenzo-7/tensor-products․lisp file, Previous: The kenzo/src/kenzo-7/cones․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/bicones.lisp
Next: The kenzo/src/kenzo-7/coalgebras․lisp file, Previous: The kenzo/src/kenzo-7/bicones․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/tensor-products.lisp
search-efhm (method)
Next: The kenzo/src/kenzo-7/cobar․lisp file, Previous: The kenzo/src/kenzo-7/tensor-products․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/coalgebras.lisp
Next: The kenzo/src/kenzo-7/algebras․lisp file, Previous: The kenzo/src/kenzo-7/coalgebras․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/cobar.lisp
Next: The kenzo/src/kenzo-7/bar․lisp file, Previous: The kenzo/src/kenzo-7/cobar․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/algebras.lisp
Next: The kenzo/src/kenzo-7/simplicial-sets․lisp file, Previous: The kenzo/src/kenzo-7/algebras․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/bar.lisp
Next: The kenzo/src/kenzo-7/simplicial-mrphs․lisp file, Previous: The kenzo/src/kenzo-7/bar․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/simplicial-sets.lisp
Next: The kenzo/src/kenzo-7/delta․lisp file, Previous: The kenzo/src/kenzo-7/simplicial-sets․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/simplicial-mrphs.lisp
Next: The kenzo/src/kenzo-7/special-smsts․lisp file, Previous: The kenzo/src/kenzo-7/simplicial-mrphs․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/delta.lisp
Next: The kenzo/src/kenzo-7/suspensions․lisp file, Previous: The kenzo/src/kenzo-7/delta․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/special-smsts.lisp
Next: The kenzo/src/kenzo-7/disk-pasting․lisp file, Previous: The kenzo/src/kenzo-7/special-smsts․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/suspensions.lisp
Next: The kenzo/src/kenzo-7/cartesian-products․lisp file, Previous: The kenzo/src/kenzo-7/suspensions․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/disk-pasting.lisp
search-efhm (method)
Next: The kenzo/src/kenzo-7/eilenberg-zilber․lisp file, Previous: The kenzo/src/kenzo-7/disk-pasting․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/cartesian-products.lisp
crpr-print (function)
Next: The kenzo/src/kenzo-7/kan․lisp file, Previous: The kenzo/src/kenzo-7/cartesian-products․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/eilenberg-zilber.lisp
Next: The kenzo/src/kenzo-7/simplicial-groups․lisp file, Previous: The kenzo/src/kenzo-7/eilenberg-zilber․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/kan.lisp
Next: The kenzo/src/kenzo-7/fibrations․lisp file, Previous: The kenzo/src/kenzo-7/kan․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/simplicial-groups.lisp
smgr (function)
Next: The kenzo/src/kenzo-7/loop-spaces․lisp file, Previous: The kenzo/src/kenzo-7/simplicial-groups․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/fibrations.lisp
fibration-total (function)
Next: The kenzo/src/kenzo-7/ls-twisted-products․lisp file, Previous: The kenzo/src/kenzo-7/fibrations․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/loop-spaces.lisp
loop-space-face* (function)
Next: The kenzo/src/kenzo-7/lp-space-efhm․lisp file, Previous: The kenzo/src/kenzo-7/loop-spaces․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/ls-twisted-products.lisp
Next: The kenzo/src/kenzo-7/classifying-spaces․lisp file, Previous: The kenzo/src/kenzo-7/ls-twisted-products․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/lp-space-efhm.lisp
Next: The kenzo/src/kenzo-7/k-pi-n․lisp file, Previous: The kenzo/src/kenzo-7/lp-space-efhm․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/classifying-spaces.lisp
gbar-print (function)
Next: The kenzo/src/kenzo-7/serre․lisp file, Previous: The kenzo/src/kenzo-7/classifying-spaces․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/k-pi-n.lisp
Next: The kenzo/src/kenzo-7/cs-twisted-products․lisp file, Previous: The kenzo/src/kenzo-7/k-pi-n․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/serre.lisp
Next: The kenzo/src/kenzo-7/cl-space-efhm․lisp file, Previous: The kenzo/src/kenzo-7/serre․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/cs-twisted-products.lisp
Next: The kenzo/src/kenzo-7/whitehead․lisp file, Previous: The kenzo/src/kenzo-7/cs-twisted-products․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/cl-space-efhm.lisp
Next: The kenzo/src/kenzo-7/smith․lisp file, Previous: The kenzo/src/kenzo-7/cl-space-efhm․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/whitehead.lisp
Next: The kenzo/src/kenzo-8/package․lisp file, Previous: The kenzo/src/kenzo-7/whitehead․lisp file, Up: Lisp files [Contents][Index]
kenzo-7 (module)
src/kenzo-7/smith.lisp
Next: The kenzo/src/kenzo-8/cat-init․lisp file, Previous: The kenzo/src/kenzo-7/smith․lisp file, Up: Lisp files [Contents][Index]
Next: The kenzo/src/kenzo-8/macros․lisp file, Previous: The kenzo/src/kenzo-8/package․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/cat-init.lisp
Next: The kenzo/src/kenzo-8/various․lisp file, Previous: The kenzo/src/kenzo-8/cat-init․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/macros.lisp
Next: The kenzo/src/kenzo-8/classes․lisp file, Previous: The kenzo/src/kenzo-8/macros․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/various.lisp
Next: The kenzo/src/kenzo-8/combinations․lisp file, Previous: The kenzo/src/kenzo-8/various․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/classes.lisp
Next: The kenzo/src/kenzo-8/chain-complexes․lisp file, Previous: The kenzo/src/kenzo-8/classes․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/combinations.lisp
+zero-negative-cmbn+ (constant)
Next: The kenzo/src/kenzo-8/chcm-elementary-op․lisp file, Previous: The kenzo/src/kenzo-8/combinations․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/chain-complexes.lisp
Next: The kenzo/src/kenzo-8/effective-homology․lisp file, Previous: The kenzo/src/kenzo-8/chain-complexes․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/chcm-elementary-op.lisp
Next: The kenzo/src/kenzo-8/homology-groups․lisp file, Previous: The kenzo/src/kenzo-8/chcm-elementary-op․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/effective-homology.lisp
Next: The kenzo/src/kenzo-8/searching-homology․lisp file, Previous: The kenzo/src/kenzo-8/effective-homology․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/homology-groups.lisp
Next: The kenzo/src/kenzo-8/cones․lisp file, Previous: The kenzo/src/kenzo-8/homology-groups․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/searching-homology.lisp
Next: The kenzo/src/kenzo-8/bicones․lisp file, Previous: The kenzo/src/kenzo-8/searching-homology․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/cones.lisp
Next: The kenzo/src/kenzo-8/tensor-products․lisp file, Previous: The kenzo/src/kenzo-8/cones․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/bicones.lisp
bicone-intr-dffr (function)
Next: The kenzo/src/kenzo-8/coalgebras․lisp file, Previous: The kenzo/src/kenzo-8/bicones․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/tensor-products.lisp
search-efhm (method)
Next: The kenzo/src/kenzo-8/cobar․lisp file, Previous: The kenzo/src/kenzo-8/tensor-products․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/coalgebras.lisp
Next: The kenzo/src/kenzo-8/algebras․lisp file, Previous: The kenzo/src/kenzo-8/coalgebras․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/cobar.lisp
Next: The kenzo/src/kenzo-8/bar․lisp file, Previous: The kenzo/src/kenzo-8/cobar․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/algebras.lisp
Next: The kenzo/src/kenzo-8/simplicial-sets․lisp file, Previous: The kenzo/src/kenzo-8/algebras․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/bar.lisp
Next: The kenzo/src/kenzo-8/simplicial-mrphs․lisp file, Previous: The kenzo/src/kenzo-8/bar․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/simplicial-sets.lisp
Next: The kenzo/src/kenzo-8/delta․lisp file, Previous: The kenzo/src/kenzo-8/simplicial-sets․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/simplicial-mrphs.lisp
Next: The kenzo/src/kenzo-8/special-smsts․lisp file, Previous: The kenzo/src/kenzo-8/simplicial-mrphs․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/delta.lisp
Next: The kenzo/src/kenzo-8/suspensions․lisp file, Previous: The kenzo/src/kenzo-8/delta․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/special-smsts.lisp
Next: The kenzo/src/kenzo-8/disk-pasting․lisp file, Previous: The kenzo/src/kenzo-8/special-smsts․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/suspensions.lisp
Next: The kenzo/src/kenzo-8/cartesian-products․lisp file, Previous: The kenzo/src/kenzo-8/suspensions․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/disk-pasting.lisp
search-efhm (method)
Next: The kenzo/src/kenzo-8/eilenberg-zilber․lisp file, Previous: The kenzo/src/kenzo-8/disk-pasting․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/cartesian-products.lisp
Next: The kenzo/src/kenzo-8/kan․lisp file, Previous: The kenzo/src/kenzo-8/cartesian-products․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/eilenberg-zilber.lisp
Next: The kenzo/src/kenzo-8/simplicial-groups․lisp file, Previous: The kenzo/src/kenzo-8/eilenberg-zilber․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/kan.lisp
*kan-list* (special variable)
Next: The kenzo/src/kenzo-8/fibrations․lisp file, Previous: The kenzo/src/kenzo-8/kan․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/simplicial-groups.lisp
smgr (function)
Next: The kenzo/src/kenzo-8/loop-spaces․lisp file, Previous: The kenzo/src/kenzo-8/simplicial-groups․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/fibrations.lisp
fibration-total (function)
Next: The kenzo/src/kenzo-8/ls-twisted-products․lisp file, Previous: The kenzo/src/kenzo-8/fibrations․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/loop-spaces.lisp
loop-space-face* (function)
Next: The kenzo/src/kenzo-8/lp-space-efhm․lisp file, Previous: The kenzo/src/kenzo-8/loop-spaces․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/ls-twisted-products.lisp
Next: The kenzo/src/kenzo-8/classifying-spaces․lisp file, Previous: The kenzo/src/kenzo-8/ls-twisted-products․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/lp-space-efhm.lisp
Next: The kenzo/src/kenzo-8/k-pi-n․lisp file, Previous: The kenzo/src/kenzo-8/lp-space-efhm․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/classifying-spaces.lisp
Next: The kenzo/src/kenzo-8/serre․lisp file, Previous: The kenzo/src/kenzo-8/classifying-spaces․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/k-pi-n.lisp
Next: The kenzo/src/kenzo-8/cs-twisted-products․lisp file, Previous: The kenzo/src/kenzo-8/k-pi-n․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/serre.lisp
Next: The kenzo/src/kenzo-8/cl-space-efhm․lisp file, Previous: The kenzo/src/kenzo-8/serre․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/cs-twisted-products.lisp
Next: The kenzo/src/kenzo-8/whitehead․lisp file, Previous: The kenzo/src/kenzo-8/cs-twisted-products․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/cl-space-efhm.lisp
Next: The kenzo/src/kenzo-8/smith․lisp file, Previous: The kenzo/src/kenzo-8/cl-space-efhm․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/whitehead.lisp
Next: The kenzo/src/kenzo-9/package․lisp file, Previous: The kenzo/src/kenzo-8/whitehead․lisp file, Up: Lisp files [Contents][Index]
kenzo-8 (module)
src/kenzo-8/smith.lisp
Next: The kenzo/src/kenzo-9/cat-init․lisp file, Previous: The kenzo/src/kenzo-8/smith․lisp file, Up: Lisp files [Contents][Index]
Next: The kenzo/src/kenzo-9/macros․lisp file, Previous: The kenzo/src/kenzo-9/package․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/cat-init.lisp
Next: The kenzo/src/kenzo-9/various․lisp file, Previous: The kenzo/src/kenzo-9/cat-init․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/macros.lisp
Next: The kenzo/src/kenzo-9/classes․lisp file, Previous: The kenzo/src/kenzo-9/macros․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/various.lisp
Next: The kenzo/src/kenzo-9/combinations․lisp file, Previous: The kenzo/src/kenzo-9/various․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/classes.lisp
Next: The kenzo/src/kenzo-9/chain-complexes․lisp file, Previous: The kenzo/src/kenzo-9/classes․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/combinations.lisp
+zero-negative-cmbn+ (constant)
Next: The kenzo/src/kenzo-9/chain-complexes-dvf․lisp file, Previous: The kenzo/src/kenzo-9/combinations․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/chain-complexes.lisp
Next: The kenzo/src/kenzo-9/chcm-elementary-op․lisp file, Previous: The kenzo/src/kenzo-9/chain-complexes․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/chain-complexes-dvf.lisp
Next: The kenzo/src/kenzo-9/effective-homology․lisp file, Previous: The kenzo/src/kenzo-9/chain-complexes-dvf․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/chcm-elementary-op.lisp
Next: The kenzo/src/kenzo-9/homology-groups․lisp file, Previous: The kenzo/src/kenzo-9/chcm-elementary-op․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/effective-homology.lisp
Next: The kenzo/src/kenzo-9/searching-homology․lisp file, Previous: The kenzo/src/kenzo-9/effective-homology․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/homology-groups.lisp
Next: The kenzo/src/kenzo-9/cones․lisp file, Previous: The kenzo/src/kenzo-9/homology-groups․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/searching-homology.lisp
Next: The kenzo/src/kenzo-9/bicones․lisp file, Previous: The kenzo/src/kenzo-9/searching-homology․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/cones.lisp
Next: The kenzo/src/kenzo-9/tensor-products․lisp file, Previous: The kenzo/src/kenzo-9/cones․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/bicones.lisp
Next: The kenzo/src/kenzo-9/coalgebras․lisp file, Previous: The kenzo/src/kenzo-9/bicones․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/tensor-products.lisp
Next: The kenzo/src/kenzo-9/cobar․lisp file, Previous: The kenzo/src/kenzo-9/tensor-products․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/coalgebras.lisp
tnsr-prdc (method)
Next: The kenzo/src/kenzo-9/algebras․lisp file, Previous: The kenzo/src/kenzo-9/coalgebras․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/cobar.lisp
Next: The kenzo/src/kenzo-9/bar․lisp file, Previous: The kenzo/src/kenzo-9/cobar․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/algebras.lisp
hopf (function)
Next: The kenzo/src/kenzo-9/simplicial-sets․lisp file, Previous: The kenzo/src/kenzo-9/algebras․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/bar.lisp
Next: The kenzo/src/kenzo-9/simplicial-mrphs․lisp file, Previous: The kenzo/src/kenzo-9/bar․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/simplicial-sets.lisp
Next: The kenzo/src/kenzo-9/delta․lisp file, Previous: The kenzo/src/kenzo-9/simplicial-sets․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/simplicial-mrphs.lisp
Next: The kenzo/src/kenzo-9/special-smsts․lisp file, Previous: The kenzo/src/kenzo-9/simplicial-mrphs․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/delta.lisp
Next: The kenzo/src/kenzo-9/suspensions․lisp file, Previous: The kenzo/src/kenzo-9/delta․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/special-smsts.lisp
Next: The kenzo/src/kenzo-9/disk-pasting․lisp file, Previous: The kenzo/src/kenzo-9/special-smsts․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/suspensions.lisp
Next: The kenzo/src/kenzo-9/cartesian-products․lisp file, Previous: The kenzo/src/kenzo-9/suspensions․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/disk-pasting.lisp
Next: The kenzo/src/kenzo-9/eilenberg-zilber․lisp file, Previous: The kenzo/src/kenzo-9/disk-pasting․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/cartesian-products.lisp
crpr-print (function)
Next: The kenzo/src/kenzo-9/kan․lisp file, Previous: The kenzo/src/kenzo-9/cartesian-products․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/eilenberg-zilber.lisp
Next: The kenzo/src/kenzo-9/simplicial-groups․lisp file, Previous: The kenzo/src/kenzo-9/eilenberg-zilber․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/kan.lisp
*kan-list* (special variable)
Next: The kenzo/src/kenzo-9/fibrations․lisp file, Previous: The kenzo/src/kenzo-9/kan․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/simplicial-groups.lisp
smgr (function)
Next: The kenzo/src/kenzo-9/fibrations-dvf․lisp file, Previous: The kenzo/src/kenzo-9/simplicial-groups․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/fibrations.lisp
fibration-total (function)
Next: The kenzo/src/kenzo-9/loop-spaces․lisp file, Previous: The kenzo/src/kenzo-9/fibrations․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/fibrations-dvf.lisp
Next: The kenzo/src/kenzo-9/ls-twisted-products․lisp file, Previous: The kenzo/src/kenzo-9/fibrations-dvf․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/loop-spaces.lisp
loop-space-face* (function)
Next: The kenzo/src/kenzo-9/lp-space-efhm․lisp file, Previous: The kenzo/src/kenzo-9/loop-spaces․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/ls-twisted-products.lisp
Next: The kenzo/src/kenzo-9/classifying-spaces․lisp file, Previous: The kenzo/src/kenzo-9/ls-twisted-products․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/lp-space-efhm.lisp
Next: The kenzo/src/kenzo-9/classifying-spaces-dvf․lisp file, Previous: The kenzo/src/kenzo-9/lp-space-efhm․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/classifying-spaces.lisp
Next: The kenzo/src/kenzo-9/k-pi-n․lisp file, Previous: The kenzo/src/kenzo-9/classifying-spaces․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/classifying-spaces-dvf.lisp
Next: The kenzo/src/kenzo-9/serre․lisp file, Previous: The kenzo/src/kenzo-9/classifying-spaces-dvf․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/k-pi-n.lisp
Next: The kenzo/src/kenzo-9/cs-twisted-products․lisp file, Previous: The kenzo/src/kenzo-9/k-pi-n․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/serre.lisp
Next: The kenzo/src/kenzo-9/cl-space-efhm․lisp file, Previous: The kenzo/src/kenzo-9/serre․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/cs-twisted-products.lisp
Next: The kenzo/src/kenzo-9/whitehead․lisp file, Previous: The kenzo/src/kenzo-9/cs-twisted-products․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/cl-space-efhm.lisp
Next: The kenzo/src/kenzo-9/new-smith․lisp file, Previous: The kenzo/src/kenzo-9/cl-space-efhm․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/whitehead.lisp
Previous: The kenzo/src/kenzo-9/whitehead․lisp file, Up: Lisp files [Contents][Index]
kenzo-9 (module)
src/kenzo-9/new-smith.lisp
Next: Definitions, Previous: Files, Up: Top [Contents][Index]
Packages are listed by definition order.
• The kenzo-asd package | ||
• The cat-7 package | ||
• The cat-8 package | ||
• The cat-9 package |
Next: The cat-7 package, Previous: Packages, Up: Packages [Contents][Index]
kenzo.asd
Next: The cat-8 package, Previous: The kenzo-asd package, Up: Packages [Contents][Index]
package.lisp (file)
common-lisp
Next: The cat-9 package, Previous: The cat-7 package, Up: Packages [Contents][Index]
package.lisp (file)
common-lisp
Previous: The cat-8 package, Up: Packages [Contents][Index]
package.lisp (file)
common-lisp
Definitions are sorted by export status, category, package, and then by lexicographic order.
• Exported definitions | ||
• Internal definitions |
Next: Internal definitions, Previous: Definitions, Up: Definitions [Contents][Index]
• Exported constants | ||
• Exported special variables | ||
• Exported macros | ||
• Exported functions | ||
• Exported generic functions | ||
• Exported structures | ||
• Exported classes | ||
• Exported types |
Next: Exported special variables, Previous: Exported definitions, Up: Exported definitions [Contents][Index]
abbreviations.lisp (file)
kenzo.lisp (file)
various.lisp (file)
various.lisp (file)
classifying-spaces.lisp (file)
classifying-spaces.lisp (file)
loop-spaces.lisp (file)
loop-spaces.lisp (file)
Next: Exported macros, Previous: Exported constants, Up: Exported definitions [Contents][Index]
kenzo.lisp (file)
effective-homology.lisp (file)
effective-homology.lisp (file)
kenzo.lisp (file)
effective-homology.lisp (file)
effective-homology.lisp (file)
kenzo.lisp (file)
chain-complexes.lisp (file)
chain-complexes.lisp (file)
kenzo.lisp (file)
cat-init.lisp (file)
cat-init.lisp (file)
kenzo.lisp (file)
effective-homology.lisp (file)
effective-homology.lisp (file)
kenzo.lisp (file)
effective-homology.lisp (file)
effective-homology.lisp (file)
kenzo.lisp (file)
effective-homology.lisp (file)
effective-homology.lisp (file)
kenzo.lisp (file)
effective-homology.lisp (file)
effective-homology.lisp (file)
kenzo.lisp (file)
effective-homology.lisp (file)
effective-homology.lisp (file)
kenzo.lisp (file)
homology-groups.lisp (file)
homology-groups.lisp (file)
kenzo.lisp (file)
effective-homology.lisp (file)
effective-homology.lisp (file)
kenzo.lisp (file)
effective-homology.lisp (file)
effective-homology.lisp (file)
The variable *LIST-LIST* is bound to a list of variable names, which are bound to lists of user created objects such as chain complexes, morphisms, etc.
kenzo.lisp (file)
chain-complexes.lisp (file)
chain-complexes.lisp (file)
kenzo.lisp (file)
chain-complexes.lisp (file)
chain-complexes.lisp (file)
kenzo.lisp (file)
chain-complexes.lisp (file)
chain-complexes.lisp (file)
kenzo.lisp (file)
effective-homology.lisp (file)
effective-homology.lisp (file)
kenzo.lisp (file)
effective-homology.lisp (file)
effective-homology.lisp (file)
kenzo.lisp (file)
tensor-products.lisp (file)
tensor-products.lisp (file)
classifying-spaces.lisp (file)
loop-spaces.lisp (file)
kenzo.lisp (file)
chain-complexes.lisp (file)
chain-complexes.lisp (file)
Next: Exported functions, Previous: Exported special variables, Up: Exported definitions [Contents][Index]
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
—————————————————————–[macro-doc]
BASIS
Args: (&rest rest)
Args: (chcm)
Args: (chcm n)
Args: (chcm n :dgnr)
When invoked with only one argument, returns the function attached to the slot
BASIS of the chain complex.
When invoked with two arguments, returns the basis of the group of degree N of
the chain complex.
When invoked with three arguments, the keyword :DGNR, it also returns the
degenerate elements of the basis in degree N.
This function returns an error if the chain complex is locally effective.
——————————————————————————
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
—————————————————————–[macro-doc]
BCC
Args: (&rest rest)
Args: (rdct)
Args: (rdct cmbn)
Args: (rdct degr gnrt)
With only one argument, a reduction RDCT, this macro returns the bottom
chain complex of the reduction. Otherwise, it applies the differential of
the bottom chain complex of RDCT to a combination provided in additional
arguments such as CMBN or DEGR GNRT.
——————————————————————————
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
(BCNB GNRT) returns the representation of the generator GNRT belonging to the chain complex B.
macros.lisp (file)
macros.lisp (file)
macros.lisp (file)
(BCNC GNRT) returns the representation of the generator GNRT belonging to the chain complex C.