def _ad_copy(self): r = get_overloaded_class(backend.Function)(self.function_space()) backend.Function.assign(r, self) return r
def _ad_add(self, other): r = get_overloaded_class(backend.Function)(self.function_space()) backend.Function.assign(r, self + other) return r