The kenzo Reference Manual

1 Introduction
2 Systems
- 2.1 kenzo
3 Modules
4 Files
- 4.1 Lisp
5 Packages
6 Definitions
- 6.1 Exported definitions
- 6.2 Internal definitions
Appendix A Indexes

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 Dec 02 10:35:39 2019 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:

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

The primary source of documentation is the excellent Kenzo Handbook. The easiest way to get started with Kenzo is to peruse a matching set of Jupyter notebooks. In the notebooks folder, there is one notebook for each chapter in the Kenzo handbook. NOTE: The first time you try to access the Kenzo JupterHub site, you will be prompted to authenticate via GitHub.

Please consult the Wiki for news, different installation methods, and other Kenzo topics.

Enjoy!

Overview

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

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/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)
search-efhm (method)

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

Parent

kenzo-8 (module)

Location

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

bicone-intr-dffr (function)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/tensor-products.lisp

Exported Definitions

*tnpr-with-degrees* (special variable)
2cmbn-tnpr (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.56 `kenzo/src/kenzo-8/coalgebras.lisp`

Parent

kenzo-8 (module)

Location

src/kenzo-8/coalgebras.lisp

Internal Definitions

*clgb-list* (special variable)
build-clgb (function)
change-chcm-to-clgb (function)
clgb (function)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/cobar.lisp

Exported Definitions

allp (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 (method)
vrtc-cobar (method)
vrtc-cobar (method)
vrtc-cobar (method)

Internal Definitions

+null-allp+ (constant)
cmbn-allp-cmbn-tnpr (function)
cobar-intr-dffr (function)
hmtp-vrtc-cobar (function)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/algebras.lisp

Exported Definitions

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

Internal Definitions

*algb-list* (special variable)
*hopf-list* (special variable)
algb (function)
build-algb (function)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/bar.lisp

Exported Definitions

+null-abar+ (constant)
abar (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 (method)
vrtc-bar (method)
vrtc-bar (method)
vrtc-bar (method)

Internal Definitions

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

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/simplicial-sets.lisp

Exported Definitions

1dgnr (function)
1dgop*dgop (function)
1dlop-dgop (function)
a-cmpr3 (function)
a-face4 (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)
smst (function)

Internal Definitions

*smst-list* (special variable)
a-basis2 (function)
face4 (function)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/simplicial-mrphs.lisp

Exported Definitions

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

Internal Definitions

*smmr-list* (special variable)
sintr-intr (function)
smmr (function)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/delta.lisp

Exported Definitions

delta (function)
delta (structure)
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

copy-delta (function)
delta-cdr (function)
(setf delta-cdr) (function)
delta-p (function)
deltab-bndr (function)
deltab-cmpr (function)
deltab2-face (function)
make-delta (function)
skeleton (function)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/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)
display-finite-ss (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.64 `kenzo/src/kenzo-8/suspensions.lisp`

Parent

kenzo-8 (module)

Location

src/kenzo-8/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 (method)
suspension-1 (method)
suspension-1 (method)
suspension-1 (method)
suspension-1 (method)
suspension-1 (method)

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

Parent

kenzo-8 (module)

Location

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

Parent

kenzo-8 (module)

Location

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

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

Parent

kenzo-8 (module)

Location

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/kan.lisp

Exported Definitions

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

Internal Definitions

*kan-list* (special variable)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/simplicial-groups.lisp

Exported Definitions

smgr (function)

Internal Definitions

*smgr-list* (special variable)
a-grin4 (function)
a-grml4 (function)
build-smgr (function)
smgr-aprd (function)
smgr-kfll (function)
smgr-kfll-intr (function)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/fibrations.lisp

Exported Definitions

fibration-total (function)

Internal Definitions

fibration-kfll (function)
fibration-total-face (function)
fibre->total (function)

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/loop-spaces.lisp

Exported Definitions

+null-loop+ (constant)
apowr-face4 (function)
apowr-lastface4 (function)
apowr-niloop (function)
gdeltab (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.72 `kenzo/src/kenzo-8/ls-twisted-products.lisp`

Parent

kenzo-8 (module)

Location

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

Parent

kenzo-8 (module)

Location

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/classifying-spaces.lisp

Exported Definitions

+null-gbar+ (constant)
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)

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

Parent

kenzo-8 (module)

Location

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

Exported Definitions

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

Parent

kenzo-8 (module)

Location

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

Parent

kenzo-8 (module)

Location

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

Parent

kenzo-8 (module)

Location

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

Parent

kenzo-8 (module)

Location

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

Parent

kenzo-8 (module)

Location

src/kenzo-8/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.81 `kenzo/src/kenzo-9/package.lisp`

Parent: kenzo-9 (module)
Location: src/kenzo-9/package.lisp
Packages: cat-9

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/cat-init.lisp

Exported Definitions

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

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

Parent

kenzo-9 (module)

Location

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

Parent

kenzo-9 (module)

Location

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/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 (function)
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)
dgop-ext-int (function)
dgop-int-ext (function)
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)
hyphenize-list (function)
idnm (method)
idnm (method)
idnm (method)
idnm (method)
kan (class)
kfll (type)
loop-list (function)
(setf loop-list) (function)
loop-print (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)
ab-algebra (class)
abar-p (function)
algebra (class)
allp-p (function)
allp-print (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)
effective-homology (type)
effective-homology-p (function)
equivalence (class)
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)
gbar-print (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.86 `kenzo/src/kenzo-9/combinations.lisp`

Parent

kenzo-9 (module)

Location

src/kenzo-9/combinations.lisp

Exported Definitions

2cmbn-add (function)
2cmbn-sbtr (function)
2n-2cmbn (function)
check-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.87 `kenzo/src/kenzo-9/chain-complexes.lisp`

Parent

kenzo-9 (module)

Location

src/kenzo-9/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 (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

*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.88 `kenzo/src/kenzo-9/chain-complexes-dvf.lisp`

Parent

kenzo-9 (module)

Location

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

Internal Definitions

chcm-vf-reduction (function)
chcm-vf-reduction-dp-impl (function)
chcm-vf-reduction-f (function)
chcm-vf-reduction-f-impl (function)
chcm-vf-reduction-g (function)
chcm-vf-reduction-g-impl (function)
chcm-vf-reduction-h (function)
cmbn-select-stts (function)
common-face (function)
copy-vctr (function)
critical-p (function)
delta-vf (function)
ez-isof (function)
ez-isog (function)
ez-vf (function)
find-crtc (function)
incd (function)
(setf incd) (function)
make-vctr (function)
print-tree (function)
print-vpath (function)
source-p (function)
status (function)
stts (function)
(setf stts) (function)
stts (type)
target-p (function)
v-path (function)
valu (function)
(setf valu) (function)
vctr (function)
vctr (structure)
vctr-p (function)
vector-field (type)

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

Parent

kenzo-9 (module)

Location

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

Exported Definitions

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/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 (generic function)
build-hmeq (method)
build-hmeq (method)
build-rdct (function)
check-rdct (function)
cmps (method)
cmps (method)
hmeq (function)
pre-check-rdct (function)
rdct (function)
sbtr (method)
sbtr (method)
sbtr (method)
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)
efhm-rdct (function)
special-bpl-1 (function)
special-bpl-2 (function)

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/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)
matrix-line (function)
matrix-transpose (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.92 `kenzo/src/kenzo-9/searching-homology.lisp`

Parent

kenzo-9 (module)

Location

src/kenzo-9/searching-homology.lisp

Exported Definitions

echcm (function)
homology (function)

Internal Definitions

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

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

Parent

kenzo-9 (module)

Location

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

Parent

kenzo-9 (module)

Location

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/tensor-products.lisp

Exported Definitions

*tnpr-with-degrees* (special variable)
2cmbn-tnpr (function)
tnpr-print (function)
tnsr-prdc (generic function)
tnsr-prdc (method)
tnsr-prdc (method)
tnsr-prdc (method)
tnsr-prdc (method)
tnsr-prdc (method)
tnsr-prdc (method)
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

coalgebra-tnsr-prdc-impl (function)
search-efhm (method)
t-aabb-abab-impl (function)

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/coalgebras.lisp

Exported Definitions

tnsr-prdc (method)

Internal Definitions

*clgb-list* (special variable)
build-clgb (function)
change-chcm-to-clgb (function)
clgb (function)

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/cobar.lisp

Exported Definitions

allp (function)
cobar (generic function)
cobar (method)
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+ (constant)
cmbn-allp-cmbn-tnpr (function)
cobar-intr-dffr (function)
hmtp-vrtc-cobar (function)

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/algebras.lisp

Exported Definitions

hopf (function)

Internal Definitions

*algb-list* (special variable)
*hopf-list* (special variable)
algb (function)
build-algb (function)

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/bar.lisp

Exported Definitions

+null-abar+ (constant)
abar (function)
bar (generic function)
bar (method)
bar (method)
bar (method)
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

bar-aprd-impl (function)
bar-intr-dffr (function)
cmbn-abar-cmbn-tnpr (function)
elem-ext-algebra (function)
elem-ext-algebra-basis (function)
elem-ext-algebra-cmpr (function)
elem-ext-algebra-gnrt (function)
elem-ext-algebra-intr-aprd (function)
elem-ext-algebra-intr-dffr (function)
hmtp-vrtc-bar (function)
iabar-cmpr (function)

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/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/dgop (function)
dlop-ext-int (function)
dlop-int-ext (function)
face*-bndr (function)
face-bndr (function)
intr-diagonal (function)
ndgnr (function)
nface (function)
remove-bit (function)
smst (function)

Internal Definitions

*smst-list* (special variable)
a-basis1 (function)
a-basis2 (function)
face4 (function)
smst-achcm-cmpr (function)

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/simplicial-mrphs.lisp

Exported Definitions

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

Internal Definitions

*smmr-list* (special variable)
sintr-intr (function)
smmr (function)

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/delta.lisp

Exported Definitions

delta (function)
delta (structure)
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

copy-delta (function)
delta-cdr (function)
(setf delta-cdr) (function)
delta-p (function)
deltab-bndr (function)
deltab-cmpr (function)
deltab2-face (function)
make-delta (function)
skeleton (function)

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/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)
moore (function)
r-proj-space (function)
r-proj-space-basis (function)
sphere (function)
sphere-face (function)
sphere-wedge (function)
vertex-i (function)

