code: def _strip_space(x):
      
      r = repr(x)
      space_repr = '{!r}.element('.format(x.space)
      if r.startswith(space_repr) and r.endswith(')'):
          r = r[len(space_repr):-1]
      return r
docs: Strip the SPACE.element( ... ) part from a repr.