code: def append_vector(self, name, vector, _left=False):
          
          if np.issubdtype(vector.dtype, np.integer):
              # determine the length we need
              largest = str(max(vector.max(), vector.min(), key=abs))
              length = max(len(largest), min(7, len(name)))  # how many spaces we need to represent
  
              if len(name) > length:
                  header = name[:length-1] + '.'
              else:
                  header = name.rjust(length)
  
              def f(datum):
                  return str(getattr(datum, name)).rjust(length)
          elif np.issubdtype(vector.dtype, np.floating):
              largest = np.format_float_positional(max(vector.max(), vector.min(), key=abs),
                                                   precision=6, trim='0')
              length = max(len(largest), min(7, len(name)))  # how many spaces we need to represent
              if len(name) > length:
                  header = name[:length-1] + '.'
              else:
                  header = name.rjust(length)
  
              def f(datum):
                  return np.format_float_positional(getattr(datum, name),
                                                    precision=6, trim='0',
                                                    ).rjust(length)
          else:
              length = 7
              if len(name) > length:
                  header = name[:length-1] + '.'
              else:
                  header = name.rjust(length)
  
              def f(datum):
                  r = repr(getattr(datum, name))
                  if len(r) > length:
                      r = r[:length-3] + '...'
                  return r.rjust(length)
  
          self.append(header, f, _left=_left)
docs: Add a data vectors column.