From df747c14650a799ae53c878f560d26435bb8f420 Mon Sep 17 00:00:00 2001 From: Tommy Hofmann Date: Sat, 6 Sep 2025 17:45:55 +0200 Subject: [PATCH] Allow Nemo 0.52.0 and tag 0.9.2 --- Project.toml | 4 ++-- src/algorithms/solvers.jl | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Project.toml b/Project.toml index 3a63ef7..34ee9dc 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "AlgebraicSolving" uuid = "66b61cbe-0446-4d5d-9090-1ff510639f9d" authors = ["ederc ", "Mohab Safey El Din "] -version = "0.9.1" +version = "0.9.2" [deps] LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e" @@ -23,7 +23,7 @@ test = ["Test"] LinearAlgebra = "1.6" Logging = "1.6" Markdown = "1.6" -Nemo = "0.43, 0.44, 0.45, 0.46, 0.47, 0.48, 0.49, 0.50, 0.51" +Nemo = "0.43, 0.44, 0.45, 0.46, 0.47, 0.48, 0.49, 0.50, 0.51, 0.52" Printf = "1.6" Random = "1.6" StaticArrays = "1" diff --git a/src/algorithms/solvers.jl b/src/algorithms/solvers.jl index 58be131..b201ec0 100644 --- a/src/algorithms/solvers.jl +++ b/src/algorithms/solvers.jl @@ -325,7 +325,7 @@ function rational_solutions( param_t = I.rat_param nvars = length(param_t.vars) - lpol = filter(l->degree(l) == 1, keys(factor(param_t.elim).fac)) + lpol = filter(l->degree(l) == 1, first.(collect(factor(param_t.elim)))) nb = length(lpol) rat_elim = [-coeff(l, 0)// coeff(l, 1) for l in lpol]