Marcelo Forets

Oh, i see what you mean know. I was missing that there's already a difference between `pow(a, n)` and `a^n`, and it's in the [docs](https://juliaintervals.github.io/IntervalArithmetic.jl/latest/api/#IntervalArithmetic.pow-Tuple{Interval,Integer})... > But yes you're right,...

This can be closed now? ```julia julia> IntervalBox{2,Float64}([1 .. 1, 0 .. 0]) [1, 1] × [0, 0] ```

Since `IntervalArithmetic` has some `setxyz` methods, I imagine a function `setpower(:MPFR)` / `setpower(:squaring)` (or other names, such as `:accurate` / `:fast`). > Could we choose one at pre-compile time based...

Cool, `compilecache` is the function that i was looking for, thanks. This should be documented (i opened https://github.com/JuliaIntervals/IntervalArithmetic.jl/issues/356).

Thanks for sharing the different solutions with IRTools and Cassette. This illuminated me about some code transformations we wanted to do in LazySets, which seem to be achievable with this...

@schillic true, i've reopened this issue with a different title to suggest that some action should be taken, either make it clear in `removehredundancy!` docs that the input polyhedron should...

If you don't bother to use some tooling such as https://github.com/dfdx/Espresso.jl, ```julia julia> using SymEngine, Espresso julia> @vars z (z,) julia> poly = z^3+z^2+z z + z^2 + z^3 julia>...

Related to https://github.com/JuliaIntervals/TaylorModels.jl/issues/19.

Perhaps not too difficult would be to generate a table similar to that in [export_markdown](https://github.com/JuliaCI/PkgBenchmark.jl/blob/master/src/benchmarkjudgement.jl#L44) but with the signature `export_markdown(::IO, ::BenchmarkGroup)`. Or this functionality exists already? I'm not familiar with...

Interesting! In my case we'd like to track a Julia project with asv. Still have to figure out how it works, but the comments in this thread are certainly a...