Package evaluation to test COSMO on Julia 1.12.6 (15346901f00) started at 2026-06-29T11:52:59.640 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.12` Set-up completed after 6.43s ################################################################################ # Installation # Installing COSMO... Resolving package versions... Updating `~/.julia/environments/v1.12/Project.toml` [1e616198] + COSMO v0.8.10 Updating `~/.julia/environments/v1.12/Manifest.toml` [14f7f29c] + AMD v0.5.3 [1e616198] + COSMO v0.8.10 [bbd8fffe] + COSMOAccelerators v0.1.0 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [864edb3b] + DataStructures v0.19.6 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.16.0 [ffbed154] + DocStringExtensions v0.9.5 [f6369f11] + ForwardDiff v1.4.1 [92d709cd] + IrrationalConstants v0.2.6 [c8e1da08] + IterTools v1.10.0 [692b3bcd] + JLLWrappers v1.8.0 [682c06a0] + JSON v1.6.1 [2ab3a3ac] + LogExpFunctions v1.0.1 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.51.1 [d8a4904e] + MutableArithmetics v1.8.0 [77ba4419] + NaNMath v1.1.4 ⌅ [bac558e1] + OrderedCollections v1.8.2 [69de0a69] + Parsers v2.8.6 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [bfc457fd] + QDLDL v0.4.1 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [276daf66] + SpecialFunctions v2.8.0 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [ec057cc2] + StructUtils v2.8.2 [3bb67fe8] + TranscodingStreams v0.11.3 [c4a57d5a] + UnsafeArrays v1.0.9 [6e34b625] + Bzip2_jll v1.0.9+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.12.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.12.1 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.12.0 [f489334b] + StyledStrings v1.11.0 [4607b0f0] + SuiteSparse [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] + LibCURL_jll v8.15.0+0 [e37daf67] + LibGit2_jll v1.9.0+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.11.4 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.7+0 [458c3c95] + OpenSSL_jll v3.5.4+0 [bea87d4a] + SuiteSparse_jll v7.8.3+2 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.64.0+1 [3f19e933] + p7zip_jll v17.7.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 6.13s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 3004.3 ms ✓ LinearMaps 1123.2 ms ✓ IterTools 1030.4 ms ✓ UnsafeArrays 3511.5 ms ✓ NaNMath 1360.4 ms ✓ CommonSubexpressions 810.3 ms ✓ DiffResults 1564.8 ms ✓ AMD 814.1 ms ✓ StructUtils → StructUtilsStaticArraysCoreExt 1300.5 ms ✓ COSMOAccelerators 5721.1 ms ✓ IterativeSolvers 1823.1 ms ✓ LinearMaps → LinearMapsSparseArraysExt 778.7 ms ✓ LinearMaps → LinearMapsStatisticsExt 1216.0 ms ✓ DiffRules 1266.2 ms ✓ QDLDL 15537.2 ms ✓ ForwardDiff 76390.3 ms ✓ MathOptInterface 82887.8 ms ✓ COSMO 17 dependencies successfully precompiled in 201 seconds. 58 already precompiled. Precompilation completed after 213.6s ################################################################################ # Testing # Testing COSMO Status `/tmp/jl_lvEVHu/Project.toml` [14f7f29c] AMD v0.5.3 [1e616198] COSMO v0.8.10 [bbd8fffe] COSMOAccelerators v0.1.0 [864edb3b] DataStructures v0.19.6 [c8e1da08] IterTools v1.10.0 [42fd0dbc] IterativeSolvers v0.9.4 [7a12625a] LinearMaps v3.11.4 [b8f27783] MathOptInterface v1.51.1 [bfc457fd] QDLDL v0.4.1 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [10745b16] Statistics v1.11.1 [c4a57d5a] UnsafeArrays v1.0.9 [37e2e46d] LinearAlgebra v1.12.0 [44cfe95a] Pkg v1.12.1 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [2f01184e] SparseArrays v1.12.0 [4607b0f0] SuiteSparse [8dfed614] Test v1.11.0 Status `/tmp/jl_lvEVHu/Manifest.toml` [14f7f29c] AMD v0.5.3 [1e616198] COSMO v0.8.10 [bbd8fffe] COSMOAccelerators v0.1.0 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [864edb3b] DataStructures v0.19.6 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.16.0 [ffbed154] DocStringExtensions v0.9.5 [f6369f11] ForwardDiff v1.4.1 [92d709cd] IrrationalConstants v0.2.6 [c8e1da08] IterTools v1.10.0 [42fd0dbc] IterativeSolvers v0.9.4 [692b3bcd] JLLWrappers v1.8.0 [682c06a0] JSON v1.6.1 [7a12625a] LinearMaps v3.11.4 [2ab3a3ac] LogExpFunctions v1.0.1 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.51.1 [d8a4904e] MutableArithmetics v1.8.0 [77ba4419] NaNMath v1.1.4 ⌅ [bac558e1] OrderedCollections v1.8.2 [69de0a69] Parsers v2.8.6 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [bfc457fd] QDLDL v0.4.1 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [276daf66] SpecialFunctions v2.8.0 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [ec057cc2] StructUtils v2.8.2 [3bb67fe8] TranscodingStreams v0.11.3 [c4a57d5a] UnsafeArrays v1.0.9 [6e34b625] Bzip2_jll v1.0.9+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.12.1 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [2f01184e] SparseArrays v1.12.0 [f489334b] StyledStrings v1.11.0 [4607b0f0] SuiteSparse [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] LibCURL_jll v8.15.0+0 [e37daf67] LibGit2_jll v1.9.0+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.11.4 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.4+0 [bea87d4a] SuiteSparse_jll v7.8.3+2 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.64.0+1 [3f19e933] p7zip_jll v17.7.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... ------------------------------------------------------------------ COSMO v0.8.10 - A Quadratic Objective Conic Solver Michael Garstka University of Oxford, 2017 - 2022 ------------------------------------------------------------------ Problem: x ∈ R^{1}, constraints: A ∈ R^{45x1} (31 nnz), matrix size to factor: 46x46, Floating-point precision: Float64 Sets: PsdConeTriangle of dim: 45 (9x9) Settings: ϵ_abs = 1.0e-05, ϵ_rel = 1.0e-05, ϵ_prim_inf = 1.0e-04, ϵ_dual_inf = 1.0e-04, ρ = 0.1, σ = 1e-06, α = 1.6, max_iter = 5000, scaling iter = 10 (on), check termination every 25 iter, check infeasibility every 40 iter, KKT system solver: QDLDL Acc: Anderson Type2{QRDecomp}, Memory size = 15, RestartedMemory, Safeguarded: true, tol: 2.0 Setup Time: 0.27ms Iter: Objective: Primal Res: Dual Res: Rho: 1 -3.0057e+00 1.0589e+00 9.3975e-01 1.0000e-01 25 -1.7874e+00 1.6028e-15 6.3124e-15 1.0000e-01 ------------------------------------------------------------------ >>> Results Status: Solved Iterations: 25 Optimal objective: -1.787 Runtime: 0.933s (932.79ms) ------------------------------------------------------------------ COSMO v0.8.10 - A Quadratic Objective Conic Solver Michael Garstka University of Oxford, 2017 - 2022 ------------------------------------------------------------------ Problem: x ∈ R^{4}, constraints: A ∈ R^{36x4} (37 nnz), matrix size to factor: 40x40, Floating-point precision: Float64 Sets: PsdConeTriangle of dim: 21 (6x6) PsdConeTriangle of dim: 15 (5x5) Decomp: Num of original PSD cones: 1 Num decomposable PSD cones: 1 Num PSD cones after decomposition: 2 Merge Strategy: CliqueGraphMerge Settings: ϵ_abs = 1.0e-05, ϵ_rel = 1.0e-05, ϵ_prim_inf = 1.0e-04, ϵ_dual_inf = 1.0e-04, ρ = 0.1, σ = 1e-06, α = 1.6, max_iter = 5000, scaling iter = 10 (on), check termination every 25 iter, check infeasibility every 40 iter, KKT system solver: QDLDL Acc: Anderson Type2{QRDecomp}, Memory size = 15, RestartedMemory, Safeguarded: true, tol: 2.0 Setup Time: 0.22ms Iter: Objective: Primal Res: Dual Res: Rho: 1 -3.6395e+00 1.1979e+00 1.7459e-01 1.0000e-01 25 -1.7874e+00 5.9342e-06 1.4980e-06 1.0000e-01 ------------------------------------------------------------------ >>> Results Status: Solved Iterations: 25 Optimal objective: -1.787 Runtime: 0.068s (68.08ms) ------------------------------------------------------------------ COSMO v0.8.10 - A Quadratic Objective Conic Solver Michael Garstka University of Oxford, 2017 - 2022 ------------------------------------------------------------------ Problem: x ∈ R^{2}, constraints: A ∈ R^{6x2} (8 nnz), matrix size to factor: 8x8, Floating-point precision: Float32 Sets: Nonnegatives of dim: 6 Settings: ϵ_abs = 1.0e-05, ϵ_rel = 1.0e-05, ϵ_prim_inf = 1.0e-04, ϵ_dual_inf = 1.0e-04, ρ = 0.1, σ = 1e-06, α = 1.6, max_iter = 5000, scaling iter = 10 (on), check termination every 25 iter, check infeasibility every 40 iter, KKT system solver: QDLDL Acc: Anderson Type2{QRDecomp}, Memory size = 8, RestartedMemory, Safeguarded: true, tol: 2.0 Setup Time: 5002.17ms Iter: Objective: Primal Res: Dual Res: Rho: 1 -2.0835e-01 1.2796e+00 2.3509e-01 1.0000e-01 25 1.8800e+00 1.6870e-07 2.3842e-07 1.0000e-01 ------------------------------------------------------------------ >>> Results Status: Solved Iterations: 30 (incl. 5 safeguarding iter) Optimal objective: 1.88 Runtime: 12.239s (12238.99ms) ------------------------------------------------------------------ COSMO v0.8.10 - A Quadratic Objective Conic Solver Michael Garstka University of Oxford, 2017 - 2022 ------------------------------------------------------------------ Problem: x ∈ R^{2}, constraints: A ∈ R^{6x2} (8 nnz), matrix size to factor: 8x8, Floating-point precision: Float64 Sets: Nonnegatives of dim: 6 Settings: ϵ_abs = 1.0e-05, ϵ_rel = 1.0e-05, ϵ_prim_inf = 1.0e-04, ϵ_dual_inf = 1.0e-04, ρ = 0.1, σ = 1e-06, α = 1.6, max_iter = 5000, scaling iter = 10 (on), check termination every 25 iter, check infeasibility every 40 iter, KKT system solver: QDLDL Acc: Anderson Type2{QRDecomp}, Memory size = 8, RestartedMemory, Safeguarded: true, tol: 2.0 Setup Time: 0.23ms Iter: Objective: Primal Res: Dual Res: Rho: 1 -2.0835e-01 1.2796e+00 2.3510e-01 1.0000e-01 25 1.8800e+00 9.4269e-16 0.0000e+00 1.0000e-01 ------------------------------------------------------------------ >>> Results Status: Solved Iterations: 30 (incl. 5 safeguarding iter) Optimal objective: 1.88 Runtime: 0.038s (37.7ms) ------------------------------------------------------------------ COSMO v0.8.10 - A Quadratic Objective Conic Solver Michael Garstka University of Oxford, 2017 - 2022 ------------------------------------------------------------------ Problem: x ∈ R^{2}, constraints: A ∈ R^{6x2} (8 nnz), matrix size to factor: 8x8, Floating-point precision: BigFloat Sets: Nonnegatives of dim: 6 Settings: ϵ_abs = 1.0e-05, ϵ_rel = 1.0e-05, ϵ_prim_inf = 1.0e-04, ϵ_dual_inf = 1.0e-04, ρ = 0.1, σ = 1e-06, α = 1.6, max_iter = 5000, scaling iter = 10 (on), check termination every 25 iter, check infeasibility every 40 iter, KKT system solver: QDLDL Acc: Anderson Type2{QRDecomp}, Memory size = 8, RestartedMemory, Safeguarded: true, tol: 2.0 Setup Time: 0.57ms Iter: Objective: Primal Res: Dual Res: Rho: 1 -2.0835e-01 1.2796e+00 2.3510e-01 1.0000e-01 25 1.8800e+00 4.8887e-77 0.0000e+00 1.0000e-01 ------------------------------------------------------------------ >>> Results Status: Solved Iterations: 29 (incl. 4 safeguarding iter) Optimal objective: 1.88 Runtime: 0.793s (793.03ms) 10 2.0000e+01 --- --- 25 2.0000e+01 1.5000e-03 1.2000e-02 0.0000e+00 ------------------------------------------------------------------ >>> Results Status: Solved Iterations: 10 (incl. 1 safeguarding iter) Optimal objective: 20 Runtime: 0.7s (700.0ms) 10 2.0000e+01 --- --- 25 2.0000e+01 1.5000e-03 1.2000e-02 0.0000e+00 ------------------------------------------------------------------ >>> Results Status: Solved Iterations: 10 (incl. 1 safeguarding iter) Optimal objective: 20 Runtime: 0.7s (700.0ms) 10 2.0000e+01 --- --- 25 2.0000e+01 1.5000e-03 1.2000e-02 0.0000e+00 ------------------------------------------------------------------ >>> Results Status: Solved Iterations: 10 (incl. 1 safeguarding iter) Optimal objective: 20 Runtime: 0.7s (700.0ms) Minimize ScalarQuadraticFunction{BigFloat}: (0.0) + (1.0) v[1] + (1.0) v[2] + (2.0) v[1]² + (1.0) v[1]*v[2] + (1.0) v[2]² Subject to: VectorAffineFunction{BigFloat}-in-Nonnegatives ┌ ┐ │(1.0) - (1.0) v[1] - (1.0) v[2] │ │(0.6999999999999999555910790149937383830547332763671875) - (1.0) v[1]│ │(0.6999999999999999555910790149937383830547332763671875) - (1.0) v[2]│ └ ┘ ∈ Nonnegatives(3) ┌ ┐ │(-1.0) + (1.0) v[1] + (1.0) v[2]│ │(-0.0) + (1.0) v[1] │ │(-0.0) + (1.0) v[2] │ └ ┘ ∈ Nonnegatives(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 4.0 v[2] + 9.0 v[3] + 6.0 v[4] + 0.0 v[5] + 7.0 v[6] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-11.0 + 1.0 v[1] + 3.0 v[3] + 2.0 v[4] + 14.0 v[5] + 5.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-19.0 + 4.0 v[2] + 6.0 v[3] + 16.0 v[4] + 4.0 v[6]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.0 v[3] │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.0 v[6] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(3)) Feasibility Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-3.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-4.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-5.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-6.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-7.0 + 1.0 v[7]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-8.0 + 1.0 v[8]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-9.0 + 1.0 v[9]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{HermitianPositiveSemidefiniteConeTriangle} ┌ ┐ │12.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[2]│ │12.0 + 1.0 v[3] │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.4142135623730951 v[5]│ │12.0 + 1.0 v[6] │ │0.0 + 1.4142135623730951 v[7]│ │0.0 + 1.4142135623730951 v[8]│ │0.0 + 1.4142135623730951 v[9]│ └ ┘ ∈ Scaled{HermitianPositiveSemidefiniteConeTriangle}(HermitianPositiveSemidefiniteConeTriangle(3)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-3.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-4.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-5.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-6.0 + 1.0 v[7]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-7.0 + 1.0 v[8]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-8.0 + 1.0 v[9]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-9.0 + 1.0 v[10]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{HermitianPositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] + 1.0 v[2] │ │0.0 + 1.4142135623730951 v[3] │ │0.0 + 1.0 v[1] + 1.0 v[4] │ │0.0 + 1.4142135623730951 v[5] │ │0.0 + 1.4142135623730951 v[6] │ │0.0 + 1.0 v[1] + 1.0 v[7] │ │0.0 + 1.4142135623730951 v[8] │ │0.0 + 1.4142135623730951 v[9] │ │0.0 + 1.4142135623730951 v[10]│ └ ┘ ∈ Scaled{HermitianPositiveSemidefiniteConeTriangle}(HermitianPositiveSemidefiniteConeTriangle(3)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-3.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-4.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-5.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-6.0 + 1.0 v[7]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1] - 0.5 v[8] - 0.5 v[10] - 0.5 v[13] - 0.5 v[14] - 0.5 v[16]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[8] │ │0.0 + 1.4142135623730951 v[9] │ │0.0 + 1.0 v[10] │ │0.0 + 1.4142135623730951 v[11] │ │0.0 + 1.4142135623730951 v[12] │ │0.0 + 1.0 v[13] │ │9.899494936611665 + 1.4142135623730951 v[2] │ │12.727922061357857 + 1.4142135623730951 v[4]│ │15.556349186104047 + 1.4142135623730951 v[6]│ │0.0 + 1.0 v[14] │ │11.313708498984761 + 1.4142135623730951 v[3]│ │14.142135623730951 + 1.4142135623730951 v[5]│ │16.970562748477143 + 1.4142135623730951 v[7]│ │0.0 + 1.4142135623730951 v[15] │ │0.0 + 1.0 v[16] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(5)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-3.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-4.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-5.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-6.0 + 1.0 v[7]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1] - 0.5 v[8] - 0.5 v[10] - 0.5 v[11] - 0.5 v[13] - 0.5 v[16]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[8] │ │0.0 + 1.4142135623730951 v[9] │ │0.0 + 1.0 v[10] │ │9.899494936611665 + 1.4142135623730951 v[2] │ │14.142135623730951 + 1.4142135623730951 v[5]│ │0.0 + 1.0 v[11] │ │11.313708498984761 + 1.4142135623730951 v[3]│ │15.556349186104047 + 1.4142135623730951 v[6]│ │0.0 + 1.4142135623730951 v[12] │ │0.0 + 1.0 v[13] │ │12.727922061357857 + 1.4142135623730951 v[4]│ │16.970562748477143 + 1.4142135623730951 v[7]│ │0.0 + 1.4142135623730951 v[14] │ │0.0 + 1.4142135623730951 v[15] │ │0.0 + 1.0 v[16] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(5)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-3.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-4.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-5.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-6.0 + 1.0 v[7]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1] - 0.5 v[8] - 0.5 v[10] - 0.5 v[13] - 0.5 v[14] - 0.5 v[16]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[8] │ │0.0 + 1.4142135623730951 v[9] │ │0.0 + 1.0 v[10] │ │0.0 + 1.4142135623730951 v[11]│ │0.0 + 1.4142135623730951 v[12]│ │0.0 + 1.0 v[13] │ │0.0 + 1.4142135623730951 v[2] │ │0.0 + 1.4142135623730951 v[4] │ │0.0 + 1.4142135623730951 v[6] │ │0.0 + 1.0 v[14] │ │0.0 + 1.4142135623730951 v[3] │ │0.0 + 1.4142135623730951 v[5] │ │0.0 + 1.4142135623730951 v[7] │ │0.0 + 1.4142135623730951 v[15]│ │0.0 + 1.0 v[16] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(5)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-3.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-4.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-5.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-6.0 + 1.0 v[7]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1] - 0.5 v[8] - 0.5 v[10] - 0.5 v[11] - 0.5 v[13] - 0.5 v[16]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[8] │ │0.0 + 1.4142135623730951 v[9] │ │0.0 + 1.0 v[10] │ │0.0 + 1.4142135623730951 v[2] │ │0.0 + 1.4142135623730951 v[5] │ │0.0 + 1.0 v[11] │ │0.0 + 1.4142135623730951 v[3] │ │0.0 + 1.4142135623730951 v[6] │ │0.0 + 1.4142135623730951 v[12]│ │0.0 + 1.0 v[13] │ │0.0 + 1.4142135623730951 v[4] │ │0.0 + 1.4142135623730951 v[7] │ │0.0 + 1.4142135623730951 v[14]│ │0.0 + 1.4142135623730951 v[15]│ │0.0 + 1.0 v[16] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(5)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-3.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-4.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-5.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-6.0 + 1.0 v[7]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 │ │0.0 + 1.0 v[1] │ │0.0 │ │0.0 │ │0.0 + 1.0 v[1] │ │9.899494936611665 + 1.4142135623730951 v[2] │ │12.727922061357857 + 1.4142135623730951 v[4]│ │15.556349186104047 + 1.4142135623730951 v[6]│ │0.0 + 1.0 v[1] │ │11.313708498984761 + 1.4142135623730951 v[3]│ │14.142135623730951 + 1.4142135623730951 v[5]│ │16.970562748477143 + 1.4142135623730951 v[7]│ │0.0 │ │0.0 + 1.0 v[1] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(5)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-3.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-4.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-5.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-6.0 + 1.0 v[7]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 │ │0.0 + 1.0 v[1] │ │9.899494936611665 + 1.4142135623730951 v[2] │ │14.142135623730951 + 1.4142135623730951 v[5]│ │0.0 + 1.0 v[1] │ │11.313708498984761 + 1.4142135623730951 v[3]│ │15.556349186104047 + 1.4142135623730951 v[6]│ │0.0 │ │0.0 + 1.0 v[1] │ │12.727922061357857 + 1.4142135623730951 v[4]│ │16.970562748477143 + 1.4142135623730951 v[7]│ │0.0 │ │0.0 │ │0.0 + 1.0 v[1] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(5)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-3.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-4.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-5.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-6.0 + 1.0 v[7]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 │ │0.0 + 1.0 v[1] │ │0.0 │ │0.0 │ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.4142135623730951 v[6]│ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[3]│ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.4142135623730951 v[7]│ │0.0 │ │0.0 + 1.0 v[1] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(5)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-3.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-4.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-5.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-6.0 + 1.0 v[7]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 │ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[3]│ │0.0 + 1.4142135623730951 v[6]│ │0.0 │ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.4142135623730951 v[7]│ │0.0 │ │0.0 │ │0.0 + 1.0 v[1] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(5)) Feasibility Subject to: Feasibility Subject to: Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[4] + 2.0 v[5] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[2] + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-DualExponentialCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ DualExponentialCone() Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[4] + 2.0 v[5] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[2] + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-DualExponentialCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ DualExponentialCone() Minimize ScalarAffineFunction{Float64}: 0.0 - 1.0 v[4] - 1.0 v[5] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0 + 1.0 v[1] + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │0.0 + 1.0 v[2] + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-DualPowerCone{Float64} ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ DualPowerCone{Float64}(0.9) Minimize ScalarAffineFunction{Float64}: 0.0 - 1.0 v[4] - 1.0 v[5] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0 + 1.0 v[1] + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │0.0 + 1.0 v[2] + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-DualPowerCone{Float64} ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ DualPowerCone{Float64}(0.9) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-ExponentialCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ ExponentialCone() Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-ExponentialCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ ExponentialCone() Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │4.0 - 2.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │5.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-ExponentialCone ┌ ┐ │0.0 + 1.0 v[1]│ │1.0 │ │0.0 + 1.0 v[2]│ └ ┘ ∈ ExponentialCone() Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[6] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0 + 0.5 v[4] + 0.5 v[5] - 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │0.0 + 1.0 v[7]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1] + 0.3 v[7]│ │0.0 + 1.0 v[2] + 0.3 v[8]│ │0.0 + 1.0 v[3] + 0.3 v[9]│ └ ┘ ∈ Nonnegatives(3) ┌ ┐ │0.0 - 1.0 v[1] + 0.3 v[7]│ │0.0 - 1.0 v[2] + 0.3 v[8]│ │0.0 - 1.0 v[3] + 0.3 v[9]│ └ ┘ ∈ Nonnegatives(3) ┌ ┐ │1.0 - 1.0 v[7] - 1.0 v[8] - 1.0 v[9]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-ExponentialCone ┌ ┐ │0.0 + 1.0 v[2] + 1.0 v[3]│ │1.0 │ │0.0 + 1.0 v[4] │ └ ┘ ∈ ExponentialCone() ┌ ┐ │0.0 + 1.0 v[2] - 1.0 v[3]│ │1.0 │ │0.0 + 1.0 v[5] │ └ ┘ ∈ ExponentialCone() Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[5]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │3.0 - 1.0 v[2] - 1.0 v[3] - 1.0 v[4]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-PowerCone{Float64} ┌ ┐ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[5]│ │0.0 + 1.0 v[1]│ └ ┘ ∈ PowerCone{Float64}(0.3333333333333333) ┌ ┐ │0.0 + 1.0 v[3]│ │0.0 + 1.0 v[4]│ │0.0 + 1.0 v[5]│ └ ┘ ∈ PowerCone{Float64}(0.5) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[7]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[8]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[9]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[10]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[11]│ │0.0 + 1.0 v[12]│ │0.0 + 1.0 v[13]│ │0.0 + 1.0 v[14]│ │0.0 + 1.0 v[15]│ │0.0 + 1.0 v[16]│ │0.0 + 1.0 v[17]│ └ ┘ ∈ Nonnegatives(7) VectorAffineFunction{Float64}-in-PowerCone{Float64} ┌ ┐ │0.0 + 1.0 v[2] │ │0.0 + 1.0 v[11]│ │0.0 + 1.0 v[1] │ └ ┘ ∈ PowerCone{Float64}(0.1111111111111111) ┌ ┐ │0.0 + 1.0 v[3] │ │0.0 + 1.0 v[12]│ │0.0 + 1.0 v[11]│ └ ┘ ∈ PowerCone{Float64}(0.125) ┌ ┐ │0.0 + 1.0 v[4] │ │0.0 + 1.0 v[13]│ │0.0 + 1.0 v[12]│ └ ┘ ∈ PowerCone{Float64}(0.14285714285714285) ┌ ┐ │0.0 + 1.0 v[5] │ │0.0 + 1.0 v[14]│ │0.0 + 1.0 v[13]│ └ ┘ ∈ PowerCone{Float64}(0.16666666666666666) ┌ ┐ │0.0 + 1.0 v[6] │ │0.0 + 1.0 v[15]│ │0.0 + 1.0 v[14]│ └ ┘ ∈ PowerCone{Float64}(0.2) ┌ ┐ │0.0 + 1.0 v[7] │ │0.0 + 1.0 v[16]│ │0.0 + 1.0 v[15]│ └ ┘ ∈ PowerCone{Float64}(0.25) ┌ ┐ │0.0 + 1.0 v[8] │ │0.0 + 1.0 v[17]│ │0.0 + 1.0 v[16]│ └ ┘ ∈ PowerCone{Float64}(0.3333333333333333) ┌ ┐ │0.0 + 1.0 v[9] │ │0.0 + 1.0 v[10]│ │0.0 + 1.0 v[17]│ └ ┘ ∈ PowerCone{Float64}(0.5) Maximize ScalarAffineFunction{Float64}: 0.0 + 2.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │2.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-PowerCone{Float64} ┌ ┐ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[1]│ └ ┘ ∈ PowerCone{Float64}(0.5) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1] + 0.5 v[5]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │3.0 - 1.0 v[2] - 1.0 v[3] - 1.0 v[4]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 0.7071067811865475 v[6] + 0.7071067811865475 v[7]│ │0.0 + 0.7071067811865475 v[6] - 0.7071067811865475 v[7]│ │0.0 + 1.0 v[5] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.7071067811865475 v[2] + 0.7071067811865475 v[3]│ │0.0 + 0.7071067811865475 v[2] - 0.7071067811865475 v[3]│ │0.0 + 1.0 v[6] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.7071067811865475 v[4] + 0.35355339059327373 v[5]│ │0.0 + 0.7071067811865475 v[4] - 0.35355339059327373 v[5]│ │0.0 + 1.0 v[7] │ └ ┘ ∈ SecondOrderCone(3) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[7]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[8]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[9]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[10]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1] + 0.25 v[11]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 0.7071067811865475 v[12] + 0.7071067811865475 v[13]│ │0.0 + 0.7071067811865475 v[12] - 0.7071067811865475 v[13]│ │0.0 + 1.0 v[11] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.7071067811865475 v[14] + 0.7071067811865475 v[15]│ │0.0 + 0.7071067811865475 v[14] - 0.7071067811865475 v[15]│ │0.0 + 1.0 v[12] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.7071067811865475 v[16] + 0.7071067811865475 v[17]│ │0.0 + 0.7071067811865475 v[16] - 0.7071067811865475 v[17]│ │0.0 + 1.0 v[13] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.7071067811865475 v[18] + 0.7071067811865475 v[19]│ │0.0 + 0.7071067811865475 v[18] - 0.7071067811865475 v[19]│ │0.0 + 1.0 v[14] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.7071067811865475 v[20] + 0.7071067811865475 v[21]│ │0.0 + 0.7071067811865475 v[20] - 0.7071067811865475 v[21]│ │0.0 + 1.0 v[15] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.7071067811865475 v[22] + 0.7071067811865475 v[23]│ │0.0 + 0.7071067811865475 v[22] - 0.7071067811865475 v[23]│ │0.0 + 1.0 v[16] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.7071067811865475 v[24] + 0.7071067811865475 v[25]│ │0.0 + 0.7071067811865475 v[24] - 0.7071067811865475 v[25]│ │0.0 + 1.0 v[17] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.7071067811865475 v[2] + 0.7071067811865475 v[3]│ │0.0 + 0.7071067811865475 v[2] - 0.7071067811865475 v[3]│ │0.0 + 1.0 v[18] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.7071067811865475 v[4] + 0.7071067811865475 v[5]│ │0.0 + 0.7071067811865475 v[4] - 0.7071067811865475 v[5]│ │0.0 + 1.0 v[19] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.7071067811865475 v[6] + 0.7071067811865475 v[7]│ │0.0 + 0.7071067811865475 v[6] - 0.7071067811865475 v[7]│ │0.0 + 1.0 v[20] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.7071067811865475 v[8] + 0.7071067811865475 v[9]│ │0.0 + 0.7071067811865475 v[8] - 0.7071067811865475 v[9]│ │0.0 + 1.0 v[21] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.7071067811865475 v[10] + 0.17677669529663687 v[11]│ │0.0 + 0.7071067811865475 v[10] - 0.17677669529663687 v[11]│ │0.0 + 1.0 v[22] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.35355339059327373 v[11]│ │0.0 │ │0.0 + 1.0 v[23] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.35355339059327373 v[11]│ │0.0 │ │0.0 + 1.0 v[24] │ └ ┘ ∈ SecondOrderCone(3) ┌ ┐ │0.0 + 0.35355339059327373 v[11]│ │0.0 │ │0.0 + 1.0 v[25] │ └ ┘ ∈ SecondOrderCone(3) Maximize ScalarAffineFunction{Float64}: 0.0 + 2.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │2.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[5] Subject to: VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[5] │ │-1.0 + 1.0 v[1] │ │1.4142135623730951 + 1.4142135623730951 v[2] │ │1.0 + 1.0 v[3] │ │-1.4142135623730951 + 1.4142135623730951 v[4]│ └ ┘ ∈ SecondOrderCone(5) VectorAffineFunction{Float64}-in-Scaled{HermitianPositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.0 v[3] │ │0.0 + 1.4142135623730951 v[4]│ └ ┘ ∈ Scaled{HermitianPositiveSemidefiniteConeTriangle}(HermitianPositiveSemidefiniteConeTriangle(2)) Feasibility Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-0.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-0.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-0.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │1.0 + 1.0 v[7]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-0.0 + 1.0 v[8]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-0.0 + 1.0 v[9]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{HermitianPositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.0 v[3] │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.0 v[6] │ │0.0 + 1.4142135623730951 v[7]│ │0.0 + 1.4142135623730951 v[8]│ │0.0 + 1.4142135623730951 v[9]│ └ ┘ ∈ Scaled{HermitianPositiveSemidefiniteConeTriangle}(HermitianPositiveSemidefiniteConeTriangle(3)) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1] + 1.0 v[8] + 1.0 v[9] + 1.0 v[10]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │3.0 │ │2.8284271247461903 │ │2.0 │ │1.4142135623730951 │ │1.4142135623730951 │ │3.0 │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.4142135623730951 v[3]│ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.0 v[2] │ │0.0 │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.4142135623730951 v[6]│ │0.0 │ │0.0 + 1.0 v[4] │ │0.0 │ │0.0 │ │0.0 + 1.4142135623730951 v[7]│ │0.0 │ │0.0 │ │0.0 + 1.0 v[7] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(6)) VectorAffineFunction{Float64}-in-ExponentialCone ┌ ┐ │0.0 + 1.0 v[8]│ │1.0 │ │0.0 + 1.0 v[2]│ └ ┘ ∈ ExponentialCone() ┌ ┐ │0.0 + 1.0 v[9]│ │1.0 │ │0.0 + 1.0 v[4]│ └ ┘ ∈ ExponentialCone() ┌ ┐ │0.0 + 1.0 v[10]│ │1.0 │ │0.0 + 1.0 v[7] │ └ ┘ ∈ ExponentialCone() Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │0.0 - 1.0 v[3] + 1.0 v[4]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1] + 1.0 v[10] + 1.0 v[11]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 - 1.0 v[2]│ │1.0 - 1.0 v[5]│ └ ┘ ∈ Nonnegatives(2) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[2] │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.0 v[5] │ │0.0 + 1.4142135623730951 v[7]│ │0.0 + 1.4142135623730951 v[8]│ │0.0 + 1.0 v[7] │ │0.0 │ │0.0 + 1.4142135623730951 v[9]│ │0.0 │ │0.0 + 1.0 v[9] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(4)) VectorAffineFunction{Float64}-in-ExponentialCone ┌ ┐ │0.0 + 1.0 v[10]│ │0.0 + 1.0 v[6] │ │0.0 + 1.0 v[7] │ └ ┘ ∈ ExponentialCone() ┌ ┐ │0.0 + 1.0 v[11]│ │0.0 + 1.0 v[6] │ │0.0 + 1.0 v[9] │ └ ┘ ∈ ExponentialCone() Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │0.0 - 1.0 v[3] + 1.0 v[4]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1] + 1.0 v[10] + 1.0 v[11]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 - 1.0 v[2]│ │1.0 - 1.0 v[5]│ └ ┘ ∈ Nonnegatives(2) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[2] │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.0 v[5] │ │0.0 + 1.4142135623730951 v[7]│ │0.0 + 1.4142135623730951 v[8]│ │0.0 + 1.0 v[7] │ │0.0 │ │0.0 + 1.4142135623730951 v[9]│ │0.0 │ │0.0 + 1.0 v[9] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(4)) VectorAffineFunction{Float64}-in-ExponentialCone ┌ ┐ │0.0 + 1.0 v[10]│ │0.0 + 1.0 v[6] │ │0.0 + 1.0 v[7] │ └ ┘ ∈ ExponentialCone() ┌ ┐ │0.0 + 1.0 v[11]│ │0.0 + 1.0 v[6] │ │0.0 + 1.0 v[9] │ └ ┘ ∈ ExponentialCone() Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1] + 1.0 v[8] + 1.0 v[9] + 1.0 v[10]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │3.0 │ │2.8284271247461903 │ │2.0 │ │1.4142135623730951 │ │1.4142135623730951 │ │3.0 │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.4142135623730951 v[3]│ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.0 v[2] │ │0.0 │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.4142135623730951 v[6]│ │0.0 │ │0.0 + 1.0 v[4] │ │0.0 │ │0.0 │ │0.0 + 1.4142135623730951 v[7]│ │0.0 │ │0.0 │ │0.0 + 1.0 v[7] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(6)) VectorAffineFunction{Float64}-in-ExponentialCone ┌ ┐ │0.0 + 1.0 v[8]│ │1.0 │ │0.0 + 1.0 v[2]│ └ ┘ ∈ ExponentialCone() ┌ ┐ │0.0 + 1.0 v[9]│ │1.0 │ │0.0 + 1.0 v[4]│ └ ┘ ∈ ExponentialCone() ┌ ┐ │0.0 + 1.0 v[10]│ │1.0 │ │0.0 + 1.0 v[7] │ └ ┘ ∈ ExponentialCone() Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1] + 1.0 v[9] + 1.0 v[10]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 - 1.0 v[2]│ │1.0 - 1.0 v[4]│ └ ┘ ∈ Nonnegatives(2) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[2] │ │0.0 + 1.4142135623730951 v[3]│ │0.0 + 1.0 v[4] │ │0.0 + 1.4142135623730951 v[6]│ │0.0 + 1.4142135623730951 v[7]│ │0.0 + 1.0 v[6] │ │0.0 │ │0.0 + 1.4142135623730951 v[8]│ │0.0 │ │0.0 + 1.0 v[8] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(4)) VectorAffineFunction{Float64}-in-ExponentialCone ┌ ┐ │0.0 + 1.0 v[9]│ │0.0 + 1.0 v[5]│ │0.0 + 1.0 v[6]│ └ ┘ ∈ ExponentialCone() ┌ ┐ │0.0 + 1.0 v[10]│ │0.0 + 1.0 v[5] │ │0.0 + 1.0 v[8] │ └ ┘ ∈ ExponentialCone() Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1] + 1.0 v[9] + 1.0 v[10]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 - 1.0 v[2]│ │1.0 - 1.0 v[4]│ └ ┘ ∈ Nonnegatives(2) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[2] │ │0.0 + 1.4142135623730951 v[3]│ │0.0 + 1.0 v[4] │ │0.0 + 1.4142135623730951 v[6]│ │0.0 + 1.4142135623730951 v[7]│ │0.0 + 1.0 v[6] │ │0.0 │ │0.0 + 1.4142135623730951 v[8]│ │0.0 │ │0.0 + 1.0 v[8] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(4)) VectorAffineFunction{Float64}-in-ExponentialCone ┌ ┐ │0.0 + 1.0 v[9]│ │0.0 + 1.0 v[5]│ │0.0 + 1.0 v[6]│ └ ┘ ∈ ExponentialCone() ┌ ┐ │0.0 + 1.0 v[10]│ │0.0 + 1.0 v[5] │ │0.0 + 1.0 v[8] │ └ ┘ ∈ ExponentialCone() Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-3.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-4.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │0.0 - 1.0 v[1] + 1.0 v[6] + 1.0 v[7] + 1.0 v[8] + 1.0 v[9]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-PowerCone{Float64} ┌ ┐ │0.0 + 1.0 v[6]│ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ └ ┘ ∈ PowerCone{Float64}(0.25) ┌ ┐ │0.0 + 1.0 v[7]│ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ PowerCone{Float64}(0.25) ┌ ┐ │0.0 + 1.0 v[8]│ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[4]│ └ ┘ ∈ PowerCone{Float64}(0.25) ┌ ┐ │0.0 + 1.0 v[9]│ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[5]│ └ ┘ ∈ PowerCone{Float64}(0.25) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-3.0 + 1.0 v[1] - 1.0 v[2]│ │-3.0 + 1.0 v[1] - 1.0 v[3]│ │-3.0 + 1.0 v[1] - 1.0 v[4]│ │1.0 + 1.0 v[1] + 1.0 v[2] │ │1.0 + 1.0 v[1] + 1.0 v[3] │ │1.0 + 1.0 v[1] + 1.0 v[4] │ └ ┘ ∈ Nonnegatives(6) ┌ ┐ │1.0 + 1.0 v[2]│ │1.0 + 1.0 v[3]│ │1.0 + 1.0 v[4]│ └ ┘ ∈ Nonnegatives(3) Feasibility Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-2.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │0.0 + 1.0 v[1] - 1.0 v[2]│ │0.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(2) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[2] + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-0.5 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1] - 1.0 v[2]│ │0.0 + 1.0 v[1] - 1.0 v[3]│ │0.0 + 1.0 v[1] + 1.0 v[2]│ │0.0 + 1.0 v[1] + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(4) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[2] + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-0.5 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1] - 1.0 v[2]│ │0.0 + 1.0 v[1] - 1.0 v[3]│ │0.0 + 1.0 v[1] + 1.0 v[2]│ │0.0 + 1.0 v[1] + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(4) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1] - 0.5 v[2] - 0.5 v[4] - 0.5 v[7] - 0.5 v[8] - 0.5 v[10]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[2] │ │0.0 + 1.4142135623730951 v[3]│ │0.0 + 1.0 v[4] │ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.4142135623730951 v[6]│ │0.0 + 1.0 v[7] │ │1.4142135623730951 │ │1.4142135623730951 │ │0.0 │ │0.0 + 1.0 v[8] │ │1.4142135623730951 │ │-1.4142135623730951 │ │1.4142135623730951 │ │0.0 + 1.4142135623730951 v[9]│ │0.0 + 1.0 v[10] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(5)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1] - 0.5 v[2] - 0.5 v[4] - 0.5 v[5] - 0.5 v[7] - 0.5 v[10]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[2] │ │0.0 + 1.4142135623730951 v[3]│ │0.0 + 1.0 v[4] │ │1.4142135623730951 │ │1.4142135623730951 │ │0.0 + 1.0 v[5] │ │1.4142135623730951 │ │-1.4142135623730951 │ │0.0 + 1.4142135623730951 v[6]│ │0.0 + 1.0 v[7] │ │0.0 │ │1.4142135623730951 │ │0.0 + 1.4142135623730951 v[8]│ │0.0 + 1.4142135623730951 v[9]│ │0.0 + 1.0 v[10] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(5)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1] - 1.0 v[5] - 1.0 v[6] - 1.0 v[7]│ │-2.0 - 1.0 v[2] + 1.0 v[5] │ │-2.0 - 1.0 v[3] + 1.0 v[6] │ │-2.0 - 1.0 v[4] + 1.0 v[7] │ │2.0 + 1.0 v[2] + 1.0 v[5] │ │2.0 + 1.0 v[3] + 1.0 v[6] │ │2.0 + 1.0 v[4] + 1.0 v[7] │ └ ┘ ∈ Nonnegatives(7) ┌ ┐ │1.0 + 1.0 v[2]│ │1.0 + 1.0 v[3]│ │1.0 + 1.0 v[4]│ └ ┘ ∈ Nonnegatives(3) Feasibility Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-2.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │0.0 + 1.0 v[1] - 1.0 v[3] │ │-0.0 - 1.0 v[2] + 1.0 v[3]│ │0.0 + 1.0 v[2] + 1.0 v[3] │ └ ┘ ∈ Nonnegatives(3) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[2] + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-0.5 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1] - 1.0 v[4] - 1.0 v[5]│ │-0.0 - 1.0 v[2] + 1.0 v[4] │ │-0.0 - 1.0 v[3] + 1.0 v[5] │ │0.0 + 1.0 v[2] + 1.0 v[4] │ │0.0 + 1.0 v[3] + 1.0 v[5] │ └ ┘ ∈ Nonnegatives(5) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[2] + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-0.5 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 + 1.0 v[1] - 1.0 v[4] - 1.0 v[5]│ │0.0 - 1.0 v[2] + 1.0 v[4] │ │0.0 - 1.0 v[3] + 1.0 v[5] │ │0.0 + 1.0 v[2] + 1.0 v[4] │ │0.0 + 1.0 v[3] + 1.0 v[5] │ └ ┘ ∈ Nonnegatives(5) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 │ │0.0 + 1.0 v[1] │ │0.0 │ │0.0 │ │0.0 + 1.0 v[1] │ │1.4142135623730951 │ │1.4142135623730951 │ │0.0 │ │0.0 + 1.0 v[1] │ │1.4142135623730951 │ │-1.4142135623730951│ │1.4142135623730951 │ │0.0 │ │0.0 + 1.0 v[1] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(5)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 │ │0.0 + 1.0 v[1] │ │1.4142135623730951 │ │1.4142135623730951 │ │0.0 + 1.0 v[1] │ │1.4142135623730951 │ │-1.4142135623730951│ │0.0 │ │0.0 + 1.0 v[1] │ │0.0 │ │1.4142135623730951 │ │0.0 │ │0.0 │ │0.0 + 1.0 v[1] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(5)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │1.4142135623730951│ │0.0 + 1.0 v[1] │ │1.4142135623730951│ │1.4142135623730951│ │0.0 + 1.0 v[1] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(3)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[4] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0 - 1.0 v[2] + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[3]│ │0.0 + 1.0 v[4] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(2)) Minimize ScalarAffineFunction{Float64}: 0.0 + 2.0 v[1] + 1.0 v[2] + 1.0 v[4] + 2.0 v[5] + 1.0 v[6] + 1.0 v[8] + 2.0 v[9] + 1.0 v[10] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0 - 1.0 v[2] + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │0.0 - 1.0 v[3] + 1.0 v[7]│ └ ┘ ∈ Zeros(1) ┌ ┐ │0.0 - 1.0 v[6] + 1.0 v[8]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[5] + 1.0 v[9] + 1.0 v[10]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-0.5 + 1.0 v[1] + 1.0 v[2] + 1.0 v[3] + 1.0 v[4] + 1.0 v[5] + 1.0 v[6] + 1.0 v[7] + 1.0 v[8] + 1.0 v[9] + 1.0 v[11] + 1.0 v[12]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[10]│ │0.0 + 1.0 v[11]│ │0.0 + 1.0 v[12]│ └ ┘ ∈ SecondOrderCone(3) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.0 v[5] │ │0.0 + 1.4142135623730951 v[7]│ │0.0 + 1.4142135623730951 v[8]│ │0.0 + 1.0 v[9] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(3)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[4] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0 - 1.0 v[2] + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[3]│ │0.0 + 1.0 v[4] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(2)) Minimize ScalarAffineFunction{Float64}: 0.0 + 2.0 v[1] + 1.0 v[2] + 1.0 v[4] + 2.0 v[5] + 1.0 v[6] + 1.0 v[8] + 2.0 v[9] + 1.0 v[10] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0 - 1.0 v[2] + 1.0 v[4]│ └ ┘ ∈ Zeros(1) ┌ ┐ │0.0 - 1.0 v[3] + 1.0 v[7]│ └ ┘ ∈ Zeros(1) ┌ ┐ │0.0 - 1.0 v[6] + 1.0 v[8]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[5] + 1.0 v[9] + 1.0 v[10]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-0.5 + 1.0 v[1] + 1.0 v[2] + 1.0 v[3] + 1.0 v[4] + 1.0 v[5] + 1.0 v[6] + 1.0 v[7] + 1.0 v[8] + 1.0 v[9] + 1.0 v[11] + 1.0 v[12]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[10]│ │0.0 + 1.0 v[11]│ │0.0 + 1.0 v[12]│ └ ┘ ∈ SecondOrderCone(3) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.0 v[5] │ │0.0 + 1.4142135623730951 v[7]│ │0.0 + 1.4142135623730951 v[8]│ │0.0 + 1.0 v[9] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(3)) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[7] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │10.0 - 1.0 v[1] - 1.0 v[2] - 1.0 v[3] - 1.0 v[4] - 1.0 v[5] - 1.0 v[6]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ │-0.0 + 1.0 v[2]│ │-0.0 + 1.0 v[3]│ │-0.0 + 1.0 v[4]│ │-0.0 + 1.0 v[5]│ │-0.0 + 1.0 v[6]│ └ ┘ ∈ Nonnegatives(6) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 0.45 v[1] + 0.8 v[2] + 0.9 v[3] + 0.225 v[4] + 0.1125 v[5] - 1.0 v[7] │ │0.0 - 0.45 v[1] - 0.3181980515339464 v[2] - 0.1125 v[5] │ │0.0 + 0.45 v[1] + 0.09999999999999998 v[2] + 0.1125 v[5] + 0.225 v[6] - 1.0 v[7]│ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(2)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │1.4142135623730951│ │0.0 + 1.0 v[1] │ │1.4142135623730951│ │1.4142135623730951│ │0.0 + 1.0 v[1] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(3)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0 + 1.0 v[1] + 1.0 v[2] + 1.0 v[3] - 1.0 v[4] - 1.0 v[5] - 1.0 v[6]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[4] + 1.0 v[6]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.0 v[3] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(2)) ┌ ┐ │0.0 + 1.0 v[4] │ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.0 v[6] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(2)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.0 v[3] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(2)) Minimize ScalarAffineFunction{Float64}: 0.0 + 2.0 v[1] + 2.0 v[2] + 2.0 v[3] + 2.0 v[5] + 2.0 v[6] + 1.0 v[7] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[3] + 1.0 v[6] + 1.0 v[7]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-0.5 + 1.0 v[1] + 2.0 v[2] + 1.0 v[3] + 2.0 v[4] + 2.0 v[5] + 1.0 v[6] + 1.0 v[8] + 1.0 v[9]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[7]│ │0.0 + 1.0 v[8]│ │0.0 + 1.0 v[9]│ └ ┘ ∈ SecondOrderCone(3) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.0 v[3] │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.0 v[6] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(3)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.0 v[3] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(2)) Minimize ScalarAffineFunction{Float64}: 0.0 + 2.0 v[1] + 2.0 v[2] + 2.0 v[3] + 2.0 v[5] + 2.0 v[6] + 1.0 v[7] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[3] + 1.0 v[6] + 1.0 v[7]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-0.5 + 1.0 v[1] + 2.0 v[2] + 1.0 v[3] + 2.0 v[4] + 2.0 v[5] + 1.0 v[6] + 1.0 v[8] + 1.0 v[9]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[7]│ │0.0 + 1.0 v[8]│ │0.0 + 1.0 v[9]│ └ ┘ ∈ SecondOrderCone(3) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.0 v[3] │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.0 v[6] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(3)) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-2.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-PowerCone{Float64} ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ PowerCone{Float64}(0.9) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-2.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-PowerCone{Float64} ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ PowerCone{Float64}(0.9) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1] - 1.0 v[2] - 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-ExponentialCone ┌ ┐ │0.0 - 1.0 v[2]│ │2.0 │ │1.0 │ └ ┘ ∈ ExponentialCone() ┌ ┐ │0.0 - 1.0 v[3]│ │3.0 │ │5.0 │ └ ┘ ∈ ExponentialCone() Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[8]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │3.0 │ │2.8284271247461903 │ │2.0 │ │1.4142135623730951 │ │1.4142135623730951 │ │3.0 │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.4142135623730951 v[3]│ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.0 v[2] │ │0.0 │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.4142135623730951 v[6]│ │0.0 │ │0.0 + 1.0 v[4] │ │0.0 │ │0.0 │ │0.0 + 1.4142135623730951 v[7]│ │0.0 │ │0.0 │ │0.0 + 1.0 v[7] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(6)) VectorAffineFunction{Float64}-in-PowerCone{Float64} ┌ ┐ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[8]│ │0.0 + 1.0 v[1]│ └ ┘ ∈ PowerCone{Float64}(0.3333333333333333) ┌ ┐ │0.0 + 1.0 v[4]│ │0.0 + 1.0 v[7]│ │0.0 + 1.0 v[8]│ └ ┘ ∈ PowerCone{Float64}(0.5) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0 - 1.0 v[3] + 1.0 v[4]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[2]│ │1.0 - 1.0 v[5]│ └ ┘ ∈ Nonnegatives(2) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[2] │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.0 v[5] │ │0.0 + 1.4142135623730951 v[6]│ │0.0 + 1.4142135623730951 v[7]│ │0.0 + 1.0 v[6] │ │0.0 │ │0.0 + 1.4142135623730951 v[8]│ │0.0 │ │0.0 + 1.0 v[8] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(4)) VectorAffineFunction{Float64}-in-PowerCone{Float64} ┌ ┐ │0.0 + 1.0 v[6]│ │0.0 + 1.0 v[8]│ │0.0 + 1.0 v[1]│ └ ┘ ∈ PowerCone{Float64}(0.5) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0 - 1.0 v[3] + 1.0 v[4]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1] + 0.7071067811865475 v[9]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 - 1.0 v[2]│ │1.0 - 1.0 v[5]│ └ ┘ ∈ Nonnegatives(2) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 0.7071067811865475 v[6] + 0.7071067811865475 v[8]│ │0.0 + 0.7071067811865475 v[6] - 0.7071067811865475 v[8]│ │0.0 + 1.0 v[9] │ └ ┘ ∈ SecondOrderCone(3) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[2] │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.0 v[5] │ │0.0 + 1.4142135623730951 v[6]│ │0.0 + 1.4142135623730951 v[7]│ │0.0 + 1.0 v[6] │ │0.0 │ │0.0 + 1.4142135623730951 v[8]│ │0.0 │ │0.0 + 1.0 v[8] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(4)) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[8]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │3.0 │ │2.8284271247461903 │ │2.0 │ │1.4142135623730951 │ │1.4142135623730951 │ │3.0 │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.4142135623730951 v[3]│ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.0 v[2] │ │0.0 │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.4142135623730951 v[6]│ │0.0 │ │0.0 + 1.0 v[4] │ │0.0 │ │0.0 │ │0.0 + 1.4142135623730951 v[7]│ │0.0 │ │0.0 │ │0.0 + 1.0 v[7] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(6)) VectorAffineFunction{Float64}-in-PowerCone{Float64} ┌ ┐ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[8]│ │0.0 + 1.0 v[1]│ └ ┘ ∈ PowerCone{Float64}(0.3333333333333333) ┌ ┐ │0.0 + 1.0 v[4]│ │0.0 + 1.0 v[7]│ │0.0 + 1.0 v[8]│ └ ┘ ∈ PowerCone{Float64}(0.5) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[2]│ │1.0 - 1.0 v[4]│ └ ┘ ∈ Nonnegatives(2) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[2] │ │0.0 + 1.4142135623730951 v[3]│ │0.0 + 1.0 v[4] │ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.4142135623730951 v[6]│ │0.0 + 1.0 v[5] │ │0.0 │ │0.0 + 1.4142135623730951 v[7]│ │0.0 │ │0.0 + 1.0 v[7] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(4)) VectorAffineFunction{Float64}-in-PowerCone{Float64} ┌ ┐ │0.0 + 1.0 v[5]│ │0.0 + 1.0 v[7]│ │0.0 + 1.0 v[1]│ └ ┘ ∈ PowerCone{Float64}(0.5) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1] + 0.7071067811865475 v[8]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 - 1.0 v[2]│ │1.0 - 1.0 v[4]│ └ ┘ ∈ Nonnegatives(2) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 0.7071067811865475 v[5] + 0.7071067811865475 v[7]│ │0.0 + 0.7071067811865475 v[5] - 0.7071067811865475 v[7]│ │0.0 + 1.0 v[8] │ └ ┘ ∈ SecondOrderCone(3) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[2] │ │0.0 + 1.4142135623730951 v[3]│ │0.0 + 1.0 v[4] │ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.4142135623730951 v[6]│ │0.0 + 1.0 v[5] │ │0.0 │ │0.0 + 1.4142135623730951 v[7]│ │0.0 │ │0.0 + 1.0 v[7] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(4)) Minimize ScalarAffineFunction{Float64}: 0.0 + 0.0 v[1] + 0.0 v[2] + 0.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-0.5 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-2.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 0.7071067811865475 v[1] + 0.7071067811865475 v[2]│ │0.0 + 0.7071067811865475 v[1] - 0.7071067811865475 v[2]│ │0.0 + 1.0 v[3] │ └ ┘ ∈ SecondOrderCone(3) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[4] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[5]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[6]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(2) ┌ ┐ │-0.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │3.0 - 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 0.49999999999999994 v[5] + 0.49999999999999994 v[6]│ │0.0 + 0.49999999999999994 v[5] - 0.49999999999999994 v[6]│ │0.0 + 1.0 v[1] │ │0.0 + 1.0 v[2] │ └ ┘ ∈ SecondOrderCone(4) ┌ ┐ │0.0 + 0.49999999999999994 v[1] + 0.49999999999999994 v[3]│ │0.0 + 0.49999999999999994 v[1] - 0.49999999999999994 v[3]│ │0.0 + 1.0 v[4] │ └ ┘ ∈ SecondOrderCone(3) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │1.0606601717798212 │ │-0.35355339059327373│ │0.0 + 1.0 v[1] │ │0.0 + 1.0 v[2] │ └ ┘ ∈ SecondOrderCone(4) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[3] + 1.0 v[4] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-0.5 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 0.7071067811865475 v[1] + 0.7071067811865475 v[2]│ │0.0 + 0.7071067811865475 v[1] - 0.7071067811865475 v[2]│ │0.0 + 1.0 v[3] │ │0.0 + 1.0 v[4] │ └ ┘ ∈ SecondOrderCone(4) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[3] + 1.0 v[4] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │2.0 - 1.0 v[1] - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 0.7071067811865475 v[1] + 0.7071067811865475 v[2]│ │0.0 + 0.7071067811865475 v[1] - 0.7071067811865475 v[2]│ │0.0 + 1.0 v[3] │ │0.0 + 1.0 v[4] │ └ ┘ ∈ SecondOrderCone(4) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.0 v[3] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(2)) Feasibility Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-2.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ └ ┘ ∈ SecondOrderCone(2) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │1.0 - 1.0 v[3]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.7071067811865475 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[3]│ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ └ ┘ ∈ SecondOrderCone(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │1.0 - 1.0 v[3]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.7071067811865475 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[3]│ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ └ ┘ ∈ SecondOrderCone(3) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[2] + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ SecondOrderCone(3) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[2] + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ SecondOrderCone(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ SecondOrderCone(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │6.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ SecondOrderCone(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │6.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │6.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ SecondOrderCone(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ SecondOrderCone(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │6.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ SecondOrderCone(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ SecondOrderCone(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ SecondOrderCone(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ SecondOrderCone(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-6.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ SecondOrderCone(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-3.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-4.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ SecondOrderCone(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 0.0 v[1] - 2.0 v[2] - 1.0 v[3] + 0.0 v[4] + 0.0 v[5] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1] │ │0.0 + 1.0 v[2] - 1.0 v[4]│ │0.0 + 1.0 v[3] - 1.0 v[5]│ └ ┘ ∈ Zeros(3) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[4]│ │0.0 + 1.0 v[5]│ └ ┘ ∈ SecondOrderCone(3) Feasibility Subject to: VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │2.0│ │1.0│ │1.0│ └ ┘ ∈ SecondOrderCone(3) Feasibility Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Feasibility Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 - 3.0 v[1] - 2.0 v[2] - 4.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-3.0 + 1.0 v[1] + 1.0 v[2] + 1.0 v[3]│ │-2.0 + 1.0 v[2] + 1.0 v[3] │ └ ┘ ∈ Zeros(2) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 3.0 v[1] + 2.0 v[2] - 4.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │4.0 + 1.0 v[1] - 1.0 v[4] │ │3.0 + 1.0 v[2] │ │-12.0 + 1.0 v[1] + 1.0 v[3]│ └ ┘ ∈ Zeros(3) ┌ ┐ │0.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │0.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 - 3.0 v[1] - 2.0 v[2] - 4.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-3.0 + 1.0 v[1] + 1.0 v[2] + 1.0 v[3]│ │-2.0 + 1.0 v[2] + 1.0 v[3] │ └ ┘ ∈ Zeros(2) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ │0.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(3) Minimize ScalarAffineFunction{Float64}: 0.0 + 3.0 v[1] + 2.0 v[2] - 4.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │4.0 + 1.0 v[1] - 1.0 v[4] │ │3.0 + 1.0 v[2] │ │-12.0 + 1.0 v[1] + 1.0 v[3]│ └ ┘ ∈ Zeros(3) ┌ ┐ │0.0 + 1.0 v[4]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │0.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 + 1.0 v[1]│ │1.0 │ └ ┘ ∈ SecondOrderCone(2) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 2.0 v[1]│ └ ┘ ∈ Zeros(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 2.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 3.0 v[1] Subject to: VectorAffineFunction{Float64}-in-HyperRectangle{Float64} ┌ ┐ │0.0 + 2.0 v[1]│ └ ┘ ∈ HyperRectangle{Float64}([1.0], [4.0]) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 2.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 2.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 2.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 2.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.5 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.5 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │1.414213562373095 - 0.7071067811865475 v[2]│ │0.0 + 0.7071067811865475 v[2] │ │0.0 + 2.0 v[1] │ └ ┘ ∈ SecondOrderCone(3) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 2.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.5 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.5 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │1.414213562373095 │ │0.0 │ │0.0 + 1.4142135623730951 v[1] + 0.7071067811865475 v[2]│ │0.0 + 1.224744871391589 v[2] │ └ ┘ ∈ SecondOrderCone(4) Minimize ScalarAffineFunction{Float64}: 0.0 - 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1] - 2.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 - 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0 + 1.0 v[1] - 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Feasibility Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0 + 1.0 v[1] - 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 2.0 v[1] + 3.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-HyperRectangle{Float64} ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ └ ┘ ∈ HyperRectangle{Float64}([-1.0, -2.0], [3.0, 4.0]) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-HyperRectangle{Float64} ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ └ ┘ ∈ HyperRectangle{Float64}([-1.0, -2.0], [3.0, 4.0]) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 + 1.0 v[1]│ │2.0 + 1.0 v[2]│ │3.0 - 1.0 v[1]│ │4.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(4) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 + 1.0 v[1]│ │2.0 + 1.0 v[2]│ │3.0 - 1.0 v[1]│ │4.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(4) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 - 2.0 v[1] - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-7.0 - 2.0 v[1] + 3.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │2.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-HyperRectangle{Float64} ┌ ┐ │0.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ HyperRectangle{Float64}([-1.0], [10.0]) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │0.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-100.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │0.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-100.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-100.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 2.0 v[1] + 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 - 1.0 v[1] - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-100.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-100.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-100.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 0.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0 │ │0.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(2) Maximize ScalarAffineFunction{Float64}: 0.0 + 1000.0 v[1] + 350.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-30.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │0.0 + 1.0 v[1] - 1.5 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1000.0 - 12.0 v[1] - 8.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │70000.0 - 1000.0 v[1] - 300.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Feasibility Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[2]│ │-1.0 + 2.0 v[1] - 1.0 v[2]│ └ ┘ ∈ Zeros(2) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(2) Feasibility Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-2.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-3.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │3.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 0.0 v[1] + 0.0 v[2] - 1.0 v[1] + 0.0 v[2] + 0.0 v[1] + 0.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1] - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 0.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1] - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 0.0 v[2] + 2.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1] - 1.0 v[2] - 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 0.0 v[2] + 2.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1] - 1.0 v[2] - 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 0.0 v[2] + 2.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-0.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1] - 1.0 v[2] - 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 0.0 v[2] + 2.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-0.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[1] + 1.0 v[2] + 1.0 v[3]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 2.0 v[2] + 0.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-0.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[1] + 1.0 v[2] + 1.0 v[3]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 2.0 v[2] + 0.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-0.0 + 1.0 v[3]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-2.0 + 1.0 v[1] + 1.0 v[2] + 1.0 v[3]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │0.0 + 1.0 v[1] - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 - 1.0 v[1] + 0.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1] - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-HyperRectangle{Float64} ┌ ┐ │0.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ HyperRectangle{Float64}([5.0], [10.0]) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-HyperRectangle{Float64} ┌ ┐ │0.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ HyperRectangle{Float64}([5.0], [10.0]) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-HyperRectangle{Float64} ┌ ┐ │0.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ HyperRectangle{Float64}([2.0], [12.0]) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-HyperRectangle{Float64} ┌ ┐ │0.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ HyperRectangle{Float64}([2.0], [12.0]) Maximize ScalarAffineFunction{Float64}: 4.0 + 1.0 v[1] + 2.0 v[2] + 3.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │2.0 - 3.0 v[1] - 2.0 v[2] - 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 - 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 4.0 + 2.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │2.0 - 2.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │4.0 - 2.0 v[1] - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │4.0 - 1.0 v[1] - 2.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │4.0 - 2.0 v[1] - 3.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │4.0 - 1.0 v[1] - 2.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │4.0 - 1.0 v[1] - 2.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │4.0 - 2.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │0.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-100.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │0.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-100.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-100.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) VectorAffineFunction{Float64}-in-HyperRectangle{Float64} ┌ ┐ │0.0 + 1.0 v[1]│ └ ┘ ∈ HyperRectangle{Float64}([-Inf], [1.0]) ┌ ┐ │0.0 + 1.0 v[2]│ └ ┘ ∈ HyperRectangle{Float64}([-1.0], [Inf]) ┌ ┐ │0.0 + 1.0 v[3]│ └ ┘ ∈ HyperRectangle{Float64}([-Inf], [Inf]) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-2.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │2.0 - 1.0 v[1] - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] - 1.0 v[2] + 1.0 v[3] Subject to: VectorAffineFunction{Float64}-in-HyperRectangle{Float64} ┌ ┐ │0.0 + 1.0 v[1]│ └ ┘ ∈ HyperRectangle{Float64}([-Inf], [1.0]) ┌ ┐ │0.0 + 1.0 v[2]│ └ ┘ ∈ HyperRectangle{Float64}([-1.0], [Inf]) ┌ ┐ │0.0 + 1.0 v[3]│ └ ┘ ∈ HyperRectangle{Float64}([-1.0], [1.0]) Feasibility Subject to: Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │2.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │2.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 3.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 2.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 2.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 3.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 2.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 - 1.0 v[1]│ │-0.0 - 2.0 v[2]│ └ ┘ ∈ Nonnegatives(2) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 2.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ │1.5 - 2.0 v[2]│ └ ┘ ∈ Nonnegatives(2) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 2.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 2.0 v[2]│ └ ┘ ∈ Zeros(2) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 2.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1]│ │-1.5 + 2.0 v[2]│ └ ┘ ∈ Zeros(2) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 2.0 v[2] + 3.0 v[3] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-1.0 + 1.0 v[3]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 2.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 2.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 + 1.0 v[1]│ │0.0 + 2.0 v[2]│ └ ┘ ∈ Nonnegatives(2) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 2.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ │-1.5 + 2.0 v[2]│ └ ┘ ∈ Nonnegatives(2) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ │1.0 - 2.0 v[1]│ └ ┘ ∈ Nonnegatives(2) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 4.0 v[1]│ │1.0 - 3.0 v[1]│ └ ┘ ∈ Nonnegatives(2) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │2.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │2.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-2.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Feasibility Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 1.0 + 2.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 2.0 v[1] + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarQuadraticFunction{Float64}: 0.0 + 1.0 v[1]² + 1.0 v[2]² Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-2.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarQuadraticFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[1] + 1.0 v[1]² + 1.0 v[2]² Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-2.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarQuadraticFunction{Float64}: 0.0 + 1.0 v[1]² + 1.0 v[1]² Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-2.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarQuadraticFunction{Float64}: 0.0 + 1.0 v[1]² + 0.25 v[1]*v[2] + 0.25 v[2]*v[1] + 0.5 v[1]*v[2] + 1.0 v[2]² Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-2.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarQuadraticFunction{Float64}: 0.0 + 1.0 v[1]² + 0.0 v[1]*v[2] + 1.0 v[2]² Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-2.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │2.82842712474619 │ │-1.414213562373095 │ │0.0 + 1.4142135623730951 v[1] + 0.7071067811865475 v[2]│ │0.0 + 1.224744871391589 v[2] │ └ ┘ ∈ SecondOrderCone(4) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │2.82842712474619 │ │-1.414213562373095 │ │0.0 + 1.4142135623730951 v[1] + 0.7071067811865475 v[2]│ │0.0 + 1.224744871391589 v[2] │ └ ┘ ∈ SecondOrderCone(4) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │2.1213203435596424 │ │-0.7071067811865475 │ │0.0 + 1.4142135623730951 v[1]│ └ ┘ ∈ SecondOrderCone(3) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1] + 1.0 v[2]│ │0.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(2) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │2.1213203435596424 - 0.7071067811865475 v[2] │ │-0.7071067811865475 + 0.7071067811865475 v[2]│ │0.0 + 1.4142135623730951 v[1] │ └ ┘ ∈ SecondOrderCone(3) Minimize ScalarAffineFunction{Float64}: 0.0 - 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │2.1213203435596424 │ │-0.7071067811865475 │ │0.0 + 1.4142135623730951 v[1]│ └ ┘ ∈ SecondOrderCone(3) Minimize ScalarQuadraticFunction{Float64}: 0.0 + 0.0 v[1] + 0.0 v[2] + 0.0 v[3] + 1.0 v[1]² + 0.5 v[1]*v[2] + 0.5 v[1]*v[2] + 1.0 v[2]² + 1.0 v[2]*v[3] + 0.5 v[3]² + 0.5 v[3]² Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-4.0 + 1.0 v[1] + 2.0 v[2] + 3.0 v[3]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarQuadraticFunction{Float64}: 0.0 + 0.0 v[1] + 0.0 v[2] + 0.0 v[3] - 2.0 v[1]² - 1.0 v[1]*v[2] - 1.0 v[1]*v[2] - 2.0 v[2]² - 2.0 v[2]*v[3] - 1.0 v[3]² - 1.0 v[3]² Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-4.0 + 1.0 v[1] + 2.0 v[2] + 3.0 v[3]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarQuadraticFunction{Float64}: 0.0 + 1.0 v[1]² + 1.0 v[1]*v[2] + 1.0 v[2]² + 1.0 v[2]*v[3] + 1.0 v[3]² Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-4.0 + 1.0 v[1] + 2.0 v[2] + 3.0 v[3]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarQuadraticFunction{Float64}: 1.0 + 1.0 v[1] + 1.0 v[2] + 2.0 v[1]² + 1.0 v[2]² + 1.0 v[1]*v[2] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 1.0 + 2.0 v[1] + 1.0 v[2] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[2]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 2.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-1.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │2.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Maximize ScalarAffineFunction{Float64}: 0.0 + 2.0 v[1] Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │-0.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarQuadraticFunction{Float64}: -100.0 + 0.01 v[1]² + 1.0 v[2]² Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │2.0 + 1.0 v[1]│ └ ┘ ∈ Zeros(1) ┌ ┐ │2.0 + 1.0 v[1] │ │-0.0 + 1.0 v[2]│ └ ┘ ∈ Zeros(2) VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-10.0 - 10.0 v[1] + 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) ┌ ┐ │10.0 - 1.0 v[1]│ │10.0 - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(2) VectorAffineFunction{Float64}-in-HyperRectangle{Float64} ┌ ┐ │0.0 - 1.0 v[1]│ └ ┘ ∈ HyperRectangle{Float64}([2.0], [50.0]) ┌ ┐ │0.0 - 1.0 v[2]│ └ ┘ ∈ HyperRectangle{Float64}([-50.0], [50.0]) VectorAffineFunction{Float64}-in-SecondOrderCone ┌ ┐ │0.0 - 1.0 v[1]│ │0.0 + 1.0 v[2]│ └ ┘ ∈ SecondOrderCone(2) Feasibility Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │-10.0 + 1.0 v[1]│ └ ┘ ∈ Nonnegatives(1) Feasibility Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │0.0 - 1.0 v[1] - 1.0 v[2]│ └ ┘ ∈ Nonnegatives(1) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 4.0 v[2] + 9.0 v[3] + 6.0 v[4] + 0.0 v[5] + 7.0 v[6] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-11.0 + 1.0 v[1] + 3.0 v[3] + 2.0 v[4] + 14.0 v[5] + 5.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-19.0 + 4.0 v[2] + 6.0 v[3] + 16.0 v[4] + 4.0 v[6]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.0 v[3] │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.0 v[6] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(3)) Minimize ScalarAffineFunction{Float64}: 0.0 + 1.0 v[1] + 4.0 v[2] + 9.0 v[3] + 6.0 v[4] + 0.0 v[5] + 7.0 v[6] Subject to: VectorAffineFunction{Float64}-in-Zeros ┌ ┐ │-11.0 + 1.0 v[1] + 3.0 v[3] + 2.0 v[4] + 14.0 v[5] + 5.0 v[6]│ └ ┘ ∈ Zeros(1) ┌ ┐ │-19.0 + 4.0 v[2] + 6.0 v[3] + 16.0 v[4] + 4.0 v[6]│ └ ┘ ∈ Zeros(1) VectorAffineFunction{Float64}-in-Scaled{PositiveSemidefiniteConeTriangle} ┌ ┐ │0.0 + 1.0 v[1] │ │0.0 + 1.4142135623730951 v[2]│ │0.0 + 1.0 v[3] │ │0.0 + 1.4142135623730951 v[4]│ │0.0 + 1.4142135623730951 v[5]│ │0.0 + 1.0 v[6] │ └ ┘ ∈ Scaled{PositiveSemidefiniteConeTriangle}(PositiveSemidefiniteConeTriangle(3)) Minimize ScalarQuadraticFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] + 2.0 v[1]² + 1.0 v[1]*v[2] + 1.0 v[2]² Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1] - 1.0 v[2]│ │0.7 - 1.0 v[1] │ │0.7 - 1.0 v[2] │ └ ┘ ∈ Nonnegatives(3) ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[2]│ │-0.0 + 1.0 v[1] │ │-0.0 + 1.0 v[2] │ └ ┘ ∈ Nonnegatives(3) Minimize ScalarQuadraticFunction{Float64}: 0.0 + 1.0 v[1] + 1.0 v[2] + 2.0 v[1]² + 1.0 v[1]*v[2] + 1.0 v[2]² Subject to: VectorAffineFunction{Float64}-in-Nonnegatives ┌ ┐ │1.0 - 1.0 v[1] - 1.0 v[2]│ │0.7 - 1.0 v[1] │ │0.7 - 1.0 v[2] │ └ ┘ ∈ Nonnegatives(3) ┌ ┐ │-1.0 + 1.0 v[1] + 1.0 v[2]│ │-0.0 + 1.0 v[1] │ │-0.0 + 1.0 v[2] │ └ ┘ ∈ Nonnegatives(3) Test Summary: | Pass Total Time All Unit Tests | 4467 4467 34m29.9s Testing COSMO tests passed Testing completed after 2081.39s PkgEval succeeded after 2318.93s