79663755

Date: 2025-06-12 15:09:40
Score: 5
Natty:
Report link

@Mikael Öhman Sir, I tried running this code

begin
    using QuadGK, IntervalArithmetic
    f(x) = interval(1,2)/(1+interval(2,3)*x)
    quadgk(f, 0, 1)
end

but got this error

ArgumentError: `isnan` is purposely not supported for intervals. See instead `isnai`

Stacktrace:
  [1] isnan(::Interval{Float64})
    @ IntervalArithmetic ~/.julia/packages/IntervalArithmetic/wyiEl/src/intervals/real_interface.jl:110
  [2] evalrule(f::typeof(f), a::Int64, b::Int64, x::Vector{Float64}, w::Vector{Float64}, wg::Vector{Float64}, nrm::typeof(LinearAlgebra.norm))
    @ QuadGK ~/.julia/packages/QuadGK/7rND3/src/evalrule.jl:38
  [3] (::QuadGK.var"#8#11"{typeof(f), Tuple{Int64, Int64}, typeof(LinearAlgebra.norm), Vector{Float64}, Vector{Float64}, Vector{Float64}})(i::Int64)
    @ QuadGK ~/.julia/packages/QuadGK/7rND3/src/adapt.jl:54
  [4] ntuple
    @ ./ntuple.jl:48 [inlined]
  [5] do_quadgk(f::typeof(f), s::Tuple{Int64, Int64}, n::Int64, atol::Nothing, rtol::Nothing, maxevals::Int64, nrm::typeof(LinearAlgebra.norm), _segbuf::Nothing, eval_segbuf::Nothing)
    @ QuadGK ~/.julia/packages/QuadGK/7rND3/src/adapt.jl:52
  [6] (::QuadGK.var"#50#51"{Nothing, Nothing, Int64, Int64, typeof(LinearAlgebra.norm), Nothing, Nothing})(f::Function, s::Tuple{Int64, Int64}, ::Function)
    @ QuadGK ~/.julia/packages/QuadGK/7rND3/src/api.jl:83
  [7] handle_infinities
    @ ~/.julia/packages/QuadGK/7rND3/src/adapt.jl:189 [inlined]
  [8] #quadgk#49
    @ ~/.julia/packages/QuadGK/7rND3/src/api.jl:82 [inlined]
  [9] quadgk(::Function, ::Int64, ::Int64)
    @ QuadGK ~/.julia/packages/QuadGK/7rND3/src/api.jl:80
 [10] top-level scope
    @ ~/Documents/Julia Jupyter Codes/Interval Integration/jl_notebook_cell_df34fa98e69747e1a8f8a730347b8e2f_W4sZmlsZQ==.jl:4

How to resolve this issue?

Reasons:
  • RegEx Blacklisted phrase (1.5): How to resolve this issue?
  • Long answer (-1):
  • Has code block (-0.5):
  • Ends in question mark (2):
  • User mentioned (1): @Sir
  • Looks like a comment (1):
  • Low reputation (1):
Posted by: RPS