gap-packages / qpa

GAP package for quivers and path algebras
https://folk.ntnu.no/oyvinso/QPA/
GNU General Public License v2.0
30 stars 13 forks source link

Error creating path algebra over a finite field? #52

Closed mikepierce closed 4 years ago

mikepierce commented 4 years ago
gap> Q := Quiver(2,[[1,2,"a"]]);
gap> F := Z(17);
gap> PathAlgebra(F,Q);

This returns an error:

Error, <F> must be a division ring or field. called from
<function "PathAlgebra">( <arguments> )
  called from read-eval loop at line 3 of *stdin*

Is it not possible to define path algebras over finite fields with QPA?

sunnyquiver commented 4 years ago

The command Z(17) is not creating a finite field, just a multiplicative generator of the finite field with 17 elements. The command GF(17) returns the finite field with 17 elements. So replace Z(17) with GF(17) and you should be good.