Dear Froum, Is there any way in GAP that one can check a finitely presented group is a metabelian? Best