From 1352af7a3ff8e795a3c24fe9bd31af3fb3b185ce Mon Sep 17 00:00:00 2001 From: Vectornaut Date: Tue, 13 Feb 2024 21:52:12 +0000 Subject: [PATCH] Specify "real" --- Engine-prototype.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Engine-prototype.md b/Engine-prototype.md index 78618fa..8495497 100644 --- a/Engine-prototype.md +++ b/Engine-prototype.md @@ -7,7 +7,7 @@ ### Challenging examples -With three mutually tangent spheres, `HomotopyContinuation` doesn't seem to find solutions, even though we know there are some. One solution, in $[r, s, x, y, z]$ coordinates, is: +With three mutually tangent spheres, `HomotopyContinuation` doesn't seem to find real solutions, even though we know there are some. One solution, in $[r, s, x, y, z]$ coordinates, is: * $[0, 0, 0, 0, 1]$ (plane perpendicular to $z$ axis) * $[1, 0, 0, 0, 1]$ (unit sphere above plane, touching at $[x, y] = [0 ,0]$) * $[1, 4, 0, 2, 1]$ (unit sphere above plane, touching at $[x, y] = [0, 2]$)