Proof of the BMR freeness conjecture for the groups G20 and G21

Here we provide the programs used for the group G21 in our paper Proof of the BMR freeness conjecture for the groups G20 and G21 . These are programs for GAP4 (at least gap4r8). The archive contains the following programs.

G21params.gap is a data file containing the list of leading terms of the Gröbner basis (called gbwords) and the basis of the Hecke algebra (called bsew)

G21makerules.gap builds a list rules corresponding to "L" in the paper.

G21rules.gap contains only the list rules produced by G21makerules.gap

G21comput.gap uses G21rules.gap to compute the matrix mmm of right multiplications

G21matrices11dec2016.gap contains mmm

Back to the main page. Back to the software page.