def apply_one_vector(u): v = Vector(self.range.dim, 0) self._impl.apply(u._impl, v) return WrappedVector(v)
def copy(self): return type(self)(Vector(self._impl))
def zero_vector(self): return WrappedVector(Vector(self.dim, 0))
def make_zeros(cls, subtype): return cls(Vector(subtype, 0))
def _copy_data(self): self._impl = Vector(self._impl)