From: François Fleuret <francois@fleuret.org>
Date: Thu, 3 Oct 2024 17:53:49 +0000 (+0200)
Subject: Update.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=b43f300c8cdd1896555db7b246e19bdc548ab691;p=pytorch.git

Update.
---

diff --git a/grid.py b/grid.py
index fcf741b..bddda6d 100755
--- a/grid.py
+++ b/grid.py
@@ -189,13 +189,14 @@ grid = FormalGrid(device=device)
 
 grid_set = grid.new_grid_set(
     [
-        "2 top",
+        "4 top",
         "4 right",
+        "1 top",
+        "1 left",
         "1 left_of 2",
         "2 left_of 3",
         "1 2 4 right_angle",
         "1 2 3 aligned",
-        # "3 2 diagonal",
         "2 further_away_from 3 than 4",
     ],
 )