The kenzo Reference Manual

Table of Contents

The kenzo Reference Manual

This is the kenzo Reference Manual, version 1.1.9, generated automatically by Declt version 3.0 "Montgomery Scott" on Mon Apr 19 16:33:41 2021 GMT+0.

1 Introduction

Welcome to Kenzo

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!

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

Source

kenzo.asd (file)

Component

src (module)

3 Modules

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

3.1 kenzo/src

Parent

kenzo (system)

Location

src/

Components

• kenzo-7 (module)
• kenzo-8 (module)
• kenzo-9 (module)

3.2 kenzo/src/kenzo-7

Parent

src (module)

Location

src/kenzo-7/

Components

• package.lisp (file)
• 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)

3.3 kenzo/src/kenzo-8

Parent

src (module)

Location

src/kenzo-8/

Components

• package.lisp (file)
• cat-init.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)

3.4 kenzo/src/kenzo-9

Parent

src (module)

Location

src/kenzo-9/

Components

• package.lisp (file)
• cat-init.lisp (file)
• macros.lisp (file)
• various.lisp (file)
• classes.lisp (file)
• combinations.lisp (file)
• chain-complexes.lisp (file)
• chain-complexes-dvf.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)
• fibrations-dvf.lisp (file)
• loop-spaces.lisp (file)
• ls-twisted-products.lisp (file)
• lp-space-efhm.lisp (file)
• classifying-spaces.lisp (file)
• classifying-spaces-dvf.lisp (file)
• k-pi-n.lisp (file)
• serre.lisp (file)
• cs-twisted-products.lisp (file)
• cl-space-efhm.lisp (file)
• whitehead.lisp (file)
• new-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/src/kenzo-7/package.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/package.lisp

Packages

cat-7

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

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/abbreviations.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/abbreviations.lisp

Exported Definitions

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

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

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/various.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/classes.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/combinations.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/chain-complexes.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/chcm-elementary-op.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/effective-homology.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/homology-groups.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/searching-homology.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/cones.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/bicones.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/tensor-products.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/coalgebras.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/coalgebras.lisp

Internal Definitions

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

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

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/algebras.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/algebras.lisp

Exported Definitions

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

Internal Definitions

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

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

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/simplicial-sets.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/simplicial-mrphs.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/delta.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/special-smsts.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/suspensions.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/disk-pasting.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/cartesian-products.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/eilenberg-zilber.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/kan.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/kan.lisp

Exported Definitions

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

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

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

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

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

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

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/ls-twisted-products.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/lp-space-efhm.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/classifying-spaces.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/k-pi-n.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/serre.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/cs-twisted-products.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/cl-space-efhm.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/whitehead.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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/kenzo-7/smith.lisp

Parent

kenzo-7 (module)

Location

src/kenzo-7/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)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/package.lisp

Packages

cat-8

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/cat-init.lisp

Exported Definitions

• *cmbn-control* (special variable)
• kenzo-version (function)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/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)
• 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)
• define-constant (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.45 kenzo/src/kenzo-8/various.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/various.lisp

Exported Definitions

• +empty-list+ (constant)
• <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)

Internal Definitions

• +2-exp+ (constant)
• +f-empty-vector+ (constant)
• +false+ (constant)
• +mask+ (constant)
• +s-empty-vector+ (constant)
• +true+ (constant)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/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)
• 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

• *idnm-counter* (special variable)
• ?-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)
• 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.47 kenzo/src/kenzo-8/combinations.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/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)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/chain-complexes.lisp

Exported Definitions

• *chcm-list* (special variable)
• *list-list* (special variable)
• *mrph-list* (special variable)
• *results-verbose* (special variable)
• +too-much-time+ (special variable)
• ?2 (method)
• ?2 (method)
• ?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

• *future-display* (special variable)
• *results-cmlt-tm* (special variable)
• *results-coef* (special variable)
• *results-max* (special variable)
• *results-n* (special variable)
• *start-stack* (special variable)
• *time-interval* (special variable)
• +maximal-dimension+ (special variable)
• basis2 (function)
• clean-results (function)
• mrph-cmbn (function)
• mrph-gnrt (function)
• nresults (function)
• time-list (function)

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

• add (method)
• add (method)
• cmps (method)
• cmps (method)
• cmps (method)
• cmps (method)
• idnt-mrph (function)
• n-mrph (function)
• opps (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.50 kenzo/src/kenzo-8/effective-homology.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/effective-homology.lisp

Exported Definitions

• *bc* (special variable)
• *bdd* (special variable)
• *df-fd* (special variable)
• *dg-gd* (special variable)
• *fh* (special variable)
• *hg* (special variable)
• *hh* (special variable)
• *id-fg* (special variable)
• *id-gf-dh-hd* (special variable)
• *tc* (special variable)
• *tdd* (special variable)
• add (method)
• add (method)
• build-hmeq (method)
• build-hmeq (method)
• build-rdct (function)
• check-rdct (function)
• cmps (method)
• hmeq (method)
• pre-check-rdct (function)
• rdct (function)
• trivial-hmeq (function)
• trivial-rdct (function)

Internal Definitions

• *hmeq-list* (special variable)
• *rdct-list* (special variable)
• basic-perturbation-lemma (function)
• bpl-*-sigma (function)
• easy-perturbation-lemma (function)
• special-bpl (function)
• special-bpl-2 (function)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/homology-groups.lisp

Exported Definitions

• *homology-verbose* (special variable)
• 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.52 kenzo/src/kenzo-8/searching-homology.lisp

Parent

kenzo-8 (module)

Location

src/kenzo-8/searching-homology.lisp

Exported Definitions

• echcm (function)
• homology (method)

Internal Definitions

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