logcontract



On 11/12/06, Hugemann <Auto at hugemann.de> wrote:
> I have a problem manipulating a certain term. This problem can be
> reduced to the following basic problem:
>
> assume(a<1);
> log(a-1)-log(-1);
> logcontract(%);

(%i1) assume(a<1);
(%o1) [a<1]
(%i2) log(a-1) - log(-1);
(%o2) log(a-1)-log(-1)
(%i3) rectform(%);
(%o3) log(1-a)

HTH,
Andrej