diff --git a/src/generic/GenericTypes.jl b/src/generic/GenericTypes.jl index a426bf0943..ee78c972dd 100644 --- a/src/generic/GenericTypes.jl +++ b/src/generic/GenericTypes.jl @@ -1088,6 +1088,11 @@ mutable struct FunctionFieldElem{T <: FieldElement} <: AbstractAlgebra.FieldElem parent::FunctionField{T} function FunctionFieldElem{T}(R::FunctionField{T}, num::Poly{S}, den::S) where {T <: FieldElement, S <: PolyRingElem{T}} + if !iszero(num) #normalize the denominator + c = inv(content(den)) + num *= c + den *= c + end return new{T}(num, den, R) end end