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).
Previous Up Top Next