IntersectionsTom( tom, a, b )
The intersections of the two conjugacy classes of subgroups with class
numbers a and b, respectively, are determined by the decomposition of
the tensor product of their rows of marks. IntersectionsTom
returns
this decomposition.
gap> IntersectionsTom( a5, 8, 8 ); [ ,, 1,,,,, 1 ]
Any two subgroups of class number 8 (A_4) of A_5 are either equal and their intersection has again class number 8, or their intersection has class number 3, and is a cyclic subgroup of order 3.
GAP 3.4.4