From d17fb052ee9a04dc08c806b1bb4e2603942467a3 Mon Sep 17 00:00:00 2001
From: Alexandre Guillemot <alexandre.guillemot@inria.fr>
Date: Tue, 1 Apr 2025 18:20:05 +0200
Subject: [PATCH] hc.jl modif
---
packages/_homotopycontinuation.jl | 12 ++++++++++--
1 file changed, 10 insertions(+), 2 deletions(-)
diff --git a/packages/_homotopycontinuation.jl b/packages/_homotopycontinuation.jl
index 880ae3bd..3d940a84 100644
--- a/packages/_homotopycontinuation.jl
+++ b/packages/_homotopycontinuation.jl
@@ -29,11 +29,19 @@ println(stderr, "Certifying ...")
certificate = certify(sys, res, p1, show_progress = false)
println(stderr, "Writting to output ...")
+fails = failed(res)
output = Dict{String, Any}()
output["time"] = stats.time
output["overheadtime"] = stats_overhead.time
output["failures"] = nfailed(res)
-output["steplist"] = [steps(path) for path in path_results(res)]
-# output["extendpreclist"] = [path.extended_precision_used for path in path_results(res)]
+output["steplist"] = Union{Nothing, Int64}[steps(path) for path in path_results(res)]
+for fail in fails
+ if !isnothing(path_number(fail))
+ output["steplist"][path_number(fail)] = nothing
+ else
+ throw(ArgumentError("Variable x is nothing!"))
+ end
+end
+output["extendpreclist"] = [path.extended_precision_used for path in path_results(res)]
output["ncertified"] = ndistinct_certified(certificate)
JSON.print(stdout, output)
\ No newline at end of file
--
GitLab