Internal Definitions

display-finite-ss (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.104 `kenzo/src/kenzo-9/suspensions.lisp`

Parent

kenzo-9 (module)

Location

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/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)
mrph-disk-pasting (function)
mrph-disk-pasting-intr (function)

Internal Definitions

disk-pasting-hmeq (function)
disk-pasting-reduction-bpl (function)
disk-pasting-reduction-easy (function)
search-efhm (method)
search-efhm (method)

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

Parent

kenzo-9 (module)

Location

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/eilenberg-zilber.lisp

Exported Definitions

aw (function)
cmps (method)
eml (function)
ez (function)
intr-aw (function)
intr-eml (function)
phi (function)
shuffle-sign (function)

Internal Definitions

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

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/kan.lisp

Exported Definitions

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

Internal Definitions

*kan-list* (special variable)

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/simplicial-groups.lisp

Exported Definitions

smgr (function)

Internal Definitions

*smgr-list* (special variable)
a-grin4 (function)
a-grml4 (function)
build-smgr (function)
smgr-aprd (function)
smgr-kfll (function)
smgr-kfll-intr (function)

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/fibrations.lisp

Exported Definitions

fibration-total (function)

Internal Definitions

fibration-kfll (function)
fibration-total-face (function)
fibre->total (function)

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/fibrations-dvf.lisp

