I am trying to compare really long algebraic results from Mathematica with those from Maxima.
Maxima can parse the simplest types of expressions output by Mathematica, such as 2*x+y
. But I have results that involve terms like Sqrt[3]
and I'd really like more of a "universal" result, e.g., 3^(1/2)
. That way I can eval_string()
in Maxima and compare the two results in Maxima. Similarly, can I format I
as %I
?
Here is a sample expressions I have:
(1/(320979616137216 z0^6 z1^6))(15552 z0^4 (-9674588160 +
53747712 z1^2 - 248832 z1^4 - 2973600 z1^6 -
1419008 I Sqrt[3] z1^7 + 1631315 z1^8) +
72 z0^6 (29023764480 - 1572120576 z1^2 - 642297600 z1^4 -
1172903760 z1^6 - 764045056 I Sqrt[3] z1^7 + 1159383225 z1^8) +
64 z0^7 (9674588160 I Sqrt[3] - 618098688 I Sqrt[3] z1^2 -
344818944 I Sqrt[3] z1^4 - 859550688 I Sqrt[3] z1^6 +
1550843904 z1^7 + 742039375 I Sqrt[3] z1^8) +
537477120 z1^4 (-279936 +
z1^2 (3888 +
z1 (1152 I Sqrt[3] + z1 (-945 - 256 I Sqrt[3] z1)))) -
35 z0^8 (14511882240 +
z1^2 (-1021206528 +
z1^2 (-724863168 +
55 z1^2 (-43363944 - 24670400 I Sqrt[3] z1 +
33942181 z1^2)))) +
53747712 z0^2 z1^2 (-1679616 +
z1^2 (15552 +
z1^2 (-2106 +
z1 (-736 I Sqrt[3] + z1 (665 + 192 I Sqrt[3] z1))))))
FullSimplify
on your Mathematica output. (I don't know the equivalent in Maxima.) Please post small examples of representative output. $\endgroup$17 Sqrt[3] - 5 Sqrt[2] == 17. 3^(1/2) - 5. 2^(1/2)
yieldsTrue
. $\endgroup$FullForm
on the Mathematica output? Then allSqrt
will be expressed asPower[_,1/2]
. Then copy the result into Maxima. $\endgroup$