The archives on the right contain the
.txt
files obtained by running the most relevant steps of MinimalIW.nb
.The first contains the files
Part#toprk.txt
and Part#smallrk.txt
obtained by running Part III of MinimalIW.nb
, which sorts the partitions according to the rank of the matrices that they originate.The second contains the files
FIWaux#.txt
with the initial lists of isotropy weights obtained by running Part V b) of MinimalIW.nb
. The last archives contain the files
ShortFIWaux#.txt
, C1FIWaux#.txt
FinalIWaux#.txt
, with the lists of Isotropy weights obtained by running
MinimalIW.nb
Part V. c) 4. (which uses Lemmas 8.1 and 8.2 in [GS]),
8. (which uses equation (8.2)),
9. (which uses the polynomial equations in (1.1)).