ma...@mendelu.cz wrote : > Hello all, I am looking for the possibility how to simplify each term > in an expression separately. > > Consider > A=x/((x^2/y^2 + 1)*y) + arctan(x/y) > > I wish to get x*y/(x^2+y^2)+atan(x/y) , which can be produced in > Maxima by map(fullratsimp, A) > I feel this computation in Q(x,y) [atan(x/y)]
where Q(x,y) are rational fractions with variables x and y. and XXX[atan(x/y)] are polynomial in atan(x/y)^0==1, atan(x/y)^1==atan(x/y), atan(x/y)^2, atan(x/y)^3, and so You wish aFormula + aFormula * atan(x/y). Some computer algebra system allows to choose the order of the variables. Here atan(x/y) is one variable. Sage doesn't work over Q(x,y)[atan(x/y)] a subs_expr(atan(x/y)==z) is necessary. And that doesn't work : Qxy = PolynomialRing(QQ,'x,y') QQxy = FractionField(Qxy) Qxyz = PolynomialRing(QQxy, 'z') Qxyz(z), QQxy(x), 1/QQxy(x) are right but QQxy(1/x) and any Qxyz(...) fail with an system error. Some system have this transform with the collect name and allow it over expressions. So the previous subs_expr from atan(y/x) to z isnot necessary. --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
