This class is about experimenting with a set-theoretic modeller
called svLis (pronounced
soo-liss). This modeller was written at Bath, and is itself experimental,
as it is intended for research work, not commercial use. So the results
may occasionally go a little awry...
1. Open a window (shell) on the machine at which you are sitting.
2. Choose which of the University Suns you're going to use (one
of midge, mary, amos, ss1). Let's let sun
stand for the one you've chosen.
3. Type
xhost sun
(this allows the remote computer to plot graphics on your screen).
4. Type
telnet sun
then log in.
5. Once you're in, type
~ensab/run_svlis
This will run the program (from my home directory).
[Another program that's there is run by typing ~ensab/run_voronoi - that's for later in the course.]
© Adrian Bowyer 1996, 2000