NOTE
I noticed in Feb 2023 that this program no longer runs on a
modern computer.  A Brown undergraduate student, Anirudh Marsipur,
fixed the code.  The file Version2023A has the fix that Anirudh did.
The file Version2023B has the fix the I made.
The file JavaVersion is a work-in-progress, where I convert the code to Java


This directory and its subdirectories contain all the files
associated to my paper
REAL HYPERBOLIC ON THE OUTSIDE, COMPLEX HYPERBOLIC ON THE INSIDE
Each directory contains its own README file, giving 
an overview of that directory.   Here is an overview
of the files and directories in this directory.
----------------------------------------------


TheGroup/:
The directory TheGroup/ contains Mathematica files which define
the matrices generating the group Gamma(4,7).  This directory
corresponds to Ch.3 of the paper.

RealHyp/:
The directory RealHyp/ contains (mainly) Mathematica
files which make the computations from Ch.5 of the paper.
In particular, this directory contains the files which make
pictures of the tiling in Ch.5.

Braid/:
The directory Braid contains the programs which
draw the braids shown in Ch 5 of the paper.

Computations/:
The directory Computations/ contains all the C code used
in the computer-aided proof in Ch.10.  This is the main
subdirectory.   Any program run from the main directory
invokes the file Computations/list.c, which then includes
all the other files into it.

<tests.c>:
The file <tests.c> contains the computational tests which 
together comprise the proof given in Ch.9.  These
tests can either be run one at a time, or all at once.
To run some of the tests, but not others, just comment
out the ones you don't want to run.
This is a C file, and is compiled and run in the usual
way.   The file <test_log> contains the results of the tests.

The file <degenerate_list1> contains the 3 exceptional
pairs of tetrahedra which have 2 vertices in common.
The file <degenerate_list2> contains the 30 exceptional
pairs of tetrahedra which have 3 vertices in common.
These tetrahedra are indexed as they are
handled by our code.  The files are re-created
every time corresponding tests are run.  If the tests
are aborted in the middle, the files may be empty
or incomplete.  Currently the files are not in the
directory because I made some partial runs after
making the complete run.

Graphics/:
The directory Graphics/ contains the files which let us
draw all the pictures generated by the code in the
Computations/ directory.  Some of these files are C
and some are Tcl.  All the files in Graphics/
are called by the file main.t, our main graphical
used interface.

<main.t>:
<main.t> is our graphical user interface.  Its function is
documented (somewhat) inside the file itself.
To run this file, you just type main.t.  It is an
executable file.  Of course, this assumes that
your system has tcl, and that the top line of main.t
correctly points to the location of the tcl interpreter
on your system.

