| 167:effb80efba09 | 168:93daa824c04a |
|---|---|
| 202 | 202 |
| 203 impl<X: Space> Mapping<X> for IdOp<X> { | 203 impl<X: Space> Mapping<X> for IdOp<X> { |
| 204 type Codomain = X::Principal; | 204 type Codomain = X::Principal; |
| 205 | 205 |
| 206 fn apply<I: Instance<X>>(&self, x: I) -> Self::Codomain { | 206 fn apply<I: Instance<X>>(&self, x: I) -> Self::Codomain { |
| 207 x.into_owned() | 207 x.own() |
| 208 } | 208 } |
| 209 } | 209 } |
| 210 | 210 |
| 211 impl<X: Space> Linear<X> for IdOp<X> {} | 211 impl<X: Space> Linear<X> for IdOp<X> {} |
| 212 | 212 |