Oscar Dowson

Yeah I think this is where I got stuck and gave up with Xpress...

So `MOI.Nonlinear.SymbolicAD.simplify` gets us some of the way there, but not for bridges like this: https://github.com/jump-dev/MathOptInterface.jl/blob/927c58bb2e157813c3d71de754c8bd07374963b6/src/Bridges/Constraint/bridges/NormInfinityBridge.jl#L57-L86 because we don't detect that `((t + x) - (t - x)) / 2...

``` using Test import MathOptInterface as MOI config = MOI.Test.Config() @testset "All" begin @testset "SplitHyperRectangle" begin model = MOI.Bridges.Constraint.SplitHyperRectangle{Float64}(MOI.Utilities.Model{Float64}()) MOI.Test.test_basic_VectorNonlinearFunction_HyperRectangle(model, config) end @testset "NormInfinity" begin model = MOI.Bridges.Constraint.NormInfinity{Float64}(MOI.Utilities.Model{Float64}()) MOI.Test.test_basic_VectorNonlinearFunction_NormInfinityCone(model, config)...

I'm not actually sure we should try to make this work. https://github.com/jump-dev/MathOptInterface.jl/blob/927c58bb2e157813c3d71de754c8bd07374963b6/src/Bridges/Constraint/bridges/NormOneBridge.jl#L111-L134 Is it reasonable to be able to simplify this?

Closing because of the lack of a reproducible example. If this is still a problem, please comment below with a reproducible example and I will re-open the issue.

This was only added to MathOptInterface v1.21.0. No one has added support for it to Gurobi.jl yet. PRs accepted.

This need docs and tests

I'm still not convinced this is necessary

Isn't a better solution just for CBLS to use the MOI sets?

This needs a new version number (and then some changes to SCS.jl), so let's just wait for the next upstream release.