Determine the sign of a function over a given interval

[mforets]

See the idea from @ArjunNarayanan here.

related: - https://discourse.julialang.org/t/how-can-i-check-if-a-function-is-always-positive/48405

[lucaferranti]

enclose(f, X, algorithm) > 0 ?

maybe have an application showing that the package can be used for this? The sign check is used internally by branch and bound, so it's a little like inception (the movie)

[mforets]

Yes, I think we could have this as an example in the docs.

[ArjunNarayanan]

@lucaferranti the application I needed it for was an implementation of this paper to construct quadrature rules on implicitly defined domains.

I have a basic 2D implementation in my repo here https://github.com/ArjunNarayanan/ImplicitDomainQuadrature