def repr_hd_map(self): return repr_map_joinn('r', self.n)
def repr_map(self, letter): return repr_map_joinn(letter, len(self.dom))