Merge pull request #37 from thofma/th/gfswap2

Make Nemo interface more robust

Author: ederc

Project.toml

@@ -1,7 +1,7 @@
 name = "AlgebraicSolving"
 uuid = "66b61cbe-0446-4d5d-9090-1ff510639f9d"
 authors = ["ederc <[email protected]>", "Mohab Safey El Din <[email protected]", "Rafael Mohr <[email protected]>"]
-version = "0.4.4"
+version = "0.4.5"
 
 [deps]
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"

src/interfaces/nemo.jl

@@ -10,11 +10,11 @@ Convert a vector of polynomials to input data for msolve.
 function _convert_to_msolve(
         F::Vector{T}) where T <: MPolyRingElem
 
-    R = first(F).parent
+    R = parent(first(F))
 
     nr_vars    = nvars(R)
     nr_gens    = length(F)
-    lens       = Int32[F[i].length for i in 1:nr_gens]
+    lens       = Int32[length(F[i]) for i in 1:nr_gens]
     nr_terms   = sum(lens)
     field_char = characteristic(R)
 
@@ -37,7 +37,7 @@ function _convert_to_msolve(
     else
         for i in 1:nr_gens
             for cf in coefficients(F[i])
-                push!(cfs, Int32(data(prime_field(base_ring(R))(cf))))
+                push!(cfs, Int32(lift(Nemo.ZZ, cf)))
             end
         end
     end