Thu, 19 Dec 2024 15:55:32 -0500
Update to current alg_tools
46 | 1 | // Optimisation on non-Riemannian manifolds. |
2 | #![doc = include_str!(concat!(env!("OUT_DIR"), "/README_uglified.md"))] | |
4 | 3 | |
4 | // We use unicode. We would like to use much more of it than Rust allows. | |
5 | // Live with it. Embrace it. | |
6 | #![allow(uncommon_codepoints)] | |
7 | #![allow(mixed_script_confusables)] | |
8 | #![allow(confusable_idents)] | |
1 | 9 | |
19 | 10 | mod manifold; |
11 | mod fb; | |
12 | mod cube; | |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
13 | mod cylinder; |
19 | 14 | mod dist; |
15 | mod zero; | |
16 | mod scaled; | |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
17 | mod newton; |
19 | 18 | |
20 | 19 | use serde::{Serialize, Deserialize}; |
16 | 20 | use alg_tools::logger::Logger; |
21 | use alg_tools::tabledump::{TableDump, write_csv}; | |
22 | use alg_tools::error::DynError; | |
23 | use alg_tools::lingrid::LinSpace; | |
24 | use alg_tools::loc::Loc; | |
25 | use alg_tools::types::*; | |
55 | 26 | use alg_tools::mapping::{Sum, Mapping}; |
16 | 27 | use alg_tools::iterate::{AlgIteratorOptions, AlgIteratorFactory, Verbose}; |
28 | use image::{ImageFormat, ImageBuffer, Rgb}; | |
29 | ||
19 | 30 | use dist::{DistTo, DistToSquaredDiv2}; |
24 | 31 | use fb::{forward_backward, IterInfo, Desc, Prox}; |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
32 | use manifold::{EmbeddedManifoldPoint, ManifoldPoint, FacedManifoldPoint}; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
33 | use cube::OnCube; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
34 | use cylinder::{CylCoords, Cylinder, CylinderConfig, OnCylinder, normalise_angle}; |
19 | 35 | #[allow(unused_imports)] |
16 | 36 | use zero::ZeroFn; |
19 | 37 | use scaled::Scaled; |
1 | 38 | |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
39 | /// Location for saving results |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
40 | static PREFIX : &str = "res"; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
41 | |
13 | 42 | /// Program entry point |
1 | 43 | fn main() { |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
44 | simple_cube_test(format!("{PREFIX}/cube").as_str()).unwrap(); |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
45 | simple_cylinder_test(format!("{PREFIX}/cylinder").as_str()).unwrap(); |
7 | 46 | } |
1 | 47 | |
20 | 48 | /// Helper structure for saving a point on a cube into a CSV file |
49 | #[derive(Serialize,Deserialize,Debug)] | |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
50 | struct CSVPoint<Face> { |
12 | 51 | face : Face, |
52 | x : f64, | |
53 | y : f64, | |
54 | z : f64 | |
55 | } | |
56 | ||
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
57 | impl<M> From<&M> for CSVPoint<M::Face> |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
58 | where M : EmbeddedManifoldPoint<EmbeddedCoords = Loc<f64, 3>> + FacedManifoldPoint { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
59 | fn from(point : &M) -> Self { |
20 | 60 | let Loc([x,y,z]) = point.embedded_coords(); |
61 | let face = point.face(); | |
62 | CSVPoint { face, x, y, z } | |
63 | } | |
64 | } | |
65 | ||
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
66 | /// Helper structure for saving a point on a cylinder into a CSV file |
20 | 67 | #[derive(Serialize,Deserialize,Debug)] |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
68 | struct CSVCylPoint<Face> { |
20 | 69 | face : Face, |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
70 | angle : f64, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
71 | r : f64, |
20 | 72 | z : f64 |
73 | } | |
74 | ||
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
75 | impl<'a> From<&'a crate::cylinder::OnCylinder<'a>> for CSVCylPoint<crate::cylinder::Face> { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
76 | fn from(point : &'a OnCylinder<'a>) -> Self { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
77 | let CylCoords {r, angle, z} = point.cyl_coords(); |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
78 | let face = point.face(); |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
79 | CSVCylPoint { face, r, angle, z } |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
80 | } |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
81 | } |
12 | 82 | |
83 | /// A simple test on the cube | |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
84 | fn simple_cube_test(dir : &str) -> DynError { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
85 | use crate::cube::Face; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
86 | use crate::cube::Face::*; |
7 | 87 | |
88 | let points = [ | |
20 | 89 | OnCube::new(F1, Loc([0.5, 0.7])), |
90 | OnCube::new(F2, Loc([0.3, 0.5])), | |
91 | OnCube::new(F4, Loc([0.9, 0.9])), | |
92 | OnCube::new(F6, Loc([0.4, 0.3])), | |
93 | OnCube::new(F4, Loc([0.3, 0.7])), | |
94 | OnCube::new(F3, Loc([0.3, 0.7])), | |
7 | 95 | ]; |
96 | ||
20 | 97 | let origin = OnCube::new(F4, Loc([0.5, 0.5])); |
98 | ||
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
99 | std::fs::create_dir_all(dir)?; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
100 | write_csv(points.iter().map(CSVPoint::from), format!("{dir}/data.csv"))?; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
101 | write_csv(std::iter::once(&origin).map(CSVPoint::from), format!("{dir}/origin.csv"))?; |
20 | 102 | |
7 | 103 | let f = Sum::new(points.into_iter().map(DistToSquaredDiv2)); |
19 | 104 | //let g = ZeroFn::new(); |
20 | 105 | let g = Scaled::new(0.5, DistTo(origin)); |
32 | 106 | let τ = 0.1; |
12 | 107 | |
24 | 108 | for face in Face::all() { |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
109 | write_cube_face_csv(format!("{dir}/{face}"), face, 32, |x| f.apply(x) + g.apply(x))?; |
24 | 110 | } |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
111 | write_cube_face_imgs(dir, 128, |x| f.apply(x) + g.apply(x))?; |
24 | 112 | |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
113 | /// Helper structure for saving the log into a CSV file |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
114 | #[derive(Serialize,Deserialize,Debug)] |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
115 | struct CSVLog<Face> { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
116 | iter : usize, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
117 | value : f64, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
118 | // serde is junk |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
119 | //#[serde(flatten)] |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
120 | //point : CSVPoint |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
121 | face : Face, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
122 | x : f64, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
123 | y : f64, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
124 | z : f64 |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
125 | } |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
126 | |
12 | 127 | let logmap = |iter, IterInfo { value, point } : IterInfo<OnCube>| { |
20 | 128 | let CSVPoint {x , y, z, face} = CSVPoint::from(&point); |
129 | CSVLog { | |
130 | iter, value, //point : CSVPoint::from(&point) | |
131 | x, y, z, face | |
132 | } | |
12 | 133 | }; |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
134 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
135 | run_and_save(dir, "x1", &f, &g, OnCube::new(F3, Loc([0.1, 0.7])), τ, logmap)?; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
136 | run_and_save(dir, "x2", &f, &g, OnCube::new(F2, Loc([0.3, 0.1])), τ, logmap)?; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
137 | run_and_save(dir, "x3", &f, &g, OnCube::new(F6, Loc([0.6, 0.2])), τ, logmap) |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
138 | } |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
139 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
140 | |
46 | 141 | /// A simple test on a [`Cylinder`]. |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
142 | fn simple_cylinder_test(dir : &str) -> DynError { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
143 | let π = f64::PI; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
144 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
145 | let cyl = Cylinder { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
146 | radius : 1.0, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
147 | height : 1.0, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
148 | config : CylinderConfig { newton_iters : 100 }, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
149 | //Default::default(), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
150 | }; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
151 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
152 | let points = [ |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
153 | cyl.on_side(π/2.0, 0.4), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
154 | cyl.on_side(π*3.0/2.0, -0.1), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
155 | cyl.on_side(π, 0.2), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
156 | cyl.on_side(-π/5.0, -0.2), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
157 | cyl.on_side(π*2.0/3.0, -0.45), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
158 | cyl.on_top(π*3.0/4.0, 0.7), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
159 | cyl.on_bottom(π*5.0/4.0, 0.3), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
160 | ]; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
161 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
162 | let origin = cyl.on_side(0.0, 0.0); |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
163 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
164 | std::fs::create_dir_all(dir)?; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
165 | write_csv(points.iter().map(CSVCylPoint::from), format!("{dir}/data.csv"))?; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
166 | write_csv(std::iter::once(&origin).map(CSVCylPoint::from), format!("{dir}/origin.csv"))?; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
167 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
168 | let f = Sum::new(points.into_iter().map(DistToSquaredDiv2)); |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
169 | let g = Scaled::new(4.0, DistTo(origin)); |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
170 | let τ = 0.1; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
171 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
172 | write_cylinder_faces_csv(dir, &cyl, 32, 32, 32, |x| f.apply(x) + g.apply(x))?; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
173 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
174 | /// Helper structure for saving the log into a CSV file |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
175 | #[derive(Serialize,Deserialize,Debug)] |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
176 | struct CSVLog<Face> { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
177 | iter : usize, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
178 | value : f64, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
179 | // serde is junk |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
180 | //#[serde(flatten)] |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
181 | //point : CSVCylPoint |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
182 | face : Face, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
183 | angle : f64, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
184 | r : f64, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
185 | z : f64, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
186 | } |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
187 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
188 | let logmap = |iter, IterInfo { value, point } : IterInfo<OnCylinder<'_>>| { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
189 | let CSVCylPoint {r, angle, z, face} = CSVCylPoint::from(&point); |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
190 | CSVLog { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
191 | iter, value, //point : CSVPoint::from(&point) |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
192 | r, angle, z, face |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
193 | } |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
194 | }; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
195 | |
42 | 196 | run_and_save(dir, "x1", &f, &g, cyl.on_top(π*0.7, 0.8), τ, logmap)?; |
197 | run_and_save(dir, "x2", &f, &g, cyl.on_side(-π*0.42, -0.38), τ, logmap)?; | |
198 | run_and_save(dir, "x3", &f, &g, cyl.on_bottom(-π*0.3, 0.9), τ, logmap) | |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
199 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
200 | } |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
201 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
202 | |
46 | 203 | /// Runs [`forward_backward`] and saves the results. |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
204 | pub fn run_and_save<F, G, M, I>( |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
205 | dir : &str, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
206 | name : &str, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
207 | f : &F, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
208 | g : &G, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
209 | x : M, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
210 | τ : f64, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
211 | logmap : impl Fn(usize, IterInfo<M>) -> I |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
212 | ) -> DynError |
56 | 213 | where |
214 | M : ManifoldPoint | |
215 | + EmbeddedManifoldPoint<EmbeddedCoords = Loc<f64, 3>> | |
216 | + FacedManifoldPoint, | |
217 | F : Desc<M> + Mapping<M, Codomain = f64>, | |
218 | G : Prox<M> + Mapping<M, Codomain = f64>, | |
219 | I : Serialize | |
220 | { | |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
221 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
222 | let mut logger = Logger::new(); |
7 | 223 | let iter = AlgIteratorOptions{ |
32 | 224 | max_iter : 20, |
7 | 225 | verbose_iter : Verbose::Every(1), |
226 | .. Default::default() | |
12 | 227 | }.mapped(logmap) |
228 | .into_log(&mut logger); | |
7 | 229 | |
24 | 230 | let x̂ = forward_backward(f, g, x, τ, iter); |
7 | 231 | println!("result = {}\n{:?}", x̂.embedded_coords(), &x̂); |
11 | 232 | |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
233 | logger.write_csv(format!("{dir}/{name}_log.csv"))?; |
12 | 234 | |
235 | Ok(()) | |
1 | 236 | } |
11 | 237 | |
12 | 238 | /// Writes the values of `f` on `face` of a [`OnCube`] into a PNG file |
239 | /// with resolution `n × n`. | |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
240 | fn write_cube_face_imgs( |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
241 | dir : &str, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
242 | n : usize, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
243 | mut f : impl FnMut(&OnCube) -> f64 |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
244 | ) -> DynError { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
245 | use crate::cube::Face; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
246 | |
11 | 247 | let grid = LinSpace { |
248 | start : Loc([0.0, 0.0]), | |
249 | end : Loc([1.0, 1.0]), | |
250 | count : [n, n] | |
251 | }; | |
31 | 252 | |
253 | let mut m = 0.0; | |
254 | let mut datas = Vec::new(); | |
255 | ||
256 | for face in Face::all() { | |
257 | let rawdata : Vec<_> = grid.into_iter() | |
258 | .map(|Loc([x,y])| f(&OnCube::new(face, Loc([x, 1.0-y])))) | |
259 | .collect(); | |
260 | m = rawdata.iter().copied().fold(m, f64::max); | |
261 | datas.push((face, rawdata)); | |
262 | } | |
11 | 263 | |
31 | 264 | for (face, rawdata) in datas { |
265 | let mut img = ImageBuffer::new(n as u32, n as u32); | |
266 | img.pixels_mut() | |
267 | .zip(rawdata) | |
268 | .for_each(|(p, v)| { | |
269 | let t = v/m; | |
270 | // A very colourful option for bug hunting. | |
271 | //let rgb = [(50.0*t).cos(), (20.0*t).sin(), (3.0*t).cos()]; | |
272 | let rgb = [1.0-t, 1.0-t, 1.0]; | |
273 | *p = Rgb(rgb.map(|v| (v*(u8::RANGE_MAX as f64)) as u8)) | |
274 | }); | |
275 | ||
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
276 | img.save_with_format(format!("{dir}/{face}.png"), ImageFormat::Png)?; |
31 | 277 | } |
12 | 278 | |
279 | Ok(()) | |
11 | 280 | } |
16 | 281 | |
282 | /// Writes the values of `f` on `face` of a [`OnCube`] into a CSV file | |
283 | /// with resolution `n × n`. | |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
284 | fn write_cube_face_csv( |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
285 | filename : String, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
286 | face : crate::cube::Face, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
287 | n : usize, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
288 | mut f : impl FnMut(&OnCube) -> f64 |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
289 | ) -> DynError { |
16 | 290 | |
291 | #[derive(Serialize)] | |
292 | struct CSVFace { u : f64, v : f64, value : f64 } | |
293 | ||
294 | let grid = LinSpace { | |
295 | start : Loc([0.0, 0.0]), | |
296 | end : Loc([1.0, 1.0]), | |
297 | count : [n, n] | |
298 | }; | |
299 | ||
300 | let data = grid.into_iter() | |
301 | .map(|p@Loc([u,v])| CSVFace{ u, v, value : f(&OnCube::new(face, p)) }); | |
302 | ||
303 | write_csv(data, format!("{filename}.csv"))?; | |
304 | ||
305 | Ok(()) | |
306 | } | |
20 | 307 | |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
308 | /// Writes the values of `f` on the faces of a `cylinder`. |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
309 | fn write_cylinder_faces_csv<'a>( |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
310 | dir : &str, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
311 | cyl : &'a Cylinder, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
312 | n_height : usize, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
313 | n_radius : usize, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
314 | n_angle : usize, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
315 | mut f : impl FnMut(&OnCylinder<'a>) -> f64 |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
316 | ) -> DynError { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
317 | let π = f64::PI; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
318 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
319 | // Side front is [a, b] for the TikZ configuration. |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
320 | let a = -π*5.0/6.0; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
321 | let b = π/6.0; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
322 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
323 | #[derive(Serialize)] |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
324 | struct CSVFace { angle : f64, /*cos_angle : f64, sin_angle : f64,*/ v : f64, value : f64 } |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
325 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
326 | let mkf = |angle, v, value| CSVFace { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
327 | angle, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
328 | //cos_angle : angle.cos(), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
329 | //sin_angle : angle.sin(), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
330 | v, |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
331 | value |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
332 | }; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
333 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
334 | let side_half_grid = LinSpace { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
335 | start : Loc([0.0, cyl.bottom_z()]), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
336 | end : Loc([π, cyl.top_z()]), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
337 | count : [n_angle / 2, n_height] |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
338 | }; |
20 | 339 | |
37
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
340 | let side_grid = LinSpace { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
341 | start : Loc([0.0, cyl.bottom_z()]), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
342 | end : Loc([2.0*π, cyl.top_z()]), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
343 | count : [n_angle, n_height] |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
344 | }; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
345 | let cap_grid = LinSpace { |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
346 | start : Loc([0.0, 0.0]), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
347 | end : Loc([2.0*π, cyl.radius]), |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
348 | count : [n_angle, n_radius] |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
349 | }; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
350 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
351 | let side_front = side_grid.into_iter() |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
352 | .map(|Loc([angle, v])| mkf(angle, v, f(&cyl.on_side(angle, v)))); |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
353 | write_csv(side_front, format!("{dir}/side.csv"))?; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
354 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
355 | let side_front = side_half_grid.into_iter() |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
356 | .map(|Loc([angle, v])| (normalise_angle(angle + a), v)) |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
357 | .map(|(angle, v)| mkf(angle, v, f(&cyl.on_side(angle, v)))); |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
358 | write_csv(side_front, format!("{dir}/side_front.csv"))?; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
359 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
360 | let side_back = side_half_grid.into_iter() |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
361 | .map(|Loc([angle, v])| (normalise_angle(angle + b), v)) |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
362 | .map(|(angle, v)| mkf(angle + π, v, f(&cyl.on_side(angle + π, v)))); |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
363 | write_csv(side_back, format!("{dir}/side_back.csv"))?; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
364 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
365 | let top = cap_grid.into_iter() |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
366 | .map(|Loc([angle, v])| mkf(angle, v, f(&cyl.on_top(angle, v)))); |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
367 | write_csv(top, format!("{dir}/top.csv"))?; |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
368 | |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
369 | let bottom = cap_grid.into_iter() |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
370 | .map(|Loc([angle, v])| mkf(angle, v, f(&cyl.on_bottom(angle, v)))); |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
371 | write_csv(bottom, format!("{dir}/bottom.csv")) |
d7cd14b8ccc0
Basic cylinder implementation
Tuomo Valkonen <tuomov@iki.fi>
parents:
33
diff
changeset
|
372 | |
20 | 373 | } |
374 |