Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Unable to make sense of Maxima expression

Hey everybody,

I'm trying to do some symbolic calculations. When trying to solve the following equation set for v_0, v_1, w_0, w_1, I get "TypeError: Unable to make sense of Maxima expression".

The equations are added below:

v_0 == 1/6(2(s0_0 + s1_0 + s2_0)t0_1 + 2(s0_0 + s1_0 + s2_0)t1_1 - 3((t0_0 + t1_0)t1_1 + t0_0t0_1 + t0_1t1_0)w_0 - sqrt(-18(t0_1^4 - 2t0_1^3t1_1 + 2t0_1^2t1_1^2 - 2t0_1t1_1^3 + t1_1^4)w_1^2 - 9(t0_0^2t0_1^2 - 2t0_0t0_1^2t1_0 + t0_1^2t1_0^2 + (t0_0^2 - 2t0_0t1_0 + t1_0^2)t1_1^2 + 2(t0_0^2t0_1 - 2t0_0t0_1t1_0 + t0_1t1_0^2)t1_1)w_0^2 - 8((s0_1 + s1_1)s2_1 + (s0_0 + s1_0)s2_0 - s0_0^2 + s0_0s1_0 - s0_1^2 + s0_1s1_1 - s1_0^2 - s1_1^2 - s2_0^2 - s2_1^2)t0_1^2 - 16((s0_1 + s1_1)s2_1 + (s0_0 + s1_0)s2_0 - s0_0^2 + s0_0s1_0 - s0_1^2 + s0_1s1_1 - s1_0^2 - s1_1^2 - s2_0^2 - s2_1^2)t0_1t1_1 - 8((s0_1 + s1_1)s2_1 + (s0_0 + s1_0)s2_0 - s0_0^2 + s0_0s1_0 - s0_1^2 + s0_1s1_1 - s1_0^2 - s1_1^2 - s2_0^2 - s2_1^2)t1_1^2))/(t0_1 + t1_1)

v_1 == -1/3(3(t0_1^2 + t1_1^2)w_1 - (s0_1 + s1_1 + s2_1)t0_1 - (s0_1 + s1_1 + s2_1)*t1_1)/(t0_1 + t1_1),

w_0 == -1/6(3(t0_0t0_1 + t0_1t1_0)t1_1v_0 - ((s0_0 + s1_0 + s2_0)t0_0t0_1 + (s0_0 + s1_0 + s2_0)t0_1t1_0)t1_1 + sqrt((2(s0_1 + s1_1)s2_1 + s0_1^2 + 2s0_1s1_1 + s1_1^2 + s2_1^2)t0_0t0_1^3t1_0t1_1 + (2(s0_1 + s1_1)s2_1 + s0_1^2 + 2s0_1s1_1 + s1_1^2 + s2_1^2)t0_0t0_1t1_0t1_1^3 + 9(t0_0^2t0_1^2 - 2t0_0t0_1^2t1_0 + t0_1^2t1_0^2)t1_1^2v_0^2 - 6((s0_0 + s1_0 + s2_0)t0_0^2t0_1^2 - 2(s0_0 + s1_0 + s2_0)t0_0t0_1^2t1_0 + (s0_0 + s1_0 + s2_0)t0_1^2t1_0^2)t1_1^2v_0 + ((2(s0_0 + s1_0)s2_0 + s0_0^2 + 2s0_0s1_0 + s1_0^2 + s2_0^2)t0_0^2t0_1^2 + (2(s0_0 + s1_0)s2_0 + s0_0^2 + 2s0_0s1_0 + s1_0^2 + s2_0^2)t0_1^2t1_0^2 + 2(2(s0_1 + s1_1)s2_1 + 2(s0_0 + s1_0)s2_0 - 5s0_0^2 + 2s0_0s1_0 - 5s0_1^2 + 2s0_1s1_1 - 5s1_0^2 - 5s1_1^2 - 5s2_0^2 - 5s2_1^2)t0_0t0_1^2t1_0)t1_1^2 + 9(t0_0t0_1^3t1_0t1_1 - 2t0_0t0_1^2t1_0t1_1^2 + t0_0t0_1t1_0t1_1^3)v_1^2 - 6((s0_1 + s1_1 + s2_1)t0_0t0_1^3t1_0t1_1 - 2(s0_1 + s1_1 + s2_1)t0_0t0_1^2t1_0t1_1^2 + (s0_1 + s1_1 + s2_1)t0_0t0_1t1_0t1_1^3)v_1))/(t0_0t0_1t1_0*t1_1)

