def _verify_centralizer(group, arg, centr=None):
 if (centr is None):
  centr = group.centralizer(arg)
 centr_list = list(centr.generate_dimino(af=True))
 centr_list_naive = _naive_list_centralizer(group, arg, af=True)
 return _cmp_perm_lists(centr_list, centr_list_naive)

def _verify_centralizer ( group , arg , centr = None ) : if ( centr is None ) : centr = group . centralizer ( arg ) centr_list = list ( centr . generate_dimino ( af = True ) ) centr_list_naive = _naive_list_centralizer ( group , arg , af = True ) return _cmp_perm_lists ( centr_list , centr_list_naive )
verify the centralizer of a group/set/element inside another group .