Ask Your Question

Revision history [back]

@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