w_1 == -1/6(3(t0_1 + t1_1)v_1 - (s0_1 + s1_1 + s2_1)t0_1 - (s0_1 + s1_1 + s2_1)t1_1)/(t0_1t1_1)]

And the exact error is:

TypeError: unable to make sense of Maxima expression '[If(and(-pi/2<parg(sqrt(s2_1^2+(-s1_1-s0_1)<em>s2_1+s2_0^2+(-s1_0-s0_0)\ *s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1_0+s0_1^2+s0_0^2)(sqrt(2)t0_0t0_\ 1-sqrt(2)t0_1t1_0)t1_1),6t0_0t0_1t1_0t1_1!==0,parg(sqrt(s2_1^2+(-\ s1_1-s0_1)s2_1+s2_0^2+(-s1_0-s0_0)s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1\ _0+s0_1^2+s0_0^2)(sqrt(2)t0_0t0_1-sqrt(2)t0_1t1_0)t1_1)<==pi/2)\ ,[v_0==((sqrt(2)sqrt(s2_1^2-s1_1s2_1-s0_1s2_1+s2_0^2-s1_0s2_0-s0_0s\ 2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1_0+s0_1^2+s0_0^2)+s2_0+s1_0+s0_0)t1_\ 0+(sqrt(2)sqrt(s2_1^2-s1_1s2_1-s0_1s2_1+s2_0^2-s1_0s2_0-s0_0s2_0+s1\ _1^2-s0_1s1_1+s1_0^2-s0_0s1_0+s0_1^2+s0_0^2)-s2_0-s1_0-s0_0)t0_0)/(3\ t1_0-3t0_0),v_1==(s2_1+s1_1+s0_1)/3,w_0==-2^(3/2)sqrt(s2_1^2-s1_1s2_1\ -s0_1s2_1+s2_0^2-s1_0s2_0-s0_0s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1_0+\ s0_1^2+s0_0^2)/(3t1_0-3t0_0),w_1==0],union()),If(and(-pi/2<parg((sq\ rt(2)<em="">sqrt(s2_1^2+(-s1_1-s0_1)s2_1+s2_0^2+(-s1_0-s0_0)s2_0+s1_1^2-s0_1\ *s1_1+s1_0^2-s0_0s1_0+s0_1^2+s0_0^2)t0_1t1_0-sqrt(2)sqrt(s2_1^2+(-s1\ _1-s0_1)s2_1+s2_0^2+(-s1_0-s0_0)s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1_0\ +s0_1^2+s0_0^2)t0_0t0_1)t1_1),6t0_0t0_1t1_0t1_1!==0,parg((sqrt(2)\ sqrt(s2_1^2+(-s1_1-s0_1)s2_1+s2_0^2+(-s1_0-s0_0)s2_0+s1_1^2-s0_1s1_1\ +s1_0^2-s0_0s1_0+s0_1^2+s0_0^2)t0_1t1_0-sqrt(2)sqrt(s2_1^2+(-s1_1-s0\ _1)s2_1+s2_0^2+(-s1_0-s0_0)s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1_0+s0_1\ ^2+s0_0^2)t0_0t0_1)t1_1)<==pi/2),[v_0==((-sqrt(2)sqrt(s2_1^2-s1_1\ s2_1-s0_1s2_1+s2_0^2-s1_0s2_0-s0_0s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0\ s1_0+s0_1^2+s0_0^2)+s2_0+s1_0+s0_0)t1_0+(-sqrt(2)sqrt(s2_1^2-s1_1s2_1\ -s0_1s2_1+s2_0^2-s1_0s2_0-s0_0s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1_0+\ s0_1^2+s0_0^2)-s2_0-s1_0-s0_0)t0_0)/(3t1_0-3t0_0),v_1==(s2_1+s1_1+s0_\ 1)/3,w_0==2^(3/2)sqrt(s2_1^2-s1_1s2_1-s0_1s2_1+s2_0^2-s1_0s2_0-s0_0\ s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1_0+s0_1^2+s0_0^2)/(3t1_0-3t0_0),w_\ 1==0],union())]' in Sage

I know this is probably way too much information, but I'm kind of new at Sage, so I don't really know what's relevant.

Any help would be greatly appreciated :)

Thanks!

click to hide/show revision 2
No.2 Revision

Unable to make sense of Maxima expression

Hey everybody,

