Pushout Construction for the Kenzo program

• An algorithm computing the pushout of simplicial sets. preprint.
  • Article presented for the XII Encuentro de Álgebra Computacional y Aplicaciones (EACA 2010)
• Pushout Construction for the Kenzo program. pdf.
  • A complete description of our construction of the effective homology of the pushout.
• Pushout files. zip.
  • The new module for the Kenzo system.

Installation:

• Download and Install a Common Lisp environment. We recommend ACL, a express version can be downloaded from here.
• Download the Kenzo program from Sergeraert web page.
• Unzip the Kenzo program and copy the files into the Common Lisp environment folder.
• Download the Pushout module.
• Unzip the pushout module and copy the files into the Common Lisp environment folder.
• Start Common Lisp.
• Introduce the following statements in the console:
  • (load "cat-init") ; Include Kenzo files
  • (in-package cl-user) ; Change the package
  • (load-cfiles); Load Kenzo files
  • (load "pushout-list") ; Include pushout module
  • (load-pushoutfiles) ; load pushout files

Examples of the usage of pushout module can be seen in the file examples of the pushout zip.