Merge pull request #1364 from Nemocas/th/1363

Fix #1363
Nemocas · Dec 15, 2022 · 3cee149 · 3cee149
2 parents 3edc061 + 7a73437
commit 3cee149
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/src/flint/fq_nmod_mpoly.jl b/src/flint/fq_nmod_mpoly.jl
@@ -1102,10 +1102,10 @@ function (R::FqNmodMPolyRing)(a::Vector{fq_nmod}, b::Vector{Vector{T}}) where {T
 end
 
 # Create poly with given array of coefficients and array of exponent vectors (sorting is performed)
-function (R::FqNmodMPolyRing)(a::Vector{Any}, b::Vector{Vector{T}}) where T
+function (R::FqNmodMPolyRing)(a::Vector{<:Any}, b::Vector{Vector{T}}) where T
    n = nvars(R)
    length(a) != length(b) && error("Coefficient and exponent vector must have the same length")
-   newa = map(R, a)
+   newa = map(base_ring(R), a)
    newb = map(x -> map(FlintZZ, x), b)
    newaa = convert(Vector{fq_nmod}, newa)
    newbb = convert(Vector{Vector{fmpz}}, newb)

diff --git a/test/flint/fq_nmod_mpoly-test.jl b/test/flint/fq_nmod_mpoly-test.jl
@@ -82,6 +82,11 @@
    S, (x, y) = PolynomialRing(R, ["x", "y"])
    M = MPolyBuildCtx(S)
    @test_throws ErrorException push_term!(M, one(RR), zeros(Int, 2))
+
+   F, = FiniteField(2, 2, :z)
+   R, (x, ) = PolynomialRing(F, ["x",])
+   @test R([F(1)], [[BigInt(1)]]) == x
+   @test R([1], [[BigInt(1)]]) == x
 end
 
 @testset "fq_nmod_mpoly.printing" begin