In [3]:
import .solvers

In [5]:
Pkg.clone("git://github.com/blegat/MultivariatePolynomials.jl")
Pkg.clone("git://github.com/JuliaOpt/PolyJuMP.jl")
Pkg.clone("git://github.com/JuliaOpt/SumOfSquares.jl")
Pkg.add("FactCheck")
Pkg.add("SCS")
Pkg.add("CSDP")


INFO: Cloning MultivariatePolynomials from git://github.com/blegat/MultivariatePolynomials.jl
INFO: Computing changes...
INFO: Cloning cache of Combinatorics from https://github.com/JuliaMath/Combinatorics.jl.git
INFO: Cloning cache of Polynomials from https://github.com/Keno/Polynomials.jl.git
INFO: Installing Combinatorics v0.3.2
INFO: Installing Polynomials v0.1.2
INFO: Cloning PolyJuMP from git://github.com/JuliaOpt/PolyJuMP.jl
INFO: Computing changes...
INFO: Cloning cache of JuMP from https://github.com/JuliaOpt/JuMP.jl.git
INFO: Cloning cache of MathProgBase from https://github.com/JuliaOpt/MathProgBase.jl.git
INFO: Cloning cache of ReverseDiffSparse from https://github.com/mlubin/ReverseDiffSparse.jl.git
INFO: Installing JuMP v0.16.0
INFO: Installing MathProgBase v0.6.1
INFO: Installing ReverseDiffSparse v0.7.1
INFO: Cloning SumOfSquares from git://github.com/JuliaOpt/SumOfSquares.jl
INFO: Computing changes...
INFO: No packages to install, update or remove
INFO: Cloning cache of FactCheck from https://github.com/JuliaArchive/FactCheck.jl.git
INFO: Installing FactCheck v0.4.3
INFO: Package database updated
INFO: Cloning cache of SCS from https://github.com/JuliaOpt/SCS.jl.git
INFO: Installing SCS v0.2.7
INFO: Building SCS
INFO: Attempting to Create directory /home/echo/.julia/v0.5/SCS/deps/downloads
INFO: Downloading file https://github.com/cvxgrp/scs/archive/v1.1.8.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100   118    0   118    0     0    236      0 --:--:-- --:--:-- --:--:--   236
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o src/scs.o src/scs.c
100  264k    0  264k    0     0   191k      0 --:--:--  0:00:01 --:--:--  191k
INFO: Done downloading file https://github.com/cvxgrp/scs/archive/v1.1.8.tar.gz
INFO: Attempting to Create directory /home/echo/.julia/v0.5/SCS/deps/src
INFO: Attempting to Create directory /home/echo/.julia/v0.5/SCS/deps
INFO: Directory /home/echo/.julia/v0.5/SCS/deps already created
INFO: Attempting to Create directory /home/echo/.julia/v0.5/SCS/deps/usr/lib
INFO: Changing Directory to /home/echo/.julia/v0.5/SCS/deps/src/scs-1.1.8/
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o src/util.o src/util.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o src/cones.o src/cones.c
src/cones.c: En la función ‘setUpSdConeWorkSpace’:
src/cones.c:336:17: aviso: el paso del argumento 1 de ‘dsyevr_’ descarta el calificador ‘const’ del tipo del destino del puntero [-Wdiscarded-qualifiers]
     BLAS(syevr)("Vectors", "All", "Lower", &nMax, c->Xs, &nMax, SCS_NULL, SCS_NULL, SCS_NULL, SCS_NULL,
                 ^~~~~~~~~
In file included from include/cones.h:9:0,
                 from include/scs.h:10,
                 from src/cones.c:1:
include/scs_blas.h:29:34: nota: se esperaba ‘char *’ pero el argumento es de tipo ‘const char *’
         #define BLAS(x) stitch__(d,x,BLASSUFFIX)
                                  ^
include/scs_blas.h:25:33: nota: in definition of macro ‘stitch_’
     #define stitch_(pre,x,post) pre ## x ## post
                                 ^~~
include/scs_blas.h:29:25: nota: in expansion of macro ‘stitch__’
         #define BLAS(x) stitch__(d,x,BLASSUFFIX)
                         ^~~~~~~~
src/cones.c:11:6: nota: in expansion of macro ‘BLAS’
 void BLAS(syevr)(char* jobz, char* range, char* uplo, blasint* n, scs_float* a, blasint* lda, scs_float* vl,
      ^~~~
src/cones.c:336:28: aviso: el paso del argumento 2 de ‘dsyevr_’ descarta el calificador ‘const’ del tipo del destino del puntero [-Wdiscarded-qualifiers]
     BLAS(syevr)("Vectors", "All", "Lower", &nMax, c->Xs, &nMax, SCS_NULL, SCS_NULL, SCS_NULL, SCS_NULL,
                            ^~~~~
In file included from include/cones.h:9:0,
                 from include/scs.h:10,
                 from src/cones.c:1:
include/scs_blas.h:29:34: nota: se esperaba ‘char *’ pero el argumento es de tipo ‘const char *’
         #define BLAS(x) stitch__(d,x,BLASSUFFIX)
                                  ^
include/scs_blas.h:25:33: nota: in definition of macro ‘stitch_’
     #define stitch_(pre,x,post) pre ## x ## post
                                 ^~~
include/scs_blas.h:29:25: nota: in expansion of macro ‘stitch__’
         #define BLAS(x) stitch__(d,x,BLASSUFFIX)
                         ^~~~~~~~
src/cones.c:11:6: nota: in expansion of macro ‘BLAS’
 void BLAS(syevr)(char* jobz, char* range, char* uplo, blasint* n, scs_float* a, blasint* lda, scs_float* vl,
      ^~~~
src/cones.c:336:35: aviso: el paso del argumento 3 de ‘dsyevr_’ descarta el calificador ‘const’ del tipo del destino del puntero [-Wdiscarded-qualifiers]
     BLAS(syevr)("Vectors", "All", "Lower", &nMax, c->Xs, &nMax, SCS_NULL, SCS_NULL, SCS_NULL, SCS_NULL,
                                   ^~~~~~~
In file included from include/cones.h:9:0,
                 from include/scs.h:10,
                 from src/cones.c:1:
include/scs_blas.h:29:34: nota: se esperaba ‘char *’ pero el argumento es de tipo ‘const char *’
         #define BLAS(x) stitch__(d,x,BLASSUFFIX)
                                  ^
include/scs_blas.h:25:33: nota: in definition of macro ‘stitch_’
     #define stitch_(pre,x,post) pre ## x ## post
                                 ^~~
include/scs_blas.h:29:25: nota: in expansion of macro ‘stitch__’
         #define BLAS(x) stitch__(d,x,BLASSUFFIX)
                         ^~~~~~~~
src/cones.c:11:6: nota: in expansion of macro ‘BLAS’
 void BLAS(syevr)(char* jobz, char* range, char* uplo, blasint* n, scs_float* a, blasint* lda, scs_float* vl,
      ^~~~
src/cones.c: En la función ‘projSemiDefiniteCone’:
src/cones.c:480:14: aviso: el paso del argumento 1 de ‘dsyevr_’ descarta el calificador ‘const’ del tipo del destino del puntero [-Wdiscarded-qualifiers]
  BLAS(syevr)("Vectors", "VInterval", "Lower", &nb, Xs, &nb, &zero, &vupper,
              ^~~~~~~~~
In file included from include/cones.h:9:0,
                 from include/scs.h:10,
                 from src/cones.c:1:
include/scs_blas.h:29:34: nota: se esperaba ‘char *’ pero el argumento es de tipo ‘const char *’
         #define BLAS(x) stitch__(d,x,BLASSUFFIX)
                                  ^
include/scs_blas.h:25:33: nota: in definition of macro ‘stitch_’
     #define stitch_(pre,x,post) pre ## x ## post
                                 ^~~
include/scs_blas.h:29:25: nota: in expansion of macro ‘stitch__’
         #define BLAS(x) stitch__(d,x,BLASSUFFIX)
                         ^~~~~~~~
src/cones.c:11:6: nota: in expansion of macro ‘BLAS’
 void BLAS(syevr)(char* jobz, char* range, char* uplo, blasint* n, scs_float* a, blasint* lda, scs_float* vl,
      ^~~~
src/cones.c:480:25: aviso: el paso del argumento 2 de ‘dsyevr_’ descarta el calificador ‘const’ del tipo del destino del puntero [-Wdiscarded-qualifiers]
  BLAS(syevr)("Vectors", "VInterval", "Lower", &nb, Xs, &nb, &zero, &vupper,
                         ^~~~~~~~~~~
In file included from include/cones.h:9:0,
                 from include/scs.h:10,
                 from src/cones.c:1:
include/scs_blas.h:29:34: nota: se esperaba ‘char *’ pero el argumento es de tipo ‘const char *’
         #define BLAS(x) stitch__(d,x,BLASSUFFIX)
                                  ^
include/scs_blas.h:25:33: nota: in definition of macro ‘stitch_’
     #define stitch_(pre,x,post) pre ## x ## post
                                 ^~~
include/scs_blas.h:29:25: nota: in expansion of macro ‘stitch__’
         #define BLAS(x) stitch__(d,x,BLASSUFFIX)
                         ^~~~~~~~
src/cones.c:11:6: nota: in expansion of macro ‘BLAS’
 void BLAS(syevr)(char* jobz, char* range, char* uplo, blasint* n, scs_float* a, blasint* lda, scs_float* vl,
      ^~~~
src/cones.c:480:38: aviso: el paso del argumento 3 de ‘dsyevr_’ descarta el calificador ‘const’ del tipo del destino del puntero [-Wdiscarded-qualifiers]
  BLAS(syevr)("Vectors", "VInterval", "Lower", &nb, Xs, &nb, &zero, &vupper,
                                      ^~~~~~~
In file included from include/cones.h:9:0,
                 from include/scs.h:10,
                 from src/cones.c:1:
include/scs_blas.h:29:34: nota: se esperaba ‘char *’ pero el argumento es de tipo ‘const char *’
         #define BLAS(x) stitch__(d,x,BLASSUFFIX)
                                  ^
include/scs_blas.h:25:33: nota: in definition of macro ‘stitch_’
     #define stitch_(pre,x,post) pre ## x ## post
                                 ^~~
include/scs_blas.h:29:25: nota: in expansion of macro ‘stitch__’
         #define BLAS(x) stitch__(d,x,BLASSUFFIX)
                         ^~~~~~~~
src/cones.c:11:6: nota: in expansion of macro ‘BLAS’
 void BLAS(syevr)(char* jobz, char* range, char* uplo, blasint* n, scs_float* a, blasint* lda, scs_float* vl,
      ^~~~
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o src/cs.o src/cs.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o src/linAlg.o src/linAlg.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o src/ctrlc.o src/ctrlc.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o src/scs_version.o src/scs_version.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/private.o linsys/direct/private.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/external/ldl.o linsys/direct/external/ldl.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/external/amd_1.o linsys/direct/external/amd_1.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/external/amd_valid.o linsys/direct/external/amd_valid.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/external/amd_2.o linsys/direct/external/amd_2.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/external/amd_postorder.o linsys/direct/external/amd_postorder.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/external/amd_control.o linsys/direct/external/amd_control.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/external/amd_post_tree.o linsys/direct/external/amd_post_tree.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/external/amd_preprocess.o linsys/direct/external/amd_preprocess.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/external/amd_aat.o linsys/direct/external/amd_aat.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/external/amd_global.o linsys/direct/external/amd_global.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/external/amd_info.o linsys/direct/external/amd_info.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/external/amd_defaults.o linsys/direct/external/amd_defaults.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/external/amd_order.o linsys/direct/external/amd_order.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/direct/external/amd_dump.o linsys/direct/external/amd_dump.c
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1    -c -o linsys/common.o linsys/common.c
mkdir -p out
gcc -DCOPYAMATRIX -DDLONG -DLAPACK_LIB_FOUND -DCTRLC=1 -g -Wall -Wwrite-strings -pedantic -O3 -funroll-loops -Wstrict-prototypes -I. -Iinclude -fPIC  -DCTRLC=1  -DCOPYAMATRIX=1  -shared -o out/libscsdir.so src/scs.o src/util.o src/cones.o src/cs.o src/linAlg.o src/ctrlc.o src/scs_version.o linsys/direct/private.o linsys/direct/external/ldl.o linsys/direct/external/amd_1.o linsys/direct/external/amd_valid.o linsys/direct/external/amd_2.o linsys/direct/external/amd_postorder.o linsys/direct/external/amd_control.o linsys/direct/external/amd_post_tree.o linsys/direct/external/amd_preprocess.o linsys/direct/external/amd_aat.o linsys/direct/external/amd_global.o linsys/direct/external/amd_info.o linsys/direct/external/amd_defaults.o linsys/direct/external/amd_order.o linsys/direct/external/amd_dump.o linsys/common.o  -lm -lrt
INFO: Changing Directory to /home/echo/.julia/v0.5/SCS/deps/src/scs-1.1.8/
INFO: Package database updated
INFO: Cloning cache of CSDP from https://github.com/JuliaOpt/CSDP.jl.git
INFO: Cloning cache of Glob from https://github.com/vtjnash/Glob.jl.git
INFO: Cloning cache of SemidefiniteModels from https://github.com/JuliaOpt/SemidefiniteModels.jl.git
INFO: Installing CSDP v0.0.2
INFO: Installing Glob v1.1.0
INFO: Installing SemidefiniteModels v0.0.2
INFO: Building CSDP
INFO: Attempting to Create directory /home/echo/.julia/v0.5/CSDP/deps/downloads
INFO: Downloading file http://www.coin-or.org/download/source/Csdp/Csdp-6.1.1.tgz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100   267  100   267    0     0    853      0 --:--:-- --:--:-- --:--:--   855
100  431k  100  431k    0     0   335k      0  0:00:01  0:00:01 --:--:--  573k
INFO: Done downloading file http://www.coin-or.org/download/source/Csdp/Csdp-6.1.1.tgz
INFO: Attempting to Create directory /home/echo/.julia/v0.5/CSDP/deps/src
INFO: Directory /home/echo/.julia/v0.5/CSDP/deps/src already created
INFO: Attempting to Create directory /home/echo/.julia/v0.5/CSDP/deps
INFO: Directory /home/echo/.julia/v0.5/CSDP/deps already created
INFO: Attempting to Create directory /home/echo/.julia/v0.5/CSDP/deps/usr/lib/
INFO: Attempting to Create directory /home/echo/.julia/v0.5/CSDP/deps/build
INFO: Changing Directory to /home/echo/.julia/v0.5/CSDP/deps/src/Csdp-6.1.1/lib
INFO: Changing Directory to /home/echo/.julia/v0.5/CSDP/deps/src/Csdp-6.1.1/lib
INFO: CC readprob.c
INFO: CC sdp.c
INFO: CC op_o.c
INFO: CC psd_feas.c
INFO: CC op_a.c
INFO: CC op_at.c
INFO: CC Fnorm.c
INFO: CC calc_pobj.c
INFO: CC calc_dobj.c
INFO: CC trace_prod.c
INFO: CC zero_mat.c
INFO: CC mat_mult.c
INFO: CC sym_mat.c
INFO: CC copy_mat.c
INFO: CC addscaledmat.c
INFO: CC user_exit.c
INFO: CC make_i.c
INFO: CC allocmat.c
INFO: CC initsoln.c
INFO: CC initparams.c
INFO: CC add_mat.c
INFO: CC writesol.c
INFO: CC readsol.c
INFO: CC easysdp.c
INFO: CC writeprob.c
INFO: CC solvesys.c
INFO: CC makefill.c
INFO: CC mat_multsp.c
INFO: CC norms.c
INFO: CC linesearch.c
INFO: CC matvec.c
INFO: CC chol.c
INFO: CC qreig.c
INFO: CC tweakgap.c
INFO: CC freeprob.c
INFO: CC packed.c
INFO: CC sortentries.c
INFO: CC debug-mat.c
/usr/bin/ld: no se puede encontrar -lblas
/usr/bin/ld: no se puede encontrar -llapack
collect2: error: ld devolvió el estado de salida 1
`gcc -shared -o /home/echo/.julia/v0.5/CSDP/deps/usr/lib/libcsdp.so /home/echo/.julia/v0.5/CSDP/deps/build/readprob.o /home/echo/.julia/v0.5/CSDP/deps/build/sdp.o /home/echo/.julia/v0.5/CSDP/deps/build/op_o.o /home/echo/.julia/v0.5/CSDP/deps/build/psd_feas.o /home/echo/.julia/v0.5/CSDP/deps/build/op_a.o /home/echo/.julia/v0.5/CSDP/deps/build/op_at.o /home/echo/.julia/v0.5/CSDP/deps/build/Fnorm.o /home/echo/.julia/v0.5/CSDP/deps/build/calc_pobj.o /home/echo/.julia/v0.5/CSDP/deps/build/calc_dobj.o /home/echo/.julia/v0.5/CSDP/deps/build/trace_prod.o /home/echo/.julia/v0.5/CSDP/deps/build/zero_mat.o /home/echo/.julia/v0.5/CSDP/deps/build/mat_mult.o /home/echo/.julia/v0.5/CSDP/deps/build/sym_mat.o /home/echo/.julia/v0.5/CSDP/deps/build/copy_mat.o /home/echo/.julia/v0.5/CSDP/deps/build/addscaledmat.o /home/echo/.julia/v0.5/CSDP/deps/build/user_exit.o /home/echo/.julia/v0.5/CSDP/deps/build/make_i.o /home/echo/.julia/v0.5/CSDP/deps/build/allocmat.o /home/echo/.julia/v0.5/CSDP/deps/build/initsoln.o /home/echo/.julia/v0.5/CSDP/deps/build/initparams.o /home/echo/.julia/v0.5/CSDP/deps/build/add_mat.o /home/echo/.julia/v0.5/CSDP/deps/build/writesol.o /home/echo/.julia/v0.5/CSDP/deps/build/readsol.o /home/echo/.julia/v0.5/CSDP/deps/build/easysdp.o /home/echo/.julia/v0.5/CSDP/deps/build/writeprob.o /home/echo/.julia/v0.5/CSDP/deps/build/solvesys.o /home/echo/.julia/v0.5/CSDP/deps/build/makefill.o /home/echo/.julia/v0.5/CSDP/deps/build/mat_multsp.o /home/echo/.julia/v0.5/CSDP/deps/build/norms.o /home/echo/.julia/v0.5/CSDP/deps/build/linesearch.o /home/echo/.julia/v0.5/CSDP/deps/build/matvec.o /home/echo/.julia/v0.5/CSDP/deps/build/chol.o /home/echo/.julia/v0.5/CSDP/deps/build/qreig.o /home/echo/.julia/v0.5/CSDP/deps/build/tweakgap.o /home/echo/.julia/v0.5/CSDP/deps/build/freeprob.o /home/echo/.julia/v0.5/CSDP/deps/build/packed.o /home/echo/.julia/v0.5/CSDP/deps/build/sortentries.o /home/echo/.julia/v0.5/CSDP/deps/build/debug-mat.o -lblas -llapack`
================================[ ERROR: CSDP ]=================================

LoadError: Provider BinDeps.BuildProcess failed to satisfy dependency csdp
while loading /home/echo/.julia/v0.5/CSDP/deps/build.jl, in expression starting on line 48

================================================================================

================================[ BUILD ERRORS ]================================

WARNING: CSDP had build errors.

 - packages with build errors remain installed in /home/echo/.julia/v0.5
 - build the package(s) and all dependencies with `Pkg.build("CSDP")`
 - build a single package by running its `deps/build.jl` script

================================================================================
INFO: Package database updated

In [6]:
# Adapted from:
# SOSDEMO2 --- Lyapunov Function Search
# Section 3.2 of SOSTOOLS User's Manual

for solver in sdp_solvers

  @polyvar x[1:2]
  #μ = 0.2
  #β = 0.5
  #γ = 1.
  #s = 1.
  #i = 0.
  #r = 0.

  # Constructing the vector field dx/dt = f
  #f = [μ - β * (x[1] + s) * (x[2] + i) - μ * (x[1] + s),
  #    β * (x[1] + s) * (x[2] + i) - (μ + γ) * (x[2] + i),
  #    γ * (x[2] + i) - μ * (x[3] + r)]

  f = [0.2 - 0.5 * (x[1] + 1.) * x[2] - 0.2 * (x[1] + 1.),
      0.5 * (x[1] + 1.) * x[2] - (0.2 + 1.) * x[2]]

  println(f)

  m = Model(solver = solver)

  println(m)

  # The Lyapunov function V(x):
  Z = x.^2
  @polyvariable m V Z

  @polyconstraint m V >= sum(x.^2)

  # dV/dx*f <= 0
  P = dot(differentiate(V, x), f)
  @polyconstraint m P <= 0

  status = solve(m);

  flyapunov = getvalue(V)
  println("Lyapunov function using $(typeof(solver))")

  println(flyapunov)
  println(status)

  #status --> :Optimal

  #removemonomials(getvalue(V), Z) --> zero(Polynomial{true, Float64})
end


UndefVarError: @polyvar not defined

 in execute_request(::ZMQ.Socket, ::IJulia.Msg) at /home/echo/.julia/v0.5/IJulia/src/execute_request.jl:157
 in eventloop(::ZMQ.Socket) at /home/echo/.julia/v0.5/IJulia/src/eventloop.jl:8
 in (::IJulia.##13#19)() at ./task.jl:360

In [ ]:


In [ ]: