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 Sun Sep 15 05:37:14 2024 GMT+0.

Table of Contents


1 Introduction


2 Systems

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


2.1 kenzo

A Symbolic Software for Effective Homology Computation by Francis Sergeraert

Author

Francis Sergeraert <>

License

GPLv3

Version

1.1.9

Source

kenzo.asd.

Child Component

src (module).


3 Modules

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


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.


4.1 Lisp


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.


5.1 cat-7

Source

package.lisp.

Nicknames
  • cat
  • kenzo
Use List

common-lisp.

Public Interface
Internals

5.2 kenzo-asd

Source

kenzo.asd.

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

5.3 cat-8

Source

package.lisp.

Use List

common-lisp.

Public Interface
Internals

5.4 cat-9

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.


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

Source

various.lisp.

Constant: +empty-list+
Package

cat-9.

Source

various.lisp.

Constant: +null-abar+
Package

cat-8.

Source

bar.lisp.

Constant: +null-abar+
Package

cat-9.

Source

bar.lisp.

Constant: +null-gbar+
Package

cat-8.

Source

classifying-spaces.lisp.

Constant: +null-gbar+
Package

cat-9.

Source

classifying-spaces.lisp.

Constant: +null-loop+
Package

cat-8.

Source

loop-spaces.lisp.

Constant: +null-loop+
Package

cat-9.

Source

loop-spaces.lisp.


6.1.2 Special variables

Special Variable: *bc*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *bc*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *bc*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *bdd*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *bdd*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *bdd*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *chcm-list*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *chcm-list*
Package

cat-8.

Source

chain-complexes.lisp.

Special Variable: *chcm-list*
Package

cat-9.

Source

chain-complexes.lisp.

Special Variable: *cmbn-control*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *cmbn-control*
Package

cat-8.

Source

cat-init.lisp.

Special Variable: *cmbn-control*
Package

cat-9.

Source

cat-init.lisp.

Special Variable: *df-fd*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *df-fd*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *df-fd*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *dg-gd*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *dg-gd*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *dg-gd*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *fh*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *fh*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *fh*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *hg*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *hg*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *hg*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *hh*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *hh*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *hh*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *homology-verbose*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *homology-verbose*
Package

cat-8.

Source

homology-groups.lisp.

Special Variable: *homology-verbose*
Package

cat-9.

Source

homology-groups.lisp.

Special Variable: *id-fg*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *id-fg*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *id-fg*
Package

cat-9.

Source

effective-homology.lisp.

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

cat-7.

Source

kenzo.lisp.

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

cat-8.

Source

effective-homology.lisp.

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

cat-9.

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

Source

chain-complexes.lisp.

Special Variable: *list-list*
Package

cat-9.

Source

chain-complexes.lisp.

Special Variable: *mrph-list*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *mrph-list*
Package

cat-8.

Source

chain-complexes.lisp.

Special Variable: *mrph-list*
Package

cat-9.

Source

chain-complexes.lisp.

Special Variable: *results-verbose*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *results-verbose*
Package

cat-8.

Source

chain-complexes.lisp.

Special Variable: *results-verbose*
Package

cat-9.

Source

chain-complexes.lisp.

Special Variable: *tc*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *tc*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *tc*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *tdd*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *tdd*
Package

cat-8.

Source

effective-homology.lisp.

Special Variable: *tdd*
Package

cat-9.

Source

effective-homology.lisp.

Special Variable: *tnpr-with-degrees*
Package

cat-7.

Source

kenzo.lisp.

Special Variable: *tnpr-with-degrees*
Package

cat-8.

Source

tensor-products.lisp.

Special Variable: *tnpr-with-degrees*
Package

cat-9.

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

Source

chain-complexes.lisp.

Special Variable: +too-much-time+
Package

cat-9.

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

Source

macros.lisp.

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

cat-9.

Source

macros.lisp.

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

cat-7.

Source

macros.lisp.

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

cat-8.

Source

macros.lisp.

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

cat-9.

Source

macros.lisp.

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

cat-7.

Source

macros.lisp.

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

cat-8.

Source

macros.lisp.

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

cat-9.

Source

macros.lisp.

Macro: 2-exp (n)
Package

cat-7.

Source

macros.lisp.

Macro: 2-exp (n)
Package

cat-8.

Source

macros.lisp.

Macro: 2-exp (n)
Package

cat-9.

Source

macros.lisp.

Macro: ? (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: ? (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: ? (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: absm (dgop gmsm)
Package

cat-7.

Source

macros.lisp.

Macro: absm (dgop gmsm)
Package

cat-8.

Source

macros.lisp.

Macro: absm (dgop gmsm)
Package

cat-9.

Source

macros.lisp.

Macro: absm1 (crpr)
Package

cat-7.

Source

macros.lisp.

Macro: absm1 (crpr)
Package

cat-8.

Source

macros.lisp.

Macro: absm1 (crpr)
Package

cat-9.

Source

macros.lisp.

Macro: absm2 (crpr)
Package

cat-7.

Source

macros.lisp.

Macro: absm2 (crpr)
Package

cat-8.

Source

macros.lisp.

Macro: absm2 (crpr)
Package

cat-9.

Source

macros.lisp.

Macro: apowr (dgop gmsm expn)
Package

cat-7.

Source

macros.lisp.

Macro: apowr (dgop gmsm expn)
Package

cat-8.

Source

macros.lisp.

Macro: apowr (dgop gmsm expn)
Package

cat-9.

Source

macros.lisp.

Macro: aprd (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: aprd (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: aprd (&rest rest)
Package

cat-9.

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

Source

macros.lisp.

Macro: basis (&rest rest)
Package

cat-9.

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

Source

macros.lisp.

Macro: bcc (&rest rest)
Package

cat-9.

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

Source

macros.lisp.

Macro: bcnb (gnrt)
Package

cat-9.

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

Source

macros.lisp.

Macro: bcnc (gnrt)
Package

cat-9.

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

Source

macros.lisp.

Macro: bcnd (gnrt)
Package

cat-9.

Source

macros.lisp.

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

cat-7.

Source

macros.lisp.

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

cat-8.

Source

macros.lisp.

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

cat-9.

Source

macros.lisp.

Macro: bndr (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: bndr (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: bndr (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: brgn (degr gnrt)
Package

cat-7.

Source

macros.lisp.

Macro: brgn (degr gnrt)
Package

cat-8.

Source

macros.lisp.

Macro: brgn (degr gnrt)
Package

cat-9.

Source

macros.lisp.

Macro: bspn (smst)
Package

cat-7.

Source

macros.lisp.

Macro: bspn (smst)
Package

cat-8.

Source

macros.lisp.

Macro: bspn (smst)
Package

cat-9.

Source

macros.lisp.

Macro: cbgn (degr gnrt)
Package

cat-7.

Source

macros.lisp.

Macro: cbgn (degr gnrt)
Package

cat-8.

Source

macros.lisp.

Macro: cbgn (degr gnrt)
Package

cat-9.

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

Source

macros.lisp.

Macro: cffc (term)
Package

cat-9.

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

Source

macros.lisp.

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

cat-9.

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

Source

macros.lisp.

Macro: cmbn-zero-p (cmbn)
Package

cat-9.

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

Source

macros.lisp.

Macro: cmpr (&rest rest)
Package

cat-9.

Source

macros.lisp.

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

cat-7.

Source

macros.lisp.

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

cat-8.

Source

macros.lisp.

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

cat-9.

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 begin lambda column1 column2)
Package

cat-8.

Source

macros.lisp.

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

cat-9.

Source

macros.lisp.

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

cat-7.

Source

macros.lisp.

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

cat-8.

Source

macros.lisp.

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

cat-9.

Source

macros.lisp.

Macro: con0 (gnrt)
Package

cat-7.

Source

macros.lisp.

Macro: con0 (gnrt)
Package

cat-8.

Source

macros.lisp.

Macro: con0 (gnrt)
Package

cat-9.

Source

macros.lisp.

Macro: con1 (gnrt)
Package

cat-7.

Source

macros.lisp.

Macro: con1 (gnrt)
Package

cat-8.

Source

macros.lisp.

Macro: con1 (gnrt)
Package

cat-9.

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

Source

macros.lisp.

Macro: cprd (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: crpr (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: crpr (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: crpr (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: d (igmsm)
Package

cat-7.

Source

macros.lisp.

Macro: d (&rest list)
Package

cat-8.

Source

macros.lisp.

Macro: d (&rest list)
Package

cat-9.

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

Source

macros.lisp.

Macro: degenerate-p (absm)
Package

cat-9.

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

Source

macros.lisp.

Macro: dffr (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: dgnl (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: dgnl (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: dgnl (&rest rest)
Package

cat-9.

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

Source

macros.lisp.

Macro: f (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: face (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: face (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: face (&rest rest)
Package

cat-9.

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

Source

macros.lisp.

Macro: g (&rest rest)
Package

cat-9.

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

Source

macros.lisp.

Macro: gnrt (term)
Package

cat-9.

Source

macros.lisp.

Macro: gnrt-name (i)
Package

cat-7.

Source

macros.lisp.

Macro: gnrt-name (i)
Package

cat-8.

Source

macros.lisp.

Macro: gnrt-name (i)
Package

cat-9.

Source

macros.lisp.

Macro: grin (smgr &rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: grin (smgr &rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: grin (smgr &rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: grml (smgr &rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: grml (smgr &rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: grml (smgr &rest rest)
Package

cat-9.

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

Source

macros.lisp.

Macro: h (&rest rest)
Package

cat-9.

Source

macros.lisp.

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

cat-7.

Source

macros.lisp.

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

cat-8.

Source

macros.lisp.

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

cat-9.

Source

macros.lisp.

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

cat-7.

Source

macros.lisp.

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

cat-8.

Source

macros.lisp.

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

cat-9.

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

Source

macros.lisp.

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

cat-9.

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

Source

macros.lisp.

Macro: kfll (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: lexico (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: lexico (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: lexico (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: lf (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: lf (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: lf (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: lg (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: lg (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: lg (&rest rest)
Package

cat-9.

Source

macros.lisp.

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

cat-7.

Source

macros.lisp.

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

cat-8.

Source

macros.lisp.

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

cat-9.

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 begin lambda line1 line2)
Package

cat-8.

Source

macros.lisp.

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

cat-9.

Source

macros.lisp.

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

cat-7.

Source

macros.lisp.

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

cat-8.

Source

macros.lisp.

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

cat-9.

Source

macros.lisp.

Macro: mask (n)
Package

cat-7.

Source

macros.lisp.

Macro: mask (n)
Package

cat-8.

Source

macros.lisp.

Macro: mask (n)
Package

cat-9.

Source

macros.lisp.

Macro: non-degenerate-p (absm)
Package

cat-7.

Source

macros.lisp.

Macro: non-degenerate-p (absm)
Package

cat-8.

Source

macros.lisp.

Macro: non-degenerate-p (absm)
Package

cat-9.

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

Source

macros.lisp.

Macro: rbcc (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: rf (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: rf (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: rf (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: rg (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: rg (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: rg (&rest rest)
Package

cat-9.

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

Source

macros.lisp.

Macro: tcc (&rest rest)
Package

cat-9.

Source

macros.lisp.

Macro: term (cffc gnrt)
Package

cat-7.

Source

macros.lisp.

Macro: term (cffc gnrt)
Package

cat-8.

Source

macros.lisp.

Macro: term (cffc gnrt)
Package

cat-9.

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

Source

macros.lisp.

Macro: term-cmbn (degr cffc gnrt)
Package

cat-9.

Source

macros.lisp.

Macro: tnpr (degr1 gnrt1 degr2 gnrt2)
Package

cat-7.

Source

macros.lisp.

Macro: tnpr (degr1 gnrt1 degr2 gnrt2)
Package

cat-8.

Source

macros.lisp.

Macro: tnpr (degr1 gnrt1 degr2 gnrt2)
Package

cat-9.

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

Source

macros.lisp.

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

cat-9.

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

Source

macros.lisp.

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

cat-9.

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

Source

macros.lisp.

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

cat-9.

Source

macros.lisp.

Macro: with-crpr (&rest rest)
Package

cat-7.

Source

macros.lisp.

Macro: with-crpr (&rest rest)
Package

cat-8.

Source

macros.lisp.

Macro: with-crpr (&rest rest)
Package

cat-9.

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

Source

macros.lisp.

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

cat-9.

Source

macros.lisp.

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