[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] "Factoring" Expression Integer/ simplifying powers

From: Martin Rubey
Subject: [Axiom-developer] "Factoring" Expression Integer/ simplifying powers
Date: 04 Mar 2006 21:39:55 +0100
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Francois Maltey <address@hidden> writes:

> but how can I transform this recursive formula :
>     (1+x)^n*(1+x) + x + 1 
> to  (1+x)(1+x)^n 
> and (1+x)^(n+1) ?

Well, I guess you are currently a little out of luck here. (again and again,
sorry Francois)

To transform (1+x)^n*(1+x) into (1+x)^(n+1) you are probably best of by making
up a rule, i.e., using pattern matching. See AxiomProblems on MathAction for
some examples.

But I guess, that this is not what you "should" be after. Maybe you can (with
pencil and paper) describe a "normal form" of the expressions you want to
consider. If you have found (a computable) one, we can write an operation that
does the trick.

Maybe you want to consider the operation 'normalize'.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]