Luis Benet

Problem in Julia nightly

2

Today I noticed that some tests are failing in TaylorIntegration.jl with Julia nightly (Julia 1.5.0-DEV), which seem related to Espresso.jl. The travis log with the "illegal instruction" can be found...

Replace signbit by interval_signbit, and let signbit(::Interval)=false

39

Fixes #332, #287 and #402

This comes from the (Reliable_computing) mailing list, (posted by Mark A. Stadtherr): - Minimization problems: http://dx.doi.org/10.1021/ie034073d - Equation-solving problems (with many roots): http://dx.doi.org/10.1002/aic.690470817 - Other interesting problems/methods by perusing: https://www3.nd.edu/~markst/interval-publications.html

Do not impose `tol` to be `Float64`

2

The following throws a `MethodError`: ```jullia julia> using IntervalArithmetic, IntervalRootFinding julia> f(x) = -4*x^3 + 5*x^4 f (generic function with 1 method) julia> dom = big(0) .. big(1) [0, 1]₂₅₆...

Solve most issues detected by Aqua.jl

1

This is a follow up of #298, where it was mentioned that some ambiguities were detected by [`Aqua.jl`](https://github.com/JuliaTesting/Aqua.jl). This PR solves all ambiguities, but leaves some unbound type parameters (`unbound_args`)...

Make `index_table` a Vector{Vector{UInt128}}, and add tests

13

This is a small modification addressing [#85]. It simply carries on the hashing of the vectors of integers in `UInt128` arithmetic.

WIP: TaylorRec

1

`TaylorRec{T,N}` is an implementation of multivariate Taylor polynomials as a recursive dense representation, including tests. It is in the "TaylorRec" branch. The idea is to generate a polynomial in N...

Error: "__tmpTaylor[2]" is not a valid function argument name

1

See [this comment](https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/621#issuecomment-1107752118); the MWE there is: ```julia julia> @taylorize function f!(du, u, p, t) x, t = u return du end ERROR: syntax: "__tmpTaylor[2]" is not a valid function...

This is motivated by [this comment](https://github.com/gacarita).

Reference: https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/621#issuecomment-1107752118 The following is a minimal example: ```julia julia> @taylorize function f!(du, u, p, t) x, t = u return du end ERROR: syntax: "__tmpTaylor[2]" is not a valid...