src/main.rs

Wed, 06 Nov 2024 10:00:06 -0500

author
Tuomo Valkonen <tuomov@iki.fi>
date
Wed, 06 Nov 2024 10:00:06 -0500
changeset 17
ad68dacabe4f
parent 16
a6efe0fafd90
child 18
84923812d220
permissions
-rw-r--r--

Implement prox for DistTo

13
f67949050a32 documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 12
diff changeset
1 /*!
f67949050a32 documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 12
diff changeset
2 Optimisation on non-Riemannian manifolds.
f67949050a32 documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 12
diff changeset
3 */
4
e09437844ad9 Forward-backward skeleton
Tuomo Valkonen <tuomov@iki.fi>
parents: 1
diff changeset
4
e09437844ad9 Forward-backward skeleton
Tuomo Valkonen <tuomov@iki.fi>
parents: 1
diff changeset
5 // We use unicode. We would like to use much more of it than Rust allows.
e09437844ad9 Forward-backward skeleton
Tuomo Valkonen <tuomov@iki.fi>
parents: 1
diff changeset
6 // Live with it. Embrace it.
e09437844ad9 Forward-backward skeleton
Tuomo Valkonen <tuomov@iki.fi>
parents: 1
diff changeset
7 #![allow(uncommon_codepoints)]
e09437844ad9 Forward-backward skeleton
Tuomo Valkonen <tuomov@iki.fi>
parents: 1
diff changeset
8 #![allow(mixed_script_confusables)]
e09437844ad9 Forward-backward skeleton
Tuomo Valkonen <tuomov@iki.fi>
parents: 1
diff changeset
9 #![allow(confusable_idents)]
1
29738fae471e Added some missing files
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
10
12
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
11 use serde::Serialize;
16
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
12 use alg_tools::logger::Logger;
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
13 use alg_tools::tabledump::{TableDump, write_csv};
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
14 use alg_tools::error::DynError;
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
15 use alg_tools::lingrid::LinSpace;
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
16 use alg_tools::loc::Loc;
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
17 use alg_tools::types::*;
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
18 use alg_tools::mapping::{Sum, Apply};
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
19 use alg_tools::iterate::{AlgIteratorOptions, AlgIteratorFactory, Verbose};
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
20 use image::{ImageFormat, ImageBuffer, Rgb};
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
21
7
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
22 use dist::DistToSquaredDiv2;
12
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
23 use fb::{forward_backward, IterInfo};
7
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
24 use manifold::EmbeddedManifoldPoint;
11
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
25 use cube::*;
16
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
26 use Face::*;
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
27 use zero::ZeroFn;
7
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
28
1
29738fae471e Added some missing files
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
29 mod manifold;
4
e09437844ad9 Forward-backward skeleton
Tuomo Valkonen <tuomov@iki.fi>
parents: 1
diff changeset
30 mod fb;
1
29738fae471e Added some missing files
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
31 mod cube;
5
f248e1434c3b Some distance functions etc.
Tuomo Valkonen <tuomov@iki.fi>
parents: 4
diff changeset
32 mod dist;
6
df9628092285 Add a zero function on manifolds
Tuomo Valkonen <tuomov@iki.fi>
parents: 5
diff changeset
33 mod zero;
1
29738fae471e Added some missing files
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
34
13
f67949050a32 documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 12
diff changeset
35 /// Program entry point
1
29738fae471e Added some missing files
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
36 fn main() {
12
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
37 simple_cube_test().unwrap()
7
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
38 }
1
29738fae471e Added some missing files
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
39
12
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
40 /// Helper structure for saving the log into a CSV file
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
41 #[derive(Serialize)]
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
42 struct CSVLog {
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
43 iter : usize,
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
44 value : f64,
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
45 face : Face,
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
46 x : f64,
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
47 y : f64,
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
48 z : f64
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
49 }
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
50
13
f67949050a32 documentation
Tuomo Valkonen <tuomov@iki.fi>
parents: 12
diff changeset
51 /// Location for saving results
12
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
52 static PREFIX : &str = "res";
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
53
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
54 /// A simple test on the cube
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
55 fn simple_cube_test() -> DynError {
7
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
56
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
57 let points = [
9
0fa3ac0c248b change experiment
Tuomo Valkonen <tuomov@iki.fi>
parents: 7
diff changeset
58 //OnCube::new(F1, Loc([0.5, 0.5])),
0fa3ac0c248b change experiment
Tuomo Valkonen <tuomov@iki.fi>
parents: 7
diff changeset
59 //OnCube::new(F2, Loc([0.5, 0.5])),
0fa3ac0c248b change experiment
Tuomo Valkonen <tuomov@iki.fi>
parents: 7
diff changeset
60 //OnCube::new(F4, Loc([0.1, 0.1])),
7
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
61 OnCube::new(F1, Loc([0.5, 0.5])),
9
0fa3ac0c248b change experiment
Tuomo Valkonen <tuomov@iki.fi>
parents: 7
diff changeset
62 OnCube::new(F3, Loc([0.5, 0.5])),
7
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
63 OnCube::new(F2, Loc([0.5, 0.5])),
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
64 ];
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
65
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
66 //let x = points[0].clone();
9
0fa3ac0c248b change experiment
Tuomo Valkonen <tuomov@iki.fi>
parents: 7
diff changeset
67 // OnCube::new(F3, Loc([0.5, 0.5])); goes to opposite side
0fa3ac0c248b change experiment
Tuomo Valkonen <tuomov@iki.fi>
parents: 7
diff changeset
68 let x = OnCube::new(F3, Loc([0.5, 0.4]));
7
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
69 let f = Sum::new(points.into_iter().map(DistToSquaredDiv2));
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
70 let g = ZeroFn::new();
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
71 let τ = 0.1;
12
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
72
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
73 let mut logger = Logger::new();
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
74 let logmap = |iter, IterInfo { value, point } : IterInfo<OnCube>| {
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
75 let Loc([x,y,z]) = point.embedded_coords();
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
76 let face = point.face();
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
77 CSVLog { iter, value, face, x, y, z }
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
78 };
7
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
79 let iter = AlgIteratorOptions{
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
80 max_iter : 100,
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
81 verbose_iter : Verbose::Every(1),
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
82 .. Default::default()
12
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
83 }.mapped(logmap)
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
84 .into_log(&mut logger);
7
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
85
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
86 let x̂ = forward_backward(&f, &g, x, τ, iter);
8979a6638424 A simple test
Tuomo Valkonen <tuomov@iki.fi>
parents: 6
diff changeset
87 println!("result = {}\n{:?}", x̂.embedded_coords(), &x̂);
11
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
88
12
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
89 std::fs::create_dir_all(PREFIX)?;
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
90
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
91 logger.write_csv(format!("{PREFIX}/log.txt"))?;
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
92
11
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
93 for face in Face::all() {
16
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
94 write_face_csv(format!("{PREFIX}/{face}"), face, 64, |x| f.apply(x) + g.apply(x))?;
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
95 write_face_img(format!("{PREFIX}/{face}"), face, 128, |x| f.apply(x) + g.apply(x))?;
11
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
96 }
12
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
97
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
98 Ok(())
1
29738fae471e Added some missing files
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
99 }
11
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
100
12
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
101 /// Writes the values of `f` on `face` of a [`OnCube`] into a PNG file
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
102 /// with resolution `n × n`.
16
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
103 fn write_face_img(filename : String, face : Face, n : usize, mut f : impl FnMut(&OnCube) -> f64) -> DynError {
11
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
104 let mut img = ImageBuffer::new(n as u32, n as u32);
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
105 let grid = LinSpace {
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
106 start : Loc([0.0, 0.0]),
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
107 end : Loc([1.0, 1.0]),
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
108 count : [n, n]
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
109 };
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
110 let rawdata : Vec<_> = grid.into_iter()
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
111 .map(|x| f(&OnCube::new(face, x)))
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
112 .collect();
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
113 let a = rawdata.iter().copied().reduce(f64::max).unwrap();
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
114 img.pixels_mut()
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
115 .zip(rawdata)
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
116 .for_each(|(p, v)| {
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
117 let t = v/a;
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
118 let rgb = [1.0-t, 1.0-t, 1.0];
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
119 *p = Rgb(rgb.map(|v| (v*(u8::RANGE_MAX as f64)) as u8))
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
120 });
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
121
12
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
122 img.save_with_format(format!("{filename}.png"), ImageFormat::Png)?;
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
123
3b05a8b45b95 Save log to a CSV file
Tuomo Valkonen <tuomov@iki.fi>
parents: 11
diff changeset
124 Ok(())
11
933242e0f3b8 Basic face image export
Tuomo Valkonen <tuomov@iki.fi>
parents: 9
diff changeset
125 }
16
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
126
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
127 /// Writes the values of `f` on `face` of a [`OnCube`] into a CSV file
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
128 /// with resolution `n × n`.
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
129 fn write_face_csv(filename : String, face : Face, n : usize, mut f : impl FnMut(&OnCube) -> f64) -> DynError {
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
130
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
131 #[derive(Serialize)]
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
132 struct CSVFace { u : f64, v : f64, value : f64 }
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
133
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
134 let grid = LinSpace {
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
135 start : Loc([0.0, 0.0]),
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
136 end : Loc([1.0, 1.0]),
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
137 count : [n, n]
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
138 };
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
139
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
140 let data = grid.into_iter()
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
141 .map(|p@Loc([u,v])| CSVFace{ u, v, value : f(&OnCube::new(face, p)) });
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
142
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
143 write_csv(data, format!("{filename}.csv"))?;
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
144
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
145 Ok(())
a6efe0fafd90 CSV output of face data
Tuomo Valkonen <tuomov@iki.fi>
parents: 13
diff changeset
146 }

mercurial