def _strong_gens_from_distr(strong_gens_distr):
 if (len(strong_gens_distr) == 1):
  return strong_gens_distr[0][:]
 else:
  result = strong_gens_distr[0]
  for gen in strong_gens_distr[1]:
   if (gen not in result):
    result.append(gen)
  return result

def _strong_gens_from_distr ( strong_gens_distr ) : if ( len ( strong_gens_distr ) == 1 ) : return strong_gens_distr [ 0 ] [ : ] else : result = strong_gens_distr [ 0 ] for gen in strong_gens_distr [ 1 ] : if ( gen not in result ) : result . append ( gen ) return result
retrieve strong generating set from generators of basic stabilizers .