####################################################################
#  Compute the multiplication table for the quantum K-theory       #
#  ring of the Grassmannian Gr(2,4).  This reproduces              #
#  Example 5.9 from the paper "Quantum K-theory of Grassmannians"  #
#  by A. Buch and L. Mihalcea.                                     #
####################################################################


read equivcalc:
with(equivcalc):


printf("Quantum K-theory of Gr(2,4):\n"):
Gr(2,4):
WP := weyl_group():
for u in WP do
  for v in WP do
    prd := comin_qkmult(u, v):
    lprint(weyl_part(X[op(u)] * X[op(v)] = prd)):
  od:
od:


###