[GAP Forum] Free product with amalgamation

[William Giuliano]

Dear Forum,
                     I’ve used FreeProductWithAmalgamation in the package
groupoids to construct the free amalgamated product of two groups. I would
like to know if there is a way to construct the inclusions of the two
groups into the free amalgamated product in a way GAP can calculate, for
example, images and kernels. I’ve tried but it seems that the group is too
big.

Thank you very much
William