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.
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
