README of the GraphIso Package for Gap 4
=======================================

Date:
=====
         06 June 2006

Version:
========

         1.0

Summary:
========
Some routines for graph non-isomorphism.

Installation:
=============
To install GraphIso, just unpack graphiso.zoo in the pkg subdirectory
of your GAP installation (or in the pkg subdirectory of any other
GAP root directory) with the following command:

	unzoo -x graphiso.zoo

then in the directory type 

	./configure <gap pkg dir>
	make 

The patch to dreadnaut used can be found in the directory patch. This patch can be reversed to get the original nauty22.

GraphIso is then loaded with the GAP command

gap> RequirePackage( "graphiso" ); 

Authors: 
========
	J.W. Knopper
        jwk@stack.nl


The source files (lib/*) are: (.gd files contain definitions)
describe.gi		functions to give a description of an invariant in
			human language
dreadnaut.gi		functions that use dreadnaut without modifications 
dreadnaut2.gi		functions that use dreadnaut with modifications
family.gi		functions and definitions for the IsoGraph Family/Object
formats.gi		functions to export graphs
grapeutil.gi		a few functions to create grape graphs
graphiso.gi		contains GraphIso.* formatted proof printing functions
info.gi			some component functions
invariants.gi		most of the invariant functions
invariants2.gi		some functions to test or combine all invariants
luks.gi			functions to construct a proof using Luks' algorithm
makegraph.gi		functions to create graphs
methods.gi		one method to convert a group into words
omstring.gi		Several functions that produce openmath output from gap 			objects
omstringhelp.gi		one help function for omstring.gi
permgps.gi		modified functions from permgps.g described in
			http://www.win.tue.nl/~amc/pub/permgp.pdf
printdread.gi		unused
proof.gi		Some generic functions to proof automorphisms
readgraph.gi		functions to read graphs from file (as function or from 			the adjacency matrix format)
report.gi		Functions that transform differences in invariant
			values into human readable proofs.
util.gi			Contains one utility function (move ?)
xml.gi			Functions to parse modified dreadnaut xml output into a 			proof

The graphs supplied in graphs/ are: 
brouwer1.g		4 graphs by Brouwer that cannot be separated by
brouwer2.g			invariants but can be distinguished by a 
brouwer3.g			subgraph as described in the thesis
brouwer4.g
brouwersub.g		the subgraph as described above
color_1a.g		two examples of colored graphs
color_1b.g
crosssquare.g		A square
dam_2a.g		Cospectral regular graphs from Which graphs are
dam_2b.g			determined by their spectrum? MR MR2022290
example_1a.g		example 1 
example_1b.g
family1.g		family of type (2,0)
family2.g		a family of type (2,3)
k211.g			the K_{2,1,1} subgraph
luks_ex.g		example used in the thesis
luks_ex0.g		same but not connected yet
luks_ex_relabel.g	same as luks_ex but relabeled
petersen5a.g		a petersen graph
petersen5b.g
petersen6a.g		a petersen-like graph on 12 vertices
petersen6b.g
remie_1a.g		examples from Remie
remie_1b.g
remie_2a.g
remie_2b.g
remie_3a.g
remie_3b.g
remie_4a.g
remie_4b.g
remie_5a.g
remie_5b.g
sevena.g		
sevenb.g
spectra_2_28.g		Some graphs with the same spectrum from Spectra of 
spectra_2_29.g			Graphs 
spectra_2_68.g
spectra_2_69.g
spectra_2_72.g
spectra_2_73.g
spectra_2_74.g
spectra_2_75.g
sr351668_adjmat.txt	File containing the adjacency matrices of the strong
				regular graphs of type (35,16,6,8)

The examples supplied are :
dreadnauta.g		Generate a lot of proofs used (most in proofs/)
eigen.g
girth.g			Example with the girth
groups.g		Check how many different values the invariants take on
				the graphs SRG (35,16,6,8)
postscript.g		Examples of how to convert a graph to postscript
				(creates files in eps/)

And several smaller examples


NOTE: The files in the directory nauty22 are a patched copy of source written
by someone else. The patch can be found in the patch/ directory. For more
information see also the README there.