Fix bug #3934: expand(1/(1+%i)^4) => (-4)^(-1) (unsimplified)
commiteb4bfa5fef477c824508dbfabb73a80155b13f27
authorKris Katterjohn <katterjohn@gmail.com>
Fri, 18 Mar 2022 11:19:58 +0000 (18 07:19 -0400)
committerKris Katterjohn <katterjohn@gmail.com>
Fri, 18 Mar 2022 11:19:58 +0000 (18 07:19 -0400)
tree72787a59eb4f37a2051a1c497926fda58d5da7b2
parentd8b16dc2e3d8c4d60d46b777dafe8c36e60dae75
Fix bug #3934: expand(1/(1+%i)^4) => (-4)^(-1) (unsimplified)

This is an ancient bug that was present in Macsyma.

EXPANDEXPT has been constructing MEXPT expressions marked with
the SIMP flag when there is no reason to assume that expression
is actually simplified.  The expression is of the form
((MEXPT SIMP) E -1) where E is the result of EXPONENTIATE-SUM.

(%i1) expand((1+%i)^-2);
(%o1) 1/(2*%i)

(%i2) expand(%);
(%o2) -%i/2

Now we just use INV instead of manually constructing the MEXPT
expression with the bogus SIMP flag.

No problems with the test suite or share test suite.  New tests
have been added to rtest16.
ChangeLog
src/simp.lisp
tests/rtest16.mac