The kenzo Reference Manual

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

The kenzo Reference Manual

This is the kenzo Reference Manual, version 1.1.9, generated automatically by Declt version 4.0 beta 2 "William Riker" on Wed Jun 15 04:54:21 2022 GMT+0.

Table of Contents


1 Introduction

Welcome to Kenzo

GPLv3 Logo Travis Status

Kenzo is a Symbolic Software for Effective Homology Computation and should be of interest to students and researchers in algebraic topology.

This repository contains a repackaged version of the Kenzo program developed by Francis Sergeraert and collaborators. The original version of the program can be found at http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/ . This version updates its infrastructure by providing the following:

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

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

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

Enjoy!

Overview


2 Systems

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


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

2.1 kenzo

A Symbolic Software for Effective Homology Computation by Francis Sergeraert

Author

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

License

GPLv3

Version

1.1.9

Source

kenzo.asd.

Child Component

src (module).


Next: , Previous: , Up: The kenzo Reference Manual   [Contents][Index]

3 Modules

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


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

3.1 kenzo/src

Source

kenzo.asd.

Parent Component

kenzo (system).

Child Components

4 Files

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


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

4.1 Lisp


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

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
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

search-efhm (generic function).


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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

search-efhm (method).


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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

crpr-print (function).


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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface

fibration-total (function).

Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
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

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
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
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-7 (module).

Public Interface
Internals

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

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
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
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

search-efhm (generic function).


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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
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
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

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

search-efhm (method).


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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

*kan-list* (special variable).


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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

fibration-total (function).

Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

loop-space-face* (function).


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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-8 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Packages

cat-9.


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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

+zero-negative-cmbn+ (constant).


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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface

print-object (method).

Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

search-efhm (generic function).


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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

crpr-print (function).


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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

*kan-list* (special variable).


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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface

fibration-total (function).

Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

loop-space-face* (function).


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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface

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

Source

kenzo.asd.

Parent Component

kenzo-9 (module).

Public Interface
Internals

5 Packages

Packages are listed by definition order.


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

5.1 kenzo-asd

Source

kenzo.asd.

Use List
  • asdf/interface.
  • common-lisp.

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

5.2 cat-7

Source

package.lisp.

Nicknames
  • kenzo
  • cat
Use List

common-lisp.

Public Interface
Internals

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

5.3 cat-9

Source

package.lisp.

Use List

common-lisp.

Public Interface
Internals

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

5.4 cat-8

Source

package.lisp.

Use List

common-lisp.

Public Interface
Internals

6 Definitions

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


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

6.1 Public Interface


6.1.1 Constants

Constant: +abbreviations+
Package

cat-7.

Source

abbreviations.lisp.

Constant: +empty-list+
Package

cat-7.

Source

kenzo.lisp.

Constant: +empty-list+
Package

cat-9.

Source

various.lisp.

Constant: +empty-list+
Package

cat-8.

Source

various.lisp.

Constant: +null-abar+
Package

cat-9.

Source

bar.lisp.

Constant: +null-abar+
Package

cat-8.

Source

bar.lisp.

Constant: +null-gbar+
Package

cat-9.

Source

classifying-spaces.lisp.

Constant: +null-gbar+
Package

cat-8.

Source

classifying-spaces.lisp.

Constant: +null-loop+
Package

cat-9.

Source

loop-spaces.lisp.

Constant: +null-loop+
Package

cat-8.

Source

loop-spaces.lisp.


Next: , Previous: , Up: Public Interface   [Contents][Index]

6.1.2 Special variables

Special Variable: *bc*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *bc*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *bc*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *bdd*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *bdd*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *bdd*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *chcm-list*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *chcm-list*
Package

cat-9.

Source

chain-complexes.lisp.

Special Variable: *chcm-list*
Package

cat-8.

Source

chain-complexes.lisp.

Special Variable: *cmbn-control*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *cmbn-control*
Package

cat-9.

Source

cat-init.lisp.

Special Variable: *cmbn-control*
Package

cat-8.

Source

cat-init.lisp.

Special Variable: *df-fd*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *df-fd*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *df-fd*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *dg-gd*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *dg-gd*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *dg-gd*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *fh*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *fh*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *fh*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *hg*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *hg*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *hg*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *hh*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *hh*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *hh*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *homology-verbose*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *homology-verbose*
Package

cat-9.

Source

homology-groups.lisp.

Special Variable: *homology-verbose*
Package

cat-8.

Source

homology-groups.lisp.

Special Variable: *id-fg*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *id-fg*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *id-fg*
Package

cat-8.

Source

effective-homology.lisp.

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

cat-7.

Source

kenzo.lisp.

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

cat-9.

Source

effective-homology.lisp.

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

cat-8.

Source

effective-homology.lisp.

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.

Special Variable: *list-list*
Package

cat-9.

Source

chain-complexes.lisp.

Special Variable: *list-list*
Package

cat-8.

Source

chain-complexes.lisp.

Special Variable: *mrph-list*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *mrph-list*
Package

cat-9.

Source

chain-complexes.lisp.

Special Variable: *mrph-list*
Package

cat-8.

Source

chain-complexes.lisp.

Special Variable: *results-verbose*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *results-verbose*
Package

cat-9.

Source

chain-complexes.lisp.

Special Variable: *results-verbose*
Package

cat-8.

Source

chain-complexes.lisp.

Special Variable: *tc*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *tc*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *tc*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *tdd*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *tdd*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *tdd*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *tnpr-with-degrees*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *tnpr-with-degrees*
Package

cat-9.

Source

tensor-products.lisp.

Special Variable: *tnpr-with-degrees*
Package

cat-8.

Source

tensor-products.lisp.

Special Variable: +null-abar+
Package

cat-7.

Source

bar.lisp.

Special Variable: +null-gbar+
Package

cat-7.

Source

classifying-spaces.lisp.

Special Variable: +null-loop+
Package

cat-7.

Source

loop-spaces.lisp.

Special Variable: +too-much-time+
Package

cat-7.

Source

kenzo.lisp.

Special Variable: +too-much-time+
Package

cat-9.

Source

chain-complexes.lisp.

Special Variable: +too-much-time+
Package

cat-8.

Source

chain-complexes.lisp.


6.1.3 Macros

Macro: -1-expt-n (n)
Package

cat-7.

Source

macros.lisp.

Macro: -1-expt-n (n)
Package

cat-9.

Source

macros.lisp.

Macro: -1-expt-n (n)
Package

cat-8.

Source

macros.lisp.

Macro: -1-expt-n+1 (n)
Package

cat-7.

Source

macros.lisp.

Macro: -1-expt-n+1 (n)
Package

cat-9.

Source

macros.lisp.

Macro: -1-expt-n+1 (n)
Package

cat-8.

Source

macros.lisp.

Macro: -1-expt-n-1 (n)
Package

cat-7.

Source

macros.lisp.

Macro: -1-expt-n-1 (n)
Package

cat-9.

Source

macros.lisp.

Macro: -1-expt-n-1 (n)
Package

cat-8.

Source

macros.lisp.

Macro: 2-exp (n)
Package

cat-7.

Source

macros.lisp.

Macro: 2-exp (n)
Package

cat-9.

Source

macros.lisp.

Macro: 2-exp (n)
Package

cat-8.

Source

macros.lisp.

