[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.

[buynnnmmm1 at yahoo.co.jp]

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.
Even when it is solved in the GAP of M12 puzzle an 15 puzzle, It was using the same function in the same procedure.

I cannot understand these procedure.
Could you tell me a simple example as can be seen what you are doing in more detail?
Or please tell me the URL of the material more descriptive.

buynnnmmm1