I'm trying to do some symbolic calculations. When trying to solve the following equation set for v_0, v_1, w_0, w_1, I get "TypeError: Unable to make sense of Maxima expression".

The equations are added below:

v_0 == 1/6(21/6*(2*(s0_0 + s1_0 + s2_0)*t0_1 + 2*(s0_0 + s1_0 + s2_0)*t1_1 -
3*((t0_0 + t1_0)*t1_1 + t0_0*t0_1 + t0_1*t1_0)*w_0 - sqrt(-18*(t0_1^4 -
2*t0_1^3*t1_1 + 2*t0_1^2*t1_1^2 - 2*t0_1*t1_1^3 + t1_1^4)*w_1^2 -
9*(t0_0^2*t0_1^2 - 2*t0_0*t0_1^2*t1_0 + t0_1^2*t1_0^2 + (t0_0^2 -
2*t0_0*t1_0 + t1_0^2)*t1_1^2 + 2*(t0_0^2*t0_1 - 2*t0_0*t0_1*t1_0 +
t0_1*t1_0^2)*t1_1)*w_0^2 - 8*((s0_1 + s1_1)*s2_1 + (s0_0 + s1_0 + s2_0)t0_1 + 2s1_0)*s2_0 -
s0_0^2 + s0_0*s1_0 - s0_1^2 + s0_1*s1_1 - s1_0^2 - s1_1^2 - s2_0^2 -
s2_1^2)*t0_1^2 - 16*((s0_1 + s1_1)*s2_1 + (s0_0 + s1_0 + s2_0)t1_1 -
3((t0_0 + t1_0)t1_1 + t0_0t0_1 + t0_1t1_0)w_0 - sqrt(-18(t0_1^4 -
2t0_1^3t1_1 + 2t0_1^2t1_1^2 - 2t0_1t1_1^3 + t1_1^4)w_1^2 -
9(t0_0^2t0_1^2 - 2t0_0t0_1^2t1_0 + t0_1^2t1_0^2 + (t0_0^2 -
2t0_0t1_0 + t1_0^2)t1_1^2 + 2(t0_0^2t0_1 - 2t0_0t0_1t1_0 +
t0_1t1_0^2)t1_1)w_0^2 - 8((s0_1 + s1_1)s2_1 s1_0)*s2_0 - s0_0^2 +
s0_0*s1_0 - s0_1^2 + s0_1*s1_1 - s1_0^2 - s1_1^2 - s2_0^2 -
s2_1^2)*t0_1*t1_1 - 8*((s0_1 + s1_1)*s2_1 + (s0_0 + s1_0)s2_0 -
s0_0^2 + s0_0s1_0 s1_0)*s2_0 - s0_0^2
+ s0_0*s1_0 - s0_1^2 + s0_1s1_1 s0_1*s1_1 - s1_0^2 - s1_1^2 - s2_0^2 -
s2_1^2)t0_1^2 - 16((s0_1 + s1_1)s2_1 + (s0_0 + s1_0)s2_0 - s0_0^2 +
s0_0s1_0 - s0_1^2 + s0_1s1_1 - s1_0^2 - s1_1^2 - s2_0^2 -
s2_1^2)t0_1t1_1 - 8((s0_1 + s1_1)s2_1 + (s0_0 + s1_0)s2_0 - s0_0^2
+ s0_0s1_0 - s0_1^2 + s0_1s1_1 - s1_0^2 - s1_1^2 - s2_0^2 -
s2_1^2)t1_1^2))/(t0_1 + t1_1)

s2_1^2)*t1_1^2))/(t0_1 + t1_1) v_1 == -1/3(3(t0_1^2 + t1_1^2)w_1 -1/3*(3*(t0_1^2 + t1_1^2)*w_1 - (s0_1 + s1_1 + s2_1)t0_1 s2_1)*t0_1 - (s0_1 + s1_1 + s2_1)*t1_1)/(t0_1 + t1_1),

