src/euclidean/wrap.rs

Mon, 01 Sep 2025 00:04:22 -0500

author
Tuomo Valkonen <tuomov@iki.fi>
date
Mon, 01 Sep 2025 00:04:22 -0500
branch
dev
changeset 149
2f1798c65fd6
parent 147
d6009939e832
child 174
53ab61a41d70
permissions
-rw-r--r--

wrap hacks

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
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
5 use crate::euclidean::Euclidean;
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
6 use crate::instance::Space;
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
7 use crate::types::Float;
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
8
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
9 pub trait Wrapped: Space {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
10 type WrappedField: Float;
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
11 type Unwrapped: Euclidean<Self::WrappedField>;
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
12 type UnwrappedMut: Euclidean<Self::WrappedField>;
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
13 type UnwrappedOutput: Euclidean<Self::WrappedField>;
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
14 type WrappedOutput;
147
d6009939e832 Bump pyo3
Tuomo Valkonen <tuomov@iki.fi>
parents: 146
diff changeset
15 fn get_view(&self) -> Self::Unwrapped;
d6009939e832 Bump pyo3
Tuomo Valkonen <tuomov@iki.fi>
parents: 146
diff changeset
16 fn get_view_mut(&mut self) -> Self::UnwrappedMut;
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
17 fn wrap(output: Self::UnwrappedOutput) -> Self::WrappedOutput;
147
d6009939e832 Bump pyo3
Tuomo Valkonen <tuomov@iki.fi>
parents: 146
diff changeset
18 }
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
19
147
d6009939e832 Bump pyo3
Tuomo Valkonen <tuomov@iki.fi>
parents: 146
diff changeset
20 #[macro_export]
d6009939e832 Bump pyo3
Tuomo Valkonen <tuomov@iki.fi>
parents: 146
diff changeset
21 macro_rules! wrap {
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
22 // Rust macros are totally fucked up. $trait:path does not work, have to
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
23 // manually code paths through $($trait:ident)::+.
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
24 (impl_unary $type:ty, $($trait:ident)::+, $fn:ident where $($qual:tt)*) => {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
25 impl<$($qual)*> $($trait)::+ for $type {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
26 type Output = <Self as $crate::euclidean::wrap::Wrapped>::WrappedOutput;
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
27 fn $fn(self) -> Self::Output {
147
d6009939e832 Bump pyo3
Tuomo Valkonen <tuomov@iki.fi>
parents: 146
diff changeset
28 Self::wrap(self.get_view().$fn())
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
29 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
30 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
31 };
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
32 (impl_binary $type:ty, $($trait:ident)::+, $fn:ident where $($qual:tt)*) => {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
33 impl<$($qual)*> $($trait)::+<$type> for $type {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
34 type Output = <Self as $crate::euclidean::wrap::Wrapped>::WrappedOutput;
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
35 fn $fn(self, other: $type) -> Self::Output {
147
d6009939e832 Bump pyo3
Tuomo Valkonen <tuomov@iki.fi>
parents: 146
diff changeset
36 Self::wrap(self.get_view().$fn(other.get_view()))
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
37 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
38 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
39
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
40 impl<'a, $($qual)*> $($trait)::+<$type> for &'a $type {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
41 type Output = <$type as $crate::euclidean::wrap::Wrapped>::WrappedOutput;
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
42 fn $fn(self, other: $type) -> Self::Output {
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
43 <$type>::wrap(self.get_view().$fn(other.get_view()))
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
44 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
45 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
46
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
47 impl<'a, 'b, $($qual)*> $($trait)::+<&'b $type> for &'a $type {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
48 type Output = <$type as $crate::euclidean::wrap::Wrapped>::WrappedOutput;
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
49 fn $fn(self, other: &'b $type) -> Self::Output {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
50 <$type>::wrap(self.get_view().$fn(other.get_view()))
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
51 }
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
52 }
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
53
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
54 impl<'b, $($qual)*> $($trait)::+<&'b $type> for $type {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
55 type Output = <Self as $crate::euclidean::wrap::Wrapped>::WrappedOutput;
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
56 fn $fn(self, other: &'b $type) -> Self::Output {
147
d6009939e832 Bump pyo3
Tuomo Valkonen <tuomov@iki.fi>
parents: 146
diff changeset
57 Self::wrap(self.get_view().$fn(other.get_view()))
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
58 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
59 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
60 };
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
61 (impl_scalar $F:ty, $type:ty, $($trait:ident)::+, $fn:ident where $($qual:tt)*) => {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
62 impl<$($qual)*> $($trait)::+<$F> for $type
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
63 // where
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
64 // $type: $crate::euclidean::wrap::Wrapped<WrappedField = F>,
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
65 // //$type::Unwrapped: $($trait)::+<F>,
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
66 {
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
67 type Output = <Self as $crate::euclidean::wrap::Wrapped>::WrappedOutput;
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
68 fn $fn(self, t: $F) -> Self::Output {
147
d6009939e832 Bump pyo3
Tuomo Valkonen <tuomov@iki.fi>
parents: 146
diff changeset
69 Self::wrap(self.get_view().$fn(t))
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
70 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
71 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
72
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
73 impl<'a, $($qual)*> $($trait)::+<$F> for &'a $type
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
74 // where
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
75 // $type: $crate::euclidean::wrap::Wrapped<WrappedField = F>,
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
76 // //$type::Unwrapped: $($trait)::+<F>,
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
77 {
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
78 type Output = <$type as $crate::euclidean::wrap::Wrapped>::WrappedOutput;
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
79 fn $fn(self, t: $F) -> Self::Output {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
80 <$type>::wrap(self.get_view().$fn(t))
146
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 };
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
85 (impl_scalar_lhs $F:ty, $type:ty, $($trait:ident)::+, $fn:ident where $($qual:tt)*) => {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
86 impl<$($qual)*> $($trait)::+<$type> for $F
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
87 // where
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
88 // $type: $crate::euclidean::wrap::Wrapped<WrappedField = $F>,
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
89 // // where
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
90 // // $F: $($trait)::+<$type::Unwrapped>,
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
91 {
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
92 type Output = <$type as $crate::euclidean::wrap::Wrapped>::WrappedOutput;
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
93 fn $fn(self, rhs: $type) -> Self::Output {
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
94 <$type>::wrap(self.$fn(rhs.get_view()))
146
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 };
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
98 (impl_binary_mut $type:ty, $($trait:ident)::+, $fn:ident where $($qual:tt)*) => {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
99 impl<$($qual)*> $($trait)::+<$type> for $type {
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
100 fn $fn(&mut self, rhs: $type) {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
101 self.get_view_mut().$fn(rhs.get_view())
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
102 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
103 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
104
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
105 impl<'b, $($qual)*> $($trait)::+<&'b $type> for $type {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
106 fn $fn(&mut self, rhs: &'b $type) {
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
107 self.get_view_mut().$fn(rhs.get_view())
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
108 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
109 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
110 };
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
111 (impl_scalar_mut $F:ty, $type:ty, $($trait:ident)::+, $fn:ident where $($qual:tt)*) => {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
112 impl<$($qual)*> $($trait)::+<$F> for $type
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
113 // where
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
114 // $type: $crate::euclidean::wrap::Wrapped<WrappedField = F>,
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
115 // // where
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
116 // // $type::UnwrappedMut: $($trait)::+<$($trait)::+<F>>,
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
117 {
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
118 fn $fn(&mut self, t: $F) {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
119 self.get_view_mut().$fn(t)
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
120 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
121 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
122 };
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
123 // ($type:ty) => {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
124 // $crate::wrap!(imp<> do $type);
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
125 // };
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
126 ($F:ty; $type:ty where $($qual:tt)*) => {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
127 $crate::wrap!(impl_unary $type, std::ops::Neg, neg where $($qual)*);
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
128 $crate::wrap!(impl_binary $type, std::ops::Add, add where $($qual)*);
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
129 $crate::wrap!(impl_binary $type, std::ops::Sub, sub where $($qual)*);
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
130 $crate::wrap!(impl_scalar $F, $type, std::ops::Mul, mul where $($qual)*);
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
131 $crate::wrap!(impl_scalar $F, $type, std::ops::Div, div where $($qual)*);
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
132 $crate::wrap!(impl_scalar_lhs $F, $type, std::ops::Mul, mul where $($qual)*);
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
133 $crate::wrap!(impl_binary_mut $type, std::ops::AddAssign, add_assign where $($qual)*);
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
134 $crate::wrap!(impl_binary_mut $type, std::ops::SubAssign, sub_assign where $($qual)*);
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
135 $crate::wrap!(impl_scalar_mut $F, $type, std::ops::MulAssign, mul_assign where $($qual)*);
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
136 $crate::wrap!(impl_scalar_mut $F, $type, std::ops::DivAssign, div_assign where $($qual)*);
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
137
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
138 impl<$($qual)*> $crate::euclidean::Euclidean<$F> for $type
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
139 // where
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
140 // Self: $crate::euclidean::wrap::Wrapped<WrappedField = $F>
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
141 // + Sized
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
142 // + std::ops::Mul<F, Output = <Self as $crate::linops::AXPY>::Owned>
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
143 // + std::ops::MulAssign<F>
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
144 // + std::ops::Div<F, Output = <Self as $crate::linops::AXPY>::Owned>
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
145 // + std::ops::DivAssign<F>
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
146 // + std::ops::Add<Self, Output = <Self as $crate::linops::AXPY>::Owned>
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
147 // + std::ops::Sub<Self, Output = <Self as $crate::linops::AXPY>::Owned>
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
148 // + for<'b> std::ops::Add<&'b Self, Output = <Self as $crate::linops::AXPY>::Owned>
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
149 // + for<'b> std::ops::Sub<&'b Self, Output = <Self as $crate::linops::AXPY>::Owned>
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
150 // + std::ops::AddAssign<Self>
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
151 // + for<'b> std::ops::AddAssign<&'b Self>
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
152 // + std::ops::SubAssign<Self>
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
153 // + for<'b> std::ops::SubAssign<&'b Self>
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
154 // + std::ops::Neg<Output = <Self as $crate::linops::AXPY>::Owned>,
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
155 {
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
156 fn dot<I: $crate::instance::Instance<Self>>(&self, other: I) -> $F {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
157 other.eval_decompose(|x| self.get_view().dot(&x.get_view()))
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
158 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
159
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
160 fn norm2_squared(&self) -> $F {
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
161 self.get_view().norm2_squared()
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
162 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
163
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
164 fn dist2_squared<I: $crate::instance::Instance<Self>>(&self, other: I) -> $F {
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
165 other.eval_decompose(|x| self.get_view().dist2_squared(x.get_view()))
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
166 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
167 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
168
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
169 impl<$($qual)*> $crate::linops::AXPY for $type
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
170 // where
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
171 // Self : $crate::euclidean::wrap::Wrapped<WrappedField = $F>,
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
172 // Self::Unwrapped : $crate::linops::AXPY<Field = F>,
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
173 // Self: std::ops::MulAssign<F> + std::ops::DivAssign<F>,
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
174 // Self::Unwrapped: std::ops::MulAssign<F> + std::ops::DivAssign<F>,
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
175 {
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
176 type Field = $F;
147
d6009939e832 Bump pyo3
Tuomo Valkonen <tuomov@iki.fi>
parents: 146
diff changeset
177 type Owned = Self;
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
178
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
179 fn axpy<I: $crate::instance::Instance<Self>>(&mut self, α: $F, x: I, β: $F) {
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
180 x.eval_decompose(|v| {
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
181 self.get_view_mut().axpy(α, v.get_view(), β)
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
182 })
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
183 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
184
147
d6009939e832 Bump pyo3
Tuomo Valkonen <tuomov@iki.fi>
parents: 146
diff changeset
185 fn copy_from<I: $crate::instance::Instance<Self>>(&mut self, x: I) {
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
186 x.eval_decompose(|v| {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
187 self.get_view_mut().copy_from(v.get_view())
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
188 })
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
189 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
190
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
191 fn scale_from<I: $crate::instance::Instance<Self>>(&mut self, α: $F, x: I) {
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
192 x.eval_decompose(|v| {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
193 self.get_mut_view().scale_from(α, v.get_view())
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
194 })
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 /// Return a similar zero as `self`.
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
198 fn similar_origin(&self) -> Self::Owned {
147
d6009939e832 Bump pyo3
Tuomo Valkonen <tuomov@iki.fi>
parents: 146
diff changeset
199 Self::wrap(self.get_view().similar_origin())
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
200 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
201
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
202 /// Set self to zero.
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
203 fn set_zero(&mut self) {
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
204 self.get_mut_view().set_zero()
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
205 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
206 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
207
149
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
208 impl<$($qual)*> $crate::instance::Space for $type {
2f1798c65fd6 wrap hacks
Tuomo Valkonen <tuomov@iki.fi>
parents: 147
diff changeset
209 type Decomp = <<Self as $crate::euclidean::wrap::Wrapped>::Unwrapped as $crate::instance::Space>::Decomp;
146
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
210 }
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
211 };
3f9a03f95457 wrap sketch
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
212 }

mercurial