CheckTranslations( G )
checks whether G.translations is indeed correct. If G.translations is
incorrect, a warning message is printed, otherwise GAP remains silent.
In the case of an incorrect translation basis a new CrystGroup must be
created, and the computations must be started afresh, because the wrong
translation basis may have produced wrong information components.
CheckTranslations is useful if a basis has been added with
AddTranslationsCrystGroup, and doubts arise later whether the basis
added was correct.
GAP 3.4.4