From 7c77481f5e9990bc5a9723b64a7bd7532943ce4d Mon Sep 17 00:00:00 2001 From: Aaron Fenyes Date: Mon, 15 Jul 2024 23:39:05 -0700 Subject: [PATCH] Don't constrain self-product of frozen vector --- engine-proto/gram-test/circles-in-triangle.jl | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/engine-proto/gram-test/circles-in-triangle.jl b/engine-proto/gram-test/circles-in-triangle.jl index b173ed9..dd01ebf 100644 --- a/engine-proto/gram-test/circles-in-triangle.jl +++ b/engine-proto/gram-test/circles-in-triangle.jl @@ -10,19 +10,19 @@ values = BigFloat[] for j in 1:9 for k in 1:9 filled = false - if j == k - push!(values, j < 9 ? 1 : 0) - filled = true - elseif (j == 9) + if j == 9 if (k <= 5 && k != 2) push!(values, 0) filled = true end - elseif (k == 9) + elseif k == 9 if (j <= 5 && j != 2) push!(values, 0) filled = true end + elseif j == k + push!(values, 1) + filled = true elseif (j == 1 || k == 1) push!(values, 0) filled = true