The kenzo Reference Manual

4.1.1 kenzo/kenzo.asd

Source

kenzo.asd.

Parent Component

kenzo (system).

ASDF Systems

kenzo.

Packages

kenzo-asd.

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Packages

cat-7.

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

• *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).

Internals

• *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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

• *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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

• ?2 (generic function).
• ?3 (generic function).
• 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).
• print-object (method).
• print-object (method).

Internals

• 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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

• 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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

• chcm-homology (function).
• chcm-homology-gen (function).
• chcm-mat (function).
• homologie (function).
• mat-aleat (function).
• print-object (method).

Internals

• 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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

• echcm (function).
• homology (generic function).
• slot-unbound (method).

Internals

search-efhm (generic function).

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

search-efhm (method).

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

print-object (method).

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

• allp (function).
• cobar (generic function).
• 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).

Internals

• +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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

• change-chcm-to-algb (function).
• hopf (function).
• print-object (method).
• print-object (method).

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

• +null-abar+ (special variable).
• abar (function).
• bar (generic function).
• 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).

Internals

• 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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

• 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).
• print-object (method).
• remove-bit (function).
• show-structure (function).
• smst (function).

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

• 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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

search-efhm (method).

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

crpr-print (function).

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

• check-hat (function).
• check-kan (function).
• kan (function).
• print-object (method).
• smst-kan (function).

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

• print-object (method).
• print-object (method).
• slot-unbound (method).
• slot-unbound (method).
• smgr (function).

Internals

• 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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

fibration-total (function).

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

• +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).

Internals

loop-space-face* (function).

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

• 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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

• 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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

• +null-gbar+ (special variable).
• classifying-space (generic function).
• 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).

Internals

gbar-print (function).

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

• 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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

• 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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Packages

cat-8.

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

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

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

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

Internals

• *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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

• +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).

Internals

• +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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

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

Internals

• *idnm-counter* (special variable).
• ?-clnm (reader method).
• (setf ?-clnm) (writer method).
• ???-clnm (reader method).
• (setf ???-clnm) (writer method).
• abar-p (function).
• algebra (class).
• allp-p (function).
• any (type).
• apowr-p (function).
• aprd1 (reader method).
• basis1 (reader method).
• bcc1 (reader method).
• bcnx (reader).
• (setf bcnx) (writer).
• bicn (structure).
• bicn-p (function).
• brgn-p (function).
• cbgn-p (function).
• cffc-p (function).
• cmbn-p (function).
• cmpr1 (reader method).
• cmprf (type).
• coalgebra (class).
• cone-p (function).
• conx (reader).
• (setf conx) (writer).
• 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 (reader method).
• crpr-p (function).
• degr1 (reader).
• (setf degr1) (writer).
• degr2 (reader).
• (setf degr2) (writer).
• dlop (type).
• expn (type).
• expn-p (function).
• f1 (reader method).
• face* (type).
• face1 (reader method).
• fibration (type).
• fibration-p (function).
• g1 (reader method).
• gbar-dmns (reader).
• (setf gbar-dmns) (writer).
• gbar-list (reader).
• (setf gbar-list) (writer).
• gbar-p (function).
• gnrt1 (reader).
• (setf gnrt1) (writer).
• gnrt2 (reader).
• (setf gnrt2) (writer).
• grin1 (reader method).
• grmd (reader method).
• grml1 (reader method).
• h1 (reader method).
• hopf-algebra (class).
• iabar (type).
• iabar-p (function).
• iallp (type).
• iallp-p (function).
• ibicn (reader).
• (setf ibicn) (writer).
• icmbn (type).
• icmbn-p (function).
• icol (reader).
• (setf icol) (writer).
• icon (reader).
• (setf icon) (writer).
• ilig (reader).
• (setf ilig) (writer).
• iloop (type).
• iloop-p (function).
• intr (reader method).
• intr-mrph (type).
• kfll1 (reader method).
• lbcc1 (reader method).
• left (reader).
• (setf left) (writer).
• leftcol (reader).
• (setf leftcol) (writer).
• lf1 (reader method).
• lg1 (reader method).
• lh1 (reader 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 (reader method).
• result (structure).
• result-clnm (reader).
• (setf result-clnm) (writer).
• result-gnrt (reader).
• (setf result-gnrt) (writer).
• result-p (function).
• result-rntm (reader).
• (setf result-rntm) (writer).
• result-value (reader).
• (setf result-value) (writer).
• rf1 (reader method).
• rg1 (reader method).
• rh1 (reader method).
• rslts (reader method).
• strt (reader method).
• strt (type).
• t-mat (structure).
• t-mat-p (function).
• tcc1 (reader method).
• tcc1 (reader method).
• term-p (function).
• trgt (reader method).
• up (reader).
• (setf up) (writer).
• uplig (reader).
• (setf uplig) (writer).
• val (reader).
• (setf val) (writer).

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

• 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).
• print-object (method).
• s-cmpr (function).
• zero-cmbn (function).
• zero-intr-dffr (function).

Internals

+zero-negative-cmbn+ (constant).

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

• *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).
• print-object (method).
• print-object (method).
• print-object (method).

Internals

• *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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

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

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

• *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).
• print-object (method).
• print-object (method).
• rdct (function).
• trivial-hmeq (function).
• trivial-rdct (function).

Internals

• *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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

• *homology-verbose* (special variable).
• chcm-homology (function).
• chcm-homology-gen (function).
• chcm-mat (function).
• homologie (function).
• mat-aleat (function).
• print-object (method).

Internals

• 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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

• echcm (function).
• homology (method).
• slot-unbound (method).

Internals

search-efhm (generic function).

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

• 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).
• print-object (method).
• term-con0 (function).
• term-con1 (function).
• term-uncon (function).

Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

• 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).
• print-object (method).

Internals

bicone-intr-dffr (function).

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

• *tnpr-with-degrees* (special variable).
• 2cmbn-tnpr (function).
• print-object (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).

Internals

search-efhm (method).

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

print-object (method).

Internals

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

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