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

• Subject: (a-b)^odd+ (b-a)^odd --/--> 0
• From: Barton Willis
• Date: Wed, 17 Nov 2010 21:43:52 -0600

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

• Prev by Date: quantum mechanical commutator in Maxima?
• Next by Date: (a-b)^odd+ (b-a)^odd --/--> 0
• Previous by thread: ABCL and maxima
• Next by thread: (a-b)^odd+ (b-a)^odd --/--> 0
• Index(es):
  • Date
  • Thread