diff --git a/src/flint/gfp_fmpz_poly.jl b/src/flint/gfp_fmpz_poly.jl index 69cd5b843e..5d42998ce7 100644 --- a/src/flint/gfp_fmpz_poly.jl +++ b/src/flint/gfp_fmpz_poly.jl @@ -94,7 +94,7 @@ end +(x::FpPolyRingElem, y::Integer) = x + ZZRingElem(y) -+(x::Integer, y::FpPolyRingElem) = ZZRingElem(y) + x ++(x::Integer, y::FpPolyRingElem) = ZZRingElem(x) + y function +(x::FpPolyRingElem, y::FpFieldElem) (base_ring(x) != parent(y)) && error("Elements must have same parent")