Instructions for Running the CVA Algorithms and SNePS on UB CSE Machines

Modified: 05/22/02

  • Start Lisp
    • From within Emacs or XEmacs, press M-x (the M-x is generated by pressing the Esc + x keys), then type run-old-acl.
    • From shell prompt, type old-acl.
  • To load SNePS, at the Lisp prompt type:
    • (load "/projects/snwiz/bin/sneps") or
    • :ld /projects/snwiz/bin/sneps
  • At the Lisp prompt, to load the noun algorithm, type:
    • (load "/projects/rapaport/CVA/mkb3.CVA/src/code") or
    • :ld /projects/rapaport/CVA/mkb3.CVA/src/code
  • Now start SNePS by typing (sneps) at the Lisp prompt.
  • Load your demo (CVA passage) by typing (demo "<pathname>/<filename>") at the SNePS prompt.
    • <pathname> = path to directory where demo file is found
    • <filename> = demo file name
    • Example CVA demos can be found in /projects/rapaport/CVA/mkb3.CVA/demos/
      • Refer to these demos, to see what must be included in your CVA passages to run correctly.
      • Notice that the demos load the noun algorithm; thus, if we run a demo, it is not necessary to manually load the noun algorithm as above.
      • It is also important to note that prefixing anything by a ^ at the SNePS prompt or within a demo file will allow you to call something in Lisp from SNePS.