From 61be062aad634b07f34146a709b20d82f0844e02 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sat, 29 Oct 2022 20:59:30 +0100 Subject: [PATCH] wip settlings --- src/bin/settlings.rs | 24 +++++++++++++++++++++--- 1 file changed, 21 insertions(+), 3 deletions(-) diff --git a/src/bin/settlings.rs b/src/bin/settlings.rs index 67ec0d4..27dca19 100644 --- a/src/bin/settlings.rs +++ b/src/bin/settlings.rs @@ -2,11 +2,29 @@ use z3_treefoil::*; fn main() -> io::Result<()> { - for shape in read_vertices() { + for shape1 in read_vertices() { - for shape2 in shape_all_flippings(&shape) { - print_shape(&shape2)?; + for shape in shape_all_flippings(&shape1) { + + let mut fromcnrs = + (0..DIM) + .map(|i| { + let minc = shape.iter().map(|p| p[i]).min().unwrap(); + dbg!(i, minc); + minc + }) + .collect_vec(); + fromcnrs.sort(); + + for d in fromcnrs { + print!("{}", d); + } + print!(" "); + + print_shape(&shape)?; } + + println!(""); } Ok(()) -- 2.30.2