The kenzo Reference Manual

Table of Contents

Next: , Previous: , Up: (dir)   [Contents][Index]

The kenzo Reference Manual

This is the kenzo Reference Manual, version 1.1.9, generated automatically by Declt version 3.0 "Montgomery Scott" on Fri Jun 26 11:25:13 2020 GMT+0.


Next: , Previous: , Up: Top   [Contents][Index]

1 Introduction

Welcome to Kenzo

GPLv3 Logo Travis Status

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:

  1. A simple regression test suite based on FiveAM
  2. Support for the great freely available Lisp compilers out there, including CCL, ECL, SBCL, etc.
  3. Installation via the Quicklisp library manager
  4. Updated documentation and examples runnable from cl-jupyter

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!

Overview


Next: , Previous: , Up: Top   [Contents][Index]

2 Systems

The main system appears first, followed by any subsystem dependency.


Previous: , Up: Systems   [Contents][Index]

2.1 kenzo

Author

Francis Sergeraert <Francis.Sergeraert@ujf-grenoble.fr>

License

GPLv3

Description

A Symbolic Software for Effective Homology Computation by Francis Sergeraert

Version

1.1.9

Source

kenzo.asd (file)

Component

src (module)


Next: , Previous: , Up: Top   [Contents][Index]

3 Modules

Modules are listed depth-first from the system components tree.


Next: , Previous: , Up: Modules   [Contents][Index]

3.1 kenzo/src

Parent

kenzo (system)

Location

src/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.2 kenzo/src/kenzo-7

Parent

src (module)

Location

src/kenzo-7/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.3 kenzo/src/kenzo-8

Parent

src (module)

Location

src/kenzo-8/

Components

Previous: , Up: Modules   [Contents][Index]

3.4 kenzo/src/kenzo-9

Parent

src (module)

Location

src/kenzo-9/

Components

Next: , Previous: , Up: Top   [Contents][Index]

4 Files

Files are sorted by type and then listed depth-first from the systems components trees.


Previous: , Up: Files   [Contents][Index]

4.1 Lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.1 kenzo.asd

Location

kenzo.asd

Systems

kenzo (system)

Packages

kenzo-asd


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.2 kenzo/src/kenzo-7/package.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/package.lisp

Packages

cat-7


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.3 kenzo/src/kenzo-7/kenzo.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/kenzo.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.4 kenzo/src/kenzo-7/abbreviations.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/abbreviations.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.5 kenzo/src/kenzo-7/macros.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/macros.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.6 kenzo/src/kenzo-7/various.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/various.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.7 kenzo/src/kenzo-7/classes.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/classes.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.8 kenzo/src/kenzo-7/combinations.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/combinations.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.9 kenzo/src/kenzo-7/chain-complexes.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/chain-complexes.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.10 kenzo/src/kenzo-7/chcm-elementary-op.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/chcm-elementary-op.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.11 kenzo/src/kenzo-7/effective-homology.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/effective-homology.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.12 kenzo/src/kenzo-7/homology-groups.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/homology-groups.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.13 kenzo/src/kenzo-7/searching-homology.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/searching-homology.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.14 kenzo/src/kenzo-7/cones.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/cones.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.15 kenzo/src/kenzo-7/bicones.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/bicones.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.16 kenzo/src/kenzo-7/tensor-products.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/tensor-products.lisp

Exported Definitions
Internal Definitions

search-efhm (method)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.17 kenzo/src/kenzo-7/coalgebras.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/coalgebras.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.18 kenzo/src/kenzo-7/cobar.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/cobar.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.19 kenzo/src/kenzo-7/algebras.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/algebras.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.20 kenzo/src/kenzo-7/bar.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/bar.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.21 kenzo/src/kenzo-7/simplicial-sets.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/simplicial-sets.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.22 kenzo/src/kenzo-7/simplicial-mrphs.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/simplicial-mrphs.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.23 kenzo/src/kenzo-7/delta.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/delta.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.24 kenzo/src/kenzo-7/special-smsts.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/special-smsts.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.25 kenzo/src/kenzo-7/suspensions.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/suspensions.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.26 kenzo/src/kenzo-7/disk-pasting.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/disk-pasting.lisp

