[Axiom-developer] Manipulating expressions in Axiom (was: More AxiomUI)

[Page, Bill]

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.