Internal Definitions

search-efhm (method)
twisted-ez (function)
twisted-product-efhm (function)
twisted-product-efhm-brdct (function)

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/loop-spaces.lisp

Exported Definitions

+null-loop+ (constant)
apowr-face4 (function)
apowr-lastface4 (function)
apowr-niloop (function)
gdeltab (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.113 `kenzo/src/kenzo-9/ls-twisted-products.lisp`

Parent

kenzo-9 (module)

Location

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

Parent

kenzo-9 (module)

Location

src/kenzo-9/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-left-rdct (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.115 `kenzo/src/kenzo-9/classifying-spaces.lisp`

Parent

kenzo-9 (module)

Location

src/kenzo-9/classifying-spaces.lisp

Exported Definitions

+null-gbar+ (constant)
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)

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

Parent

kenzo-9 (module)

Location

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

Internal Definitions

classifying-space-efhm (function)
cs-vf (function)
g-cs-isof (function)
g-cs-isof-gnrt (function)
g-cs-isog (function)
g-cs-isog-gnrt (function)
g-cs-rdct (function)
search-efhm (method)
special-chcm-vf-reduction (function)

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

Parent

kenzo-9 (module)

Location

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

Exported Definitions

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-aprd-impl (function)
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-rdct-f (function)
kz1-rdct-g (function)
kz1-rdct-g-intr (function)
kz1-rdct-h (function)
search-efhm (method)

4.1.118 `kenzo/src/kenzo-9/whitehead.lisp`

Parent

kenzo-9 (module)

Location

src/kenzo-9/whitehead.lisp

Exported Definitions

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

4.1.119 `kenzo/src/kenzo-9/new-smith.lisp`

Parent

kenzo-9 (module)

Location

src/kenzo-9/new-smith.lisp

Exported Definitions

chcm-mtrx (macro)
chml-clss (function)
chml-clss-intr (function)
column-minus (function)
column-op (function)
column-swap (function)
copy-mtrx (macro)
echcm-kill-epi (function)
echcm-kill-epi-f-intr (function)
echcm-kill-epi-g-intr (function)
echcm-kill-epi-h-intr (function)
equal-matrix (function)
extract-column (function)
extract-line (function)
extract-term (function)
gnrt-name-basis (function)
idnt-mtrx (macro)
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)
new-column (function)
new-line (function)
pivott (function)
random-matrix (macro)
safe-* (function)
safe-+ (function)
safe-- (function)