t1_1), w_0 == -1/6(3(t0_0t0_1 + t0_1t1_0)t1_1v_0 -1/6*(3*(t0_0*t0_1 + t0_1*t1_0)*t1_1*v_0 - ((s0_0 + s1_0 + s2_0)t0_0t0_1 s2_0)*t0_0*t0_1 + (s0_0 + s1_0 + s2_0)t0_1t1_0)t1_1 + sqrt((2s2_0)*t0_1*t1_0)*t1_1 + sqrt((2*(s0_1 + s1_1)*s2_1 + s0_1^2 + 2*s0_1*s1_1 + s1_1^2 + s2_1^2)*t0_0*t0_1^3*t1_0*t1_1 + (2*(s0_1 + s1_1)*s2_1 + s0_1^2 + 2*s0_1*s1_1 + s1_1^2 + s2_1^2)*t0_0*t0_1*t1_0*t1_1^3 + 9*(t0_0^2*t0_1^2 - 2*t0_0*t0_1^2*t1_0 + t0_1^2*t1_0^2)*t1_1^2*v_0^2 - 6*((s0_0 + s1_0 + s2_0)*t0_0^2*t0_1^2 - 2*(s0_0 + s1_0 + s2_0)*t0_0*t0_1^2*t1_0 + (s0_0 + s1_0 + s2_0)*t0_1^2*t1_0^2)*t1_1^2*v_0 + ((2*(s0_0 + s1_0)*s2_0 + s0_0^2 + 2*s0_0*s1_0 + s1_0^2 + s2_0^2)*t0_0^2*t0_1^2 + (2*(s0_0 + s1_0)*s2_0 + s0_0^2 + 2*s0_0*s1_0 + s1_0^2 + s2_0^2)*t0_1^2*t1_0^2 + 2*(2*(s0_1 + s1_1)*s2_1 + 2*(s0_0 + s1_0)*s2_0 - 5*s0_0^2 + 2*s0_0*s1_0 - 5*s0_1^2 + 2*s0_1*s1_1 - 5*s1_0^2 - 5*s1_1^2 - 5*s2_0^2 - 5*s2_1^2)*t0_0*t0_1^2*t1_0)*t1_1^2 + 9*(t0_0*t0_1^3*t1_0*t1_1 - 2*t0_0*t0_1^2*t1_0*t1_1^2 + t0_0*t0_1*t1_0*t1_1^3)*v_1^2 - 6*((s0_1 + s1_1 + s2_1)*t0_0*t0_1^3*t1_0*t1_1 - 2*(s0_1 + s1_1 + s2_1)*t0_0*t0_1^2*t1_0*t1_1^2 + (s0_1 + s1_1)s2_1 + s0_1^2 + 2s0_1s1_1 + s1_1^2 + s2_1^2)t0_0t0_1^3t1_0t1_1 + (2(s0_1 + s1_1)s2_1 + s0_1^2 + 2s0_1s1_1 + s1_1^2 + s2_1^2)t0_0t0_1t1_0t1_1^3 + 9(t0_0^2t0_1^2 - 2t0_0t0_1^2t1_0 + t0_1^2t1_0^2)t1_1^2v_0^2 - 6((s0_0 + s1_0 + s2_0)t0_0^2t0_1^2 - 2(s0_0 + s1_0 + s2_0)t0_0t0_1^2t1_0 + (s0_0 + s1_0 + s2_0)t0_1^2t1_0^2)t1_1^2v_0 + ((2(s0_0 + s1_0)s2_0 + s0_0^2 + 2s0_0s1_0 + s1_0^2 + s2_0^2)t0_0^2t0_1^2 + (2(s0_0 + s1_0)s2_0 + s0_0^2 + 2s0_0s1_0 + s1_0^2 + s2_0^2)t0_1^2t1_0^2 + 2(2(s0_1 + s1_1)s2_1 + 2(s0_0 + s1_0)s2_0 - 5s0_0^2 + 2s0_0s1_0 - 5s0_1^2 + 2s0_1s1_1 - 5s1_0^2 - 5s1_1^2 - 5s2_0^2 - 5s2_1^2)t0_0t0_1^2t1_0)t1_1^2 + 9(t0_0t0_1^3t1_0t1_1 - 2t0_0t0_1^2t1_0t1_1^2 + t0_0t0_1t1_0t1_1^3)v_1^2 - 6((s0_1 + s1_1 + s2_1)t0_0t0_1^3t1_0t1_1 - 2(s0_1 + s1_1 + s2_1)t0_0t0_1^2t1_0t1_1^2 + (s0_1 + s1_1 + s2_1)t0_0t0_1t1_0t1_1^3)v_1))/(t0_0t0_1t1_0*t1_1)

+ s1_1 + s2_1)*t0_0*t0_1*t1_0*t1_1^3)*v_1))/(t0_0*t0_1*t1_0*t1_1) w_1 == -1/6(3(t0_1 + t1_1)v_1 -1/6*(3*(t0_1 + t1_1)*v_1 - (s0_1 + s1_1 + s2_1)t0_1 s2_1)*t0_1 - (s0_1 + s1_1 + s2_1)t1_1)/(t0_1t1_1)]

