#
# Test the validity of every matrix model in the database
#
# If you have a fast machine, read this file into a Maple session, and
#  have the (copious) results written to a file.
# On a 2.8GHz PIV with Red Hat Linux 9 and Maple9, it takes about 16 hours
#  and 240MB RAM, and produces 200KB of output.
# The bulk of the time is consumed by checking the orthogonal models.
# Testing only the seminormal models takes about 2.5 hours and 230MB.
#
# WARNING: If you are using a Maple version older than Maple 6, make sure
# you have first saved a copy of the E8_data file in the `.m` format that
# your Maple version can read:
#
#  read `../data/E8_data`; save Rep,Semi,Branch,`../data/E8_data.m`; quit;
#

read checkreps;

# Uncomment the following line to omit testing of the orthogonal models:

#seminormal_only:=true;

read `../data/G2_data`;
checkreps(G2,[$1..6]);

`unpack/erase`();    # clear out the remember table
read `../data/F4_data`;
cc:=[1,2,3,5,6,7,10,11,12]:
checkreps(F4,cc);

`unpack/erase`();    # clear out the remember table
read `../data/A8_data`;
for R in [A1,A2,A3,A4,A5,A6,A7,A8] do checkreps(R) od;

`unpack/erase`();    # clear out the remember table
read `../data/B8_data`;
checkreps(B2,[$1..5]);
checkreps(B3);
checkreps(B4,[$1..9]);
checkreps(B5);
cc:=[1,2,3,5,12,13,19]:
checkreps(B6,cc);
cc:=[1,2,3,5,16,17,27]:
checkreps(B7,cc);
cc:=[1,2,3,5,6,23,24,38]:
checkreps(B8,cc);

`unpack/erase`();    # clear out the remember table
read `../data/D8_data`;
for R in [D4,D5,D6,D7,D8] do checkreps(R) od;

`unpack/erase`();    # clear out the remember table
read `../data/E8_data.m`;
checkreps(E6);
checkreps(E7);
cc:=[1,2,3,4,9,10,15,78]:
checkreps(E8,cc);

quit;