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