############################################################################# ## #D $2.A_5$ as $1 \times 1$ matrices over the quaternions over $\Q( b_5 )$ ## local result, b5, b5c, gens, e, i, j; result:= rec(); result.comment:= "2.A5 as 1x1 matrices over the quaternions over Q(b5).\n\ "; b5:= EB(5); b5c:= StarCyc( b5 ); gens:= GeneratorsOfAlgebra( QuaternionAlgebra( Field( b5 ) ) ); e:= gens[1]; i:= gens[2]; j:= gens[3]; result.generators:= [ [ [ -i ] ], [ [ 1/2*( -e + b5c*i - b5*j ) ] ] ]; return result;