FpGroup( P )
computes a finite presentation of the point group P, and binds it to
P.fpGroup
. If P (and thus its CrystGroup G := P.crystGroup
) is
solvable, a power-commutator presentation is returned.
Warning: If P is solvable, the abstract generators are not More about Crystallographic Groups).
GAP 3.4.4