next up previous
Next: Graph Format Up: User Interaction Previous: Requirements nauty, LISP

Getting into LISP

Access to CLISP should be automatic. To use the nauty we provide, you need to manually set $PATH. First, log into monica.cs.rpi.edu through SSH. cd into the directory containing enumeration.lisp. At the command prompt, execute the following: ``PATH=$PATH:~tayloj/nauty22 clisp''. You should see something similar to the following;

tayloj@monica:~$ PATH=${PATH}:~tayloj/nauty22 clisp
  i i i i i i i       ooooo    o        ooooooo   ooooo   ooooo
  I I I I I I I      8     8   8           8     8     o  8    8
  I  \ `+' /  I      8         8           8     8        8    8
   \  `-+-'  /       8         8           8      ooooo   8oooo
    `-__|__-'        8         8           8           8  8
        |            8     o   8           8     o     8  8
  ------+------       ooooo    8oooooo  ooo8ooo   ooooo   8

Copyright (c) Bruno Haible, Michael Stoll 1992, 1993
Copyright (c) Bruno Haible, Marcus Daniels 1994-1997
Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998
Copyright (c) Bruno Haible, Sam Steingold 1999-2002


[1]>

``[1]>'' is the LISP prompt, to which we will give commands. First, load the file by entering ``(load "enumeration.lisp")''.

[1]> (load "enumeration.lisp")
;; Loading file enumeration.lisp ...
;; Loaded file enumeration.lisp
T
[2]>
Now the system is loaded and ready to accept input.



Joshua Taylor 2005-04-27