comparison: src/linops.rs
src/linops.rs
- branch
- dev
- changeset 177
- b071a1b484f8
- parent 171
- fa8df5a14486
- child 184
- b7b60b3b3eff
equal
deleted
inserted
replaced
| 176:21e51de02ab6 | 177:b071a1b484f8 |
|---|---|
| 42 /// Underlying scalar field | 42 /// Underlying scalar field |
| 43 type Field: Num; | 43 type Field: Num; |
| 44 | 44 |
| 45 /// Principal form of the space; always equal to [`Space::Principal`], but with | 45 /// Principal form of the space; always equal to [`Space::Principal`], but with |
| 46 /// more traits guaranteed. | 46 /// more traits guaranteed. |
| 47 /// | |
| 48 /// `PrincipalV` is only assumed to be `AXPY` for itself, as [`AXPY`] | |
| 49 /// uses [`Instance`] to apply all other variants and avoid problems | |
| 50 /// of choosing multiple implementations of the trait. | |
| 47 type PrincipalV: ClosedSpace | 51 type PrincipalV: ClosedSpace |
| 48 + AXPY< | 52 + AXPY< |
| 49 Self, | 53 Self::PrincipalV, |
| 50 Field = Self::Field, | 54 Field = Self::Field, |
| 51 PrincipalV = Self::PrincipalV, | 55 PrincipalV = Self::PrincipalV, |
| 52 OwnedVariant = Self::PrincipalV, | 56 OwnedVariant = Self::PrincipalV, |
| 53 Principal = Self::PrincipalV, | 57 Principal = Self::PrincipalV, |
| 54 >; | 58 >; |
