1 | function massive |
---|
2 | ops{1} = sdpsettings('sos.cong',0,'sos.model',1,'verbose',0); |
---|
3 | ops{2} = sdpsettings('sos.cong',1,'sos.model',2,'verbose',0); |
---|
4 | ops{3} = sdpsettings('sos.cong',0,'sos.newton',0,'verbose',0,'sos.extlp',0); |
---|
5 | sdpvar x s t u |
---|
6 | |
---|
7 | F = set(sos(1+x+16*s*x^2+13*u+t))+set(sos(2+2*x+(-8+u)*x^4+5-pi*t))+set(t>0)+set(t+u>0); |
---|
8 | obj = t; |
---|
9 | for i = 1:length(ops) |
---|
10 | i |
---|
11 | fail = regresstest(F,obj,ops{i},[t u s]); |
---|
12 | mbg_asserttolequal(fail,0); |
---|
13 | end |
---|
14 | |
---|
15 | |
---|
16 | |
---|
17 | |
---|
18 | function fail = regresstest(F,obj,ops,pv); |
---|
19 | |
---|
20 | if nargin==3 |
---|
21 | pv = []; |
---|
22 | end |
---|
23 | |
---|
24 | ops.sos.model = 1; |
---|
25 | solvesos(F,obj,ops,pv); |
---|
26 | obj1 = double(obj); |
---|
27 | p1s = checkset(F(find(is(F,'sos')))); |
---|
28 | p1e = checkset(F(find(~is(F,'sos')))); |
---|
29 | |
---|
30 | ops.sos.model = 2; |
---|
31 | solvesos(F,obj,ops,pv); |
---|
32 | obj2 = double(obj); |
---|
33 | p2s = checkset(F(find(is(F,'sos')))); |
---|
34 | p2e = checkset(F(find(~is(F,'sos')))); |
---|
35 | |
---|
36 | fail = 0; |
---|
37 | |
---|
38 | if abs(obj1-obj2) > 1e-4 |
---|
39 | fail = 1; |
---|
40 | end |
---|
41 | |
---|
42 | if any(p1s>1e-4) |
---|
43 | fail = 2; |
---|
44 | p1s |
---|
45 | end |
---|
46 | if any(p2s>1e-4) |
---|
47 | fail = 2; |
---|
48 | p2s |
---|
49 | end |
---|
50 | if any(p1e<-1e-4) |
---|
51 | fail = 2; |
---|
52 | p1e |
---|
53 | end |
---|
54 | if any(p2e<-1e-4) |
---|
55 | fail = 2; |
---|
56 | p2e |
---|
57 | end |
---|
58 | if fail==0 |
---|
59 | disp('Correct solution'); |
---|
60 | end |
---|