[37] | 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 | |
---|
| 19 | function fail = regresstest(F,obj,ops,pv); |
---|
| 20 | |
---|
| 21 | if nargin==3 |
---|
| 22 | pv = []; |
---|
| 23 | end |
---|
| 24 | |
---|
| 25 | ops.sos.model = 1; |
---|
| 26 | solvesos(F,obj,ops,pv); |
---|
| 27 | obj1 = double(obj); |
---|
| 28 | p1s = checkset(F(find(is(F,'sos')))); |
---|
| 29 | p1e = checkset(F(find(~is(F,'sos')))); |
---|
| 30 | |
---|
| 31 | ops.sos.model = 2; |
---|
| 32 | solvesos(F,obj,ops,pv); |
---|
| 33 | obj2 = double(obj); |
---|
| 34 | p2s = checkset(F(find(is(F,'sos')))); |
---|
| 35 | p2e = checkset(F(find(~is(F,'sos')))); |
---|
| 36 | |
---|
| 37 | fail = 0; |
---|
| 38 | |
---|
| 39 | if abs(obj1-obj2) > 1e-4 |
---|
| 40 | fail = 1; |
---|
| 41 | end |
---|
| 42 | |
---|
| 43 | if any(p1s>1e-4) |
---|
| 44 | fail = 2; |
---|
| 45 | p1s |
---|
| 46 | end |
---|
| 47 | if any(p2s>1e-4) |
---|
| 48 | fail = 2; |
---|
| 49 | p2s |
---|
| 50 | end |
---|
| 51 | if any(p1e<-1e-4) |
---|
| 52 | fail = 2; |
---|
| 53 | p1e |
---|
| 54 | end |
---|
| 55 | if any(p2e<-1e-4) |
---|
| 56 | fail = 2; |
---|
| 57 | p2e |
---|
| 58 | end |
---|
| 59 | if fail==0 |
---|
| 60 | disp('Correct solution'); |
---|
| 61 | end |
---|