MathOptSetDistances.jl

MathOptSetDistances.jl copied to clipboard

Add inplace versions

3

Inplace versions for projection_on_set, projection_gradient_on_set

matbesancon

Reduce usage of Random in tests

2

joaquimg

Add norm ball projections

6

Add closed-form norm ball projections

matbesancon

Checking if a point is a feasible solution to a JuMP model

6

I don't know that this actually belongs here. The `is_feasible(constraint_set::MOI.AbstractSet, point)` probably does. but all the stuff that wrangles through a JuMP.Model probably doesn't. But here is the code that...

oxinabox

Motivated by https://github.com/matbesancon/MathOptSetDistances.jl/pull/29 From @joaquimg: This might be the first version of having two distances. Because a very common distance is the euclidean. But euclidean requires the projection first. Our...

matbesancon

We defined derivatives of projections, it might be interesting to have derivatives of MOI functions, especially `ScalarAffineFunction, VectorAffineFunction`

matbesancon

Testing with complex-valued sets

1

I assume lots of assumptions here are relying on real values `v` and real-valued sets `s`. Solvers are starting to support complex, so should we

matbesancon

This makes sense only for continuous sets I think: adding a trait for sets that have an interior

matbesancon

Suppose that you have a set defined as: `x | x >= 0 & f(x) = 0}`, this implies f(x) cannot be computed if `x >= 0`. A first idea...

matbesancon