The kenzo Reference Manual

Table of Contents

The kenzo Reference Manual

This is the kenzo Reference Manual, version 1.1.7, generated automatically by Declt version 2.4 "Will Decker" on Wed Jun 20 12:03:42 2018 GMT+0.

1 Introduction

Welcome to Kenzo

According to the title of its handbook, Kenzo is a "Symbolic Software for Effective Homology Computation" and its main audience might be students and researchers in algebraic topology. Have a look at the overview to get a sense for what's there for you to discover.

It is also a remarkable piece of LISP code, albeit in need of a little touch-up. This repository contains a repackaged version of the Kenzo program 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 aims to update 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] (https://common-lisp.net/project/ecl/), SBCL, etc.
3. Installation via the Quicklisp library manager
4. Updated documentation and examples runnable from cl-jupyter

This work is well underway, but there are several outstanding issues.

Getting up and running

There are several methods to get going:

1. Just play with it a little! (Live)
2. Just give me a Docker container!
3. Local installation via Quicklisp or ASDF

Plain ASDF

To load Kenzo as provided by this repo, make sure ASDF knowns where to find the source, e.g. by creating a link to this directory at

  ~/.local/share/common-lisp/source/

Then in your Lisp (e.g., in ECL) type

(require :asdf)
(require :kenzo)

Quicklisp

Assuming you have Quicklisp, there isn't really much to say here:

* (ql:quickload :kenzo)
To load "kenzo":
  Install 1 Quicklisp release:
    kenzo
; Fetching #<URL "http://beta.quicklisp.org/archive/kenzo/2015-08-04/kenzo-20150804-git.tgz">
; 1835.57KB
==================================================
1,879,625 bytes in 1.48 seconds (1236.91KB/sec)
; Loading "kenzo"
[package cat].....................................
..................................................
..............................
(:KENZO)
*

Verify that you're good to go by loading and running the Kenzo regression test suite. For example, in an SBCL prompt you should see something like this:

* (ql:quickload :kenzo-test)
To load "kenzo-test":
  Load 1 ASDF system:
    kenzo-test
; Loading "kenzo-test"
.
(:KENZO-TEST)
* (fiveam:run!)

Running test suite KENZO
 Running test F-CMPR ..........
 Running test L-CMPR ..........
 Running test S-CMPR .....
 ...
---done---
Did 1482 checks.
    Pass: 1482 (100%)
    Skip: 0 ( 0%)
    Fail: 0 ( 0%)

Similarly, you'd load Kenzo via (ql:quickload :kenzo).

2 Systems

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

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.7

Source

kenzo.asd (file)

Components

• package.lisp (file)
• src (module)

3 Modules

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

3.1 kenzo/src

Dependency

package.lisp (file)

Parent

kenzo (system)

Location

src/

Components

• kenzo.lisp (file)
• abbreviations.lisp (file)
• macros.lisp (file)
• various.lisp (file)
• classes.lisp (file)
• combinations.lisp (file)
• chain-complexes.lisp (file)
• chcm-elementary-op.lisp (file)
• effective-homology.lisp (file)
• homology-groups.lisp (file)
• searching-homology.lisp (file)
• cones.lisp (file)
• bicones.lisp (file)
• tensor-products.lisp (file)
• coalgebras.lisp (file)
• cobar.lisp (file)
• algebras.lisp (file)
• bar.lisp (file)
• simplicial-sets.lisp (file)
• simplicial-mrphs.lisp (file)
• delta.lisp (file)
• special-smsts.lisp (file)
• suspensions.lisp (file)
• disk-pasting.lisp (file)
• cartesian-products.lisp (file)
• eilenberg-zilber.lisp (file)
• kan.lisp (file)
• simplicial-groups.lisp (file)
• fibrations.lisp (file)
• loop-spaces.lisp (file)
• ls-twisted-products.lisp (file)
• lp-space-efhm.lisp (file)
• classifying-spaces.lisp (file)
• k-pi-n.lisp (file)
• serre.lisp (file)
• cs-twisted-products.lisp (file)
• cl-space-efhm.lisp (file)
• whitehead.lisp (file)
• smith.lisp (file)

4 Files

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

4.1 Lisp

4.1.1 kenzo.asd

Location

kenzo.asd

Systems

kenzo (system)

Packages

kenzo-asd

4.1.2 kenzo/package.lisp

Parent

kenzo (system)

Location

package.lisp

Packages

cat

4.1.3 kenzo/src/kenzo.lisp

Parent

src (module)

Location

src/kenzo.lisp

Exported Definitions

• *bc* (special variable)
• *bdd* (special variable)
• *chcm-list* (special variable)
• *cmbn-control* (special variable)
• *df-fd* (special variable)
• *dg-gd* (special variable)
• *fh* (special variable)
• *hg* (special variable)
• *hh* (special variable)
• *homology-verbose* (special variable)
• *id-fg* (special variable)
• *id-gf-dh-hd* (special variable)
• *list-list* (special variable)
• *mrph-list* (special variable)
• *results-verbose* (special variable)
• *tc* (special variable)
• *tdd* (special variable)
• *tnpr-with-degrees* (special variable)
• +empty-list+ (constant)
• +too-much-time+ (special variable)
• kenzo-version (function)

Internal Definitions

• *algb-list* (special variable)
• *clgb-list* (special variable)
• *future-display* (special variable)
• *hmeq-list* (special variable)
• *hopf-list* (special variable)
• *idnm-counter* (special variable)
• *kan-list* (special variable)
• *rdct-list* (special variable)
• *results-cmlt-tm* (special variable)
• *results-coef* (special variable)
• *results-max* (special variable)
• *results-n* (special variable)
• *smgr-list* (special variable)
• *smmr-list* (special variable)
• *smst-list* (special variable)
• *start-stack* (special variable)
• *time-interval* (special variable)
• +2-exp+ (constant)
• +f-empty-vector+ (constant)
• +false+ (constant)
• +mask+ (constant)
• +maximal-dimension+ (special variable)
• +s-empty-vector+ (constant)
• +true+ (constant)
• define-constant (macro)

4.1.4 kenzo/src/abbreviations.lisp

Parent

src (module)

Location

src/abbreviations.lisp

Exported Definitions

• +abbreviations+ (constant)
• what-is (function)

4.1.5 kenzo/src/macros.lisp

Parent

src (module)

Location

src/macros.lisp

Exported Definitions

• -1-expt-n (macro)
• -1-expt-n+1 (macro)
• -1-expt-n-1 (macro)
• 2-exp (macro)
• ? (macro)
• absm (macro)
• absm1 (macro)
• absm2 (macro)
• apowr (macro)
• aprd (macro)
• basis (macro)
• bcc (macro)
• bcnb (macro)
• bcnc (macro)
• bcnd (macro)
• binomial-p-q (macro)
• bndr (macro)
• brgn (macro)
• bspn (macro)
• cbgn (macro)
• cffc (macro)
• cmbn-non-zero-p (macro)
• cmbn-zero-p (macro)
• cmpr (macro)
• column-minus-5 (macro)
• column-op-5 (macro)
• column-swap-5 (macro)
• con0 (macro)
• con1 (macro)
• cprd (macro)
• crpr (macro)
• d (macro)
• def (macro)
• degenerate-p (macro)
• dffr (macro)
• dgnl (macro)
• f (macro)
• face (macro)
• g (macro)
• gnrt (macro)
• gnrt-name (macro)
• grin (macro)
• grml (macro)
• h (macro)
• i-add (macro)
• i-cmps (macro)
• i-sbtr (macro)
• kfll (macro)
• lexico (macro)
• lf (macro)
• lg (macro)
• line-minus-5 (macro)
• line-op-5 (macro)
• line-swap-5 (macro)
• mask (macro)
• non-degenerate-p (macro)
• rbcc (macro)
• rf (macro)
• rg (macro)
• tcc (macro)
• term (macro)
• term-cmbn (macro)
• tnpr (macro)
• with--term (macro)
• with-absm (macro)
• with-cmbn (macro)
• with-crpr (macro)
• with-term (macro)
• with-tnpr (macro)

Internal Definitions

• *wrong-cmbn* (special variable)
• -bdegr (macro)
• -bgnrt (macro)
• -cdegr (macro)
• -cffc (macro)
• -cgnrt (macro)
• -gnrt (macro)
• -term (macro)
• apdgop (macro)
• apexpn (macro)
• apgmsm (macro)
• basecol (macro)
• baselig (macro)
• basis3 (macro)
• bdegr (macro)
• bgnrt (macro)
• build-ab-smgr (macro)
• cdegr (macro)
• cgnrt (macro)
• cmpr3 (macro)
• column-number (macro)
• control (macro)
• controln (macro)
• crpr2 (macro)
• crpr4 (macro)
• eilenberg-zilber (macro)
• expn (macro)
• gnrt-allp-tnpr (macro)
• info-bndr (macro)
• info-face-i (macro)
• info-faces (macro)
• info-gmsm (macro)
• kfll4 (macro)
• lbcc (macro)
• lh (macro)
• line-number (macro)
• make-gmsm-faces-info (macro)
• pgmsm (macro)
• powr (macro)
• rh (macro)
• with--brgn (macro)
• with--cbgn (macro)
• with-abar (macro)
• with-allp (macro)
• with-apowr (macro)
• with-bicn (macro)
• with-brgn (macro)
• with-cbgn (macro)
• with-cone (macro)
• with-crpr-2 (macro)
• with-crpr-4 (macro)
• with-gbar (macro)
• with-powr (macro)

4.1.6 kenzo/src/various.lisp

Parent

src (module)

Location

src/various.lisp

Exported Definitions

• <a-b< (function)
• <a-b> (function)
• >a-b< (function)
• >a-b> (function)
• binomial-n-p (function)
• clock (function)
• done (function)
• srandom (function)
• v<a-b> (function)

4.1.7 kenzo/src/classes.lisp

Parent

src (module)

Location

src/classes.lisp

Exported Definitions

• ab-simplicial-group (class)
• abar (structure)
• abar-list (function)
• (setf abar-list) (function)
• absm (structure)
• absm-p (function)
• allp (structure)
• allp-list (function)
• (setf allp-list) (function)
• apowr (type)
• basis (type)
• brgn (type)
• bsgn (method)
• cbgn (type)
• cffc (type)
• chain-complex (class)
• cmbn (structure)
• cmbn-degr (function)
• (setf cmbn-degr) (function)
• cmbn-list (function)
• (setf cmbn-list) (function)
• cmpr (type)
• cone (structure)
• crpr (structure)
• degr (method)
• dffr1 (method)
• dgop (function)
• (setf dgop) (function)
• dgop (type)
• dgop1 (function)
• (setf dgop1) (function)
• dgop2 (function)
• (setf dgop2) (function)
• efhm (method)
• (setf efhm) (method)
• face (type)
• gbar (structure)
• gmsm (function)
• (setf gmsm) (function)
• gmsm (type)
• gmsm1 (function)
• (setf gmsm1) (function)
• gmsm2 (function)
• (setf gmsm2) (function)
• gnrt (type)
• homotopy-equivalence (class)
• iabsm (type)
• idnm (method)
• idnm (method)
• idnm (method)
• idnm (method)
• kan (class)
• kfll (type)
• loop-list (function)
• (setf loop-list) (function)
• lrdct (method)
• make-abar (function)
• make-absm (function)
• make-allp (function)
• make-cmbn (function)
• make-gbar (function)
• make-loop (function)
• make-result (function)
• morphism (class)
• orgn (method)
• orgn (method)
• orgn (method)
• orgn (method)
• reduction (class)
• rrdct (method)
• simplicial-group (class)
• simplicial-mrph (class)
• simplicial-set (class)
• sintr (method)
• sintr (type)
• soft-dlop (type)
• soft-dlop-p (function)
• sorc (method)
• term (type)
• tnpr (structure)
• tnpr-p (function)

Internal Definitions

• ?-clnm (method)
• (setf ?-clnm) (method)
• ???-clnm (method)
• (setf ???-clnm) (method)
• abar-p (function)
• algebra (class)
• allp-p (function)
• any (type)
• apowr-p (function)
• aprd1 (method)
• basis1 (method)
• bcc1 (method)
• bcnx (function)
• (setf bcnx) (function)
• bicn (structure)
• bicn-p (function)
• brgn-p (function)
• cbgn-p (function)
• cffc-p (function)
• cmbn-p (function)
• cmpr1 (method)
• cmprf (type)
• coalgebra (class)
• cone-p (function)
• conx (function)
• (setf conx) (function)
• copy-abar (function)
• copy-absm (function)
• copy-allp (function)
• copy-bicn (function)
• copy-cmbn (function)
• copy-cone (function)
• copy-crpr (function)
• copy-gbar (function)
• copy-loop (function)
• copy-matrice (function)
• copy-result (function)
• copy-t-mat (function)
• copy-tnpr (function)
• cprd1 (method)
• crpr-p (function)
• degr1 (function)
• (setf degr1) (function)
• degr2 (function)
• (setf degr2) (function)
• dlop (type)
• expn (type)
• expn-p (function)
• f1 (method)
• face* (type)
• face1 (method)
• fibration (type)
• fibration-p (function)
• g1 (method)
• gbar-dmns (function)
• (setf gbar-dmns) (function)
• gbar-list (function)
• (setf gbar-list) (function)
• gbar-p (function)
• gnrt1 (function)
• (setf gnrt1) (function)
• gnrt2 (function)
• (setf gnrt2) (function)
• grin1 (method)
• grmd (method)
• grml1 (method)
• h1 (method)
• hopf-algebra (class)
• iabar (type)
• iabar-p (function)
• iabsm-p (function)
• iallp (type)
• iallp-p (function)
• ibicn (function)
• (setf ibicn) (function)
• icmbn (type)
• icmbn-p (function)
• icol (function)
• (setf icol) (function)
• icon (function)
• (setf icon) (function)
• ilig (function)
• (setf ilig) (function)
• iloop (type)
• iloop-p (function)
• intr (method)
• intr-mrph (type)
• kfll1 (method)
• lbcc1 (method)
• left (function)
• (setf left) (function)
• leftcol (function)
• (setf leftcol) (function)
• lf1 (method)
• lg1 (method)
• lh1 (method)
• loop-p (function)
• make-bicn (function)
• make-cone (function)
• make-crpr (function)
• make-matrice (function)
• make-t-mat (function)
• make-tnpr (function)
• matrice (structure)
• matrice-p (function)
• powr (type)
• powr-p (function)
• rbcc1 (method)
• result (structure)
• result-clnm (function)
• (setf result-clnm) (function)
• result-gnrt (function)
• (setf result-gnrt) (function)
• result-p (function)
• result-rntm (function)
• (setf result-rntm) (function)
• result-value (function)
• (setf result-value) (function)
• rf1 (method)
• rg1 (method)
• rh1 (method)
• rslts (method)
• strt (method)
• strt (type)
• t-mat (structure)
• t-mat-p (function)
• tcc1 (method)
• tcc1 (method)
• term-p (function)
• trgt (method)
• up (function)
• (setf up) (function)
• uplig (function)
• (setf uplig) (function)
• val (function)
• (setf val) (function)

4.1.8 kenzo/src/combinations.lisp

Parent

src (module)

Location

src/combinations.lisp

Exported Definitions

• 2cmbn-add (function)
• 2cmbn-sbtr (function)
• 2n-2cmbn (function)
• check-cmbn (function)
• cmbn (function)
• cmbn-cmbn (function)
• cmbn-opps (function)
• dstr-add-term-to-cmbn (function)
• f-cmpr (function)
• l-cmpr (function)
• maplexico (function)
• n-cmbn (function)
• ncmbn-add (function)
• nterm-add (function)
• s-cmpr (function)
• zero-cmbn (function)
• zero-intr-dffr (function)

Internal Definitions

• +zero-negative-cmbn+ (constant)
• cmbn-print (function)

4.1.9 kenzo/src/chain-complexes.lisp

Parent

src (module)

Location

src/chain-complexes.lisp

Exported Definitions

• ?2 (generic function)
• ?2 (method)
• ?2 (method)
• ?3 (generic function)
• ?3 (method)
• ?3 (method)
• all-objects (function)
• build-chcm (function)
• build-mrph (function)
• cat-init (function)
• chcm (function)
• cmbn-? (function)
• do-control (function)
• gnrt-? (function)
• how-many-objects (function)
• k (function)
• kd (function)
• kd2 (function)
• mrph (function)

Internal Definitions

• basis2 (function)
• clean-results (function)
• mrph-cmbn (function)
• mrph-gnrt (function)
• nresults (function)
• result-print (function)
• time-list (function)

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

Parent

src (module)

Location

src/chcm-elementary-op.lisp

Exported Definitions

• add (generic function)
• add (method)
• add (method)
• cmps (generic function)
• cmps (method)
• cmps (method)
• cmps (method)
• cmps (method)
• idnt-mrph (function)
• n-mrph (function)
• opps (function)
• sbtr (generic function)
• sbtr (method)
• z-chcm (function)
• zero-mrph (function)

Internal Definitions

• change-sorc-trgt (function)
• dstr-change-sorc-trgt (function)
• n-mrph-intr (function)

4.1.11 kenzo/src/effective-homology.lisp

Parent

src (module)

Location

src/effective-homology.lisp

Exported Definitions

• add (method)
• add (method)
• build-hmeq (generic function)
• build-hmeq (method)
• build-hmeq (method)
• build-rdct (function)
• check-rdct (function)
• check-rdct-no-wait (function)
• cmps (method)
• hmeq (generic function)
• hmeq (method)
• pre-check-rdct (function)
• rdct (function)
• trivial-hmeq (function)
• trivial-rdct (function)

Internal Definitions

• basic-perturbation-lemma (function)
• bpl-*-sigma (function)
• easy-perturbation-lemma (function)
• special-bpl (function)
• special-bpl-2 (function)

4.1.12 kenzo/src/homology-groups.lisp

Parent

src (module)

Location

src/homology-groups.lisp

Exported Definitions

• chcm-homology (function)
• chcm-homology-gen (function)
• chcm-mat (function)
• homologie (function)
• mat-aleat (function)

Internal Definitions

• chcm-homology-gen-old (function)
• chercher-hor (function)
• chercher-ver (function)
• copier-matrice (function)
• creer-matrice (function)
• disp-colonne (function)
• disp-ligne (function)
• disp-matrice (function)
• disp-matrice-colonnes (function)
• disp-p (function)
• disp-peigne (function)
• diviseur (function)
• generateur-torsion-h* (function)
• identite (function)
• init-peigne-hor (function)
• init-peigne-ver (function)
• inserer-terme (function)
• maj-colonne (function)
• maj-ligne (function)
• maj-matrice (function)
• maj-peigne-hor (function)
• maj-peigne-ver (function)
• maj-terme (function)
• n-col (function)
• n-lig (function)
• ncol (function)
• nlig (function)
• op-col (function)
• op-col-n (function)
• op-elem (function)
• op-lig (function)
• op-lig-n (function)
• peigne-hor (function)
• peigne-ver (function)
• pivot (function)
• pivot-parallele (function)
• reste (function)
• reste-minimal-colonne (function)
• reste-minimal-ligne (function)
• supprimer-terme (function)
• terme (function)
• terme-minimal-matrice (function)
• terminer-h* (function)
• tuer-colonne (function)
• tuer-ligne (function)

4.1.13 kenzo/src/searching-homology.lisp

Parent

src (module)

Location

src/searching-homology.lisp

Exported Definitions

• echcm (function)
• homology (generic function)
• homology (method)

Internal Definitions

• search-efhm (generic function)
• search-efhm (method)

4.1.14 kenzo/src/cones.lisp

Parent

src (module)

Location

src/cones.lisp

Exported Definitions

• cmbn-con0 (function)
• cmbn-con1 (function)
• cone (function)
• cone-2cmbn-append (function)
• cone-2mrph-diag (function)
• cone-2mrph-diag-impl (function)
• cone-3mrph-triangle (function)
• cone-3mrph-triangle-impl (function)
• cone-basis (function)
• cone-cmbn-split (function)
• cone-cmpr (function)
• term-con0 (function)
• term-con1 (function)
• term-uncon (function)

Internal Definitions

• cone-efhm (function)
• cone-print (function)
• search-efhm (method)

4.1.15 kenzo/src/bicones.lisp

Parent

src (module)

Location

src/bicones.lisp

Exported Definitions

• bicn-cmbn-cmbnb (function)
• bicn-cmbn-cmbnc (function)
• bicn-cmbn-cmbnd (function)
• bicone (function)
• bicone-basis (function)
• bicone-cmpr (function)
• cmps (method)
• dispatch-bicn-cmbn (function)
• make-bicn-cmbn (function)

Internal Definitions

• bicn-print (function)
• bicone-intr-dffr (function)

4.1.16 kenzo/src/tensor-products.lisp

Parent

src (module)

Location

src/tensor-products.lisp

Exported Definitions

• 2cmbn-tnpr (function)
• tnpr-print (function)
• tnsr-prdc (generic function)
• tnsr-prdc (method)
• tnsr-prdc (method)
• tnsr-prdc (method)
• tnsr-prdc (method)
• tnsr-prdc-basis (function)
• tnsr-prdc-cmpr (function)
• tnsr-prdc-intr (function)
• tnsr-prdc-intr-dffr (function)

Internal Definitions

search-efhm (method)

4.1.17 kenzo/src/coalgebras.lisp

Parent

src (module)

Location

src/coalgebras.lisp

Internal Definitions

• build-clgb (function)
• change-chcm-to-clgb (function)
• clgb (function)

4.1.18 kenzo/src/cobar.lisp

Parent

src (module)

Location

src/cobar.lisp

Exported Definitions

• allp (function)
• cobar (generic function)
• cobar (method)
• cobar (method)
• cobar-basis (function)
• cobar-basis-length (function)
• cobar-cmpr (function)
• cobar-hrzn-dffr (function)
• cobar-intr-hrzn-dffr (function)
• cobar-intr-vrtc-dffr (function)
• hmtp-vrtc-cobar-intr (function)
• mrph-vrtc-cobar-intr (function)
• ncmbn-cobar (function)
• vrtc-cobar (generic function)
• vrtc-cobar (method)
• vrtc-cobar (method)
• vrtc-cobar (method)
• vrtc-cobar (method)

Internal Definitions

• +null-allp+ (special variable)
• allp-print (function)
• cmbn-allp-cmbn-tnpr (function)
• cobar-intr-dffr (function)
• hmtp-vrtc-cobar (function)

4.1.19 kenzo/src/algebras.lisp

Parent

src (module)

Location

src/algebras.lisp

Exported Definitions

• change-chcm-to-algb (function)
• hopf (function)

Internal Definitions

• algb (function)
• build-algb (function)

4.1.20 kenzo/src/bar.lisp

Parent

src (module)

Location

src/bar.lisp

Exported Definitions

• +null-abar+ (special variable)
• abar (function)
• bar (generic function)
• bar (method)
• bar (method)
• bar-basis (function)
• bar-basis-length (function)
• bar-cmpr (function)
• bar-hrzn-dffr (function)
• bar-intr-hrzn-dffr (function)
• bar-intr-vrtc-dffr (function)
• hmtp-vrtc-bar-intr (function)
• mrph-vrtc-bar-intr (function)
• ncmbn-bar (function)
• vrtc-bar (generic function)
• vrtc-bar (method)
• vrtc-bar (method)
• vrtc-bar (method)
• vrtc-bar (method)

Internal Definitions

• abar-print (function)
• bar-intr-dffr (function)
• cmbn-abar-cmbn-tnpr (function)
• hmtp-vrtc-bar (function)

4.1.21 kenzo/src/simplicial-sets.lisp

Parent

src (module)

Location

src/simplicial-sets.lisp

Exported Definitions

• 1dgnr (function)
• 1dgop*dgop (function)
• 1dlop-dgop (function)
• a-cmpr3 (function)
• a-face4 (function)
• absm-print (function)
• bspn-p (function)
• build-smst (function)
• check-faces (function)
• check-smst (function)
• dgop*dgop (function)
• dgop-ext-int (function)
• dgop-int-ext (function)
• dgop/dgop (function)
• dlop-ext-int (function)
• dlop-int-ext (function)
• face*-bndr (function)
• face-bndr (function)
• hyphenize-list (function)
• intr-diagonal (function)
• ndgnr (function)
• nface (function)
• remove-bit (function)
• show-structure (function)
• smst (function)

Internal Definitions

• a-basis2 (function)
• face4 (function)

4.1.22 kenzo/src/simplicial-mrphs.lisp

Parent

src (module)

Location

src/simplicial-mrphs.lisp

Exported Definitions

• ?3 (method)
• build-smmr (function)
• tw-a-sintr3 (function)

Internal Definitions

• sintr-intr (function)
• smmr (function)

4.1.23 kenzo/src/delta.lisp

Parent

src (module)

Location

src/delta.lisp

Exported Definitions

• delta (function)
• delta-bndr (function)
• delta-dgnl (function)
• delta-face (function)
• delta-infinity (function)
• delta-n-basis (function)
• deltab (function)
• deltab2 (function)
• deltab2-bndr (function)
• deltab2-dgnl (function)
• soft-delta (function)
• soft-delta-bndr (function)
• soft-delta-cmpr (function)
• soft-delta-dgnl (function)
• soft-delta-face (function)
• soft-delta-infinity (function)
• soft-delta-n-basis (function)

Internal Definitions

• deltab-bndr (function)
• deltab-cmpr (function)
• deltab2-face (function)
• print-keycons (generic function)
• print-keycons (method)

4.1.24 kenzo/src/special-smsts.lisp

Parent

src (module)

Location

src/special-smsts.lisp

Exported Definitions

• absm-ext-int (function)
• absm-int-ext (function)
• build-finite-ss (function)
• finite-ss-pre-table (function)
• finite-ss-pre-table-table (function)
• finite-ss-table (function)
• gmsms-subsmst (function)
• moore (function)
• r-proj-space (function)
• r-proj-space-basis (function)
• sphere (function)
• sphere-face (function)
• sphere-wedge (function)
• vertex-i (function)

Internal Definitions

• cmbn-gmsms (function)
• finite-ss-basis (function)
• finite-ss-face (function)
• finite-ss-find-gmsm (function)
• finite-ss-finish-entry (function)
• finite-ss-finish-line (function)
• finite-ss-finish-table (function)
• finite-ss-intr-bndr (function)
• moore-basis (function)
• moore-cmpr (function)
• moore-face (function)
• moore-intr-bndr (function)
• r-proj-space-cmpr (function)
• r-proj-space-face (function)
• r-proj-space-intr-bndr (function)
• sphere-basis (function)
• sphere-cmpr (function)
• sphere-wedge-basis (function)
• sphere-wedge-face (function)

4.1.25 kenzo/src/suspensions.lisp

Parent

src (module)

Location

src/suspensions.lisp

Exported Definitions

• suspension (function)
• suspension-basis (function)
• suspension-cmpr (function)
• suspension-face (function)
• suspension-intr (function)
• suspension-intr-cprd (function)
• suspension-intr-dffr (function)

Internal Definitions

• search-efhm (method)
• suspension-1 (generic function)
• suspension-1 (method)
• suspension-1 (method)
• suspension-1 (method)
• suspension-1 (method)
• suspension-1 (method)
• suspension-1 (method)

4.1.26 kenzo/src/disk-pasting.lisp

Parent

src (module)

Location

src/disk-pasting.lisp

Exported Definitions

• chcm-disk-pasting (function)
• disk-pasting (function)
• disk-pasting-basis (function)
• disk-pasting-cmpr (function)
• disk-pasting-face (function)
• disk-pasting-intr-dffr (function)
• hmeq-disk-pasting (function)
• mrph-disk-pasting (function)
• mrph-disk-pasting-intr (function)

Internal Definitions

search-efhm (method)

4.1.27 kenzo/src/cartesian-products.lisp

Parent

src (module)

Location

src/cartesian-products.lisp

Exported Definitions

• 2absm-acrpr (function)
• crts-prdc (function)
• crts-prdc-basis (function)
• crts-prdc-cmpr (function)
• crts-prdc-face (function)
• crts-prdc-face* (function)
• extract-common-dgop (function)

Internal Definitions

crpr-print (function)

4.1.28 kenzo/src/eilenberg-zilber.lisp

Parent

src (module)

Location

src/eilenberg-zilber.lisp

Exported Definitions

• aw (function)
• eml (function)
• ez (function)
• intr-aw (function)
• intr-eml (function)
• intr-phi (function)
• phi (function)
• shuffle-sign (function)

Internal Definitions

• intr-phi-2 (function)
• left-crts-prdc-efhm (function)
• search-efhm (method)

4.1.29 kenzo/src/kan.lisp

Parent

src (module)

Location

src/kan.lisp

Exported Definitions

• check-hat (function)
• check-kan (function)
• kan (function)
• smst-kan (function)

4.1.30 kenzo/src/simplicial-groups.lisp

Parent

src (module)

Location

src/simplicial-groups.lisp

Exported Definitions

smgr (function)

Internal Definitions

• a-grin4 (function)
• a-grml4 (function)
• build-smgr (function)
• smgr-aprd (function)
• smgr-kfll (function)
• smgr-kfll-intr (function)

4.1.31 kenzo/src/fibrations.lisp

Parent

src (module)

Location

src/fibrations.lisp

Exported Definitions

fibration-total (function)

Internal Definitions

• fibration-kfll (function)
• fibration-total-face (function)

4.1.32 kenzo/src/loop-spaces.lisp

Parent

src (module)

Location

src/loop-spaces.lisp

Exported Definitions

• +null-loop+ (special variable)
• apowr-face4 (function)
• apowr-lastface4 (function)
• apowr-niloop (function)
• gdeltab (function)
• loop-print (function)
• loop-space (function)
• loop-space-cmpr (function)
• loop-space-face (function)
• loop-space-grin-sintr (function)
• loop-space-grml-sintr (function)
• loop3 (function)
• normalize-loop (function)
• unnormalize-loop (function)

Internal Definitions

loop-space-face* (function)

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

Parent

src (module)

Location

src/ls-twisted-products.lisp

Exported Definitions

• absm-loopabsm (function)
• crts-contraction (function)
• crts-contraction-intr (function)
• dtau-d (function)
• dtau-d-intr (function)
• pop-first-absm (function)
• szczarba (function)
• tnpr-contraction (function)
• twisted-crts-prdc (function)
• twisted-crts-prdc-face (function)
• twisted-tnsr-prdc (function)

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

Parent

src (module)

Location

src/lp-space-efhm.lisp

Exported Definitions

• ls-hat-t-u (function)
• ls-hat-u-t (function)
• ls-left-hmeq (function)
• ls-left-hmeq-hat (function)
• ls-left-hmeq-left-reduction (function)
• ls-left-hmeq-left-reduction-g-intr (function)
• ls-left-hmeq-right-reduction (function)
• ls-pre-left-hmeq-left-reduction (function)
• ls-pre-left-hmeq-left-reduction-h-intr (function)
• ls-pre-left-hmeq-left-reduction-intr-f (function)
• ls-pre-left-hmeq-right-reduction (function)
• ls-pre-left-hmeq-right-reduction-intr-f (function)
• ls-pre-left-hmeq-right-reduction-intr-g (function)

Internal Definitions

• loop-space-efhm (function)
• ls-hat-left-perturbation (function)
• ls-hat-left-perturbation-intr (function)
• ls-hat-right-perturbation (function)
• ls-hat-u-u (function)
• ls-left-hmeq-left-reduction-g (function)
• ls-pre-left-hmeq-left-reduction-f (function)
• ls-pre-left-hmeq-left-reduction-h (function)
• ls-pre-left-hmeq-right-reduction-f (function)
• ls-pre-left-hmeq-right-reduction-g (function)
• ls-pre-left-hmeq-right-reduction-h (function)
• search-efhm (method)

4.1.35 kenzo/src/classifying-spaces.lisp

Parent

src (module)

Location

src/classifying-spaces.lisp

Exported Definitions

• +null-gbar+ (special variable)
• classifying-space (generic function)
• classifying-space (method)
• classifying-space (method)
• classifying-space-basis (function)
• classifying-space-cmpr (function)
• classifying-space-face (function)
• classifying-space-grin-sintr (function)
• classifying-space-grml-sintr (function)
• gbar (function)
• normalize-gbar (function)
• unnormalize-gbar (function)

Internal Definitions

gbar-print (function)

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

Parent

src (module)

Location

src/k-pi-n.lisp

Exported Definitions

• circle (function)
• gmsm-cocycle (function)
• hopf-fibration (function)
• hopf-fibration-sintr (function)
• interesting-faces (function)
• k-z (function)
• k-z-1 (function)
• k-z-1-cmpr (function)
• k-z-1-face (function)
• k-z-1-grin (function)
• k-z-1-grml (function)
• k-z-fundamental-class (function)
• k-z2 (function)
• k-z2-1 (function)
• k-z2-fundamental-class (function)
• kz1-rdct (function)
• kz1-rdct-f-intr (function)
• kz1-rdct-h-intr (function)
• z-absm-bar (function)
• z-bar-absm (function)
• z-cocycle-gbar (function)
• z-cocycle-gbar-head (function)
• z-fundamental-gmsm (function)
• z2-absm-bar (function)
• z2-bar-absm (function)
• z2-cocycle-gbar (function)
• z2-cocycle-gbar-head (function)
• z2-fundamental-gmsm (function)

Internal Definitions

• circle-basis (function)
• circle-cmpr (function)
• k-z2-1-grin (function)
• k-z2-1-grin-intr (function)
• k-z2-1-grml (function)
• k-z2-1-grml-intr (function)
• kz1-efhm (function)
• kz1-rdct-f (function)
• kz1-rdct-g (function)
• kz1-rdct-g-intr (function)
• kz1-rdct-h (function)
• search-efhm (method)

4.1.37 kenzo/src/serre.lisp

Parent

src (module)

Location

src/serre.lisp

Exported Definitions

• brown-reduction (function)
• fibration-dtau-d (function)
• fibration-dtau-d-intr (function)
• right-serre-efhm (function)

Internal Definitions

• fibration-total-efhm (function)
• left-serre-efhm (function)
• search-efhm (method)

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

Parent

src (module)

Location

src/cs-twisted-products.lisp

Exported Definitions

• smgr-crts-contraction (function)
• smgr-fibration (function)
• smgr-tnpr-contraction (function)

Internal Definitions

• smgr-crts-contraction-intr (function)
• smgr-fibration-sintr (function)

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

Parent

src (module)

Location

src/cl-space-efhm.lisp

Exported Definitions

• cs-hat-t-u (function)
• cs-hat-u-t (function)
• cs-left-hmeq (function)
• cs-left-hmeq-hat (function)
• cs-left-hmeq-left-reduction (function)
• cs-left-hmeq-right-reduction (function)
• cs-pre-left-hmeq-left-reduction (function)
• cs-pre-left-hmeq-left-reduction-intr-f (function)
• cs-pre-left-hmeq-left-reduction-intr-g (function)
• cs-pre-left-hmeq-right-reduction (function)
• cs-pre-left-hmeq-right-reduction-intr-f (function)
• cs-pre-left-hmeq-right-reduction-intr-g (function)

Internal Definitions

• classifying-space-efhm (function)
• cs-hat-left-perturbation (function)
• cs-hat-right-perturbation (function)
• cs-hat-right-perturbation-intr (function)
• cs-hat-u-u (function)
• cs-pre-left-hmeq-left-reduction-f (function)
• cs-pre-left-hmeq-left-reduction-g (function)
• cs-pre-left-hmeq-left-reduction-h (function)
• cs-pre-left-hmeq-left-reduction-intr-h (function)
• cs-pre-left-hmeq-right-reduction-f (function)
• cs-pre-left-hmeq-right-reduction-g (function)
• cs-pre-left-hmeq-right-reduction-h (function)
• search-efhm (method)

4.1.40 kenzo/src/whitehead.lisp

Parent

src (module)

Location

src/whitehead.lisp

Exported Definitions

• z-whitehead (function)
• z-whitehead-sintr (function)
• z2-whitehead (function)
• z2-whitehead-sintr (function)

Internal Definitions

• z-wwhitehead-sintr (function)
• z2-wwhitehead-sintr (function)

4.1.41 kenzo/src/smith.lisp

Parent

src (module)

Location

src/smith.lisp

Exported Definitions

• chcm-mtrx (function)
• chml-clss (function)
• chml-clss-intr (function)
• column-minus (function)
• column-op (function)
• column-swap (function)
• copy-mtrx (function)
• echcm-kill-epi (function)
• echcm-kill-epi-f-intr (function)
• echcm-kill-epi-g-intr (function)
• echcm-kill-epi-h-intr (function)
• gnrt-name-basis (function)
• idnt-mtrx (function)
• kill-epi (function)
• kill-epis (function)
• left-submatrix (function)
• line-minus (function)
• line-op (function)
• line-swap (function)
• list-smith (function)
• minimal-rest-1 (function)
• minimal-rest-2 (function)
• minimal-term (function)
• minimal-term-top-left (function)
• mtrx-prdc (function)
• pivott (function)
• random-matrix (function)

Internal Definitions

• +gnrts-pckg+ (constant)
• echcm-without-epi (function)
• matrix (type)
• smith (function)

5 Packages

Packages are listed by definition order.

5.1 kenzo-asd

Source

kenzo.asd

Use List

• asdf/interface
• common-lisp

5.2 cat

Source

package.lisp (file)

Use List

common-lisp

Exported Definitions

• *bc* (special variable)
• *bdd* (special variable)
• *chcm-list* (special variable)
• *cmbn-control* (special variable)
• *df-fd* (special variable)
• *dg-gd* (special variable)
• *fh* (special variable)
• *hg* (special variable)
• *hh* (special variable)
• *homology-verbose* (special variable)
• *id-fg* (special variable)
• *id-gf-dh-hd* (special variable)
• *list-list* (special variable)
• *mrph-list* (special variable)
• *results-verbose* (special variable)
• *tc* (special variable)
• *tdd* (special variable)
• *tnpr-with-degrees* (special variable)
• +abbreviations+ (constant)
• +empty-list+ (constant)
• +null-abar+ (special variable)
• +null-gbar+ (special variable)
• +null-loop+ (special variable)
• +too-much-time+ (special variable)
• -1-expt-n (macro)
• -1-expt-n+1 (macro)
• -1-expt-n-1 (macro)
• 1dgnr (function)
• 1dgop*dgop (function)
• 1dlop-dgop (function)
• 2-exp (macro)
• 2absm-acrpr (function)
• 2cmbn-add (function)
• 2cmbn-sbtr (function)
• 2cmbn-tnpr (function)
• 2n-2cmbn (function)
• <a-b< (function)
• <a-b> (function)
• >a-b< (function)
• >a-b> (function)
• ? (macro)
• ?2 (generic function)
• ?2 (method)
• ?2 (method)
• ?3 (generic function)
• ?3 (method)
• ?3 (method)
• ?3 (method)
• a-cmpr3 (function)
• a-face4 (function)
• ab-simplicial-group (class)
• abar (function)
• abar (structure)
• abar-list (function)
• (setf abar-list) (function)
• absm (macro)
• absm (structure)
• absm-ext-int (function)
• absm-int-ext (function)
• absm-loopabsm (function)
• absm-p (function)
• absm-print (function)
• absm1 (macro)
• absm2 (macro)
• add (generic function)
• add (method)
• add (method)
• add (method)
• add (method)
• all-objects (function)
• allp (function)
• allp (structure)
• allp-list (function)
• (setf allp-list) (function)
• apowr (macro)
• apowr (type)
• apowr-face4 (function)
• apowr-lastface4 (function)
• apowr-niloop (function)
• aprd (macro)
• aw (function)
• bar (generic function)
• bar (method)
• bar (method)
• bar-basis (function)
• bar-basis-length (function)
• bar-cmpr (function)
• bar-hrzn-dffr (function)
• bar-intr-hrzn-dffr (function)
• bar-intr-vrtc-dffr (function)
• basis (macro)
• basis (type)
• bcc (macro)
• bcnb (macro)
• bcnc (macro)
• bcnd (macro)
• bicn-cmbn-cmbnb (function)
• bicn-cmbn-cmbnc (function)
• bicn-cmbn-cmbnd (function)
• bicone (function)
• bicone-basis (function)
• bicone-cmpr (function)
• binomial-n-p (function)
• binomial-p-q (macro)
• bndr (macro)
• brgn (macro)
• brgn (type)
• brown-reduction (function)
• bsgn (generic function)
• bsgn (method)
• bspn (macro)
• bspn-p (function)
• build-chcm (function)
• build-finite-ss (function)
• build-hmeq (generic function)
• build-hmeq (method)
• build-hmeq (method)
• build-mrph (function)
• build-rdct (function)
• build-smmr (function)
• build-smst (function)
• cat-init (function)
• cbgn (macro)
• cbgn (type)
• cffc (macro)
• cffc (type)
• chain-complex (class)
• change-chcm-to-algb (function)
• chcm (function)
• chcm-disk-pasting (function)
• chcm-homology (function)
• chcm-homology-gen (function)
• chcm-mat (function)
• chcm-mtrx (function)
• check-cmbn (function)
• check-faces (function)
• check-hat (function)
• check-kan (function)
• check-rdct (function)
• check-rdct-no-wait (function)
• check-smst (function)
• chml-clss (function)
• chml-clss-intr (function)
• circle (function)
• classifying-space (generic function)
• classifying-space (method)
• classifying-space (method)
• classifying-space-basis (function)
• classifying-space-cmpr (function)
• classifying-space-face (function)
• classifying-space-grin-sintr (function)
• classifying-space-grml-sintr (function)
• clock (function)
• cmbn (function)
• cmbn (structure)
• cmbn-? (function)
• cmbn-cmbn (function)
• cmbn-con0 (function)
• cmbn-con1 (function)
• cmbn-degr (function)
• (setf cmbn-degr) (function)
• cmbn-list (function)
• (setf cmbn-list) (function)
• cmbn-non-zero-p (macro)
• cmbn-opps (function)
• cmbn-zero-p (macro)
• cmpr (macro)
• cmpr (type)
• cmps (generic function)
• cmps (method)
• cmps (method)
• cmps (method)
• cmps (method)
• cmps (method)
• cmps (method)
• cobar (generic function)
• cobar (method)
• cobar (method)
• cobar-basis (function)
• cobar-basis-length (function)
• cobar-cmpr (function)
• cobar-hrzn-dffr (function)
• cobar-intr-hrzn-dffr (function)
• cobar-intr-vrtc-dffr (function)
• column-minus (function)
• column-minus-5 (macro)
• column-op (function)
• column-op-5 (macro)
• column-swap (function)
• column-swap-5 (macro)
• con0 (macro)
• con1 (macro)
• cone (function)
• cone (structure)
• cone-2cmbn-append (function)
• cone-2mrph-diag (function)
• cone-2mrph-diag-impl (function)
• cone-3mrph-triangle (function)
• cone-3mrph-triangle-impl (function)
• cone-basis (function)
• cone-cmbn-split (function)
• cone-cmpr (function)
• copy-mtrx (function)
• cprd (macro)
• crpr (macro)
• crpr (structure)
• crts-contraction (function)
• crts-contraction-intr (function)
• crts-prdc (function)
• crts-prdc-basis (function)
• crts-prdc-cmpr (function)
• crts-prdc-face (function)
• crts-prdc-face* (function)
• cs-hat-t-u (function)
• cs-hat-u-t (function)
• cs-left-hmeq (function)
• cs-left-hmeq-hat (function)
• cs-left-hmeq-left-reduction (function)
• cs-left-hmeq-right-reduction (function)
• cs-pre-left-hmeq-left-reduction (function)
• cs-pre-left-hmeq-left-reduction-intr-f (function)
• cs-pre-left-hmeq-left-reduction-intr-g (function)
• cs-pre-left-hmeq-right-reduction (function)
• cs-pre-left-hmeq-right-reduction-intr-f (function)
• cs-pre-left-hmeq-right-reduction-intr-g (function)
• d (macro)
• def (macro)
• degenerate-p (macro)
• degr (generic function)
• degr (method)
• delta (function)
• delta-bndr (function)
• delta-dgnl (function)
• delta-face (function)
• delta-infinity (function)
• delta-n-basis (function)
• deltab (function)
• deltab2 (function)
• deltab2-bndr (function)
• deltab2-dgnl (function)
• dffr (macro)
• dffr1 (generic function)
• dffr1 (method)
• dgnl (macro)
• dgop (function)
• (setf dgop) (function)
• dgop (type)
• dgop*dgop (function)
• dgop-ext-int (function)
• dgop-int-ext (function)
• dgop/dgop (function)
• dgop1 (function)
• (setf dgop1) (function)
• dgop2 (function)
• (setf dgop2) (function)
• disk-pasting (function)
• disk-pasting-basis (function)
• disk-pasting-cmpr (function)
• disk-pasting-face (function)
• disk-pasting-intr-dffr (function)
• dispatch-bicn-cmbn (function)
• dlop-ext-int (function)
• dlop-int-ext (function)
• do-control (function)
• done (function)
• dstr-add-term-to-cmbn (function)
• dtau-d (function)
• dtau-d-intr (function)
• echcm (function)
• echcm-kill-epi (function)
• echcm-kill-epi-f-intr (function)
• echcm-kill-epi-g-intr (function)
• echcm-kill-epi-h-intr (function)
• efhm (generic function)
• efhm (method)
• (setf efhm) (method)
• (setf efhm) (generic function)
• eml (function)
• extract-common-dgop (function)
• ez (function)
• f (macro)
• f-cmpr (function)
• face (macro)
• face (type)
• face*-bndr (function)
• face-bndr (function)
• fibration-dtau-d (function)
• fibration-dtau-d-intr (function)
• fibration-total (function)
• finite-ss-pre-table (function)
• finite-ss-pre-table-table (function)
• finite-ss-table (function)
• g (macro)
• gbar (function)
• gbar (structure)
• gdeltab (function)
• gmsm (function)
• (setf gmsm) (function)
• gmsm (type)
• gmsm-cocycle (function)
• gmsm1 (function)
• (setf gmsm1) (function)
• gmsm2 (function)
• (setf gmsm2) (function)
• gmsms-subsmst (function)
• gnrt (macro)
• gnrt (type)
• gnrt-? (function)
• gnrt-name (macro)
• gnrt-name-basis (function)
• grin (macro)
• grml (macro)
• h (macro)
• hmeq (generic function)
• hmeq (method)
• hmeq-disk-pasting (function)
• hmtp-vrtc-bar-intr (function)
• hmtp-vrtc-cobar-intr (function)
• homologie (function)
• homology (generic function)
• homology (method)
• homotopy-equivalence (class)
• hopf (function)
• hopf-fibration (function)
• hopf-fibration-sintr (function)
• how-many-objects (function)
• hyphenize-list (function)
• i-add (macro)
• i-cmps (macro)
• i-sbtr (macro)
• iabsm (type)
• idnm (generic function)
• idnm (method)
• idnm (method)
• idnm (method)
• idnm (method)
• idnt-mrph (function)
• idnt-mtrx (function)
• interesting-faces (function)
• intr-aw (function)
• intr-diagonal (function)
• intr-eml (function)
• intr-phi (function)
• k (function)
• k-z (function)
• k-z-1 (function)
• k-z-1-cmpr (function)
• k-z-1-face (function)
• k-z-1-grin (function)
• k-z-1-grml (function)
• k-z-fundamental-class (function)
• k-z2 (function)
• k-z2-1 (function)
• k-z2-fundamental-class (function)
• kan (function)
• kan (class)
• kd (function)
• kd2 (function)
• kenzo-version (function)
• kfll (macro)
• kfll (type)
• kill-epi (function)
• kill-epis (function)
• kz1-rdct (function)
• kz1-rdct-f-intr (function)
• kz1-rdct-h-intr (function)
• l-cmpr (function)
• left-submatrix (function)
• lexico (macro)
• lf (macro)
• lg (macro)
• line-minus (function)
• line-minus-5 (macro)
• line-op (function)
• line-op-5 (macro)
• line-swap (function)
• line-swap-5 (macro)
• list-smith (function)
• loop-list (function)
• (setf loop-list) (function)
• loop-print (function)
• loop-space (function)
• loop-space-cmpr (function)
• loop-space-face (function)
• loop-space-grin-sintr (function)
• loop-space-grml-sintr (function)
• loop3 (function)
• lrdct (generic function)
• lrdct (method)
• ls-hat-t-u (function)
• ls-hat-u-t (function)
• ls-left-hmeq (function)
• ls-left-hmeq-hat (function)
• ls-left-hmeq-left-reduction (function)
• ls-left-hmeq-left-reduction-g-intr (function)
• ls-left-hmeq-right-reduction (function)
• ls-pre-left-hmeq-left-reduction (function)
• ls-pre-left-hmeq-left-reduction-h-intr (function)
• ls-pre-left-hmeq-left-reduction-intr-f (function)
• ls-pre-left-hmeq-right-reduction (function)
• ls-pre-left-hmeq-right-reduction-intr-f (function)
• ls-pre-left-hmeq-right-reduction-intr-g (function)
• make-abar (function)
• make-absm (function)
• make-allp (function)
• make-bicn-cmbn (function)
• make-cmbn (function)
• make-gbar (function)
• make-loop (function)
• make-result (function)
• maplexico (function)
• mask (macro)
• mat-aleat (function)
• minimal-rest-1 (function)
• minimal-rest-2 (function)
• minimal-term (function)
• minimal-term-top-left (function)
• moore (function)
• morphism (class)
• mrph (function)
• mrph-disk-pasting (function)
• mrph-disk-pasting-intr (function)
• mrph-vrtc-bar-intr (function)
• mrph-vrtc-cobar-intr (function)
• mtrx-prdc (function)
• n-cmbn (function)
• n-mrph (function)
• ncmbn-add (function)
• ncmbn-bar (function)
• ncmbn-cobar (function)
• ndgnr (function)
• nface (function)
• non-degenerate-p (macro)
• normalize-gbar (function)
• normalize-loop (function)
• nterm-add (function)
• opps (function)
• orgn (generic function)
• orgn (method)
• orgn (method)
• orgn (method)
• orgn (method)
• phi (function)
• pivott (function)
• pop-first-absm (function)
• pre-check-rdct (function)
• r-proj-space (function)
• r-proj-space-basis (function)
• random-matrix (function)
• rbcc (macro)
• rdct (function)
• reduction (class)
• remove-bit (function)
• rf (macro)
• rg (macro)
• right-serre-efhm (function)
• rrdct (generic function)
• rrdct (method)
• s-cmpr (function)
• sbtr (generic function)
• sbtr (method)
• show-structure (function)
• shuffle-sign (function)
• simplicial-group (class)
• simplicial-mrph (class)
• simplicial-set (class)
• sintr (generic function)
• sintr (method)
• sintr (type)
• smgr (function)
• smgr-crts-contraction (function)
• smgr-fibration (function)
• smgr-tnpr-contraction (function)
• smst (function)
• smst-kan (function)
• soft-delta (function)
• soft-delta-bndr (function)
• soft-delta-cmpr (function)
• soft-delta-dgnl (function)
• soft-delta-face (function)
• soft-delta-infinity (function)
• soft-delta-n-basis (function)
• soft-dlop (type)
• soft-dlop-p (function)
• sorc (generic function)
• sorc (method)
• sphere (function)
• sphere-face (function)
• sphere-wedge (function)
• srandom (function)
• suspension (function)
• suspension-basis (function)
• suspension-cmpr (function)
• suspension-face (function)
• suspension-intr (function)
• suspension-intr-cprd (function)
• suspension-intr-dffr (function)
• szczarba (function)
• tcc (macro)
• term (macro)
• term (type)
• term-cmbn (macro)
• term-con0 (function)
• term-con1 (function)
• term-uncon (function)
• tnpr (macro)
• tnpr (structure)
• tnpr-contraction (function)
• tnpr-p (function)
• tnpr-print (function)
• tnsr-prdc (generic function)
• tnsr-prdc (method)
• tnsr-prdc (method)
• tnsr-prdc (method)
• tnsr-prdc (method)
• tnsr-prdc-basis (function)
• tnsr-prdc-cmpr (function)
• tnsr-prdc-intr (function)
• tnsr-prdc-intr-dffr (function)
• trivial-hmeq (function)
• trivial-rdct (function)
• tw-a-sintr3 (function)
• twisted-crts-prdc (function)
• twisted-crts-prdc-face (function)
• twisted-tnsr-prdc (function)
• unnormalize-gbar (function)
• unnormalize-loop (function)
• v<a-b> (function)
• vertex-i (function)
• vrtc-bar (generic function)
• vrtc-bar (method)
• vrtc-bar (method)
• vrtc-bar (method)
• vrtc-bar (method)
• vrtc-cobar (generic function)
• vrtc-cobar (method)
• vrtc-cobar (method)
• vrtc-cobar (method)
• vrtc-cobar (method)
• what-is (function)
• with--term (macro)
• with-absm (macro)
• with-cmbn (macro)
• with-crpr (macro)
• with-term (macro)
• with-tnpr (macro)
• z-absm-bar (function)
• z-bar-absm (function)
• z-chcm (function)
• z-cocycle-gbar (function)
• z-cocycle-gbar-head (function)
• z-fundamental-gmsm (function)
• z-whitehead (function)
• z-whitehead-sintr (function)
• z2-absm-bar (function)
• z2-bar-absm (function)
• z2-cocycle-gbar (function)
• z2-cocycle-gbar-head (function)
• z2-fundamental-gmsm (function)
• z2-whitehead (function)
• z2-whitehead-sintr (function)
• zero-cmbn (function)
• zero-intr-dffr (function)
• zero-mrph (function)

Internal Definitions

• *algb-list* (special variable)
• *clgb-list* (special variable)
• *future-display* (special variable)
• *hmeq-list* (special variable)
• *hopf-list* (special variable)
• *idnm-counter* (special variable)
• *kan-list* (special variable)
• *rdct-list* (special variable)
• *results-cmlt-tm* (special variable)
• *results-coef* (special variable)
• *results-max* (special variable)
• *results-n* (special variable)
• *smgr-list* (special variable)
• *smmr-list* (special variable)
• *smst-list* (special variable)
• *start-stack* (special variable)
• *time-interval* (special variable)
• *wrong-cmbn* (special variable)
• +2-exp+ (constant)
• +f-empty-vector+ (constant)
• +false+ (constant)
• +gnrts-pckg+ (constant)
• +mask+ (constant)
• +maximal-dimension+ (special variable)
• +null-allp+ (special variable)
• +s-empty-vector+ (constant)
• +true+ (constant)
• +zero-negative-cmbn+ (constant)
• -bdegr (macro)
• -bgnrt (macro)
• -cdegr (macro)
• -cffc (macro)
• -cgnrt (macro)
• -gnrt (macro)
• -term (macro)
• ?-clnm (generic function)
• ?-clnm (method)
• (setf ?-clnm) (method)
• (setf ?-clnm) (generic function)
• ???-clnm (generic function)
• ???-clnm (method)
• (setf ???-clnm) (method)
• (setf ???-clnm) (generic function)
• a-basis2 (function)
• a-grin4 (function)
• a-grml4 (function)
• abar-p (function)
• abar-print (function)
• algb (function)
• algebra (class)
• allp-p (function)
• allp-print (function)
• any (type)
• apdgop (macro)
• apexpn (macro)
• apgmsm (macro)
• apowr-p (function)
• aprd1 (generic function)
• aprd1 (method)
• bar-intr-dffr (function)
• basecol (macro)
• baselig (macro)
• basic-perturbation-lemma (function)
• basis1 (generic function)
• basis1 (method)
• basis2 (function)
• basis3 (macro)
• bcc1 (generic function)
• bcc1 (method)
• bcnx (function)
• (setf bcnx) (function)
• bdegr (macro)
• bgnrt (macro)
• bicn (structure)
• bicn-p (function)
• bicn-print (function)
• bicone-intr-dffr (function)
• bpl-*-sigma (function)
• brgn-p (function)
• build-ab-smgr (macro)
• build-algb (function)
• build-clgb (function)
• build-smgr (function)
• cbgn-p (function)
• cdegr (macro)
• cffc-p (function)
• cgnrt (macro)
• change-chcm-to-clgb (function)
• change-sorc-trgt (function)
• chcm-homology-gen-old (function)
• chercher-hor (function)
• chercher-ver (function)
• circle-basis (function)
• circle-cmpr (function)
• classifying-space-efhm (function)
• clean-results (function)
• clgb (function)
• cmbn-abar-cmbn-tnpr (function)
• cmbn-allp-cmbn-tnpr (function)
• cmbn-gmsms (function)
• cmbn-p (function)
• cmbn-print (function)
• cmpr1 (generic function)
• cmpr1 (method)
• cmpr3 (macro)
• cmprf (type)
• coalgebra (class)
• cobar-intr-dffr (function)
• column-number (macro)
• cone-efhm (function)
• cone-p (function)
• cone-print (function)
• control (macro)
• controln (macro)
• conx (function)
• (setf conx) (function)
• copier-matrice (function)
• copy-abar (function)
• copy-absm (function)
• copy-allp (function)
• copy-bicn (function)
• copy-cmbn (function)
• copy-cone (function)
• copy-crpr (function)
• copy-gbar (function)
• copy-loop (function)
• copy-matrice (function)
• copy-result (function)
• copy-t-mat (function)
• copy-tnpr (function)
• cprd1 (generic function)
• cprd1 (method)
• creer-matrice (function)
• crpr-p (function)
• crpr-print (function)
• crpr2 (macro)
• crpr4 (macro)
• cs-hat-left-perturbation (function)
• cs-hat-right-perturbation (function)
• cs-hat-right-perturbation-intr (function)
• cs-hat-u-u (function)
• cs-pre-left-hmeq-left-reduction-f (function)
• cs-pre-left-hmeq-left-reduction-g (function)
• cs-pre-left-hmeq-left-reduction-h (function)
• cs-pre-left-hmeq-left-reduction-intr-h (function)
• cs-pre-left-hmeq-right-reduction-f (function)
• cs-pre-left-hmeq-right-reduction-g (function)
• cs-pre-left-hmeq-right-reduction-h (function)
• define-constant (macro)
• degr1 (function)
• (setf degr1) (function)
• degr2 (function)
• (setf degr2) (function)
• deltab-bndr (function)
• deltab-cmpr (function)
• deltab2-face (function)
• disp-colonne (function)
• disp-ligne (function)
• disp-matrice (function)
• disp-matrice-colonnes (function)
• disp-p (function)
• disp-peigne (function)
• diviseur (function)
• dlop (type)
• dstr-change-sorc-trgt (function)
• easy-perturbation-lemma (function)
• echcm-without-epi (function)
• eilenberg-zilber (macro)
• expn (macro)
• expn (type)
• expn-p (function)
• f1 (generic function)
• f1 (method)
• face* (type)
• face1 (generic function)
• face1 (method)
• face4 (function)
• fibration (type)
• fibration-kfll (function)
• fibration-p (function)
• fibration-total-efhm (function)
• fibration-total-face (function)
• finite-ss-basis (function)
• finite-ss-face (function)
• finite-ss-find-gmsm (function)
• finite-ss-finish-entry (function)
• finite-ss-finish-line (function)
• finite-ss-finish-table (function)
• finite-ss-intr-bndr (function)
• g1 (generic function)
• g1 (method)
• gbar-dmns (function)
• (setf gbar-dmns) (function)
• gbar-list (function)
• (setf gbar-list) (function)
• gbar-p (function)
• gbar-print (function)
• generateur-torsion-h* (function)
• gnrt-allp-tnpr (macro)
• gnrt1 (function)
• (setf gnrt1) (function)
• gnrt2 (function)
• (setf gnrt2) (function)
• grin1 (generic function)
• grin1 (method)
• grmd (generic function)
• grmd (method)
• grml1 (generic function)
• grml1 (method)
• h1 (generic function)
• h1 (method)
• hmtp-vrtc-bar (function)
• hmtp-vrtc-cobar (function)
• hopf-algebra (class)
• iabar (type)
• iabar-p (function)
• iabsm-p (function)
• iallp (type)
• iallp-p (function)
• ibicn (function)
• (setf ibicn) (function)
• icmbn (type)
• icmbn-p (function)
• icol (function)
• (setf icol) (function)
• icon (function)
• (setf icon) (function)
• identite (function)
• ilig (function)
• (setf ilig) (function)
• iloop (type)
• iloop-p (function)
• info-bndr (macro)
• info-face-i (macro)
• info-faces (macro)
• info-gmsm (macro)
• init-peigne-hor (function)
• init-peigne-ver (function)
• inserer-terme (function)
• intr (generic function)
• intr (method)
• intr-mrph (type)
• intr-phi-2 (function)
• k-z2-1-grin (function)
• k-z2-1-grin-intr (function)
• k-z2-1-grml (function)
• k-z2-1-grml-intr (function)
• kfll1 (generic function)
• kfll1 (method)
• kfll4 (macro)
• kz1-efhm (function)
• kz1-rdct-f (function)
• kz1-rdct-g (function)
• kz1-rdct-g-intr (function)
• kz1-rdct-h (function)
• lbcc (macro)
• lbcc1 (generic function)
• lbcc1 (method)
• left (function)
• (setf left) (function)
• left-crts-prdc-efhm (function)
• left-serre-efhm (function)
• leftcol (function)
• (setf leftcol) (function)
• lf1 (generic function)
• lf1 (method)
• lg1 (generic function)
• lg1 (method)
• lh (macro)
• lh1 (generic function)
• lh1 (method)
• line-number (macro)
• loop-p (function)
• loop-space-efhm (function)
• loop-space-face* (function)
• ls-hat-left-perturbation (function)
• ls-hat-left-perturbation-intr (function)
• ls-hat-right-perturbation (function)
• ls-hat-u-u (function)
• ls-left-hmeq-left-reduction-g (function)
• ls-pre-left-hmeq-left-reduction-f (function)
• ls-pre-left-hmeq-left-reduction-h (function)
• ls-pre-left-hmeq-right-reduction-f (function)
• ls-pre-left-hmeq-right-reduction-g (function)
• ls-pre-left-hmeq-right-reduction-h (function)
• maj-colonne (function)
• maj-ligne (function)
• maj-matrice (function)
• maj-peigne-hor (function)
• maj-peigne-ver (function)
• maj-terme (function)
• make-bicn (function)
• make-cone (function)
• make-crpr (function)
• make-gmsm-faces-info (macro)
• make-matrice (function)
• make-t-mat (function)
• make-tnpr (function)
• matrice (structure)
• matrice-p (function)
• matrix (type)
• moore-basis (function)
• moore-cmpr (function)
• moore-face (function)
• moore-intr-bndr (function)
• mrph-cmbn (function)
• mrph-gnrt (function)
• n-col (function)
• n-lig (function)
• n-mrph-intr (function)
• ncol (function)
• nlig (function)
• nresults (function)
• op-col (function)
• op-col-n (function)
• op-elem (function)
• op-lig (function)
• op-lig-n (function)
• peigne-hor (function)
• peigne-ver (function)
• pgmsm (macro)
• pivot (function)
• pivot-parallele (function)
• powr (macro)
• powr (type)
• powr-p (function)
• print-keycons (generic function)
• print-keycons (method)
• r-proj-space-cmpr (function)
• r-proj-space-face (function)
• r-proj-space-intr-bndr (function)
• rbcc1 (generic function)
• rbcc1 (method)
• reste (function)
• reste-minimal-colonne (function)
• reste-minimal-ligne (function)
• result (structure)
• result-clnm (function)
• (setf result-clnm) (function)
• result-gnrt (function)
• (setf result-gnrt) (function)
• result-p (function)
• result-print (function)
• result-rntm (function)
• (setf result-rntm) (function)
• result-value (function)
• (setf result-value) (function)
• rf1 (generic function)
• rf1 (method)
• rg1 (generic function)
• rg1 (method)
• rh (macro)
• rh1 (generic function)
• rh1 (method)
• rslts (generic function)
• rslts (method)
• search-efhm (generic function)
• search-efhm (method)
• search-efhm (method)
• search-efhm (method)
• search-efhm (method)
• search-efhm (method)
• search-efhm (method)
• search-efhm (method)
• search-efhm (method)
• search-efhm (method)
• search-efhm (method)
• sintr-intr (function)
• smgr-aprd (function)
• smgr-crts-contraction-intr (function)
• smgr-fibration-sintr (function)
• smgr-kfll (function)
• smgr-kfll-intr (function)
• smith (function)
• smmr (function)
• special-bpl (function)
• special-bpl-2 (function)
• sphere-basis (function)
• sphere-cmpr (function)
• sphere-wedge-basis (function)
• sphere-wedge-face (function)
• strt (generic function)
• strt (method)
• strt (type)
• supprimer-terme (function)
• suspension-1 (generic function)
• suspension-1 (method)
• suspension-1 (method)
• suspension-1 (method)
• suspension-1 (method)
• suspension-1 (method)
• suspension-1 (method)
• t-mat (structure)
• t-mat-p (function)
• tcc1 (generic function)
• tcc1 (method)
• tcc1 (method)
• term-p (function)
• terme (function)
• terme-minimal-matrice (function)
• terminer-h* (function)
• time-list (function)
• trgt (generic function)
• trgt (method)
• tuer-colonne (function)
• tuer-ligne (function)
• up (function)
• (setf up) (function)
• uplig (function)
• (setf uplig) (function)
• val (function)
• (setf val) (function)
• with--brgn (macro)
• with--cbgn (macro)
• with-abar (macro)
• with-allp (macro)
• with-apowr (macro)
• with-bicn (macro)
• with-brgn (macro)
• with-cbgn (macro)
• with-cone (macro)
• with-crpr-2 (macro)
• with-crpr-4 (macro)
• with-gbar (macro)
• with-powr (macro)
• z-wwhitehead-sintr (function)
• z2-wwhitehead-sintr (function)