s2_1)*t1_1)/(t0_1*t1_1)] And the exact error is:

is: TypeError: unable to make sense of Maxima expression '[If(and(-pi/2<parg(sqrt(s2_1^2+(-s1_1-s0_1)<em>s2_1+s2_0^2+(-s1_0-s0_0)\ *s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1_0+s0_1^2+s0_0^2)(sqrt(2)t0_0t0_\ 1-sqrt(2)t0_1t1_0)t1_1),6t0_0t0_1t1_0t1_1!==0,parg(sqrt(s2_1^2+(-\ s1_1-s0_1)s2_1+s2_0^2+(-s1_0-s0_0)s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1\ _0+s0_1^2+s0_0^2)(sqrt(2)t0_0t0_1-sqrt(2)t0_1t1_0)t1_1)<==pi/2)\ ,[v_0==((sqrt(2)sqrt(s2_1^2-s1_1s2_1-s0_1s2_1+s2_0^2-s1_0s2_0-s0_0s\ 2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1_0+s0_1^2+s0_0^2)+s2_0+s1_0+s0_0)t1_\ 0+(sqrt(2)sqrt(s2_1^2-s1_1s2_1-s0_1s2_1+s2_0^2-s1_0s2_0-s0_0s2_0+s1\ _1^2-s0_1s1_1+s1_0^2-s0_0s1_0+s0_1^2+s0_0^2)-s2_0-s1_0-s0_0)t0_0)/(3\ t1_0-3t0_0),v_1==(s2_1+s1_1+s0_1)/3,w_0==-2^(3/2)sqrt(s2_1^2-s1_1s2_1\ -s0_1s2_1+s2_0^2-s1_0s2_0-s0_0s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1_0+\ s0_1^2+s0_0^2)/(3t1_0-3t0_0),w_1==0],union()),If(and(-pi/2<parg((sq\ rt(2)<em="">sqrt(s2_1^2+(-s1_1-s0_1)s2_1+s2_0^2+(-s1_0-s0_0)s2_0+s1_1^2-s0_1\ *s1_1+s1_0^2-s0_0s1_0+s0_1^2+s0_0^2)t0_1t1_0-sqrt(2)sqrt(s2_1^2+(-s1\ _1-s0_1)s2_1+s2_0^2+(-s1_0-s0_0)s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1_0\ +s0_1^2+s0_0^2)t0_0t0_1)t1_1),6t0_0t0_1t1_0t1_1!==0,parg((sqrt(2)\ sqrt(s2_1^2+(-s1_1-s0_1)s2_1+s2_0^2+(-s1_0-s0_0)s2_0+s1_1^2-s0_1s1_1\ +s1_0^2-s0_0s1_0+s0_1^2+s0_0^2)t0_1t1_0-sqrt(2)sqrt(s2_1^2+(-s1_1-s0\ _1)s2_1+s2_0^2+(-s1_0-s0_0)s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1_0+s0_1\ ^2+s0_0^2)t0_0t0_1)t1_1)<==pi/2),[v_0==((-sqrt(2)sqrt(s2_1^2-s1_1\ s2_1-s0_1s2_1+s2_0^2-s1_0s2_0-s0_0s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0\ s1_0+s0_1^2+s0_0^2)+s2_0+s1_0+s0_0)t1_0+(-sqrt(2)sqrt(s2_1^2-s1_1s2_1\ -s0_1s2_1+s2_0^2-s1_0s2_0-s0_0s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1_0+\ s0_1^2+s0_0^2)-s2_0-s1_0-s0_0)t0_0)/(3t1_0-3t0_0),v_1==(s2_1+s1_1+s0_\ 1)/3,w_0==2^(3/2)sqrt(s2_1^2-s1_1s2_1-s0_1s2_1+s2_0^2-s1_0s2_0-s0_0\ s2_0+s1_1^2-s0_1s1_1+s1_0^2-s0_0s1_0+s0_1^2+s0_0^2)/(3t1_0-3t0_0),w_\ '[If(and(-pi/2<parg(sqrt(s2_1^2+(-s1_1-s0_1)*s2_1+s2_0^2+(-s1_0-s0_0)\ *s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0+s0_1^2+s0_0^2)*(sqrt(2)*t0_0*t0_\ 1-sqrt(2)*t0_1*t1_0)*t1_1),6*t0_0*t0_1*t1_0*t1_1!==0,parg(sqrt(s2_1^2+(-\ s1_1-s0_1)*s2_1+s2_0^2+(-s1_0-s0_0)*s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1\ _0+s0_1^2+s0_0^2)*(sqrt(2)*t0_0*t0_1-sqrt(2)*t0_1*t1_0)*t1_1)<==pi/2)\ ,[v_0==((sqrt(2)*sqrt(s2_1^2-s1_1*s2_1-s0_1*s2_1+s2_0^2-s1_0*s2_0-s0_0*s\ 2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0+s0_1^2+s0_0^2)+s2_0+s1_0+s0_0)*t1_\ 0+(sqrt(2)*sqrt(s2_1^2-s1_1*s2_1-s0_1*s2_1+s2_0^2-s1_0*s2_0-s0_0*s2_0+s1\ _1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0+s0_1^2+s0_0^2)-s2_0-s1_0-s0_0)*t0_0)/(3*\ t1_0-3*t0_0),v_1==(s2_1+s1_1+s0_1)/3,w_0==-2^(3/2)*sqrt(s2_1^2-s1_1*s2_1\ -s0_1*s2_1+s2_0^2-s1_0*s2_0-s0_0*s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0+\ s0_1^2+s0_0^2)/(3*t1_0-3*t0_0),w_1==0],union()),If(and(-pi/2<parg((sq\ rt(2)*sqrt(s2_1^2+(-s1_1-s0_1)*s2_1+s2_0^2+(-s1_0-s0_0)*s2_0+s1_1^2-s0_1\ *s1_1+s1_0^2-s0_0*s1_0+s0_1^2+s0_0^2)*t0_1*t1_0-sqrt(2)*sqrt(s2_1^2+(-s1\ _1-s0_1)*s2_1+s2_0^2+(-s1_0-s0_0)*s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0\ +s0_1^2+s0_0^2)*t0_0*t0_1)*t1_1),6*t0_0*t0_1*t1_0*t1_1!==0,parg((sqrt(2)\ *sqrt(s2_1^2+(-s1_1-s0_1)*s2_1+s2_0^2+(-s1_0-s0_0)*s2_0+s1_1^2-s0_1*s1_1\ +s1_0^2-s0_0*s1_0+s0_1^2+s0_0^2)*t0_1*t1_0-sqrt(2)*sqrt(s2_1^2+(-s1_1-s0\ _1)*s2_1+s2_0^2+(-s1_0-s0_0)*s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0+s0_1\ ^2+s0_0^2)*t0_0*t0_1)*t1_1)<==pi/2),[v_0==((-sqrt(2)*sqrt(s2_1^2-s1_1\ *s2_1-s0_1*s2_1+s2_0^2-s1_0*s2_0-s0_0*s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*\ s1_0+s0_1^2+s0_0^2)+s2_0+s1_0+s0_0)*t1_0+(-sqrt(2)*sqrt(s2_1^2-s1_1*s2_1\ -s0_1*s2_1+s2_0^2-s1_0*s2_0-s0_0*s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0+\ s0_1^2+s0_0^2)-s2_0-s1_0-s0_0)*t0_0)/(3*t1_0-3*t0_0),v_1==(s2_1+s1_1+s0_\ 1)/3,w_0==2^(3/2)*sqrt(s2_1^2-s1_1*s2_1-s0_1*s2_1+s2_0^2-s1_0*s2_0-s0_0*\ s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0+s0_1^2+s0_0^2)/(3*t1_0-3*t0_0),w_\ 1==0],union())]' in Sage

