Ok this one compiles

I have been observing a small number of sizes of array-like data. So I am
trying to make these Array s i.e. with static size. But this is difficult.
I plan to replace these with Vec. This commit starts this.

crates/accelerate/src/xx_decompose/mod.rs

@@ -19,3 +19,4 @@ pub mod utilities;
 mod types;
 mod weyl;
 mod polytopes;
+mod paths;

crates/accelerate/src/xx_decompose/paths.rs

@@ -1 +1,44 @@
 // from paths.py
+
+use crate::xx_decompose::polytopes::{ConvexPolytopeData, PolytopeData};
+
+static MYDATA : PolytopeData<11, 29, 11, 1, 1>
+ = PolytopeData
+{
+    convex_subpolytopes: [
+    ConvexPolytopeData {
+       inequalities : [
+        [0., 0., 0., 0., 0., 0., 0., 1., -1., -1., 0.],
+        [0., 0., 0., 0., 0., 0., 0., 0., 1., -1., 0.],
+        [0., 0., 0., 0., 0., 0., 0., 0., 0., 1., 0.],
+        [1., 0., 0., 0., 0., 0., 0., 0., -2., 0., 0.],
+        [1., 0., 0., 0., 0., 0., 0., 0., 0., 0., -2.],
+        [0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 1.],
+        [0., 1., -1., 0., 0., 0., 0., 0., 0., 0., 0.],
+        [0., 0., 1., 0., 0., 0., 0., 0., 0., 0., 0.],
+        [0., 0., 0., 1., 0., 0., 0., 0., 0., 0., 0.],
+        [1., -1., -1., 0., 0., 0., 0., 0., 0., 0., 0.],
+        [1., -1., 0., -1., 0., 0., 0., 0., 0., 0., 0.],
+        [0., -1., -1., -1., 0., 0., 0., 1., 0., 0., 0.],
+        [0., 1., -1., -1., 0., 0., 0., 1., -2., 0., 0.],
+        [0., 0., -1., 0., 0., 0., 0., 1., -1., -1., 0.],
+        [0., 0., 0., 0., 1., -1., 0., 0., 0., 0., 0.],
+        [0., 0., 0., 0., 0., 1., -1., 0., 0., 0., 0.],
+        [0., 0., 0., 0., 0., 0., 1., 0., 0., 0., 0.],
+        [1., 0., 0., 0., -1., -1., 0., 0., 0., 0., 0.],
+        [0., 0., 0., 0., -1., -1., -1., 1., 0., 0., 1.],
+        [0., 0., 0., 0., 1., -1., -1., 1., -2., 0., 1.],
+        [0., 0., 0., 0., 1., -1., -1., 1., 0., 0., -1.],
+        [0., 0., 0., 0., 0., 0., -1., 1., -1., -1., 1.],
+        [0., 0., 0., 0., 0., 0., -1., 1., -1., 0., 0.],
+        [0., -1., -1., 0., 1., 1., 0., 0., 0., 0., 1.],
+        [2., -1., -1., 0., -1., -1., 0., 0., 0., 0., -1.],
+        [0., 1., 1., 0., -1., -1., 0., 0., 0., 0., 1.],
+        [0., -1., 1., 0., 1., -1., 0., 0., 0., 0., 1.],
+        [0., 1., -1., 0., -1., 1., 0., 0., 0., 0., 1.],
+        [0., 1., -1., 0., 1., -1., 0., 0., 0., 0., -1.],
+    ],
+    equalities : [[0., 0., 0., 1., 0., 0., -1., 0., 0., 0., 0.]],
+    name : "I ∩ A alcove ∩ A unreflected ∩ ah slant ∩ al frustrum ∩ B alcove ∩ B unreflected ∩ AF=B3",
+    },
+    ]};

crates/accelerate/src/xx_decompose/polytopes.rs

@@ -9,21 +9,21 @@ use crate::xx_decompose::utilities::EPSILON;
 /// and
 ///
 ///     equalities[j][0] + sum_i equalities[j][i] * xi == 0.
-struct ConvexPolytopeData<const MI:usize, const NI: usize, const ME:usize, const NE: usize> {
-    inequalities: [[f64; MI]; NI],
-    equalities: [[f64; ME]; NE],
-    name: String,
+pub(crate) struct ConvexPolytopeData<'a, const MI:usize, const NI: usize, const ME:usize, const NE: usize> {
+    pub(crate) inequalities: [[f64; MI]; NI],
+    pub(crate) equalities: [[f64; ME]; NE],
+    pub(crate) name: &'a str,
 }
 
 /// The raw data of a union of convex polytopes.
-struct PolytopeData<const MI:usize, const NI: usize, const ME:usize, const NE: usize> {
-    convex_subpolytopes: Vec<ConvexPolytopeData<MI, NI, ME, NE>>,
+pub(crate) struct PolytopeData<'a, const MI:usize, const NI: usize, const ME:usize, const NE: usize, const NC: usize> {
+    pub(crate) convex_subpolytopes: [ConvexPolytopeData<'a, MI, NI, ME, NE>; NC],
 }
 
 // TODO: In the original, this is not a class-instance method. Could be I think.
 /// Tests whether `polytope` contains `point.
 fn polytope_has_element<const MI:usize, const NI: usize, const ME:usize, const NE: usize>
-    (polytope: ConvexPolytopeData<MI, NI, ME, NE>, point: &[f64; MI - 1]) -> bool {
+    (polytope: ConvexPolytopeData<MI, NI, ME, NE>, point: &Vec<f64>) -> bool {
     polytope.inequalities
             .iter()
             .all(|ie| (-EPSILON <= ie[0] + point.iter().zip(&ie[1..]).map(|(p, i)| p * i).sum::<f64>()))