From: Roberto Angelone on
Hi,
I have a problem with sostools.
I installed sostool, sdpt3 and the maple toolbox, but I always get this error when I try to run the demo of the sostool...

syms x1 x2 x3;
vars = [x1; x2; x3];

% Constructing the vector field dx/dt = f
f = [-x1^3-x1*x3^2;
-x2-x1^2*x2;
-x3+3*x1^2*x3-3*x3/(x3^2+1)];

% =============================================
% First, initialize the sum of squares program
prog = sosprogram(vars);

% =============================================
% The Lyapunov function V(x):
[prog,V] = sospolyvar(prog,[x1^2; x2^2; x3^2],'wscoeff');
??? Error using ==> maple at 174
Error using ==> maplemex
`]` unexpected

Error in ==> getdegrees at 39
maple(['vartable :=',vartable,':']);

Error in ==> sosvar at 47
Z = getdegrees(sym2chartable(ZSym),sos.vartable);

Error in ==> sospolyvar at 52
[sos,V] = sosvar(sos,'poly',ZSym);

Error in ==> sosdemo2 at 20
[prog,V] = sospolyvar(prog,[x1^2; x2^2; x3^2],'wscoeff');

What can I do?

Thanks
From: SOS on
Hallo Roberto,

Du musst erstmal maple installieren. danach kannst du erst dein Program ausführen.

Jetzt bin ich dran ( Ich habe nämmlich auch ein kleines Problem ): Wüsstest du wie ich zeigen kann, dass
(x - 1)^2 + (y - 1)^2 - γ^2 + (α + βx)(x3 - 8x - 2y) ein SOS-polynom ist ? bzw. wie ich alpha, beta und gamma berechne so dass das obere Polynom ein sum of squares ist ?

Gruss