An error occur when applying the Nakayama functor to the regulr module over an
enveloping algebra. The following example provokes the error, which was reported
by Rene Marczinzik.
Q := Quiver(1,[[1,1,"x"],[1,1,"y"]]);
kQ := PathAlgebra( GF( 3 ), Q );
AssignGeneratorVariables( kQ );
rel := [x^2,y^2,xy+yx];
A := kQ/rel;
IsSymmetricAlgebra(A);
C:=AlgebraAsModuleOverEnvelopingAlgebra(A);
NakayamaFunctorOfModule(C);
The entered matrices for the module do not satisfy the relation(s).
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `IsAlgebraModule' on 1 arguments called from
called from
called from
DualOfModule( StarOfModule( M )
) at /home/rene/Schreibtisch/gap4r8/pkg/QPA-1.25/lib/functors.gi:598 called f\
rom
( )
called from read-eval loop at line 9 of *stdin*
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk> quit;
An error occur when applying the Nakayama functor to the regulr module over an enveloping algebra. The following example provokes the error, which was reported by Rene Marczinzik.
Q := Quiver(1,[[1,1,"x"],[1,1,"y"]]); kQ := PathAlgebra( GF( 3 ), Q ); AssignGeneratorVariables( kQ ); rel := [x^2,y^2,xy+yx]; A := kQ/rel; IsSymmetricAlgebra(A); C:=AlgebraAsModuleOverEnvelopingAlgebra(A);
NakayamaFunctorOfModule(C); The entered matrices for the module do not satisfy the relation(s). Error, no method found! For debugging hints type ?Recovery from NoMethodFound Error, no 1st choice method found for `IsAlgebraModule' on 1 arguments called from