flagmatic version 1.5
Using the Mac OS X binary distribution
These are the instructions for getting started with the Mac OS X binary
distribution of flagmatic. This distribution is for 64-bit Intel Macs running
Mac OS X 10.6 (Snow Leopard) or Mac OS X 10.7 (Lion). The distribution contains
a User's Guide, the flagmatic and csdp executables and the helper scripts.
See the file CSDP-LICENSE for the terms under which CSDP is provided.
Download the flagmatic-1.5-mac64.zip file from the flagmatic website:
http://www.maths.qmul.ac.uk/~ev/flagmatic/
Your browser may or may not uncompress this file for you. Open the Downloads
folder in Finder and check if there is a flagmatic-1.5-mac64 directory. If not,
you will need to double-click the flagmatic-1.5-mac64.zip file to uncompress it.
To use flagmatic, you need to open the Terminal app, and change to the flagmatic
directory by typing:
$ cd Downloads/flagmatic-1.5-mac64
To test flagmatic, type:
$ mkdir output
$ ./flagmatic --r 3 --n 5 --forbid-k4- --dir output
The output should look something like this:
flagmatic version 1.5
============================================================================
Forbidding 4.3
Using admissible graphs of order 5.
Generated 1 type of order 1, with 2 flags of order 3.
Generated 2 types of order 3, with [7, 4] flags of order 4.
Generated 11 admissible graphs.
Approximate floating-point bound is 0.33333334
In order to produce exact bounds, the helper scripts must be run, and they
require Sage, which can be downloaded from:
http://www.sagemath.org/download-mac.html
Choose a mirror, then choose "Intel", then there is a choice between the "App" version
and the normal version. I suggest choosing the normal version, which will be called
something like
sage-4.8-OSX-64bit-10.6-x86_64-Darwin.dmg
Download and open this disk image, which contains a directory called "sage". This
should be dragged somewhere convenient, for example to Applications.
To run Sage, open the Terminal, and then type
export PATH=$PATH:"/Applications/sage"
After this, you should be able to run sage. To test it type:
$ sage --version
Sage Version 4.7.2, Release Date: 2011-10-29
To test the scripts, you can follow either the examples in the User's Guide or
one of the transcripts from the website.