####################################################################
#  Compute the multiplication table for the equivariant quantum    #
#  K-theory of the projective line and the projective plane.       #
#  This reproduces the examples from section 5.5 in the paper      #
#  "Quantum K-theory of Grassmannians" by A.Buch and L. Mihalcea.  #
####################################################################


read equivcalc:
with(equivcalc):


printf("QK_T(P^1):\n"):
Gr(1,2):
lprint(weyl_part(X[-1] * X[-1] = comin_qktmult(X[-1], X[-1]))):
printf("\n"):

printf("QK_T(P^2):\n"):
Gr(1,3):
for i from 1 to 2 do
  for j from 1 to i do
    u := part_weyl(X[i]):
    v := part_weyl(X[j]):
    prd := comin_qktmult(u, v):
    lprint(weyl_part(u*v = prd)):
  od:
od:


###