chiark / gitweb /
wip
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 29 Oct 2022 19:11:56 +0000 (20:11 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 29 Oct 2022 19:11:56 +0000 (20:11 +0100)
src/bin/every-corner.rs

index a11a6dd7cfda1dba5b621aad67ef889335b8f465..76fe4b73aff7e6163011fbb209bebfbc489ebf79 100644 (file)
@@ -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)?;
   }