1 | initial version |
@mmarco provided this answer
g=FreeGroup(2)/[(1,1,-2,-1)]
g1=gap(g)
P=g1.PresentationFpGroup()
# Convert the GAP record TzOptions to a SAGEMATH dictionnary
dic=P.TzOptions().sage()
# Change the 'protected' key to the number of protected generators
dic['protected']=2
# This order changes the GAP record
P.SetTzOptions(dic)
# The following simplification order does not eliminate generators.
P.TzGoGo()
I hope this will be useful for someone else and thanks to Miguel