diff --git a/src/GenOrd/Ideal.jl b/src/GenOrd/Ideal.jl index a7d7d730b6..d73f70a265 100644 --- a/src/GenOrd/Ideal.jl +++ b/src/GenOrd/Ideal.jl @@ -251,8 +251,7 @@ end function Base.:(+)(a::GenOrdIdl, b::GenOrdIdl) - check_parent(a, b) - O = order(a) + @req order(a) === order(b) "Ideals must have same order" if iszero(a) return b diff --git a/src/NumField/NfRel/NfRel.jl b/src/NumField/NfRel/NfRel.jl index 9c954c767b..6d29aa2b4f 100644 --- a/src/NumField/NfRel/NfRel.jl +++ b/src/NumField/NfRel/NfRel.jl @@ -443,10 +443,6 @@ function add!(c::NfRelElem{T}, a::NfRelElem{T}, b::NfRelElem{T}) where {T} return c end -function check_parent(a, b) - return a==b -end - ################################################################################ # # Hash function