Bob, > Am 20.06.2005 um 22:05 schrieb Bob McElrath: >> ... >> FYI this would never work in Maple, since it uses non- >> deterministic expression sorting...the first term will not >> necessarily be the same upon subsequent evaluations, so >> "simplify(op(1,%)+op(2,%))" will not necessarily be operating >> on the same terms. I don't know if Axiom has this same >> disease...
I now think that Axiom probably does not have this disease. See: http://page.axiom-developer.org/zope/mathaction/ManipulatingExpressions for an example of using InputForm. Regards, Bill Page. On Tuesday, June 21, 2005 10:27 PM I wrote: > ... > > (1) -> integrate(log(x)+x, x) > (2) -> typeOf % > (3) -> integrate(x^2, x) > > ... this conversion seems quite interesting: > > (4) -> %%(1)::InputForm > > (4) (/ (+ (* (* 2 x) (log x)) (+ (** x 2) (* - 2 x))) 2) > Type: InputForm > (5) -> %%(3)::InputForm > (5) (* (/ 1 3) (** x 3)) > Type: InputForm > > But I am not so sure how it could be used to achieve the > results you are looking for. I'll have to think about this > some more. _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
