From a7f9545a3704002c328e71a5ac1b601a14e74ca5 Mon Sep 17 00:00:00 2001 From: Aaron Fenyes Date: Thu, 18 Jul 2024 00:43:00 -0700 Subject: [PATCH] Circles in triangle: correct frozen variables Since the self-product of the point at infinity is left unspecified, the first three components can vary without violating any constraints. To keep the point at infinity where it's supposed to be, we freeze all of its components. --- engine-proto/gram-test/circles-in-triangle.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/engine-proto/gram-test/circles-in-triangle.jl b/engine-proto/gram-test/circles-in-triangle.jl index ca49574..457ac0d 100644 --- a/engine-proto/gram-test/circles-in-triangle.jl +++ b/engine-proto/gram-test/circles-in-triangle.jl @@ -66,7 +66,7 @@ guess = hcat( Engine.sphere(BigFloat[cos(pi/3), sin(pi/3), 0], BigFloat(1//5)), BigFloat[0, 0, 0, 0, 1] ) -frozen = [CartesianIndex(j, 9) for j in 4:5] +frozen = [CartesianIndex(j, 9) for j in 1:5] #= guess = hcat( Engine.plane(BigFloat[0, 0, 1], BigFloat(0)),