Exported Definitions
Internal Definitions

search-efhm (method)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.27 kenzo/src/kenzo-7/cartesian-products.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/cartesian-products.lisp

Exported Definitions
Internal Definitions

crpr-print (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.28 kenzo/src/kenzo-7/eilenberg-zilber.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/eilenberg-zilber.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.29 kenzo/src/kenzo-7/kan.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/kan.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.30 kenzo/src/kenzo-7/simplicial-groups.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/simplicial-groups.lisp

Exported Definitions

smgr (function)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.31 kenzo/src/kenzo-7/fibrations.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/fibrations.lisp

Exported Definitions

fibration-total (function)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.32 kenzo/src/kenzo-7/loop-spaces.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/loop-spaces.lisp

Exported Definitions
Internal Definitions

loop-space-face* (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.33 kenzo/src/kenzo-7/ls-twisted-products.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/ls-twisted-products.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.34 kenzo/src/kenzo-7/lp-space-efhm.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/lp-space-efhm.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.35 kenzo/src/kenzo-7/classifying-spaces.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/classifying-spaces.lisp

Exported Definitions
Internal Definitions

gbar-print (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.36 kenzo/src/kenzo-7/k-pi-n.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/k-pi-n.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.37 kenzo/src/kenzo-7/serre.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/serre.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.38 kenzo/src/kenzo-7/cs-twisted-products.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/cs-twisted-products.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.39 kenzo/src/kenzo-7/cl-space-efhm.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/cl-space-efhm.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.40 kenzo/src/kenzo-7/whitehead.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/whitehead.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.41 kenzo/src/kenzo-7/smith.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/smith.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.42 kenzo/src/kenzo-8/package.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/package.lisp

Packages

cat-8


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.43 kenzo/src/kenzo-8/cat-init.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/cat-init.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.44 kenzo/src/kenzo-8/macros.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/macros.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.45 kenzo/src/kenzo-8/various.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/various.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.46 kenzo/src/kenzo-8/classes.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/classes.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.47 kenzo/src/kenzo-8/combinations.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/combinations.lisp

Exported Definitions
Internal Definitions

+zero-negative-cmbn+ (constant)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.48 kenzo/src/kenzo-8/chain-complexes.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/chain-complexes.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.49 kenzo/src/kenzo-8/chcm-elementary-op.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/chcm-elementary-op.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.50 kenzo/src/kenzo-8/effective-homology.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/effective-homology.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.51 kenzo/src/kenzo-8/homology-groups.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/homology-groups.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.52 kenzo/src/kenzo-8/searching-homology.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/searching-homology.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.53 kenzo/src/kenzo-8/cones.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/cones.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.54 kenzo/src/kenzo-8/bicones.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/bicones.lisp

Exported Definitions
Internal Definitions

bicone-intr-dffr (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.55 kenzo/src/kenzo-8/tensor-products.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/tensor-products.lisp

Exported Definitions
Internal Definitions

search-efhm (method)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.56 kenzo/src/kenzo-8/coalgebras.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/coalgebras.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.57 kenzo/src/kenzo-8/cobar.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/cobar.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.58 kenzo/src/kenzo-8/algebras.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/algebras.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.59 kenzo/src/kenzo-8/bar.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/bar.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.60 kenzo/src/kenzo-8/simplicial-sets.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/simplicial-sets.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.61 kenzo/src/kenzo-8/simplicial-mrphs.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/simplicial-mrphs.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.62 kenzo/src/kenzo-8/delta.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/delta.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.63 kenzo/src/kenzo-8/special-smsts.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/special-smsts.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.64 kenzo/src/kenzo-8/suspensions.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/suspensions.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.65 kenzo/src/kenzo-8/disk-pasting.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/disk-pasting.lisp

Exported Definitions
Internal Definitions

search-efhm (method)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.66 kenzo/src/kenzo-8/cartesian-products.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/cartesian-products.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.67 kenzo/src/kenzo-8/eilenberg-zilber.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/eilenberg-zilber.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.68 kenzo/src/kenzo-8/kan.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/kan.lisp

Exported Definitions
Internal Definitions

*kan-list* (special variable)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.69 kenzo/src/kenzo-8/simplicial-groups.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/simplicial-groups.lisp

Exported Definitions

smgr (function)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.70 kenzo/src/kenzo-8/fibrations.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/fibrations.lisp

Exported Definitions

fibration-total (function)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.71 kenzo/src/kenzo-8/loop-spaces.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/loop-spaces.lisp

Exported Definitions
Internal Definitions

loop-space-face* (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.72 kenzo/src/kenzo-8/ls-twisted-products.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/ls-twisted-products.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.73 kenzo/src/kenzo-8/lp-space-efhm.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/lp-space-efhm.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.74 kenzo/src/kenzo-8/classifying-spaces.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/classifying-spaces.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.75 kenzo/src/kenzo-8/k-pi-n.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/k-pi-n.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.76 kenzo/src/kenzo-8/serre.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/serre.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.77 kenzo/src/kenzo-8/cs-twisted-products.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/cs-twisted-products.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.78 kenzo/src/kenzo-8/cl-space-efhm.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/cl-space-efhm.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.79 kenzo/src/kenzo-8/whitehead.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/whitehead.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.80 kenzo/src/kenzo-8/smith.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/smith.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.81 kenzo/src/kenzo-9/package.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/package.lisp

Packages

cat-9


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.82 kenzo/src/kenzo-9/cat-init.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/cat-init.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.83 kenzo/src/kenzo-9/macros.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/macros.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.84 kenzo/src/kenzo-9/various.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/various.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.85 kenzo/src/kenzo-9/classes.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/classes.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.86 kenzo/src/kenzo-9/combinations.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/combinations.lisp

Exported Definitions
Internal Definitions

+zero-negative-cmbn+ (constant)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.87 kenzo/src/kenzo-9/chain-complexes.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/chain-complexes.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.88 kenzo/src/kenzo-9/chain-complexes-dvf.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/chain-complexes-dvf.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.89 kenzo/src/kenzo-9/chcm-elementary-op.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/chcm-elementary-op.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.90 kenzo/src/kenzo-9/effective-homology.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/effective-homology.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.91 kenzo/src/kenzo-9/homology-groups.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/homology-groups.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.92 kenzo/src/kenzo-9/searching-homology.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/searching-homology.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.93 kenzo/src/kenzo-9/cones.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/cones.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.94 kenzo/src/kenzo-9/bicones.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/bicones.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.95 kenzo/src/kenzo-9/tensor-products.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/tensor-products.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.96 kenzo/src/kenzo-9/coalgebras.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/coalgebras.lisp

Exported Definitions

tnsr-prdc (method)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.97 kenzo/src/kenzo-9/cobar.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/cobar.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.98 kenzo/src/kenzo-9/algebras.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/algebras.lisp

Exported Definitions

hopf (function)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.99 kenzo/src/kenzo-9/bar.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/bar.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.100 kenzo/src/kenzo-9/simplicial-sets.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/simplicial-sets.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.101 kenzo/src/kenzo-9/simplicial-mrphs.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/simplicial-mrphs.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.102 kenzo/src/kenzo-9/delta.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/delta.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.103 kenzo/src/kenzo-9/special-smsts.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/special-smsts.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.104 kenzo/src/kenzo-9/suspensions.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/suspensions.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.105 kenzo/src/kenzo-9/disk-pasting.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/disk-pasting.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.106 kenzo/src/kenzo-9/cartesian-products.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/cartesian-products.lisp

Exported Definitions
Internal Definitions

crpr-print (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.107 kenzo/src/kenzo-9/eilenberg-zilber.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/eilenberg-zilber.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.108 kenzo/src/kenzo-9/kan.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/kan.lisp

Exported Definitions
Internal Definitions

*kan-list* (special variable)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.109 kenzo/src/kenzo-9/simplicial-groups.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/simplicial-groups.lisp

Exported Definitions

smgr (function)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.110 kenzo/src/kenzo-9/fibrations.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/fibrations.lisp

Exported Definitions

fibration-total (function)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.111 kenzo/src/kenzo-9/fibrations-dvf.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/fibrations-dvf.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.112 kenzo/src/kenzo-9/loop-spaces.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/loop-spaces.lisp

Exported Definitions
Internal Definitions

loop-space-face* (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.113 kenzo/src/kenzo-9/ls-twisted-products.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/ls-twisted-products.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.114 kenzo/src/kenzo-9/lp-space-efhm.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/lp-space-efhm.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.115 kenzo/src/kenzo-9/classifying-spaces.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/classifying-spaces.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.116 kenzo/src/kenzo-9/classifying-spaces-dvf.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/classifying-spaces-dvf.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.117 kenzo/src/kenzo-9/k-pi-n.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/k-pi-n.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.118 kenzo/src/kenzo-9/serre.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/serre.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.119 kenzo/src/kenzo-9/cs-twisted-products.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/cs-twisted-products.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.120 kenzo/src/kenzo-9/cl-space-efhm.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/cl-space-efhm.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.121 kenzo/src/kenzo-9/whitehead.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/whitehead.lisp

Exported Definitions

Previous: , Up: Lisp files   [Contents][Index]

4.1.122 kenzo/src/kenzo-9/new-smith.lisp

Parent

kenzo-9 (module)

Location

src/kenzo-9/new-smith.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

5 Packages

Packages are listed by definition order.


Next: , Previous: , Up: Packages   [Contents][Index]

5.1 kenzo-asd

Source

kenzo.asd

Use List

Next: , Previous: , Up: Packages   [Contents][Index]

5.2 cat-7

Source

package.lisp (file)

Nicknames
Use List

common-lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

5.3 cat-8

Source

package.lisp (file)

Use List

common-lisp

Exported Definitions
Internal Definitions

Previous: , Up: Packages   [Contents][Index]

5.4 cat-9

Source

package.lisp (file)

Use List

common-lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

6 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


Next: , Previous: , Up: Definitions   [Contents][Index]

6.1 Exported definitions


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.1 Constants

Constant: +abbreviations+
Package

cat-7

Source

abbreviations.lisp (file)

Constant: +empty-list+
Package

cat-7

Source

kenzo.lisp (file)

Constant: +empty-list+
Package

cat-8

Source

various.lisp (file)

Constant: +empty-list+
Package

cat-9

Source

various.lisp (file)

Constant: +null-abar+
Package

cat-8

Source

bar.lisp (file)

Constant: +null-abar+
Package

cat-9

Source

bar.lisp (file)

Constant: +null-gbar+
Package

cat-8

Source

classifying-spaces.lisp (file)

Constant: +null-gbar+
Package

cat-9

Source

classifying-spaces.lisp (file)

Constant: +null-loop+
Package

cat-8

Source

loop-spaces.lisp (file)

Constant: +null-loop+
Package

cat-9

Source

loop-spaces.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.2 Special variables

Special Variable: *bc*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *bc*
Package

cat-8

Source

effective-homology.lisp (file)

Special Variable: *bc*
Package

cat-9

Source

effective-homology.lisp (file)

Special Variable: *bdd*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *bdd*
Package

cat-8

Source

effective-homology.lisp (file)

Special Variable: *bdd*
Package

cat-9

Source

effective-homology.lisp (file)

Special Variable: *chcm-list*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *chcm-list*
Package

cat-8

Source

chain-complexes.lisp (file)

Special Variable: *chcm-list*
Package

cat-9

Source

chain-complexes.lisp (file)

Special Variable: *cmbn-control*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *cmbn-control*
Package

cat-8

Source

cat-init.lisp (file)

Special Variable: *cmbn-control*
Package

cat-9

Source

cat-init.lisp (file)

Special Variable: *df-fd*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *df-fd*
Package

cat-8

Source

effective-homology.lisp (file)

Special Variable: *df-fd*
Package

cat-9

Source

effective-homology.lisp (file)

Special Variable: *dg-gd*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *dg-gd*
Package

cat-8

Source

effective-homology.lisp (file)

Special Variable: *dg-gd*
Package

cat-9

Source

effective-homology.lisp (file)

Special Variable: *fh*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *fh*
Package

cat-8

Source

effective-homology.lisp (file)

Special Variable: *fh*
Package

cat-9

Source

effective-homology.lisp (file)

Special Variable: *hg*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *hg*
Package

cat-8

Source

effective-homology.lisp (file)

Special Variable: *hg*
Package

cat-9

Source

effective-homology.lisp (file)

Special Variable: *hh*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *hh*
Package

cat-8

Source

effective-homology.lisp (file)

Special Variable: *hh*
Package

cat-9

Source

effective-homology.lisp (file)

Special Variable: *homology-verbose*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *homology-verbose*
Package

cat-8

Source

homology-groups.lisp (file)

Special Variable: *homology-verbose*
Package

cat-9

Source

homology-groups.lisp (file)

Special Variable: *id-fg*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *id-fg*
Package

cat-8

Source

effective-homology.lisp (file)

Special Variable: *id-fg*
Package

cat-9

Source

effective-homology.lisp (file)

Special Variable: *id-gf-dh-hd*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *id-gf-dh-hd*
Package

cat-8

Source

effective-homology.lisp (file)

Special Variable: *id-gf-dh-hd*
Package

cat-9

Source

effective-homology.lisp (file)

Special Variable: *list-list*

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.

Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *list-list*
Package

cat-8

Source

chain-complexes.lisp (file)

Special Variable: *list-list*
Package

cat-9

Source

chain-complexes.lisp (file)

Special Variable: *mrph-list*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *mrph-list*
Package

cat-8

Source

chain-complexes.lisp (file)

Special Variable: *mrph-list*
Package

cat-9

Source

chain-complexes.lisp (file)

Special Variable: *results-verbose*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *results-verbose*
Package

cat-8

Source

chain-complexes.lisp (file)

Special Variable: *results-verbose*
Package

cat-9

Source

chain-complexes.lisp (file)

Special Variable: *tc*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *tc*
Package

cat-8

Source

effective-homology.lisp (file)

Special Variable: *tc*
Package

cat-9

Source

effective-homology.lisp (file)

Special Variable: *tdd*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *tdd*
Package

cat-8

Source

effective-homology.lisp (file)

Special Variable: *tdd*
Package

cat-9

Source

effective-homology.lisp (file)

Special Variable: *tnpr-with-degrees*
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: *tnpr-with-degrees*
Package

cat-8

Source

tensor-products.lisp (file)

Special Variable: *tnpr-with-degrees*
Package

cat-9

Source

tensor-products.lisp (file)

Special Variable: +null-abar+
Package

cat-7

Source

bar.lisp (file)

Special Variable: +null-gbar+
Package

cat-7

Source

classifying-spaces.lisp (file)

Special Variable: +null-loop+
Package

cat-7

Source

loop-spaces.lisp (file)

Special Variable: +too-much-time+
Package

cat-7

Source

kenzo.lisp (file)

Special Variable: +too-much-time+
Package

cat-8

Source

chain-complexes.lisp (file)

Special Variable: +too-much-time+
Package

cat-9

Source

chain-complexes.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.3 Macros

Macro: -1-expt-n N
Package

cat-7

Source

macros.lisp (file)

Macro: -1-expt-n N
Package

cat-8

Source

macros.lisp (file)

Macro: -1-expt-n N
Package

cat-9

Source

macros.lisp (file)

Macro: -1-expt-n+1 N
Package

cat-7

Source

macros.lisp (file)

Macro: -1-expt-n+1 N
Package

cat-8

Source

macros.lisp (file)

Macro: -1-expt-n+1 N
Package

cat-9

Source

macros.lisp (file)

Macro: -1-expt-n-1 N
Package

cat-7

Source

macros.lisp (file)

Macro: -1-expt-n-1 N
Package

cat-8

Source

macros.lisp (file)

Macro: -1-expt-n-1 N
Package

cat-9

Source

macros.lisp (file)

Macro: 2-exp N
Package

cat-7

Source

macros.lisp (file)

Macro: 2-exp N
Package

cat-8

Source

macros.lisp (file)

Macro: 2-exp N
Package

cat-9

Source

macros.lisp (file)

Macro: ? &rest REST
Package

cat-7

Source

macros.lisp (file)

Macro: ? &rest REST
Package

cat-8

Source

macros.lisp (file)

Macro: ? &rest REST
Package

cat-9

Source

macros.lisp (file)

Macro: absm DGOP GMSM
Package

cat-7

Source

macros.lisp (file)

Macro: absm DGOP GMSM
Package

cat-8

Source

macros.lisp (file)

Macro: absm DGOP GMSM
Package

cat-9

Source

macros.lisp (file)

Macro: absm1 CRPR
Package

cat-7

Source

macros.lisp (file)

Macro: absm1 CRPR
Package

cat-8

Source

macros.lisp (file)

Macro: absm1 CRPR
Package

cat-9

Source

macros.lisp (file)

Macro: absm2 CRPR
Package

cat-7

Source

macros.lisp (file)

Macro: absm2 CRPR
Package

cat-8

Source

macros.lisp (file)

Macro: absm2 CRPR
Package

cat-9

Source

macros.lisp (file)

Macro: apowr DGOP GMSM EXPN
Package

cat-7

Source

macros.lisp (file)

Macro: apowr DGOP GMSM EXPN
Package

cat-8

Source

macros.lisp (file)

Macro: apowr DGOP GMSM EXPN
Package

cat-9

Source

macros.lisp (file)

Macro: aprd &rest REST
Package

cat-7

Source

macros.lisp (file)

Macro: aprd &rest REST
Package

cat-8

Source

macros.lisp (file)

Macro: aprd &rest REST
Package

cat-9

Source

macros.lisp (file)

Macro: basis &rest REST

—————————————————————–[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. ——————————————————————————

Package

cat-7

Source

macros.lisp (file)

Macro: basis &rest REST
Package

cat-8

Source

macros.lisp (file)

Macro: basis &rest REST
Package

cat-9

Source

macros.lisp (file)

Macro: bcc &rest REST

—————————————————————–[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. ——————————————————————————

Package

cat-7

Source

macros.lisp (file)

Macro: bcc &rest REST
Package

cat-8

Source

macros.lisp (file)

Macro: bcc &rest REST
Package

cat-9

Source

macros.lisp (file)

Macro: bcnb GNRT

(BCNB GNRT) returns the representation of the generator GNRT belonging to the chain complex B.

Package

cat-7

Source

macros.lisp (file)

Macro: bcnb GNRT
Package

cat-8

Source

macros.lisp (file)

Macro: bcnb GNRT
Package

cat-9

Source

macros.lisp (file)

Macro: bcnc GNRT

(BCNC GNRT) returns the representation of the generator GNRT belonging to the chain complex C.

Package

cat-7

Source