These are files used for the computations in my paper "Residual automorphic forms and spherical 
unitary representations".  I used two independent sets of programs, which I have put online here 
(in simplified form which runs well for most examples; for harder cases I used some additional 
tricks).

Below is an explanation of what each file is, grouped by which set of computations.


First set of computations (Mathematica)
---------------------------------------

The main file is Square-integrability.....nb
It has separate sections for E6, E7, E8, F4, and also D5 (as a check).

Those cases require the files D5_tables_and_...., etc....

They also require the files e6minlie,e7minlie,e8minlie, and f4minlie.  These files, together 
with g2minlie, give explicit realizations of Chevalley groups (but were not used in the 
computations; I merely adpoted their indexing of the roots and loaded them from there to save 
time).  I would like to acknowledge Ross Lawther for his crucial help in preparing those files.

The files e8positions.... are used to compute W_rel

The file "E82013-mathematica-file" contains a recheck of the previous results.  In the initial runs, I 
included some "safety valves" to ensure that Mathematica was correctly manipulating some expressions.  
Joseph Hundley pointed out to me that Mathematica was essentially ignoring them, and so I rewrote the code 
differently here.  The computations otherwise completely identical (i.e., the only change is that the 
program double-checks the results of an internal step).


Second set of computations (LiE and Sage)
-----------------------------------------

There is a precomputation with LiE, using the file lie-generator-....
Its outputs (which are loaded into the sage program) are the files relW_for_.....

The main sage file is "sagecode".  It uses the power series in the "expseries..." files.

Please let me know if you find that any needed files are missing.