Test different sign patterns for cosines

It seems like there are real solutions if and only if the product of the
cosines is positive.
This commit is contained in:
Aaron Fenyes 2024-02-15 16:25:09 -08:00
parent ba365174d3
commit f2000e5731

View File

@ -44,7 +44,7 @@ tangencies = [
Engine.AlignsWithBy{CoeffType}(
spheres[n],
spheres[mod1(n+1, length(spheres))],
CoeffType(-1)^n
CoeffType([1, 1, 1][n])
)
for n in 1:3
]
@ -90,7 +90,7 @@ vbls = Variable.(symbols(coordring))
system = CompiledSystem(System(eqns_tan_sph, variables = vbls))
norm2 = vec -> real(dot(conj.(vec), vec))
rng = MersenneTwister(6071)
n_planes = 3
n_planes = 36
samples = []
for _ in 1:n_planes
real_solns = solution.(Engine.Numerical.real_samples(system, freedom, rng = rng))