(a-b)^odd+ (b-a)^odd --/--> 0



bonjour 

factor((a-b)^10001 + (b-a)^10001)  ---->  0 

jean 


-----Message d'origine-----
De?: maxima-bounces at math.utexas.edu [mailto:maxima-bounces at math.utexas.edu]
De la part de Barton Willis
Envoy??: jeudi 18 novembre 2010 04:44
??: maxima mailing list
Objet?: [Maxima] (a-b)^odd+ (b-a)^odd --/--> 0

Maxima is unable to simplify (a-b)^n + (b-a)^n to zero, where n is a large
odd integer:

 (%i7) e : (a-b)^10001 + (b-a)^10001;
 (%o7) (b-a)^10001+(a-b)^10001

 (%i8) rat(e);
  Maxima encountered a Lisp error: < junk deleted> 

ratsimp and radcan have the same problem. With about 22 calls to 'go', the
simpexpt code isn't too
much fun (at least for me) to look at, extend, or fix. I don't think the
(a-b)^n + (b-a)^n 
simplification problem is all that worrisome.

--Barton
_______________________________________________
Maxima mailing list
Maxima at math.utexas.edu
http://www.math.utexas.edu/mailman/listinfo/maxima