I have a group G and a map from G onto H, and I want GAP to use Reidemeister-Schreier to get a presentation for the kernel of the map. I couldn't figure out from the manual how to do this. Could somebody please help? Thanks.