The general simplifier does (1-x)^a/(1-x) --> (1-x)^(a-1), but it doesn't convert (1-x)^a/(x-1) --> -(1-x)^(a-1).
I don't know of any simplification function that does (1-x)^a/(x-1) --> -(1-x)^(a-1):
(%i5) (1-x)^a/(x-1)$
(%i6) [radcan(%), ratsimp(%), factor(%), rootscontract(%)];
(%o6) [(1-x)^a/(x-1),(1-x)^a/(x-1),(1-x)^a/(x-1),(1-x)^a/(x-1)]
I thought maybe the option variable negdistrib might come into play--it didn't seem to matter.
Is there a simply way to do transformations such as (1-x)^a/(x-1) --> -(1-x)^(a-1)?
--Barton