Given a reduced word w on letters a,b, we wish to determine if w is geometric
 or not.

  i.e. we wish to know if there is a simple closed curve \alpha
 on a genus 2 handlebody H such that \alpha represents the
 word w in the fundamental group of H.


To get started:

Save "geomtest.gap".  Run GAP version 4 from same directory.

Type:  gap>Read("geomtest.gap");

Usage: IsGeom(w), where w is a word in "a" and "b"

Returns:1 if w is verified to be geometric
        0 otherwise

eg

	gap> IsGeom(a^2*b^2);
	1

So a^2*b^2 is geometric


	gap> IsGeom(a*b*a^-1*b^2);
	0

So a*b*a^-1*b^2 is not verified to be geometric



WARNING: Output "1" means a geometric representative was found.
	 Output "0" means no geometric representative was found.
         Have not rigorously proved
         that word is non-geometric in this case.

(But would bet so)