#################################################################### # Compute the multiplication table for the quantum K-theory # # ring of the Cayley plane E6/P6. # # This table was included in an early version of the paper # # "Finiteness of cominuscule quantum K-theory" by # # A. Buch, P.-E. Chaput, L. Mihalcea, and N. Perrin. # #################################################################### read equivcalc: with(equivcalc): printf("QK(E6/P6):\n"): rs("E6", 6): WP := weyl_group(): for i from 2 to nops(WP) do for j from 2 to i do u := WP[i]: v := WP[j]: prd := comin_qkmult(u, v): lprint(weyl_part(X[op(u)] * X[op(v)] = prd)): od: od: ###