Sage

I know this is probably way too much information, but I'm kind of new at Sage, so I don't really know what's relevant.

Any help would be greatly appreciated :)

Thanks!

click to hide/show revision 3
minor reformatting

Unable to make sense of Maxima expression

Hey everybody,

I'm trying to do some symbolic calculations. When trying to solve the following equation set for v_0, v_1, w_0, w_1, v_0, v_1, w_0, and w_1, I get "TypeError: Unable to make sense of Maxima expression".

The equations are added below:

v_0 == 1/6*(2*(s0_0 + s1_0 + s2_0)*t0_1 + 2*(s0_0 + s1_0 + s2_0)*t1_1 -
3*((t0_0 + t1_0)*t1_1 + t0_0*t0_1 + t0_1*t1_0)*w_0 - sqrt(-18*(t0_1^4 -
2*t0_1^3*t1_1 + 2*t0_1^2*t1_1^2 - 2*t0_1*t1_1^3 + t1_1^4)*w_1^2 -
9*(t0_0^2*t0_1^2 - 2*t0_0*t0_1^2*t1_0 + t0_1^2*t1_0^2 + (t0_0^2 -
2*t0_0*t1_0 + t1_0^2)*t1_1^2 + 2*(t0_0^2*t0_1 - 2*t0_0*t0_1*t1_0 +
t0_1*t1_0^2)*t1_1)*w_0^2 - 8*((s0_1 + s1_1)*s2_1 + (s0_0 + s1_0)*s2_0 -
s0_0^2 + s0_0*s1_0 - s0_1^2 + s0_1*s1_1 - s1_0^2 - s1_1^2 - s2_0^2 -
s2_1^2)*t0_1^2 - 16*((s0_1 + s1_1)*s2_1 + (s0_0 + s1_0)*s2_0 - s0_0^2 +
s0_0*s1_0 - s0_1^2 + s0_1*s1_1 - s1_0^2 - s1_1^2 - s2_0^2 -
s2_1^2)*t0_1*t1_1 - 8*((s0_1 + s1_1)*s2_1 + (s0_0 + s1_0)*s2_0 - s0_0^2
+ s0_0*s1_0 - s0_1^2 + s0_1*s1_1 - s1_0^2 - s1_1^2 - s2_0^2 -
s2_1^2)*t1_1^2))/(t0_1 + t1_1)

