Im new to MAGMA and hope somebody will help me with my question.
If a group has a presentation with 4 generators, is there a magma code/function that can give me the same group with only three generators? If so, can you please provide me with that code?
Your help with this is appropriated. Thanks!
Since you tagged it also with [gap]: GAP has a function
IsomorphismSimplifiedFpGroupthat applies Tietze transformations heuristically, in the hope to simplify the presentation. It is likely that Magma has similar functionality.