Simplifying results

*To*: mathgroup at smc.vnet.net*Subject*: [mg63193] Simplifying results*From*: "Steven T. Hatton" <hattons at globalsymmetry.com>*Date*: Sat, 17 Dec 2005 03:46:31 -0500 (EST)*Sender*: owner-wri-mathgroup at wolfram.com

The code shown below is based on code from Alfred Gray's _Differential Geometry of Curves and Surfaces with Mathematica_ 2nd Edition. \!\(scp[t_] := {t\^2, t\^3}\[IndentingNewLine] \(alenp[alpha_]\)[t_] := Sqrt[Simplify[D[alpha[tt], tt] . D[alpha[tt], tt]]] /. tt -> t\[IndentingNewLine] \(alen[a_, b_]\)[alpha_] := Integrate[\(alenp[alpha]\)[u], {u, a, b}]\[IndentingNewLine] Simplify[ PowerExpand[\[IndentingNewLine]\(alen[a, b]\)[scp] /. Sqrt[x_] :> Sqrt[Factor[x]]\[IndentingNewLine]]]\) (-a + b)*If[Re[a/(a - b)] >= 1 || Re[a/(-a + b)] >= 0 || Im[a/(-a + b)] != 0, ((a^((2*3)/2)*(4 + 9*a^2)^(3/2))*b^3 - a^3*(b^((2*3)/2)*(4 + 9*b^2)^(3/2)))/ (27*a^3*(a - b)*b^3), Integrate[ Sqrt[Factor[(a - a*u + b*u)^2* (4 + 9*(a - a*u + b*u)^2)]], {u, 0, 1}, Assumptions -> Im[a/(-a + b)] == 0 && Re[a/(a - b)] < 1 && Re[a/(-a + b)] < 0]] The result Gray shows is only the one satisfying the first of the above conditions, and the constraints are not shown at all. That suggests to me that something has changed in Mathematica since he wrote the book. I believe the result from the newer version is more correct. Nonetheless, I would like to know how to get the old behavior if possible. Is there a way to do this? -- The Mathematica Wiki: http://www.mathematica-users.org/ Math for Comp Sci http://www.ifi.unizh.ch/math/bmwcs/master.html Math for the WWW: http://www.w3.org/Math/