Hi Thomas,

On Tue, Nov 23, 2010 at 1:39 AM, Thomas Schneider
<[email protected]> wrote:
> I'm aware of the fact, that
> simplification is highly nontrivial. Nevertheless,
> this example seems to be so simple that there must be a way to achieve
> the desired result. I would
> be very grateful if someone lended a helping hand.

One way is to simplify your expression in stages. For example, you
could do the simplification as follows:

sage: version()
'Sage Version 4.6, Release Date: 2010-10-30'
sage: Z, x, y, a = var("Z, x, y, a", domain=RR)
sage: G = Z * (Z^a)
sage: G = simplify(G); G
Z^(a + 1)
sage: F = G.subs(Z=(x - y)^2); F
((x - y)^2)^(a + 1)
sage: bool(F == (x - y)^2 * ((x - y)^2)^a)
True

-- 
Regards
Minh Van Nguyen

-- 
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org

Reply via email to