| 167:effb80efba09 | 168:93daa824c04a |
|---|---|
| 431 X: Euclidean<F>, | 431 X: Euclidean<F>, |
| 432 { | 432 { |
| 433 type Derivative = X::PrincipalV; | 433 type Derivative = X::PrincipalV; |
| 434 | 434 |
| 435 fn differential_impl<I: Instance<X>>(&self, x: I) -> Self::Derivative { | 435 fn differential_impl<I: Instance<X>>(&self, x: I) -> Self::Derivative { |
| 436 x.into_owned() | 436 x.own() |
| 437 } | 437 } |
| 438 } | 438 } |
| 439 | 439 |
| 440 impl<X, F> LipschitzDifferentiableImpl<X, L2> for Norm222<F> | 440 impl<X, F> LipschitzDifferentiableImpl<X, L2> for Norm222<F> |
| 441 where | 441 where |