@testset "NfRel" begin
  include("NfRel/NfRelOrd.jl")
  include("NfRel/Ideal.jl")
  include("NfRel/FracIdeal.jl")
  include("NfRel/NfRel.jl")
  include("NfRel/Elem.jl")
  include("NfRel/NEQ_Kirschmer.jl")
end
