How to use Kenzo (Algebraic Topology CAS) on Clozure CL

After some trials, finally got Kenzo to run on Mac:

First download it from (https://github.com/gheber/kenzo). Quicklisp needs to be installed and loaded first.

Type:

(ql:quickload :kenzo)

followed by

(in-package “CAT”)

followed by any Kenzo commands.

Screenshot:

Screen Shot 2016-02-18 at 10.28.28 AM

Advertisements

About mathtuition88

http://mathtuition88.com
This entry was posted in math and tagged . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s