From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 29 Oct 2022 19:11:56 +0000 (+0100)
Subject: wip
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=e1399553d646e333c2f201cc3fba1ccfee6cf6e9;p=z3-treefoil

wip
---

diff --git a/src/bin/every-corner.rs b/src/bin/every-corner.rs
index a11a6dd..76fe4b7 100644
--- a/src/bin/every-corner.rs
+++ b/src/bin/every-corner.rs
@@ -11,7 +11,18 @@ fn main() -> io::Result<()> {
       .all(|need| shape.iter().any(|got| &got[..]==need));
 
     if !has_all_corners { continue }
+
+    if !has_all_corners { continue }
     
+    let middle_vertices =
+      iter::repeat([1,2].into_iter())
+      .take(DIM)
+      .multi_cartesian_product()
+      .filter(|need| shape.iter().any(|got| &got[..]==need))
+      .count();
+
+    print!("{} ", middle_vertices);
+     
     print_shape(&shape)?;
   }