src/euclidean/wrap.rs

Sat, 30 Aug 2025 22:25:28 -0500

author
Tuomo Valkonen <tuomov@iki.fi>
date
Sat, 30 Aug 2025 22:25:28 -0500
branch
dev
changeset 146
3f9a03f95457
child 147
d6009939e832
permissions
-rw-r--r--

wrap sketch

146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
1 /*!
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
2 Wrappers for implemention [`Euclidean`] operations.
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
3 */
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
4
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
5 use super::Euclidean;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
6 use crate::instance::{Decomposition, DecompositionMut, Instance, InstanceMut, MyCow};
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
7 use crate::linops::AXPY;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
8 use crate::loc::Loc;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
9 use crate::mapping::Space;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
10 use crate::norms::{HasDual, Norm, NormExponent, Normed, PairNorm, L2};
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
11 use crate::types::{Float, Num};
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
12 use core::ops::{Add, AddAssign, Div, DivAssign, Mul, MulAssign, Neg, Sub, SubAssign};
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
13 use serde::{Deserialize, Serialize};
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
14 use std::clone::Clone;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
15
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
16 macro_rules! impl_unary {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
17 ($type:ty, $trait:ident, $fn:ident) => {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
18 impl $trait for $type {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
19 type Output = Self::WrappedOutput;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
20 fn $fn(self) -> Self::Output {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
21 $type::wrap(self.get_view().$fn())
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
22 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
23 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
24 };
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
25 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
26
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
27 macro_rules! impl_binary {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
28 ($type:ty, $trait:ident, $fn:ident) => {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
29 impl $trait<$type> for $type {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
30 type Output = Self::WrappedOutput;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
31 fn $fn(self, other: $type) -> Self::Output {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
32 $type::wrap(self.get_view().$fn(other.get_view()))
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
33 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
34 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
35
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
36 impl<'a> $trait<$type> for &'a $type {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
37 type Output = Self::WrappedOutput;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
38 fn $fn(self, other: $type) -> Self::Output {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
39 $type::wrap(self.get_view().$fn(other.get_view()))
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
40 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
41 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
42
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
43 impl<'a, 'b> $trait<&'b $type> for &'a $type {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
44 type Output = Self::WrappedOutput;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
45 fn $fn(self, other: $type) -> Self::Output {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
46 $type::wrap(self.get_view().$fn(other.get_view()))
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
47 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
48 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
49
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
50 impl<'b> $trait<&'b $type> for $type {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
51 type Output = Self::WrappedOutput;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
52 fn $fn(self, other: $type) -> Self::Output {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
53 $type::wrap(self.get_view().$fn(other.get_view()))
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
54 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
55 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
56 };
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
57 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
58
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
59 macro_rules! impl_scalar {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
60 ($type:ty, $trait:ident, $fn:ident) => {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
61 impl<F: Num> $trait<F> for $type,
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
62 where
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
63 $type::Unwrapped: $trait<F>,
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
64 {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
65 type Output = Self::WrappedOutput;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
66 fn $fn(self, t: F) -> Self::Output {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
67 $type::wrap(self.get_view().$fn(t))
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
68 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
69 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
70
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
71 impl<'a, F: Num> $trait<F> for &'a $type,
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
72 where
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
73 $type::Unwrapped: $trait<F>,
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
74 {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
75 type Output = Self::WrappedOutput;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
76 fn $fn(self, t: F) -> Self::Output {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
77 $type::wrap(self.get_view().$fn(t))
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
78 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
79 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
80
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
81 };
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
82 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
83
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
84 macro_rules! impl_scalar_lhs {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
85 ($type:ty, $trait:ident, $fn:ident, $F:ty) => {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
86 impl<A, B> $trait<$type> for $F
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
87 where
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
88 $F: $type::Unwrapped,
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
89 {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
90 type Output = Self::WrappedOutput;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
91 fn $fn(self, rhs: $type) -> Self::Output {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
92 $type::wrap(self.$fn(rhs.get_view()))
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
93 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
94 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
95 };
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
96 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
97
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
98 macro_rules! impl_binary_mut {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
99 ($type:ty, $trait:ident, $fn:ident) => {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
100 impl $trait<$type> for $type {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
101 fn $fn(&mut self, rhs: $type) {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
102 self.get_view_mut().$fn(rhs.get_view())
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
103 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
104 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
105
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
106 impl<'b> $trait<&'b $type> for $type {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
107 fn $fn(&mut self, rhs: $type) {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
108 self.get_view_mut().$fn(rhs.get_view())
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
109 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
110 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
111 };
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
112 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
113
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
114 macro_rules! impl_scalar_mut {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
115 ($type:ty, $trait:ident, $fn:ident) => {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
116 impl $trait<F> for $type
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
117 where
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
118 $type::UnwrappedMut: $trait<F>,
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
119 {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
120 fn $fn(&mut self, t: F) {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
121 self.unwrap_mut().$fn(t)
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
122 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
123 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
124 };
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
125 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
126
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
127 macro_rules! wrap {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
128 ($type:ty) => {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
129 impl_unary!($type, Neg, neg);
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
130 impl_binary!($type, Add, add);
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
131 impl_binary!($type, Sub, sub);
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
132 impl_scalar!($type, Mul, mul);
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
133 impl_scalar!($type, Div, div);
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
134 impl_scalar_lhs!($type, Mul, mul, f32);
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
135 impl_scalar_lhs!($type, Mul, mul, f64);
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
136 impl_scalar_lhs!($type, Div, div, f32);
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
137 impl_scalar_lhs!($type, Div, div, f64);
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
138 impl_binary_mut!($type, AddAssign, add_assign);
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
139 impl_binary_mut!($type, SubAssign, sub_assign);
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
140 impl_scalar_mut!($type, MulAssign, mul_assign);
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
141 impl_scalar_mut!($type, DivAssign, div_assign);
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
142
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
143 /// We only support 'closed' `Euclidean` `Pair`s, as more general ones cause
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
144 /// compiler overflows.
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
145 impl<F: Float> Euclidean<F> for $type
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
146 where
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
147 //Pair<A, B>: Euclidean<F>,
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
148 Self: Sized
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
149 + Mul<F, Output = <Self as AXPY>::Owned>
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
150 + MulAssign<F>
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
151 + Div<F, Output = <Self as AXPY>::Owned>
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
152 + DivAssign<F>
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
153 + Add<Self, Output = <Self as AXPY>::Owned>
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
154 + Sub<Self, Output = <Self as AXPY>::Owned>
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
155 + for<'b> Add<&'b Self, Output = <Self as AXPY>::Owned>
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
156 + for<'b> Sub<&'b Self, Output = <Self as AXPY>::Owned>
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
157 + AddAssign<Self>
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
158 + for<'b> AddAssign<&'b Self>
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
159 + SubAssign<Self>
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
160 + for<'b> SubAssign<&'b Self>
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
161 + Neg<Output = <Self as AXPY>::Owned>,
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
162 {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
163 fn dot<I: Instance<Self>>(&self, other: I) -> F {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
164 other.eval_decompose(|x| self.get_view().dot(x.get_view()))
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
165 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
166
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
167 fn norm2_squared(&self) -> F {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
168 self.get_view().norm2_squared()
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
169 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
170
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
171 fn dist2_squared<I: Instance<Self>>(&self, other: I) -> F {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
172 other.eval_decompose(|x| self.get_view().dist2_squared(x.get_view()))
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
173 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
174 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
175
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
176 impl<F> AXPY for $type
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
177 where
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
178 Self::Unwrapped : AXPY<Field = $F>,
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
179 F: Num,
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
180 Self: MulAssign<F> + DivAssign<F>,
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
181 Self::Unwrapped: MulAssign<F> + DivAssign<F>,
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
182 {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
183 type Field = F;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
184 type Owned = Pair<A::Owned, B::Owned>;
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
185
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
186 fn axpy<I: Instance<Self>>(&mut self, α: F, x: I, β: F) {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
187 x.eval_decompose(|v| {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
188 self.get_mut_view().axpy(α, v.get_view(), β)
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
189 })
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
190 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
191
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
192 fn copy_from<I: Instance<Self>>(&mut self, x: I) {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
193 x.eval_decompose(|Pair(u, v)| {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
194 self.get_mut_view().copy_from(v.get_view())
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
195 })
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
196 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
197
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
198 fn scale_from<I: Instance<Self>>(&mut self, α: F, x: I) {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
199 x.eval_decompose(|v| {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
200 self.get_mut_view().scale_from(α, v.get_view())
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
201 })
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
202 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
203
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
204 /// Return a similar zero as `self`.
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
205 fn similar_origin(&self) -> Self::Owned {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
206 $type::wrap(self.get_view().similar_origin())
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
207 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
208
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
209 /// Set self to zero.
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
210 fn set_zero(&mut self) {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
211 self.get_mut_view().set_zero()
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
212 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
213 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
214
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
215 impl<A: Space, B: Space> Space for $type {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
216 type Decomp = $type::Unwrapped::Decomp
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
217 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
218 };
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
219 }

mercurial