Dear GAP forum, I would like to test with the qpa package (qpa=quivers and path algebras), whether a projective A-module is isomorphic to the dual of another projective module (as modules).
Here, A=kQ/I is a quotient of a path algebra by an admissible ideal I. I have projective A-modules P_1 and P_2 and its dual I_2:=DualOfModule(P_2), but when I use the command IsomorphicModules(P_1,I_2), I get an error massage, because I_2 is not an A-module, but an A^op – module. Therefore, I would like to ask, if anybody knows, how to circumvent this problem. Thank you very much. Kind regards, Bernhard _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
