This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
using Pkg | |
pkg"add MathOptInterface#bl/socr" | |
using MathOptInterface | |
const MOI = MathOptInterface | |
const MOIU = MOI.Utilities | |
const MOIB = MOI.Bridges | |
MOIU.@model(NoRSOCModel, (), (), | |
(MOI.SecondOrderCone, MOI.PositiveSemidefiniteConeTriangle), | |
(), (), (), (), | |
(MOI.VectorAffineFunction,)) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
using Polyhedra | |
h = HyperPlane([0, 1], 1) ∩ HyperPlane([0, 1], -1) | |
code = Any[ | |
Expr(:(=), Core.SlotNumber(1), 0), | |
Expr(:call, GlobalRef(Main, :hyperplanes), GlobalRef(Main, :h)), | |
Expr(:(=), Core.SlotNumber(2), Expr(:call, Base.iterate, Base.SSAValue(2))), | |
Expr(:call, Core.:(===), Core.SlotNumber(2), nothing), | |
Expr(:call, Base.not_int, Base.SSAValue(4)), | |
Expr(:gotoifnot, Base.SSAValue(5), 16), |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# UCL Virtual Desktop Update Checker (VDUC pour les intimes) | |
# Averti quand votre bureau virtuel est mit à jour | |
# Guillaume Derval | |
# GPLv3 | |
uclID="IDENTIFIANT UCL" #Identifiant global UCL | |
uclPASS='PASS UCL' #Le pass UCL. sisi. | |
activateBell=1 #Son en boucle si MAJ |