From 06872a04afb2b211550b471012d2ade5b92bd0d6 Mon Sep 17 00:00:00 2001 From: Aaron Fenyes Date: Sat, 10 Feb 2024 01:06:06 -0500 Subject: [PATCH] Say how many sample solutions we found --- engine-proto/Engine.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/engine-proto/Engine.jl b/engine-proto/Engine.jl index 4bce0d7..9841223 100644 --- a/engine-proto/Engine.jl +++ b/engine-proto/Engine.jl @@ -298,7 +298,7 @@ for _ in 1:3 wtns = witness_set(system, cut_subspace) append!(samples, solution.(filter(isreal, results(wtns)))) end -println("witness solutions:") +println("$(length(samples)) sample solutions:") for soln in samples display([vbls round.(soln, digits = 6)]) k_sq = abs2(soln[1])