handles zero ideal input for solvers

ederc · ederc · commit 78421dc4511d · 2024-06-27T10:07:56.000+02:00
diff --git a/src/algorithms/solvers.jl b/src/algorithms/solvers.jl
@@ -65,6 +65,9 @@ function _core_msolve(
         )
 
     F = I.gens
+    if (is_zero(F))
+        error("Dimension of ideal is greater than zero, no solutions provided.")
+    end
     R = first(F).parent
     nr_vars     = nvars(R)
     nr_gens     = length(F)

Original file line number	Diff line number	Diff line change
`@@ -65,6 +65,9 @@ function _core_msolve(`
`65`	`65`	`)`
`66`	`66`
`67`	`67`	`F = I.gens`
	`68`	`+ if (is_zero(F))`
	`69`	`+ error("Dimension of ideal is greater than zero, no solutions provided.")`
	`70`	`+ end`
`68`	`71`	`R = first(F).parent`
`69`	`72`	`nr_vars = nvars(R)`
`70`	`73`	`nr_gens = length(F)`