| 413 X: Euclidean<F>, |
413 X: Euclidean<F>, |
| 414 { |
414 { |
| 415 type Derivative = X::Owned; |
415 type Derivative = X::Owned; |
| 416 |
416 |
| 417 fn differential_impl<I: Instance<X>>(&self, x: I) -> Self::Derivative { |
417 fn differential_impl<I: Instance<X>>(&self, x: I) -> Self::Derivative { |
| 418 x.own().into_owned() |
418 x.into_owned() |
| 419 } |
419 } |
| 420 } |
420 } |
| 421 |
421 |
| 422 impl<X, F> LipschitzDifferentiableImpl<X, L2> for Norm222<F> |
422 impl<X, F> LipschitzDifferentiableImpl<X, L2> for Norm222<F> |
| 423 where |
423 where |