x_PA:= PolynomialAlgebra(FiniteField(5));; x_f:= Coerce(x_PA,X^2+2);; x_PSR:= PowerSeriesRing(FiniteField(5),x_f);; x_Quo:= Quotient(x_PSR,20);; a:=Element(x_Quo,[1,2,3]);; b:=Element(x_Quo,0);; c:=Element(x_Quo,[3,4]);; d:= Element(x_Quo,1);; M:= Matrix(x_Quo,3,2,[a,b,c,d,a,d]); NumberOfRows(M);