Inconsistent results for Inf integrands

[agerlach]

I am looking at some SciML problems where, depending on the stability of the ODE, the integrand used w/ HCubature.jl may return Inf. I am noticing inconsistent behavior across hquadrature and hcubature for single and multi-dim domains.

using HCubature

g(x) = x[1] > 0.0 ? Inf : x[1]

hquadrature(g, -1.0, 1.0)    #Inf
hcubature(g, -ones(1), ones(1)) #Inf
hcubature(g, -ones(2), ones(2)) #NaN

I see similar behavior in Cubature.jl as well, but Cubature.hcubature returns Inf up to dim = 4 and then NaN, while Cubature.pcubature returns Inf up dim = 17 (haven't test passed that).

Is this the expected behavior? I assume this is due to some Inf*0 that is propagating down.

Thanks.

[stevengj]

I'm not sure off the top of my head what might give a NaN, but probably only a small patch is required to return Inf.

[agerlach]

Sign changes in coefficients g.w leads to I=NaN due to Inf-Inf

HCubature.jl/src/genz-malik.jl

Line 150 in 66074a8

I = V * (g.w[1]*f₁ + g.w[2]*f₂ + g.w[3]*f₃ + g.w[4]*f₄ + g.w[5]*f₅)

I am happy to put together a PR to address this corner case, but it is unclear to me what the appropriate behavior should be. My initial thought is to short-circuit the algorithm and return Inf if f ever returns Inf.

[agerlach]

On second thought short-circuiting would not be a good approach b/c integrand could be vector-valued mixing Inf and finite values.