Lattice Maker for CGT

LatticeMaker is a software that produces and displays the lattice of games born at the n^th day of a initially given set of combinatorial games. LatticeMaker uses the output generated by cgsuite to produce pstricks files containing the lattice description (after a transitive reduction) so that it can be easily included in latex documents.

Here is an example (the second day of set {0}):

Installation

You need to previously install

• Java (version 6 or higher)
• Graphviz (version 2.28 or higher)

Then download LatticeMaker (current version 1.4.1), unzip it and read file README.txt.

Use

To define what initial set of games and how many days we want to produce, edit 'latticeMaker.cgs' (a cgsuite script file) and go to its end where you will find these lines:

games = [0];

d1 = nextDay(games);

d2 = nextDay(d1) >> out;

makeDot(d2) >> out;

There are two main functions, nextDay() and makeDot(). Function nextDay() computes and returns the next day of a given game set. Function makeDot() returns a list of pairs of games (g1,g2) where g1<g2 (but you don't need to know these details). The previous example produces the 2^nd day of set {0} (in cgsuite the set is represent by a list; notice that, syntactically, games are separated by commas, e.g., [0,*,-1/2,{1|0},v]).

So, in this file you need to:

1. Define the initial game set.
2. Invoke nextDay() the number of times you want (attention: the set's cardinality grows really fast).
3. Order the output the last day (using operator >> out)
4. Order the output of makeDot() for the last day

Then execute batch run.bat (or run.sh for unix/linux systems). This batch creates the next latex files:

• graph.tex -- a pstricks lattice description
• graph_tiny.tex -- the same lattice but with short labels
• graph_labels.tex -- a latex table with the caption for graph_tiny.tex. The number of columns is a parameter (cf. run.bat, line 32-3)
• irreds.tex -- a pstricks lattice description, with irreducible elements outlined
• irreds_tiny.tex -- the same lattice but with short labels
• irreds_labels.tex -- a latex table with the caption for irreds_tiny.tex

The zip file also includes a latex file, doc.tex, with a sample latex code showing how to embed these results in your document.

More examples

The lattice shown above but in the short labels version:

And the respective caption:

The lattice marked with its irreducible elements:

Authors

Alda Carvalho, Carlos Pereira dos Santos (theory), João Pedro Neto (software)

LatticeMaker is licensed under a
Creative Commons Attribution-ShareAlike 3.0 Unported License.

webpage maintained by João Pedro Neto
Apr 9, 2012