v_1 == -1/3*(3*(t0_1^2 + t1_1^2)*w_1 -
(s0_1 + s1_1 + s2_1)*t0_1 - (s0_1 + s1_1 + s2_1)*t1_1)/(t0_1 + t1_1),

w_0 == -1/6*(3*(t0_0*t0_1 + t0_1*t1_0)*t1_1*v_0 - ((s0_0 + s1_0 +
s2_0)*t0_0*t0_1 + (s0_0 + s1_0 + s2_0)*t0_1*t1_0)*t1_1 + sqrt((2*(s0_1 +
s1_1)*s2_1 + s0_1^2 + 2*s0_1*s1_1 + s1_1^2 +
s2_1^2)*t0_0*t0_1^3*t1_0*t1_1 + (2*(s0_1 + s1_1)*s2_1 + s0_1^2 +
2*s0_1*s1_1 + s1_1^2 + s2_1^2)*t0_0*t0_1*t1_0*t1_1^3 + 9*(t0_0^2*t0_1^2
- 2*t0_0*t0_1^2*t1_0 + t0_1^2*t1_0^2)*t1_1^2*v_0^2 - 6*((s0_0 + s1_0 +
s2_0)*t0_0^2*t0_1^2 - 2*(s0_0 + s1_0 + s2_0)*t0_0*t0_1^2*t1_0 + (s0_0 +
s1_0 + s2_0)*t0_1^2*t1_0^2)*t1_1^2*v_0 + ((2*(s0_0 + s1_0)*s2_0 + s0_0^2
+ 2*s0_0*s1_0 + s1_0^2 + s2_0^2)*t0_0^2*t0_1^2 + (2*(s0_0 + s1_0)*s2_0 +
s0_0^2 + 2*s0_0*s1_0 + s1_0^2 + s2_0^2)*t0_1^2*t1_0^2 + 2*(2*(s0_1 +
s1_1)*s2_1 + 2*(s0_0 + s1_0)*s2_0 - 5*s0_0^2 + 2*s0_0*s1_0 - 5*s0_1^2 +
2*s0_1*s1_1 - 5*s1_0^2 - 5*s1_1^2 - 5*s2_0^2 -
5*s2_1^2)*t0_0*t0_1^2*t1_0)*t1_1^2 + 9*(t0_0*t0_1^3*t1_0*t1_1 -
2*t0_0*t0_1^2*t1_0*t1_1^2 + t0_0*t0_1*t1_0*t1_1^3)*v_1^2 - 6*((s0_1 +
s1_1 + s2_1)*t0_0*t0_1^3*t1_0*t1_1 - 2*(s0_1 + s1_1 +
s2_1)*t0_0*t0_1^2*t1_0*t1_1^2 + (s0_1 + s1_1 +
s2_1)*t0_0*t0_1*t1_0*t1_1^3)*v_1))/(t0_0*t0_1*t1_0*t1_1)

