Merge pull request #8 from ederc/v0.3.0

v0.3.0

Author: ederc

Project.toml

@@ -2,7 +2,7 @@ name = "AlgebraicSolving"
 uuid = "66b61cbe-0446-4d5d-9090-1ff510639f9d"
 authors = ["ederc <[email protected]>",
         "Mohab Safey El Din <[email protected]"]
-version = "0.2.2"
+version = "0.3.0"
 
 [deps]
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
@@ -13,5 +13,5 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
 julia = "1.6"
-msolve_jll = "0.4.2"
-Nemo = "0.32.0"
+msolve_jll = "0.4.6"
+Nemo = "0.32.5"

src/algorithms/solvers.jl

@@ -336,8 +336,9 @@ function rational_solutions(
 
     end
 
-    return rat_sols
+    I.rat_sols = rat_sols
 
+    return I.rat_sols
 end
 
 

src/types.jl

@@ -30,6 +30,7 @@ mutable struct Ideal{T <: MPolyElem}
     dim::Int
     gb::Dict{Int, Vector{T}}
     real_sols::Vector{Vector{fmpq}}
+    rat_sols::Vector{Vector{fmpq}}
     rat_param::RationalParametrization
 
     function Ideal(F::Vector{T}) where {T <: MPolyElem}

test/algorithms/solvers.jl

@@ -46,4 +46,8 @@
     I = Ideal([x1^2-x2, x1*x3-x4, x2*x4-12, x4^3-x3^2])
     real_solutions(I)
     @test I.rat_param.vars == Symbol[]
+
+    I = Ideal([x1^2-x2, x1*x3, x2-12])
+	@test_throws ErrorException real_solutions(I)
+	@test_throws ErrorException rational_solutions(I)
 end