Benoît Legat

Thanks, I just rebased to fix conflicts

Maybe we could define `eltype` I think I didn't do it since it's not an `AbstractVector`. By the way, an `StarAlgebras.AbstractBasis` is also not an `AbstractVector` so probably that will...

No, no need, this PR can sit here and wait for StarAlgebras

Is this improving any benchmark or just some double checks ? In any case, please fix the format error and then it should bz good

Sorry for the delay on this. The output seems weird, as the constraint is `LessThan`: https://github.com/JuliaPolyhedra/Polyhedra.jl/blob/07567d48fa60e6acc0d0ed1af012eb82c82ff78c/src/linearity.jl#L170 The `ConstraintPrimal` should be nonpositive for a feasible solution so if it is not...

Thanks for the detailed MWE, that should be easier to investigate

Indeed, I didn't know that there were these in MPFR, it would definitely make sense

What is failing ? It's working for me: With quadratic ```julia julia> using JuMP, NLPModelsJuMP, Percival julia> model = Model(NLPModelsJuMP.Optimizer) A JuMP Model Feasibility problem with: Variables: 0 Model mode:...

This is https://github.com/JuliaSmoothOptimizers/NLPModelsJuMP.jl/issues/173 but aren't constraints other than quadratic working ?

This issue is that in the product of a `LowerTriangular` of real with an array of variables, LinearAlgebra decides to promote both to AffExpr. The same issue is all over...