comparison: src/convex.rs
src/convex.rs
- branch
- dev
- changeset 151
- 402d717bb5c0
- parent 150
- c4e394a9c84c
- child 152
- dab30b331f49
- child 154
- 03f34ba55685
equal
deleted
inserted
replaced
| 150:c4e394a9c84c | 151:402d717bb5c0 |
|---|---|
| 393 } | 393 } |
| 394 | 394 |
| 395 impl<X, F> Prox<X> for Norm222<F> | 395 impl<X, F> Prox<X> for Norm222<F> |
| 396 where | 396 where |
| 397 F: Float, | 397 F: Float, |
| 398 X: Euclidean<F, Owned = X> + ClosedMul<F>, | 398 X: Euclidean<F>, |
| 399 { | 399 { |
| 400 type Prox<'a> | 400 type Prox<'a> |
| 401 = Scaled<F> | 401 = Scaled<F> |
| 402 where | 402 where |
| 403 Self: 'a; | 403 Self: 'a; |
| 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() | 418 x.own().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 |