w_1 ==
== -1/6*(3*(t0_1 + t1_1)*v_1 - (s0_1 + s1_1 + s2_1)*t0_1 - (s0_1 + s1_1 +
s2_1)*t1_1)/(t0_1*t1_1)]
 

And the exact error is: is:

TypeError: unable to make sense of Maxima expression
'[If(and(-pi/2<parg(sqrt(s2_1^2+(-s1_1-s0_1)*s2_1+s2_0^2+(-s1_0-s0_0)\
*s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0+s0_1^2+s0_0^2)*(sqrt(2)*t0_0*t0_\
1-sqrt(2)*t0_1*t1_0)*t1_1),6*t0_0*t0_1*t1_0*t1_1!==0,parg(sqrt(s2_1^2+(-\
s1_1-s0_1)*s2_1+s2_0^2+(-s1_0-s0_0)*s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1\
_0+s0_1^2+s0_0^2)*(sqrt(2)*t0_0*t0_1-sqrt(2)*t0_1*t1_0)*t1_1)<==pi/2)\
,[v_0==((sqrt(2)*sqrt(s2_1^2-s1_1*s2_1-s0_1*s2_1+s2_0^2-s1_0*s2_0-s0_0*s\
2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0+s0_1^2+s0_0^2)+s2_0+s1_0+s0_0)*t1_\
0+(sqrt(2)*sqrt(s2_1^2-s1_1*s2_1-s0_1*s2_1+s2_0^2-s1_0*s2_0-s0_0*s2_0+s1\
_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0+s0_1^2+s0_0^2)-s2_0-s1_0-s0_0)*t0_0)/(3*\
t1_0-3*t0_0),v_1==(s2_1+s1_1+s0_1)/3,w_0==-2^(3/2)*sqrt(s2_1^2-s1_1*s2_1\
-s0_1*s2_1+s2_0^2-s1_0*s2_0-s0_0*s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0+\
s0_1^2+s0_0^2)/(3*t1_0-3*t0_0),w_1==0],union()),If(and(-pi/2<parg((sq\
rt(2)*sqrt(s2_1^2+(-s1_1-s0_1)*s2_1+s2_0^2+(-s1_0-s0_0)*s2_0+s1_1^2-s0_1\
*s1_1+s1_0^2-s0_0*s1_0+s0_1^2+s0_0^2)*t0_1*t1_0-sqrt(2)*sqrt(s2_1^2+(-s1\
_1-s0_1)*s2_1+s2_0^2+(-s1_0-s0_0)*s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0\
+s0_1^2+s0_0^2)*t0_0*t0_1)*t1_1),6*t0_0*t0_1*t1_0*t1_1!==0,parg((sqrt(2)\
*sqrt(s2_1^2+(-s1_1-s0_1)*s2_1+s2_0^2+(-s1_0-s0_0)*s2_0+s1_1^2-s0_1*s1_1\
+s1_0^2-s0_0*s1_0+s0_1^2+s0_0^2)*t0_1*t1_0-sqrt(2)*sqrt(s2_1^2+(-s1_1-s0\
_1)*s2_1+s2_0^2+(-s1_0-s0_0)*s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0+s0_1\
^2+s0_0^2)*t0_0*t0_1)*t1_1)<==pi/2),[v_0==((-sqrt(2)*sqrt(s2_1^2-s1_1\
*s2_1-s0_1*s2_1+s2_0^2-s1_0*s2_0-s0_0*s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*\
s1_0+s0_1^2+s0_0^2)+s2_0+s1_0+s0_0)*t1_0+(-sqrt(2)*sqrt(s2_1^2-s1_1*s2_1\
-s0_1*s2_1+s2_0^2-s1_0*s2_0-s0_0*s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0+\
s0_1^2+s0_0^2)-s2_0-s1_0-s0_0)*t0_0)/(3*t1_0-3*t0_0),v_1==(s2_1+s1_1+s0_\
1)/3,w_0==2^(3/2)*sqrt(s2_1^2-s1_1*s2_1-s0_1*s2_1+s2_0^2-s1_0*s2_0-s0_0*\
s2_0+s1_1^2-s0_1*s1_1+s1_0^2-s0_0*s1_0+s0_1^2+s0_0^2)/(3*t1_0-3*t0_0),w_\
1==0],union())]' in Sage

I know this is probably way too much information, but I'm kind of new at Sage, so I don't really know what's relevant.

Any help would be greatly appreciated :)

Thanks!