Error occurred when viewing a path algebra $A$ as a right-module over itself

[NotoOotori]

Hi! As shown in the example after 6.1.3 of the QPA manual version 1.34, if $A$ is a path algebra modulo a non-zero admissable ideal, then RightAlgebraModule(A,\*,A); returns $A$ which is viewed as a right module over itself. However, when $A$ is a path algebra (quotiented by the zero ideal), a NoMethodFound error will be raised by the same command. Here is the M.W.E.:

LoadPackage("qpa");
Q := Quiver(2, [[2, 1, "a"]];
kQ := PathAlgebra(Rationals, Q);
A := kQ;
Amod := RightAlgebraModule(A,\*,A);

Error, no method found! For debugging hints type ?Recovery from NoMethodFound
......

[sunnyquiver]

The command RightAlgebraModule is not a QPA-function. So there is apparently something missing with the arguments. It seems it is the third one that is the culprit. If you first compute Basis(A) and then RightAlgebraModule(A,\*,A), there is not error messages produced, at least of a finite dimension path algebra A. I am not sure about the best way to fix this.

[sunnyquiver]

In commit 26316bc, for a path algebra of an acyclic quiver a basis is computed upon creation of the path algebra. The command RightAlgebraModule requires that the third argument is finite dimensional, hence the restriction to acyclic quivers are necessary when wanting to compute RightAlgebraModule(A,\*,A). This is hopefully fixing the issue #87.

[NotoOotori]

Thank you very much!