####################################################################
#  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:


###
