[GAP Forum] spin group, finite subgroups

[Bartosz Putrycz]

Dear Forum,

I need to have some way to put/represent in GAP finite subgroups of the
spin group,
given by generators in Clifford algebra,
or given by their image in canonical epimorphism onto SO(n)
For example:
1)
<e_1 e_2, e_2 e_3, e_1 e_3> maped onto C2^2(diagonal +-1) in SO(3)

2)
<1/sqrt{2} (1 - e_3 e_4), 1/sqrt{2} e_1(e_3 - e_4)> -> D8 in SO(4)

Of course I could analyze these groups by myself, first is Q8,
but I have more examples and I want to analyze them automatically by GAP.


Regards,
Bartosz Putrycz.