Packages

CoCoA version 4.2

Product homepage: http://cocoa.dima.unige.it/
How to enable:

• First follow the one-time getting started instructions.
• Then, go to your bin directory: cd ~/bin.
• Create the links:

  ln -s /u5/special/swaccount/public_packages/cocoa-4.2/CoCoA CoCoA
  ln -s /u5/special/swaccount/public_packages/cocoa-4.2/XCoCoA XCoCoA

To run, use the command CoCoA for the text-only version, or XCoCoA for the GUI version.

John Cremona's MWRANK

Product homepage: http://www.maths.nott.ac.uk/personal/jec/packages.html
How to enable:

• First follow the one-time getting started instructions.
• Then, go to your bin directory: cd ~/bin.
• Create the link:

  ln -s /u5/special/swaccount/public_packages/mwrank_sta_li mwrank
  

To run, use the command mwrank.

SWI-Prolog 5.2.13

Product homepage: http://www.swi-prolog.org/
How to enable:

• First follow the one-time getting started instructions.
• Then, go to your bin directory: cd ~/bin.
• Create a bunch of links (just copy/paste each command!):

  ln -s /u5/special/swaccount/public_packages/pl-5.2.13/lib/pl-5.2.13/bin/i686-linux/pl pl
  ln -s /u5/special/swaccount/public_packages/pl-5.2.13/lib/pl-5.2.13/bin/i686-linux/plld plld
  ln -s /u5/special/swaccount/public_packages/pl-5.2.13/lib/pl-5.2.13/bin/i686-linux/plrc plrc
  ln -s /u5/special/swaccount/public_packages/pl-5.2.13/lib/pl-5.2.13/bin/i686-linux/pl xpce
  ln -s /u5/special/swaccount/public_packages/pl-5.2.13/bin/xpce-client xpce-client
  

• Note: there is no misprint in the 4th command above. You really are linking xpce to the pl command.