# If the monodromies "pr" and "otro" are equivalent, then the
# pseudo-coxeter elements "totpr" and "tototro" have to be conjugated
# to each other. We first check if "totpr" and "tototro" are actually
# conjugated to each other and then, we find all the alements that
# realize the conjugation, that is, the set "X" of elements in the
# group "g" such that "totpr"="tototro"^x. In order to do so, we
# first find one element "x" in "X" and the centralizer "Z" of "tototro".
# One has that "X=x*Z".

# We check if the elements "tototro" and "totpr" are conjugate in the group
Print(IsConjugate(g,tototro,totpr),"\n");

# If the answer is "True", we choose an element "vale" such that
# "totpr"="tototro"^"vale".
vale:=RepresentativeAction(g,tototro,totpr);

# The object "conjugar" is a list of the elements "vale*Z" where
# Z is the Centralizer of "tototro". As mentioned before, "conjugar"
# is a list of all the elements "x" such that "totpr"="tototro"^x
conjugar:=List(Elements(Centralizer(g,tototro)),x->x*vale);;

# The ordered list "segundo" is the list of all conjugates
# of the list "otro" such that the reversed product
# is equal to the reversed product of "pr".
segundo:=Unique(List(conjugar,u->conjorbita(otro,u)));;
Sort(segundo);;