Internal Definitions

+gnrts-pckg+ (constant)
chml-clss-last (function)
echcm-without-epi (function)
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-7`

Source

package.lisp (file)

Nicknames

kenzo
cat

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)

5.3 `cat-8`

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)
+empty-list+ (constant)
+null-abar+ (constant)
+null-gbar+ (constant)
+null-loop+ (constant)
+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)
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-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)
degenerate-p (macro)
degr (generic function)
degr (method)
delta (function)
delta (structure)
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)
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-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)
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)
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)
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+ (constant)
+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)
algb (function)
algebra (class)
allp-p (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)
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)
cmpr1 (generic function)
cmpr1 (method)
cmpr3 (macro)
cmprf (type)
coalgebra (class)
cobar-intr-dffr (function)
column-number (macro)
cone-efhm (function)
cone-p (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-delta (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)
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)
delta-cdr (function)
(setf delta-cdr) (function)
delta-p (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)
display-finite-ss (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)
fibre->total (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)
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)
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-delta (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)
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-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)
skeleton (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)

5.4 `cat-9`

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)
+empty-list+ (constant)
+null-abar+ (constant)
+null-gbar+ (constant)
+null-loop+ (constant)
+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 (method)
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)
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)
chcm (function)
chcm-disk-pasting (function)
chcm-homology (function)
chcm-homology-gen (function)
chcm-mat (function)
chcm-mtrx (macro)
check-cmbn (function)
check-faces (function)
check-hat (function)
check-kan (function)
check-rdct (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)
cmps (method)
cmps (method)
cobar (generic function)
cobar (method)
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 (macro)
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)
d (macro)
degenerate-p (macro)
degr (generic function)
degr (method)
delta (function)
delta (structure)
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)
equal-matrix (function)
extract-column (function)
extract-common-dgop (function)
extract-line (function)
extract-term (function)
ez (function)
f (macro)
f-cmpr (function)
face (macro)
face (type)
face*-bndr (function)
face-bndr (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)
gnrt (macro)
gnrt (type)
gnrt-? (function)
gnrt-name (macro)
gnrt-name-basis (function)
grin (macro)
grml (macro)
h (macro)
hmeq (function)
hmtp-vrtc-bar-intr (function)
hmtp-vrtc-cobar-intr (function)
homologie (function)
homology (function)
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)
idnm (generic function)
idnm (method)
idnm (method)
idnm (method)
idnm (method)
idnt-mrph (function)
idnt-mtrx (macro)
interesting-faces (function)
intr-aw (function)
intr-diagonal (function)
intr-eml (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)
new-column (function)
new-line (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 (macro)
rbcc (macro)
rdct (function)
reduction (class)
remove-bit (function)
rf (macro)
rg (macro)
rrdct (generic function)
rrdct (method)
s-cmpr (function)
safe-* (function)
safe-+ (function)
safe-- (function)
sbtr (generic function)
sbtr (method)
sbtr (method)
sbtr (method)
sbtr (method)
shuffle-sign (function)
simplicial-group (class)
simplicial-mrph (class)
simplicial-set (class)
sintr (generic function)
sintr (method)
sintr (type)
smgr (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 (method)
tnsr-prdc (method)
tnsr-prdc (method)
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)
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+ (constant)
+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-basis1 (function)
a-basis2 (function)
a-grin4 (function)
a-grml4 (function)
ab-algebra (class)
abar-p (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-aprd-impl (function)
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)
chcm-vf-reduction (function)
chcm-vf-reduction-dp-impl (function)
chcm-vf-reduction-f (function)
chcm-vf-reduction-f-impl (function)
chcm-vf-reduction-g (function)
chcm-vf-reduction-g-impl (function)
chcm-vf-reduction-h (function)
chercher-hor (function)
chercher-ver (function)
chml-clss-last (function)
circle-aprd-impl (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-p (function)
cmbn-select-stts (function)
cmpr1 (generic function)
cmpr1 (method)
cmpr3 (macro)
cmprf (type)
coalgebra (class)
coalgebra-tnsr-prdc-impl (function)
cobar-intr-dffr (function)
column-number (macro)
common-face (function)
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-delta (function)
copy-gbar (function)
copy-loop (function)
copy-matrice (function)
copy-result (function)
copy-t-mat (function)
copy-tnpr (function)
copy-vctr (function)
cprd1 (generic function)
cprd1 (method)
creer-matrice (function)
critical-p (function)
crpr-p (function)
crpr-print (function)
crpr2 (macro)
crpr4 (macro)
cs-vf (function)
define-constant (macro)
degr1 (function)
(setf degr1) (function)
degr2 (function)
(setf degr2) (function)
delta-cdr (function)
(setf delta-cdr) (function)
delta-p (function)
delta-vf (function)
deltab-bndr (function)
deltab-cmpr (function)
deltab2-face (function)
disk-pasting-hmeq (function)
disk-pasting-reduction-bpl (function)
disk-pasting-reduction-easy (function)
disp-colonne (function)
disp-ligne (function)
disp-matrice (function)
disp-matrice-colonnes (function)
disp-p (function)
disp-peigne (function)
display-finite-ss (function)
diviseur (function)
dlop (type)
dstr-change-sorc-trgt (function)
easy-perturbation-lemma (function)
echcm-without-epi (function)
effective-homology (type)
effective-homology-p (function)
efhm-rdct (function)
eilenberg-zilber (macro)
elem-ext-algebra (function)
elem-ext-algebra-basis (function)
elem-ext-algebra-cmpr (function)
elem-ext-algebra-gnrt (function)
elem-ext-algebra-intr-aprd (function)
elem-ext-algebra-intr-dffr (function)
equivalence (class)
expn (macro)
expn (type)
expn-p (function)
ez-isof (function)
ez-isog (function)
ez-vf (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-face (function)
fibre->total (function)
find-crtc (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)
g-cs-isof (function)
g-cs-isof-gnrt (function)
g-cs-isog (function)
g-cs-isog-gnrt (function)
g-cs-rdct (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-cmpr (function)
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)
identite (function)
ilig (function)
(setf ilig) (function)
iloop (type)
iloop-p (function)
incd (function)
(setf incd) (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-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)
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-left-rdct (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-delta (function)
make-gmsm-faces-info (macro)
make-matrice (function)
make-t-mat (function)
make-tnpr (function)
make-vctr (function)
matrice (structure)
matrice-p (function)
matrix-line (function)
matrix-transpose (function)
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-tree (function)
print-vpath (function)
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-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)
search-efhm (method)
sintr-intr (function)
skeleton (function)
smgr-aprd (function)
smgr-kfll (function)
smgr-kfll-intr (function)
smith (function)
smmr (function)
smst-achcm-cmpr (function)
source-p (function)
special-bpl-1 (function)
special-bpl-2 (function)
special-chcm-vf-reduction (function)
sphere-basis (function)
sphere-cmpr (function)
sphere-wedge-basis (function)
sphere-wedge-face (function)
status (function)
strt (generic function)
strt (method)
strt (type)
stts (function)
(setf stts) (function)
stts (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-aabb-abab-impl (function)
t-mat (structure)
t-mat-p (function)
target-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)
twisted-ez (function)
twisted-product-efhm (function)
twisted-product-efhm-brdct (function)
up (function)
(setf up) (function)
uplig (function)
(setf uplig) (function)
v-path (function)
val (function)
(setf val) (function)
valu (function)
(setf valu) (function)
vctr (function)
vctr (structure)
vctr-p (function)
vector-field (type)
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)

6 Definitions

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

6.1 Exported definitions

6.1.1 Constants

Constant: +abbreviations+

Package: cat-7
Source: abbreviations.lisp (file)

Constant: +empty-list+

Package: cat-7
Source: kenzo.lisp (file)

Constant: +empty-list+

Package: cat-8
Source: various.lisp (file)

Constant: +empty-list+

Package: cat-9
Source: various.lisp (file)

Constant: +null-abar+

Package: cat-8
Source: bar.lisp (file)

Constant: +null-abar+

Package: cat-9
Source: bar.lisp (file)

Constant: +null-gbar+

Package: cat-8
Source: classifying-spaces.lisp (file)

Constant: +null-gbar+

Package: cat-9
Source: classifying-spaces.lisp (file)

Constant: +null-loop+

Package: cat-8
Source: loop-spaces.lisp (file)

Constant: +null-loop+

Package: cat-9
Source: loop-spaces.lisp (file)

6.1.2 Special variables

Special Variable: *bc*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *bc*

Package: cat-8
Source: effective-homology.lisp (file)

Special Variable: *bc*

Package: cat-9
Source: effective-homology.lisp (file)

Special Variable: *bdd*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *bdd*

Package: cat-8
Source: effective-homology.lisp (file)

Special Variable: *bdd*

Package: cat-9
Source: effective-homology.lisp (file)

Special Variable: *chcm-list*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *chcm-list*

Package: cat-8
Source: chain-complexes.lisp (file)

Special Variable: *chcm-list*

Package: cat-9
Source: chain-complexes.lisp (file)

Special Variable: *cmbn-control*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *cmbn-control*

Package: cat-8
Source: cat-init.lisp (file)

Special Variable: *cmbn-control*

Package: cat-9
Source: cat-init.lisp (file)

Special Variable: *df-fd*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *df-fd*

Package: cat-8
Source: effective-homology.lisp (file)

Special Variable: *df-fd*

Package: cat-9
Source: effective-homology.lisp (file)

Special Variable: *dg-gd*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *dg-gd*

Package: cat-8
Source: effective-homology.lisp (file)

Special Variable: *dg-gd*

Package: cat-9
Source: effective-homology.lisp (file)

Special Variable: *fh*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *fh*

Package: cat-8
Source: effective-homology.lisp (file)

Special Variable: *fh*

Package: cat-9
Source: effective-homology.lisp (file)

Special Variable: *hg*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *hg*

Package: cat-8
Source: effective-homology.lisp (file)

Special Variable: *hg*

Package: cat-9
Source: effective-homology.lisp (file)

Special Variable: *hh*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *hh*

Package: cat-8
Source: effective-homology.lisp (file)

Special Variable: *hh*

Package: cat-9
Source: effective-homology.lisp (file)

Special Variable: *homology-verbose*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *homology-verbose*

Package: cat-8
Source: homology-groups.lisp (file)

Special Variable: *homology-verbose*

Package: cat-9
Source: homology-groups.lisp (file)

Special Variable: *id-fg*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *id-fg*

Package: cat-8
Source: effective-homology.lisp (file)

Special Variable: *id-fg*

Package: cat-9
Source: effective-homology.lisp (file)

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

Package: cat-7
Source: kenzo.lisp (file)

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

Package: cat-8
Source: effective-homology.lisp (file)

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

Package: cat-9
Source: effective-homology.lisp (file)

Special Variable: *list-list*

The variable *LIST-LIST* is bound to a list of variable names, which are bound to lists of user created objects such as chain complexes, morphisms, etc.

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *list-list*

Package: cat-8
Source: chain-complexes.lisp (file)

Special Variable: *list-list*

Package: cat-9
Source: chain-complexes.lisp (file)

Special Variable: *mrph-list*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *mrph-list*

Package: cat-8
Source: chain-complexes.lisp (file)

Special Variable: *mrph-list*

Package: cat-9
Source: chain-complexes.lisp (file)

Special Variable: *results-verbose*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *results-verbose*

Package: cat-8
Source: chain-complexes.lisp (file)

Special Variable: *results-verbose*

Package: cat-9
Source: chain-complexes.lisp (file)

Special Variable: *tc*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *tc*

Package: cat-8
Source: effective-homology.lisp (file)

Special Variable: *tc*

Package: cat-9
Source: effective-homology.lisp (file)

Special Variable: *tdd*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *tdd*

Package: cat-8
Source: effective-homology.lisp (file)

Special Variable: *tdd*

Package: cat-9
Source: effective-homology.lisp (file)

Special Variable: *tnpr-with-degrees*

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: *tnpr-with-degrees*

Package: cat-8
Source: tensor-products.lisp (file)

Special Variable: *tnpr-with-degrees*

Package: cat-9
Source: tensor-products.lisp (file)

Special Variable: +null-abar+

Package: cat-7
Source: bar.lisp (file)

Special Variable: +null-gbar+

Package: cat-7
Source: classifying-spaces.lisp (file)

Special Variable: +null-loop+

Package: cat-7
Source: loop-spaces.lisp (file)

Special Variable: +too-much-time+

Package: cat-7
Source: kenzo.lisp (file)

Special Variable: +too-much-time+

Package: cat-8
Source: chain-complexes.lisp (file)

Special Variable: +too-much-time+

Package: cat-9
Source: chain-complexes.lisp (file)

6.1.3 Macros

Macro: -1-expt-n N

Package: cat-7
Source: macros.lisp (file)

Macro: -1-expt-n N

Package: cat-8
Source: macros.lisp (file)

Macro: -1-expt-n N

Package: cat-9
Source: macros.lisp (file)

Macro: -1-expt-n+1 N

Package: cat-7
Source: macros.lisp (file)

Macro: -1-expt-n+1 N

Package: cat-8
Source: macros.lisp (file)

Macro: -1-expt-n+1 N

Package: cat-9
Source: macros.lisp (file)

Macro: -1-expt-n-1 N

Package: cat-7
Source: macros.lisp (file)

Macro: -1-expt-n-1 N

Package: cat-8
Source: macros.lisp (file)

Macro: -1-expt-n-1 N

Package: cat-9
Source: macros.lisp (file)

Macro: 2-exp N

Package: cat-7
Source: macros.lisp (file)

Macro: 2-exp N

Package: cat-8
Source: macros.lisp (file)

Macro: 2-exp N

Package: cat-9
Source: macros.lisp (file)

Macro: ? &rest REST

Package: cat-7
Source: macros.lisp (file)

Macro: ? &rest REST

Package: cat-8
Source: macros.lisp (file)

Macro: ? &rest REST

Package: cat-9
Source: macros.lisp (file)

Macro: absm DGOP GMSM

Package: cat-7
Source: macros.lisp (file)

Macro: absm DGOP GMSM

Package: cat-8
Source: macros.lisp (file)

Macro: absm DGOP GMSM

Package: cat-9
Source: macros.lisp (file)

Macro: absm1 CRPR

Package: cat-7
Source: macros.lisp (file)

Macro: absm1 CRPR

Package: cat-8
Source: macros.lisp (file)

Macro: absm1 CRPR

Package: cat-9
Source: macros.lisp (file)

Macro: absm2 CRPR

Package: cat-7
Source: macros.lisp (file)

Macro: absm2 CRPR

Package: cat-8
Source: macros.lisp (file)

Macro: absm2 CRPR

Package: cat-9
Source: macros.lisp (file)

Macro: apowr DGOP GMSM EXPN

Package: cat-7
Source: macros.lisp (file)

Macro: apowr DGOP GMSM EXPN

Package: cat-8
Source: macros.lisp (file)

Macro: apowr DGOP GMSM EXPN

Package: cat-9
Source: macros.lisp (file)

Macro: aprd &rest REST

Package: cat-7
Source: macros.lisp (file)

Macro: aprd &rest REST

Package: cat-8
Source: macros.lisp (file)

Macro: aprd &rest REST

Package: cat-9
Source: macros.lisp (file)

Macro: basis &rest REST

—————————————————————–[macro-doc] BASIS
Args: (&rest rest)
Args: (chcm)
Args: (chcm n)
Args: (chcm n :dgnr)
When invoked with only one argument, returns the function attached to the slot BASIS of the chain complex.
When invoked with two arguments, returns the basis of the group of degree N of the chain complex.
When invoked with three arguments, the keyword :DGNR, it also returns the degenerate elements of the basis in degree N.
This function returns an error if the chain complex is locally effective. ——————————————————————————

Package: cat-7
Source: macros.lisp (file)

Macro: basis &rest REST

Package: cat-8
Source: macros.lisp (file)

Macro: basis &rest REST

Package: cat-9
Source: macros.lisp (file)

Macro: bcc &rest REST

—————————————————————–[macro-doc] BCC
Args: (&rest rest)
Args: (rdct)
Args: (rdct cmbn)
Args: (rdct degr gnrt)
With only one argument, a reduction RDCT, this macro returns the bottom chain complex of the reduction. Otherwise, it applies the differential of the bottom chain complex of RDCT to a combination provided in additional arguments such as CMBN or DEGR GNRT. ——————————————————————————

Package: cat-7
Source: macros.lisp (file)

Macro: bcc &rest REST

Package: cat-8
Source: macros.lisp (file)

Macro: bcc &rest REST

Package: cat-9
Source: macros.lisp (file)

Macro: bcnb GNRT

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

Package: cat-7
Source: macros.lisp (file)

Macro: bcnb GNRT

Package: cat-8
Source: macros.lisp (file)

Macro: bcnb GNRT

Package: cat-9
Source: macros.lisp (file)

Macro: bcnc GNRT

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

Package: cat-7
Source: macros.lisp (file)

Macro: bcnc GNRT

Package: cat-8
Source: macros.lisp (file)

Macro: bcnc GNRT

Package: cat-9
Source: macros.lisp (file)

Macro: bcnd GNRT

(BCND GNRT) returns the representation of the generator GNRT belonging to the chain complex D.

Package: cat-7
Source: macros.lisp (file)

Macro: bcnd GNRT

Package: cat-8
Source: macros.lisp (file)

Macro: bcnd GNRT

Package: cat-9
Source: macros.lisp (file)

Macro: binomial-p-q P Q

Package: cat-7
Source: macros.lisp (file)

Macro: binomial-p-q P Q

Package: cat-8
Source: macros.lisp (file)

Macro: binomial-p-q P Q

Package: cat-9
Source: macros.lisp (file)

Macro: bndr &rest REST

Package: cat-7
Source: macros.lisp (file)

Macro: bndr &rest REST

Package: cat-8
Source: macros.lisp (file)

Macro: bndr &rest REST

Package: cat-9
Source: macros.lisp (file)

Macro: brgn DEGR GNRT

Package: cat-7
Source: macros.lisp (file)

Macro: brgn DEGR GNRT

Package: cat-8
Source: macros.lisp (file)

Macro: brgn DEGR GNRT

Package: cat-9
Source: macros.lisp (file)

Macro: bspn SMST

Package: cat-7
Source: macros.lisp (file)

Macro: bspn SMST

Package: cat-8
Source: macros.lisp (file)

Macro: bspn SMST

Package: cat-9
Source: macros.lisp (file)

Macro: cbgn DEGR GNRT

Package: cat-7
Source: macros.lisp (file)

Macro: cbgn DEGR GNRT

Package: cat-8
Source: macros.lisp (file)

Macro: cbgn DEGR GNRT

Package: cat-9
Source: macros.lisp (file)

Macro: cffc TERM

—————————————————————–[macro-doc] CFFC
Args: (term)
Returns the the coefficient (integer) of a term. ——————————————————————————

Package: cat-7
Source: macros.lisp (file)

Macro: cffc TERM

Package: cat-8
Source: macros.lisp (file)

Macro: cffc TERM

Package: cat-9
Source: macros.lisp (file)

Macro: chcm-mtrx CHCM DEGR

Package: cat-9
Source: new-smith.lisp (file)

Macro: cmbn-non-zero-p CMBN

—————————————————————–[macro-doc] CMBN-NON-ZERO-P
Args: (cmbn)
Tests if the combination CMBN is a non-null combination of any degree. ——————————————————————————

Package: cat-7
Source: macros.lisp (file)

Macro: cmbn-non-zero-p CMBN

Package: cat-8
Source: macros.lisp (file)

Macro: cmbn-non-zero-p CMBN

Package: cat-9
Source: macros.lisp (file)

Macro: cmbn-zero-p CMBN

—————————————————————–[macro-doc] CMBN-ZERO-P
Args: (cmbn)
Tests if the combination CMBN is the null combination of any degree. ——————————————————————————

Package: cat-7
Source: macros.lisp (file)

Macro: cmbn-zero-p CMBN

Package: cat-8
Source: macros.lisp (file)

Macro: cmbn-zero-p CMBN

Package: cat-9
Source: macros.lisp (file)

Macro: cmpr &rest REST: —————————————————————–[macro-doc] CMPR
Args: (&rest rest)
Args: (chcm gnrt1 gnrt2)
Typically invoked with a chain com

• Introduction		What kenzo is all about
• Systems		The systems documentation
• Modules		The modules documentation
• Files		The files documentation
• Packages		The packages documentation
• Definitions		The symbols documentation
• Indexes		Concepts, functions, variables and data types

• The kenzo/src module
• The kenzo/src/kenzo-7 module
• The kenzo/src/kenzo-8 module
• The kenzo/src/kenzo-9 module

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

• The kenzo-asd package
• The cat-7 package
• The cat-8 package
• The cat-9 package

• Exported constants
• Exported special variables
• Exported macros
• Exported functions
• Exported generic functions
• Exported structures
• Exported classes
• Exported types

The kenzo Reference Manual

Table of Contents

The kenzo Reference Manual

1 Introduction

Welcome to Kenzo

2 Systems

2.1 kenzo

3 Modules

3.1 kenzo/src

3.2 kenzo/src/kenzo-7

3.3 kenzo/src/kenzo-8

3.4 kenzo/src/kenzo-9

4 Files

4.1 Lisp

4.1.1 kenzo.asd

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2.1 `kenzo`

3.1 `kenzo/src`

3.2 `kenzo/src/kenzo-7`

3.3 `kenzo/src/kenzo-8`

3.4 `kenzo/src/kenzo-9`

4.1.1 `kenzo.asd`

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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