[GAP Forum] Please tell me the meaning (FreeGroup, GroupHomomorphismByImages and PreImagesRepresentative) of the set of functions to be used when solving the puzzle in GAP.

[Petr Savicky]

On Sun, Sep 14, 2014 at 11:28:20PM +0900, buynnnmmm1 at yahoo.co.jp wrote:
> Hello
> 
> I cannot understand how to solve pazlles.
> ex. http://www.gap-system.org/Doc/Examples/rubik.html
> 
> They use FreeGroup, then use GroupHomomorphismByImages, then use PreImagesRepresentative.

The sequence of function calls used to find a solution
for a Rubik's cube configuration in the above link is
briefly explained also at

  39.5 Expressing Group Elements as Words in Generators
  http://www.gap-system.org/Manuals/doc/ref/chap39.html#X7E19F92284F6684E

Best regards,
Petr Savicky.