Macro: ? (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: ? (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: ? (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: absm (dgop gmsm)
Package

cat-7.

Source

macros.lisp.

Macro: absm (dgop gmsm)
Package

cat-9.

Source

macros.lisp.

Macro: absm (dgop gmsm)
Package

cat-8.

Source

macros.lisp.

Macro: absm1 (crpr)
Package

cat-7.

Source

macros.lisp.

Macro: absm1 (crpr)
Package

cat-9.

Source

macros.lisp.

Macro: absm1 (crpr)
Package

cat-8.

Source

macros.lisp.

Macro: absm2 (crpr)
Package

cat-7.

Source

macros.lisp.

Macro: absm2 (crpr)
Package

cat-9.

Source

macros.lisp.

Macro: absm2 (crpr)
Package

cat-8.

Source

macros.lisp.

Macro: apowr (dgop gmsm expn)
Package

cat-7.

Source

macros.lisp.

Macro: apowr (dgop gmsm expn)
Package

cat-9.

Source

macros.lisp.

Macro: apowr (dgop gmsm expn)
Package

cat-8.

Source

macros.lisp.

Macro: aprd (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: aprd (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: aprd (&rest rest)
Package

cat-8.

Source

macros.lisp.

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.

Macro: basis (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: basis (&rest rest)
Package

cat-8.

Source

macros.lisp.

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.

Macro: bcc (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: bcc (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: bcnb (gnrt)

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

Package

cat-7.

Source

macros.lisp.

Macro: bcnb (gnrt)
Package

cat-9.

Source

macros.lisp.

Macro: bcnb (gnrt)
Package

cat-8.

Source

macros.lisp.

Macro: bcnc (gnrt)

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

Package

cat-7.

Source

macros.lisp.

Macro: bcnc (gnrt)
Package

cat-9.

Source

macros.lisp.

Macro: bcnc (gnrt)
Package

cat-8.

Source

macros.lisp.

Macro: bcnd (gnrt)

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

Package

cat-7.

Source

macros.lisp.

Macro: bcnd (gnrt)
Package

cat-9.

Source

macros.lisp.

Macro: bcnd (gnrt)
Package

cat-8.

Source

macros.lisp.

Macro: binomial-p-q (p q)
Package

cat-7.

Source

macros.lisp.

Macro: binomial-p-q (p q)
Package

cat-9.

Source

macros.lisp.

Macro: binomial-p-q (p q)
Package

cat-8.

Source

macros.lisp.

Macro: bndr (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: bndr (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: bndr (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: brgn (degr gnrt)
Package

cat-7.

Source

macros.lisp.

Macro: brgn (degr gnrt)
Package

cat-9.

Source

macros.lisp.

Macro: brgn (degr gnrt)
Package

cat-8.

Source

macros.lisp.

Macro: bspn (smst)
Package

cat-7.

Source

macros.lisp.

Macro: bspn (smst)
Package

cat-9.

Source

macros.lisp.

Macro: bspn (smst)
Package

cat-8.

Source

macros.lisp.

Macro: cbgn (degr gnrt)
Package

cat-7.

Source

macros.lisp.

Macro: cbgn (degr gnrt)
Package

cat-9.

Source

macros.lisp.

Macro: cbgn (degr gnrt)
Package

cat-8.

Source

macros.lisp.

Macro: cffc (term)

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

Package

cat-7.

Source

macros.lisp.

Macro: cffc (term)
Package

cat-9.

Source

macros.lisp.

Macro: cffc (term)
Package

cat-8.

Source

macros.lisp.

Macro: chcm-mtrx (chcm degr)
Package

cat-9.

Source

new-smith.lisp.

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.

Macro: cmbn-non-zero-p (cmbn)
Package

cat-9.

Source

macros.lisp.

Macro: cmbn-non-zero-p (cmbn)
Package

cat-8.

Source

macros.lisp.

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.

Macro: cmbn-zero-p (cmbn)
Package

cat-9.

Source

macros.lisp.

Macro: cmbn-zero-p (cmbn)
Package

cat-8.

Source

macros.lisp.

Macro: cmpr (&rest rest)

—————————————————————–[macro-doc] CMPR
Args: (&rest rest)
Args: (chcm gnrt1 gnrt2)
Typically invoked with a chain complex CHCM and two generators GNRT1 and GNRT2. Applies the comparison function associated with CHCM to GNRT1 and GNRT2, and return the result. ——————————————————————————

Package

cat-7.

Source

macros.lisp.

Macro: cmpr (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: cmpr (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: column-minus-5 (mtrx-list begin column)
Package

cat-7.

Source

macros.lisp.

Macro: column-minus-5 (mtrx-list column)
Package

cat-9.

Source

macros.lisp.

Macro: column-minus-5 (mtrx-list begin column)
Package

cat-8.

Source

macros.lisp.

Macro: column-op-5 (mtrx-list begin lambda column1 column2)
Package

cat-7.

Source

macros.lisp.

Macro: column-op-5 (mtrx-list lambda column1 column2)
Package

cat-9.

Source

macros.lisp.

Macro: column-op-5 (mtrx-list begin lambda column1 column2)
Package

cat-8.

Source

macros.lisp.

Macro: column-swap-5 (mtrx-list begin column1 column2)
Package

cat-7.

Source

macros.lisp.

Macro: column-swap-5 (mtrx-list column1 column2)
Package

cat-9.

Source

macros.lisp.

Macro: column-swap-5 (mtrx-list begin column1 column2)
Package

cat-8.

Source

macros.lisp.

Macro: con0 (gnrt)
Package

cat-7.

Source

macros.lisp.

Macro: con0 (gnrt)
Package

cat-9.

Source

macros.lisp.

Macro: con0 (gnrt)
Package

cat-8.

Source

macros.lisp.

Macro: con1 (gnrt)
Package

cat-7.

Source

macros.lisp.

Macro: con1 (gnrt)
Package

cat-9.

Source

macros.lisp.

Macro: con1 (gnrt)
Package

cat-8.

Source

macros.lisp.

Macro: copy-mtrx (mtrx)
Package

cat-9.

Source

new-smith.lisp.

Macro: cprd (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: cprd (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: cprd (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: crpr (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: crpr (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: crpr (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: d (igmsm)
Package

cat-7.

Source

macros.lisp.

Macro: d (&rest list)
Package

cat-9.

Source

macros.lisp.

Macro: d (&rest list)
Package

cat-8.

Source

macros.lisp.

Macro: def (name value)

—————————————————————–[macro-doc] DEF
Args: (name value)
Defines a dynamic variable NAME in the CL-USER package, assigns it VALUE, and returns VALUE. ——————————————————————————

Package

cat-7.

Source

macros.lisp.

Macro: degenerate-p (absm)
Package

cat-7.

Source

macros.lisp.

Macro: degenerate-p (absm)
Package

cat-9.

Source

macros.lisp.

Macro: degenerate-p (absm)
Package

cat-8.

Source

macros.lisp.

Macro: dffr (&rest rest)

—————————————————————–[macro-doc] DFFR
Args: (&rest rest)
Args: (chcm cmbn)
Args: (chcm degr gnrt)
Applies the differential morphism of the chain complex CHCM to a combination CMBN or a generator GNRT of a degree DEGR.
See also the macro ?. ——————————————————————————

Package

cat-7.

Source

macros.lisp.

Macro: dffr (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: dffr (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: dgnl (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: dgnl (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: dgnl (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: f (&rest rest)

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

Package

cat-7.

Source

macros.lisp.

Macro: f (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: f (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: face (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: face (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: face (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: g (&rest rest)

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

Package

cat-7.

Source

macros.lisp.

Macro: g (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: g (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: gnrt (term)

—————————————————————–[macro-doc] GNRT
Args: (term)
Returns the the generator of a term. ——————————————————————————

Package

cat-7.

Source

macros.lisp.

Macro: gnrt (term)
Package

cat-9.

Source

macros.lisp.

Macro: gnrt (term)
Package

cat-8.

Source

macros.lisp.

Macro: gnrt-name (i)
Package

cat-7.

Source

macros.lisp.

Macro: gnrt-name (i)
Package

cat-9.

Source

macros.lisp.

Macro: gnrt-name (i)
Package

cat-8.

Source

macros.lisp.

Macro: grin (smgr &rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: grin (smgr &rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: grin (smgr &rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: grml (smgr &rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: grml (smgr &rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: grml (smgr &rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: h (&rest rest)

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

Package

cat-7.

Source

macros.lisp.

Macro: h (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: h (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: i-add (mrph1 &rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: i-add (mrph1 &rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: i-add (mrph1 &rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: i-cmps (mrph1 &rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: i-cmps (mrph1 &rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: i-cmps (mrph1 &rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: i-sbtr (mrph1 mrph2 &rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: i-sbtr (mrph1 mrph2 &rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: i-sbtr (mrph1 mrph2 &rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: idnt-mtrx (n)
Package

cat-9.

Source

new-smith.lisp.

Macro: kfll (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: kfll (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: kfll (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: lexico (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: lexico (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: lexico (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: lf (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: lf (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: lf (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: lg (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: lg (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: lg (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: line-minus-5 (mtrx-list begin line)
Package

cat-7.

Source

macros.lisp.

Macro: line-minus-5 (mtrx-list line)
Package

cat-9.

Source

macros.lisp.

Macro: line-minus-5 (mtrx-list begin line)
Package

cat-8.

Source

macros.lisp.

Macro: line-op-5 (mtrx-list begin lambda line1 line2)
Package

cat-7.

Source

macros.lisp.

Macro: line-op-5 (mtrx-list lambda line1 line2)
Package

cat-9.

Source

macros.lisp.

Macro: line-op-5 (mtrx-list begin lambda line1 line2)
Package

cat-8.

Source

macros.lisp.

Macro: line-swap-5 (mtrx-list begin line1 line2)
Package

cat-7.

Source

macros.lisp.

Macro: line-swap-5 (mtrx-list line1 line2)
Package

cat-9.

Source

macros.lisp.

Macro: line-swap-5 (mtrx-list begin line1 line2)
Package

cat-8.

Source

macros.lisp.

Macro: mask (n)
Package

cat-7.

Source

macros.lisp.

Macro: mask (n)
Package

cat-9.

Source

macros.lisp.

Macro: mask (n)
Package

cat-8.

Source

macros.lisp.

Macro: non-degenerate-p (absm)
Package

cat-7.

Source

macros.lisp.

Macro: non-degenerate-p (absm)
Package

cat-9.

Source

macros.lisp.

Macro: non-degenerate-p (absm)
Package

cat-8.

Source

macros.lisp.

Macro: random-matrix (line-n column-n dnst max)
Package

cat-9.

Source

new-smith.lisp.

Macro: rbcc (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: rbcc (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: rbcc (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: rf (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: rf (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: rf (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: rg (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: rg (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: rg (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: tcc (&rest rest)

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

Package

cat-7.

Source

macros.lisp.

Macro: tcc (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: tcc (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: term (cffc gnrt)
Package

cat-7.

Source

macros.lisp.

Macro: term (cffc gnrt)
Package

cat-9.

Source

macros.lisp.

Macro: term (cffc gnrt)
Package

cat-8.

Source

macros.lisp.

Macro: term-cmbn (degr cffc gnrt)

—————————————————————–[macro-doc] TERM-CMBN
Args: (degr cffc gnrt)
Returns the combination of degree DEGR with the only term CFFC*GNRT. ——————————————————————————

Package

cat-7.

Source

macros.lisp.

Macro: term-cmbn (degr cffc gnrt)
Package

cat-9.

Source

macros.lisp.

Macro: term-cmbn (degr cffc gnrt)
Package

cat-8.

Source

macros.lisp.

Macro: tnpr (degr1 gnrt1 degr2 gnrt2)
Package

cat-7.

Source

macros.lisp.

Macro: tnpr (degr1 gnrt1 degr2 gnrt2)
Package

cat-9.

Source

macros.lisp.

Macro: tnpr (degr1 gnrt1 degr2 gnrt2)
Package

cat-8.

Source

macros.lisp.

Macro: with--term ((cffc gnrt) mark . body)
Package

cat-7.

Source

macros.lisp.

Macro: with--term ((cffc gnrt) mark . body)
Package

cat-9.

Source

macros.lisp.

Macro: with--term ((cffc gnrt) mark . body)
Package

cat-8.

Source

macros.lisp.

Macro: with-absm ((dgop-var gmsm-var) absm . body)
Package

cat-7.

Source

macros.lisp.

Macro: with-absm ((dgop-var gmsm-var) absm . body)
Package

cat-9.

Source

macros.lisp.

Macro: with-absm ((dgop-var gmsm-var) absm . body)
Package

cat-8.

Source

macros.lisp.

Macro: with-cmbn ((degr list) cmbn . body)
Package

cat-7.

Source

macros.lisp.

Macro: with-cmbn ((degr list) cmbn . body)
Package

cat-9.

Source

macros.lisp.

Macro: with-cmbn ((degr list) cmbn . body)
Package

cat-8.

Source

macros.lisp.

Macro: with-crpr (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: with-crpr (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: with-crpr (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: with-term ((cffc gnrt) term . body)
Package

cat-7.

Source

macros.lisp.

Macro: with-term ((cffc gnrt) term . body)
Package

cat-9.

Source

macros.lisp.

Macro: with-term ((cffc gnrt) term . body)
Package

cat-8.

Source

macros.lisp.

Macro: with-tnpr ((degr1 gnrt1 degr2 gnrt2) tnpr . body)
Package

cat-7.

Source

macros.lisp.

Macro: with-tnpr ((degr1 gnrt1 degr2 gnrt2) tnpr . body)
Package

cat-9.

Source

macros.lisp.

Macro: with-tnpr ((degr1 gnrt1 degr2 gnrt2) tnpr . body)
Package

cat-8.

Source

macros.lisp.


6.1.4 Ordinary functions

Function: 1dgnr (indx absm)
Package

cat-7.

Source

simplicial-sets.lisp.

Function: 1dgnr (indx absm)
Package

cat-9.

Source

simplicial-sets.lisp.

Function: 1dgnr (indx absm)
Package

cat-8.

Source

simplicial-sets.lisp.

Function: 1dgop*dgop (1dgop dgop)
Package

cat-7.

Source

simplicial-sets.lisp.

Function: 1dgop*dgop (1dgop dgop)
Package

cat-9.

Source

simplicial-sets.lisp.

Function: 1dgop*dgop (1dgop dgop)
Package

cat-8.

Source

simplicial-sets.lisp.

Function: 1dlop-dgop (1dlop dgop)
Package

cat-7.

Source

simplicial-sets.lisp.

Function: 1dlop-dgop (1dlop dgop)
Package

cat-9.

Source

simplicial-sets.lisp.

Function: 1dlop-dgop (1dlop dgop)
Package

cat-8.

Source

simplicial-sets.lisp.

Function: 2absm-acrpr (absm1 absm2)
Package

cat-7.

Source

cartesian-products.lisp.

Function: 2absm-acrpr (absm1 absm2)
Package

cat-9.

Source

cartesian-products.lisp.

Function: 2absm-acrpr (absm1 absm2)
Package

cat-8.

Source

cartesian-products.lisp.

Function: 2cmbn-add (cmpr cmbn1 cmbn2)

————————————————————–[function-doc] 2CMBN-ADD
Args: (cmpr cmbn1 cmbn2)
Returns the combination, which is the sum of CMBN1 and CMBN2. The first argument, CMPR, must be a function or macro, which is used to compare the generators of the combination arguments and to order the terms of the result combination. ——————————————————————————

Package

cat-7.

Source

combinations.lisp.

Function: 2cmbn-add (cmpr cmbn1 cmbn2)
Package

cat-9.

Source

combinations.lisp.

Function: 2cmbn-add (cmpr cmbn1 cmbn2)
Package

cat-8.

Source

combinations.lisp.

Function: 2cmbn-sbtr (cmpr cmbn1 cmbn2)

————————————————————–[function-doc] 2CMBN-SBTR
Args: (cmpr cmbn1 cmbn2)
Returns the combination, which is the difference of CMBN1 and CMBN2. The first argument, CMPR, must be a function or macro, which is used to compare the generators of the combination arguments and to order the terms of the result combination. ——————————————————————————

Package

cat-7.

Source

combinations.lisp.

Function: 2cmbn-sbtr (cmpr cmbn1 cmbn2)
Package

cat-9.

Source

combinations.lisp.

Function: 2cmbn-sbtr (cmpr cmbn1 cmbn2)
Package

cat-8.

Source

combinations.lisp.

Function: 2cmbn-tnpr (cmbn1 cmbn2)
Package

cat-7.

Source

tensor-products.lisp.

Function: 2cmbn-tnpr (cmbn1 cmbn2)
Package

cat-9.

Source

tensor-products.lisp.

Function: 2cmbn-tnpr (cmbn1 cmbn2)
Package

cat-8.

Source

tensor-products.lisp.

Function: 2n-2cmbn (cmpr n1 cmbn1 n2 cmbn2)

————————————————————–[function-doc] 2N-2CMBN
Args: (cmpr n1 cmbn1 n2 cmbn2)
Returns the combination N1*CMBN1+N2*CMBN2. Both integers N1 and N2 must be non-zero. The first argument, CMPR, must be a function or macro, which is used to compare the generators of the input combinations and to order the terms of the result combination. ——————————————————————————

Package

cat-7.

Source

combinations.lisp.

Function: 2n-2cmbn (cmpr n1 cmbn1 n2 cmbn2)
Package

cat-9.

Source

combinations.lisp.

Function: 2n-2cmbn (cmpr n1 cmbn1 n2 cmbn2)
Package

cat-8.

Source

combinations.lisp.

Function: <a-b< (a b)
Package

cat-7.

Source

various.lisp.

Function: <a-b< (a b)
Package

cat-9.

Source

various.lisp.

Function: <a-b< (a b)
Package

cat-8.

Source

various.lisp.

Function: <a-b> (a b)
Package

cat-7.

Source

various.lisp.

Function: <a-b> (a b)
Package

cat-9.

Source

various.lisp.

Function: <a-b> (a b)
Package

cat-8.

Source

various.lisp.

Function: >a-b< (a b)
Package

cat-7.

Source

various.lisp.

Function: >a-b< (a b)
Package

cat-9.

Source

various.lisp.

Function: >a-b< (a b)
Package

cat-8.

Source

various.lisp.

Function: >a-b> (a b)
Package

cat-7.

Source

various.lisp.

Function: >a-b> (a b)
Package

cat-9.

Source

various.lisp.

Function: >a-b> (a b)
Package

cat-8.

Source

various.lisp.

Function: a-cmpr3 (cmpr absm1 absm2)
Package

cat-7.

Source

simplicial-sets.lisp.

Function: a-cmpr3 (cmpr absm1 absm2)
Package

cat-9.

Source

simplicial-sets.lisp.

Function: a-cmpr3 (cmpr absm1 absm2)
Package

cat-8.

Source

simplicial-sets.lisp.

Function: a-face4 (face indx dmns absm)
Package

cat-7.

Source

simplicial-sets.lisp.

Function: a-face4 (face indx dmns absm)
Package

cat-9.

Source

simplicial-sets.lisp.

Function: a-face4 (face indx dmns absm)
Package

cat-8.

Source

simplicial-sets.lisp.

Function: abar (&rest list)
Package

cat-7.

Source

bar.lisp.

Function: abar (&rest list)
Package

cat-9.

Source

bar.lisp.

Function: abar (&rest list)
Package

cat-8.

Source

bar.lisp.

Reader: abar-list (instance)
Writer: (setf abar-list) (instance)
Package

cat-7.

Source

classes.lisp.

Target Slot

list.

Reader: abar-list (instance)
Writer: (setf abar-list) (instance)
Package

cat-9.

Source

classes.lisp.

Target Slot

list.

Reader: abar-list (instance)
Writer: (setf abar-list) (instance)
Package

cat-8.

Source

classes.lisp.

Target Slot

list.

Function: absm-ext-int (vlist)
Package

cat-7.

Source

special-smsts.lisp.

Function: absm-ext-int (vlist)
Package

cat-9.

Source

special-smsts.lisp.

Function: absm-ext-int (vlist)
Package

cat-8.

Source

special-smsts.lisp.

Function: absm-int-ext (absm)
Package

cat-7.

Source

special-smsts.lisp.

Function: absm-int-ext (absm)
Package

cat-9.

Source

special-smsts.lisp.

Function: absm-int-ext (absm)
Package

cat-8.

Source

special-smsts.lisp.

Function: absm-loopabsm (cmpr dmns absm loop-absm)
Package

cat-7.

Source

ls-twisted-products.lisp.

Function: absm-loopabsm (cmpr dmns absm loop-absm)
Package

cat-9.

Source

ls-twisted-products.lisp.

Function: absm-loopabsm (cmpr dmns absm loop-absm)
Package

cat-8.

Source

ls-twisted-products.lisp.

Function: absm-p (object)
Package

cat-7.

Source

classes.lisp.

Function: absm-p (object)
Package

cat-9.

Source

classes.lisp.

Function: absm-p (object)
Package

cat-8.

Source

classes.lisp.

Function: absm-print (absm stream depth)
Package

cat-7.

Source

simplicial-sets.lisp.

Function: absm-print (absm stream depth)
Package

cat-9.

Source

simplicial-sets.lisp.

Function: all-objects ()

————————————————————–[function-doc] ALL-OBJECTS
Args: ()
Return a string representation of a user created objects. ——————————————————————————

Package

cat-7.

Source

chain-complexes.lisp.

Function: all-objects ()
Package

cat-9.

Source

chain-complexes.lisp.

Function: all-objects ()
Package

cat-8.

Source

chain-complexes.lisp.

Function: allp (&rest list)
Package

cat-7.

Source

cobar.lisp.

Function: allp (&rest list)
Package

cat-9.

Source

cobar.lisp.

Function: allp (&rest list)
Package

cat-8.

Source

cobar.lisp.

Reader: allp-list (instance)
Writer: (setf allp-list) (instance)
Package

cat-7.

Source

classes.lisp.

Target Slot

list.

Reader: allp-list (instance)
Writer: (setf allp-list) (instance)
Package

cat-9.

Source

classes.lisp.

Target Slot

list.

Reader: allp-list (instance)
Writer: (setf allp-list) (instance)
Package

cat-8.

Source

classes.lisp.

Target Slot

list.

Function: apowr-face4 (face indx dmns apowr)
Package

cat-7.

Source

loop-spaces.lisp.

Function: apowr-face4 (face indx dmns apowr)
Package

cat-9.

Source

loop-spaces.lisp.

Function: apowr-face4 (face indx dmns apowr)
Package

cat-8.

Source

loop-spaces.lisp.

Function: apowr-lastface4 (cmpr face dmns apowr)
Package

cat-7.

Source

loop-spaces.lisp.

Function: apowr-lastface4 (cmpr face dmns apowr)
Package

cat-9.

Source

loop-spaces.lisp.

Function: apowr-lastface4 (cmpr face dmns apowr)
Package

cat-8.

Source

loop-spaces.lisp.

Function: apowr-niloop (cmpr apowr niloop)
Package

cat-7.

Source

loop-spaces.lisp.

Function: apowr-niloop (cmpr apowr niloop)
Package

cat-9.

Source

loop-spaces.lisp.

Function: apowr-niloop (cmpr apowr niloop)
Package

cat-8.

Source

loop-spaces.lisp.

Function: aw (smst1 smst2)
Package

cat-7.

Source

eilenberg-zilber.lisp.

Function: aw (smst1 smst2)
Package

cat-9.

Source

eilenberg-zilber.lisp.

Function: aw (smst1 smst2)
Package

cat-8.

Source

eilenberg-zilber.lisp.

Function: bar-basis (basis)
Package

cat-7.

Source

bar.lisp.

Function: bar-basis (basis)
Package

cat-9.

Source

bar.lisp.

Function: bar-basis (basis)
Package

cat-8.

Source

bar.lisp.

Function: bar-basis-length (basis degr length)
Package

cat-7.

Source

bar.lisp.

Function: bar-basis-length (basis degr length)
Package

cat-9.

Source

bar.lisp.

Function: bar-basis-length (basis degr length)
Package

cat-8.

Source

bar.lisp.

Function: bar-cmpr (cmpr)
Package

cat-7.

Source

bar.lisp.

Function: bar-cmpr (cmpr)
Package

cat-9.

Source

bar.lisp.

Function: bar-cmpr (cmpr)
Package

cat-8.

Source

bar.lisp.

Function: bar-hrzn-dffr (algb)
Package

cat-7.

Source

bar.lisp.

Function: bar-hrzn-dffr (algb)
Package

cat-9.

Source

bar.lisp.

Function: bar-hrzn-dffr (algb)
Package

cat-8.

Source

bar.lisp.

Function: bar-intr-hrzn-dffr (aprd)
Package

cat-7.

Source

bar.lisp.

Function: bar-intr-hrzn-dffr (aprd)
Package

cat-9.

Source

bar.lisp.

Function: bar-intr-hrzn-dffr (aprd)
Package

cat-8.

Source

bar.lisp.

Function: bar-intr-vrtc-dffr (dffr)
Package

cat-7.

Source

bar.lisp.

Function: bar-intr-vrtc-dffr (dffr)
Package

cat-9.

Source

bar.lisp.

Function: bar-intr-vrtc-dffr (dffr)
Package

cat-8.

Source

bar.lisp.

Function: bicn-cmbn-cmbnb (cmbn)

(BICN-CMBN-CMBNB CMBN) extracts from the bicone combination CMBN of degree n the B-component as a legal combination of degree n in B. If the B-component is empty, the null combination of degree n in B is returned.

Package

cat-7.

Source

bicones.lisp.

Function: bicn-cmbn-cmbnb (cmbn)
Package

cat-9.

Source

bicones.lisp.

Function: bicn-cmbn-cmbnb (cmbn)
Package

cat-8.

Source

bicones.lisp.

Function: bicn-cmbn-cmbnc (cmbn)

(BICN-CMBN-CMBNC CMBN) extracts from the bicone combination CMBN of degree n the C-component as a legal combination of degree n+1 in C. If the C-component is empty, the null combination of degree n+1 in C is returned.

Package

cat-7.

Source

bicones.lisp.

Function: bicn-cmbn-cmbnc (cmbn)
Package

cat-9.

Source

bicones.lisp.

Function: bicn-cmbn-cmbnc (cmbn)
Package

cat-8.

Source

bicones.lisp.

Function: bicn-cmbn-cmbnd (cmbn)

(BICN-CMBN-CMBND CMBN) extracts from the bicone combination CMBN of degree n the D-component as a legal combination of degree n in D. If the D-component is empty, the null combination of degree n in D is returned.

Package

cat-7.

Source

bicones.lisp.

Function: bicn-cmbn-cmbnd (cmbn)
Package

cat-9.

Source

bicones.lisp.

Function: bicn-cmbn-cmbnd (cmbn)
Package

cat-8.

Source

bicones.lisp.

Function: bicone (rdct1 rdct2)

(BICONE RDCT1 RDCT2) returns the bicone chain complex from the reductions RDCT1 and RDCT2. B is the top chain complex of RDCT1 and D is the top chain complex of RDCT2. The bottom chain complexes of RDCT1 and RDCT2 must be the same, and C is that chain complex.

Package

cat-7.

Source

bicones.lisp.

Function: bicone (rdct1 rdct2)
Package

cat-9.

Source

bicones.lisp.

Function: bicone (rdct1 rdct2)
Package

cat-8.

Source

bicones.lisp.

Function: bicone-basis (basisb basisc basisd)

(BICONE-BASIS BASISB BASISC BASISD) returns a bicone basis function built from the basis functions BASISB, BASISC and BASISD. If at least one is locally effective, the function returns the symbol :locally-effective.

Package

cat-7.

Source

bicones.lisp.

Function: bicone-basis (basisb basisc basisd)
Package

cat-9.

Source

bicones.lisp.

Function: bicone-basis (basisb basisc basisd)
Package

cat-8.

Source

bicones.lisp.

Function: bicone-cmpr (cmprb cmprc cmprd)

(BICONE-CMPR CMPRB CMPRC CMPRD) returns a comparison function for bicone generators, which is contructed from the comparison functions CMPRB, CMPRC and CMPRD.

Package

cat-7.

Source

bicones.lisp.

Function: bicone-cmpr (cmprb cmprc cmprd)
Package

cat-9.

Source

bicones.lisp.

Function: bicone-cmpr (cmprb cmprc cmprd)
Package

cat-8.

Source

bicones.lisp.

Function: binomial-n-p (n p)
Package

cat-7.

Source

various.lisp.

Function: binomial-n-p (n p)
Package

cat-9.

Source

various.lisp.

Function: binomial-n-p (n p)
Package

cat-8.

Source

various.lisp.

Function: brown-reduction (fibration)
Package

cat-7.

Source

serre.lisp.

Function: brown-reduction (fibration)
Package

cat-9.

Source

serre.lisp.

Function: brown-reduction (fibration)
Package

cat-8.

Source

serre.lisp.

Function: bspn-p (cmpr bspn dmns absm)
Package

cat-7.

Source

simplicial-sets.lisp.

Function: bspn-p (cmpr bspn dmns absm)
Package

cat-9.

Source

simplicial-sets.lisp.

Function: bspn-p (cmpr bspn dmns absm)
Package

cat-8.

Source

simplicial-sets.lisp.

Function: build-chcm (&key cmpr basis bsgn intr-dffr strt orgn)

————————————————————–[function-doc] BUILD-CHCM
Args: (&key cmpr basis bsgn intr-dffr strt orgn)
Returns an instance of the class CHAIN-COMPLEX. The keyword arguments are as follows:

:CMPR CMPR, the comparison function for generators

:BASIS BASIS, the function defining the basis of the freee Z-modules C_p or the the keyword :LOCALLY-EFFECTIVE

:BSGN BSGN, a generator, the base point of the underlying set

:INTR-DFFR INTR-DFFR, a Lisp function defining the differential homomorphism for each p (d_p: C_p -> C_{p-1}

:STRT STRT, one of the keywords :GNRT or :CMBN, defining the mapping strategy of the differential homomorphism, either by generator or by combination. The default is :GNRT

:ORGN ORGN, a list which is the copy of a Lisp statement, in principle the statement which was at the origin of the creation of this Kenzo object. A caching process, using this slot, prevents the creation of multiple copies of the same mathematical object, which is important for efficiency. It is used also for debugging and analyzing the program.

Use this function instead of creating instances via the standard constructor MAKE-INSTANCE. ——————————————————————————

Package

cat-7.

Source

chain-complexes.lisp.

Function: build-chcm (&key cmpr basis bsgn intr-dffr strt orgn)
Package

cat-9.

Source

chain-complexes.lisp.

Function: build-chcm (&key cmpr basis bsgn intr-dffr strt orgn)
Package

cat-8.

Source

chain-complexes.lisp.

Function: build-finite-ss (list)
Package

cat-7.

Source

special-smsts.lisp.

Function: build-finite-ss (list)
Package

cat-9.

Source

special-smsts.lisp.

Function: build-finite-ss (list)
Package

cat-8.

Source

special-smsts.lisp.

Function: build-mrph (&key sorc trgt degr intr strt orgn)

————————————————————–[function-doc] BUILD-MRPH
Args: (&key sorc trgt degr intr strt orgn)
Returns an instance of the class MORPHISM. The keyword arguments are as follows:

:SORC SORC, the source object, a CHAIN-COMPLEX type object

:TRGT TRGT, the target object, a CHAIN-COMPLEX type object

:DEGR DEGR, the degree of the morphism, an integer

:INTR INTR, the Lisp function defining the effective mapping

:STRT STRT, one of the keywords :GNRT or :CMBN, defining the mapping strategy of the differential homomorphism, either by generator or by combination. The default is :GNRT

:ORGN ORGN, a list which is the copy of a Lisp statement, in principle the statement which was at the origin of the creation of this Kenzo object. A caching process, using this slot, prevents the creation of multiple copies of the same mathematical object, which is important for efficiency. It is used also for debugging and analyzing the program.

Use this function instead of creating instances via the standard constructor MAKE-INSTANCE. ——————————————————————————

Package

cat-7.

Source

chain-complexes.lisp.

Function: build-mrph (&key sorc trgt degr intr strt orgn)
Package

cat-9.

Source

chain-complexes.lisp.

Function: build-mrph (&key sorc trgt degr intr strt orgn)
Package

cat-8.

Source

chain-complexes.lisp.

Function: build-rdct (&key f g h orgn)

————————————————————–[function-doc] BUILD-RDCT
Args: (&key f g h orgn)
Returns an instance of the class REDUCTION. The keyword arguments are as follows:

:F F, an object of type MORPHISM representing the chain morphism f of a reduction

:G G, an object of type MORPHISM representing the chain morphism g of a reduction

:H H, an object of type MORPHISM representing the morphism of graded modules h of a reduction

:ORGN ORGN, a list which is the copy of a Lisp statement, in principle the statement which was at the origin of the creation of this Kenzo object. A caching process, using this slot, prevents the creation of multiple copies of the same mathematical object, which is important for efficiency. It is used also for debugging and analyzing the program.

Use this function instead of creating instances via the standard constructor MAKE-INSTANCE. ——————————————————————————

Package

cat-7.

Source

effective-homology.lisp.

Function: build-rdct (&key f g h orgn)
Package

cat-9.

Source

effective-homology.lisp.

Function: build-rdct (&key f g h orgn)
Package

cat-8.

Source

effective-homology.lisp.

Function: build-smmr (&key sorc trgt degr sintr intr strt orgn)
Package

cat-7.

Source

simplicial-mrphs.lisp.

Function: build-smmr (&key sorc trgt degr sintr intr strt orgn)
Package

cat-9.

Source

simplicial-mrphs.lisp.

Function: build-smmr (&key sorc trgt degr sintr intr strt orgn)
Package

cat-8.

Source

simplicial-mrphs.lisp.

Function: build-smst (&key cmpr basis bspn face face* intr-bndr bndr-strt intr-dgnl dgnl-strt orgn)
Package

cat-7.

Source

simplicial-sets.lisp.

Function: build-smst (&key cmpr basis bspn face face* intr-bndr bndr-strt intr-dgnl dgnl-strt orgn)
Package

cat-9.

Source

simplicial-sets.lisp.

Function: build-smst (&key cmpr basis bspn face face* intr-bndr bndr-strt intr-dgnl dgnl-strt orgn)
Package

cat-8.

Source

simplicial-sets.lisp.

Function: cat-init ()

————————————————————–[function-doc] CAT-INIT
Args: ()
Initialize Kenzo internal data structures and clear, among other things, the list of user created chain complexes *CHCM-LIST* and reset the global counter to 0. ——————————————————————————

Package

cat-7.

Source

chain-complexes.lisp.

Function: cat-init ()
Package

cat-9.

Source

chain-complexes.lisp.

Function: cat-init ()
Package

cat-8.

Source

chain-complexes.lisp.

Function: change-chcm-to-algb (chcm &key intr-aprd aprd-strt orgn)
Package

cat-7.

Source

algebras.lisp.

Function: change-chcm-to-algb (chcm &key intr-aprd aprd-strt orgn)
Package

cat-8.

Source

algebras.lisp.

Function: chcm (idnm)

————————————————————–[function-doc] CHCM
Args: (idnm)
Return from the list *CHCM-LIST* the chain complex instance with Kenzo identifier IDNUM or NIL, if it doesn’t exist. ——————————————————————————

Package

cat-7.

Source

chain-complexes.lisp.

Function: chcm (idnm)
Package

cat-9.

Source

chain-complexes.lisp.

Function: chcm (idnm)
Package

cat-8.

Source

chain-complexes.lisp.

Function: chcm-disk-pasting (chcm dmns new bndr)
Package

cat-7.

Source

disk-pasting.lisp.

Function: chcm-disk-pasting (chcm dmns new bndr)
Package

cat-9.

Source

disk-pasting.lisp.

Function: chcm-disk-pasting (chcm dmns new bndr)
Package

cat-8.

Source

disk-pasting.lisp.

Function: chcm-homology (cc n)
Package

cat-7.

Source

homology-groups.lisp.

Function: chcm-homology (cc n)
Package

cat-9.

Source

homology-groups.lisp.

Function: chcm-homology (cc n)
Package

cat-8.

Source

homology-groups.lisp.

Function: chcm-homology-gen (cc n)
Package

cat-7.

Source

homology-groups.lisp.

Function: chcm-homology-gen (cc n)
Package

cat-9.

Source

homology-groups.lisp.

Function: chcm-homology-gen (cc n)
Package

cat-8.

Source

homology-groups.lisp.

Function: chcm-mat (chcm n)
Package

cat-7.

Source

homology-groups.lisp.

Function: chcm-mat (chcm n)
Package

cat-9.

Source

homology-groups.lisp.

Function: chcm-mat (chcm n)
Package

cat-8.

Source

homology-groups.lisp.

Function: chcm-mtrx (chcm degr)
Package

cat-7.

Source

smith.lisp.

Function: chcm-mtrx (chcm degr)
Package

cat-8.

Source

smith.lisp.

Function: check-cmbn (chcm cmbn)

————————————————————–[function-doc] CHECK-CMBN
Args: (chcm cmbn)
Tests if the combination CMBN is a valid combination of chain complex CHCM. CHECK-CMBN raises an error if the generators of CMBN are out-of-order. ——————————————————————————

Package

cat-7.

Source

combinations.lisp.

Function: check-cmbn (chcm cmbn)
Package

cat-9.

Source

combinations.lisp.

Function: check-cmbn (chcm cmbn)
Package

cat-8.

Source

combinations.lisp.

Function: check-faces (cmpr face dmns gmsm)
Package

cat-7.

Source

simplicial-sets.lisp.

Function: check-faces (cmpr face dmns gmsm)
Package

cat-9.

Source

simplicial-sets.lisp.

Function: check-faces (cmpr face dmns gmsm)
Package

cat-8.

Source

simplicial-sets.lisp.

Function: check-hat (kan indx dmns hat)
Package

cat-7.

Source

kan.lisp.

Function: check-hat (kan indx dmns hat)
Package

cat-9.

Source

kan.lisp.

Function: check-hat (kan indx dmns hat)
Package

cat-8.

Source

kan.lisp.

Function: check-kan (kan indx dmns hat)
Package

cat-7.

Source

kan.lisp.

Function: check-kan (kan indx dmns hat)
Package

cat-9.

Source

kan.lisp.

Function: check-kan (kan indx dmns hat)
Package

cat-8.

Source

kan.lisp.

Function: check-rdct ()

————————————————————–[function-doc] CHECK-RDCT
Args: ()
Maps combinations of the top and bottom chain complexes of a reduction using the morphisms created by PRE-CHECK-RDCT. Having no parameters, the combinations must be provided via the Lisp global variables *TC* and *BC*, for the top and bottom chain complex, respectively. If the morphisms are coherent, the result of each mapping is a null combination.

Note: This function is intended for interactive use. It pauses after each evaluation for the user to inspect the result. Resume execution, by pressing the <Enter> key. ——————————————————————————

Package

cat-7.

Source

effective-homology.lisp.

Function: check-rdct ()
Package

cat-9.

Source

effective-homology.lisp.

Function: check-rdct ()
Package

cat-8.

Source

effective-homology.lisp.

Function: check-rdct-no-wait ()

————————————————————–[function-doc] CHECK-RDCT-NO-WAIT
Args: ()
Maps combinations of the top and bottom chain complexes of a reduction using the morphisms created by PRE-CHECK-RDCT. Having no parameters, the combinations must be provided via the Lisp global variables *TC* and *BC*, for the top and bottom chain complex, respectively. If the morphisms are coherent, the result of each mapping is a null combination. ——————————————————————————

Package

cat-7.

Source

effective-homology.lisp.

Function: check-smst (smst dmns1 &optional dmns2)
Package

cat-7.

Source

simplicial-sets.lisp.

Function: check-smst (smst dmns1 &optional dmns2)
Package

cat-9.

Source

simplicial-sets.lisp.

Function: check-smst (smst dmns1 &optional dmns2)
Package

cat-8.

Source

simplicial-sets.lisp.

Function: chml-clss (chcm first)
Package

cat-7.

Source

smith.lisp.

Function: chml-clss (chcm first)
Package

cat-9.

Source

new-smith.lisp.

Function: chml-clss (chcm first)
Package

cat-8.

Source

smith.lisp.

Function: chml-clss-intr (chcm first)
Package

cat-7.

Source

smith.lisp.

Function: chml-clss-intr (chcm first)
Package

cat-9.

Source

new-smith.lisp.

Function: chml-clss-intr (chcm first)
Package

cat-8.

Source

smith.lisp.

Function: circle ()
Package

cat-7.

Source

k-pi-n.lisp.

Function: circle ()
Package

cat-9.

Source

k-pi-n.lisp.

Function: circle ()
Package

cat-8.

Source

k-pi-n.lisp.

Function: classifying-space-basis (basis)
Package

cat-7.

Source

classifying-spaces.lisp.

Function: classifying-space-basis (basis)
Package

cat-9.

Source

classifying-spaces.lisp.

Function: classifying-space-basis (basis)
Package

cat-8.

Source

classifying-spaces.lisp.

Function: classifying-space-cmpr (cmpr)
Package

cat-7.

Source

classifying-spaces.lisp.

Function: classifying-space-cmpr (cmpr)
Package

cat-9.

Source

classifying-spaces.lisp.

Function: classifying-space-cmpr (cmpr)
Package

cat-8.

Source

classifying-spaces.lisp.

Function: classifying-space-face (face sintr-grml)
Package

cat-7.

Source

classifying-spaces.lisp.

Function: classifying-space-face (face sintr-grml)
Package

cat-9.

Source

classifying-spaces.lisp.

Function: classifying-space-face (face sintr-grml)
Package

cat-8.

Source

classifying-spaces.lisp.

Function: classifying-space-grin-sintr (sintr-grin)
Package

cat-7.

Source

classifying-spaces.lisp.

Function: classifying-space-grin-sintr (sintr-grin)
Package

cat-9.

Source

classifying-spaces.lisp.

Function: classifying-space-grin-sintr (sintr-grin)
Package

cat-8.

Source

classifying-spaces.lisp.

Function: classifying-space-grml-sintr (idnt sintr-grml)
Package

cat-7.

Source

classifying-spaces.lisp.

Function: classifying-space-grml-sintr (idnt sintr-grml)
Package

cat-9.

Source

classifying-spaces.lisp.

Function: classifying-space-grml-sintr (idnt sintr-grml)
Package

cat-8.

Source

classifying-spaces.lisp.

Function: clock ()
Package

cat-7.

Source

various.lisp.

Function: clock ()
Package

cat-9.

Source

various.lisp.

Function: clock ()
Package

cat-8.

Source

various.lisp.

Function: cmbn (degr &rest rest)

————————————————————–[function-doc] CMBN
Args: (degr &rest rest)
Returns a combination of degree DEGR from a sum of terms provided as a sequence CF1 GNRT1 CF2 GNRT2 ... CFn GNRTn of coefficient / generator pairs in REST. REST can be of arbitrary length including NIL, in which case the combination is an instance of the null combination of degree DEGR. ——————————————————————————

Package

cat-7.

Source

combinations.lisp.

Function: cmbn (degr &rest rest)
Package

cat-9.

Source

classes.lisp.

Function: cmbn (degr &rest rest)
Package

cat-8.

Source

combinations.lisp.

Function: cmbn-? (mrph cmbn)
Package

cat-7.

Source

chain-complexes.lisp.

Function: cmbn-? (mrph cmbn)
Package

cat-9.

Source

chain-complexes.lisp.

Function: cmbn-? (mrph cmbn)
Package

cat-8.

Source

chain-complexes.lisp.

Function: cmbn-cmbn (cmpr n-cmbn-list)

————————————————————–[function-doc] CMBN-CMBN
Args: (cmpr n-cmbn-list)
Returns the linear combination of a list of integer/combination pairs. The first argument, CMPR, must be a function or macro, which is used to compare the generators of the input combinations and to order the terms of the result combination. The second argument, N-CMBN-LIST, is a list dotted pairs (CONSes), where the first element is a non-zero integer and the second element is a combination. ——————————————————————————

Package

cat-7.

Source

combinations.lisp.

Function: cmbn-cmbn (cmpr n-cmbn-list)
Package

cat-9.

Source

combinations.lisp.

Function: cmbn-cmbn (cmpr n-cmbn-list)
Package

cat-8.

Source

combinations.lisp.

Function: cmbn-con0 (cmbn)
Package

cat-7.

Source

cones.lisp.

Function: cmbn-con0 (cmbn)
Package

cat-9.

Source

cones.lisp.

Function: cmbn-con0 (cmbn)
Package

cat-8.

Source

cones.lisp.

Function: cmbn-con1 (cmbn)
Package

cat-7.

Source

cones.lisp.

Function: cmbn-con1 (cmbn)
Package

cat-9.

Source

cones.lisp.

Function: cmbn-con1 (cmbn)
Package

cat-8.

Source

cones.lisp.

Reader: cmbn-degr (instance)
Writer: (setf cmbn-degr) (instance)
Package

cat-7.

Source

classes.lisp.

Target Slot

degr.

Reader: cmbn-degr (instance)
Writer: (setf cmbn-degr) (instance)
Package

cat-9.

Source

classes.lisp.

Target Slot

degr.

Reader: cmbn-degr (instance)
Writer: (setf cmbn-degr) (instance)
Package

cat-8.

Source

classes.lisp.

Target Slot

degr.

Reader: cmbn-list (instance)
Writer: (setf cmbn-list) (instance)
Package

cat-7.

Source

classes.lisp.

Target Slot

list.

Reader: cmbn-list (instance)
Writer: (setf cmbn-list) (instance)
Package

cat-9.

Source

classes.lisp.

Target Slot

list.

Reader: cmbn-list (instance)
Writer: (setf cmbn-list) (instance)
Package

cat-8.

Source

classes.lisp.

Target Slot

list.

Function: cmbn-opps (cmbn)

————————————————————–[function-doc] CMBN-OPPS
Args: (cmbn)
Returns the combination opposite combination of CMBN. ——————————————————————————

Package

cat-7.

Source

combinations.lisp.

Function: cmbn-opps (cmbn)
Package

cat-9.

Source

combinations.lisp.

Function: cmbn-opps (cmbn)
Package

cat-8.

Source

combinations.lisp.

Function: cobar-basis (basis)
Package

cat-7.

Source

cobar.lisp.

Function: cobar-basis (basis)
Package

cat-9.

Source

cobar.lisp.

Function: cobar-basis (basis)
Package

cat-8.

Source

cobar.lisp.

Function: cobar-basis-length (basis degr length)
Package

cat-7.

Source

cobar.lisp.

Function: cobar-basis-length (basis degr length)
Package

cat-9.

Source

cobar.lisp.

Function: cobar-basis-length (basis degr length)
Package

cat-8.

Source

cobar.lisp.

Function: cobar-cmpr (cmpr)
Package

cat-7.

Source

cobar.lisp.

Function: cobar-cmpr (cmpr)
Package

cat-9.

Source

cobar.lisp.

Function: cobar-cmpr (cmpr)
Package

cat-8.

Source

cobar.lisp.

Function: cobar-hrzn-dffr (clgb)
Package

cat-7.

Source

cobar.lisp.

Function: cobar-hrzn-dffr (clgb)
Package

cat-9.

Source

cobar.lisp.

Function: cobar-hrzn-dffr (clgb)
Package

cat-8.

Source

cobar.lisp.

Function: cobar-intr-hrzn-dffr (cprd)
Package

cat-7.

Source

cobar.lisp.

Function: cobar-intr-hrzn-dffr (cprd)
Package

cat-9.

Source

cobar.lisp.

Function: cobar-intr-hrzn-dffr (cprd)
Package

cat-8.

Source

cobar.lisp.

Function: cobar-intr-vrtc-dffr (dffr)
Package

cat-7.

Source

cobar.lisp.

Function: cobar-intr-vrtc-dffr (dffr)
Package

cat-9.

Source

cobar.lisp.

Function: cobar-intr-vrtc-dffr (dffr)
Package

cat-8.

Source

cobar.lisp.

Function: column-minus (mtrx begin column)
Package

cat-7.

Source

smith.lisp.

Function: column-minus (mtrx icol)
Package

cat-9.

Source

new-smith.lisp.

Function: column-minus (mtrx begin column)
Package

cat-8.

Source

smith.lisp.

Function: column-op (mtrx begin lambda column1 column2)
Package

cat-7.

Source

smith.lisp.

Function: column-op (mtrx lambda icol1 icol2)
Package

cat-9.

Source

new-smith.lisp.

Function: column-op (mtrx begin lambda column1 column2)
Package

cat-8.

Source

smith.lisp.

Function: column-swap (mtrx begin column1 column2)
Package

cat-7.

Source

smith.lisp.

Function: column-swap (mtrx icol1 icol2)
Package

cat-9.

Source

new-smith.lisp.

Function: column-swap (mtrx begin column1 column2)
Package

cat-8.

Source

smith.lisp.

Function: cone (mrph)
Package

cat-7.

Source

cones.lisp.

Function: cone (mrph)
Package

cat-9.

Source

cones.lisp.

Function: cone (mrph)
Package

cat-8.

Source

cones.lisp.

Function: cone-2cmbn-append (cmbn0 cmbn1)
Package

cat-7.

Source

cones.lisp.

Function: cone-2cmbn-append (cmbn0 cmbn1)
Package

cat-9.

Source

cones.lisp.

Function: cone-2cmbn-append (cmbn0 cmbn1)
Package

cat-8.

Source

cones.lisp.

Function: cone-2mrph-diag (sorc-cone trgt-cone mrph0 mrph1)
Package

cat-7.

Source

cones.lisp.

Function: cone-2mrph-diag (sorc-cone trgt-cone mrph0 mrph1)
Package

cat-9.

Source

cones.lisp.

Function: cone-2mrph-diag (sorc-cone trgt-cone mrph0 mrph1)
Package

cat-8.

Source

cones.lisp.

Function: cone-2mrph-diag-impl (mrph0 mrph1)
Package

cat-7.

Source

cones.lisp.

Function: cone-2mrph-diag-impl (mrph0 mrph1)
Package

cat-9.

Source

cones.lisp.

Function: cone-2mrph-diag-impl (mrph0 mrph1)
Package

cat-8.

Source

cones.lisp.

Function: cone-3mrph-triangle (sorc-cone trgt-cone mrph0 mrph1 phi)
Package

cat-7.

Source

cones.lisp.

Function: cone-3mrph-triangle (sorc-cone trgt-cone mrph0 mrph1 phi)
Package

cat-9.

Source

cones.lisp.

Function: cone-3mrph-triangle (sorc-cone trgt-cone mrph0 mrph1 phi)
Package

cat-8.

Source

cones.lisp.

Function: cone-3mrph-triangle-impl (cmpr0 mrph0 mrph1 phi)
Package

cat-7.

Source

cones.lisp.

Function: cone-3mrph-triangle-impl (cmpr0 mrph0 mrph1 phi)
Package

cat-9.

Source

cones.lisp.

Function: cone-3mrph-triangle-impl (cmpr0 mrph0 mrph1 phi)
Package

cat-8.

Source

cones.lisp.

Function: cone-basis (basis0 basis1)
Package

cat-7.

Source

cones.lisp.

Function: cone-basis (basis0 basis1)
Package

cat-9.

Source

cones.lisp.

Function: cone-basis (basis0 basis1)
Package

cat-8.

Source

cones.lisp.

Function: cone-cmbn-split (cmbn)
Package

cat-7.

Source

cones.lisp.

Function: cone-cmbn-split (cmbn)
Package

cat-9.

Source

cones.lisp.

Function: cone-cmbn-split (cmbn)
Package

cat-8.

Source

cones.lisp.

Function: cone-cmpr (cmpr0 cmpr1)
Package

cat-7.

Source

cones.lisp.

Function: cone-cmpr (cmpr0 cmpr1)
Package

cat-9.

Source

cones.lisp.

Function: cone-cmpr (cmpr0 cmpr1)
Package

cat-8.

Source

cones.lisp.

Function: copy-mtrx (mtrx)
Package

cat-7.

Source

smith.lisp.

Function: copy-mtrx (mtrx)
Package

cat-8.

Source

smith.lisp.

Function: crts-contraction (space)
Package

cat-7.

Source

ls-twisted-products.lisp.

Function: crts-contraction (space)
Package

cat-9.

Source

ls-twisted-products.lisp.

Function: crts-contraction (space)
Package

cat-8.

Source

ls-twisted-products.lisp.

Function: crts-contraction-intr (base-cmpr base-bspn base-face crts-cmpr)
Package

cat-7.

Source

ls-twisted-products.lisp.

Function: crts-contraction-intr (base-cmpr base-bspn base-face crts-cmpr)
Package

cat-9.

Source

ls-twisted-products.lisp.

Function: crts-contraction-intr (base-cmpr base-bspn base-face crts-cmpr)
Package

cat-8.

Source

ls-twisted-products.lisp.

Function: crts-prdc (smst1 smst2)
Package

cat-7.

Source

cartesian-products.lisp.

Function: crts-prdc (smst1 smst2)
Package

cat-9.

Source

cartesian-products.lisp.

Function: crts-prdc (smst1 smst2)
Package

cat-8.

Source

cartesian-products.lisp.

Function: crts-prdc-basis (basis1 basis2)
Package

cat-7.

Source

cartesian-products.lisp.

Function: crts-prdc-basis (basis1 basis2)
Package

cat-9.

Source

cartesian-products.lisp.

Function: crts-prdc-basis (basis1 basis2)
Package

cat-8.

Source

cartesian-products.lisp.

Function: crts-prdc-cmpr (cmpr1 cmpr2)
Package

cat-7.

Source

cartesian-products.lisp.

Function: crts-prdc-cmpr (cmpr1 cmpr2)
Package

cat-9.

Source

cartesian-products.lisp.

Function: crts-prdc-cmpr (cmpr1 cmpr2)
Package

cat-8.

Source

cartesian-products.lisp.

Function: crts-prdc-face (face1 face2)