Question: How to simplify this expression?

Hey,

is there a way to substitute funktion combinations when they have the same arguments? I want to substitute abs(exp)*abs(1,exp) with exp. Algsubs works as long as I know the excat expressions. However, I want to do this substitution for any exp. Simplify doen't work here ether.

I also tried to write my own simplification rule with no success:

restart:

f:=abs(a)*abs(1,a);

 

abs(a)*abs(1, a)

(1)

siderel:={abs(x)*abs(1,x)=x};

{abs(x)*abs(1, x) = x}

(2)

simplify(f,siderel);    #expected result: a

abs(a)*abs(1, a)

(3)

 

 

 

 

Download simplify_abs.mw

 

Thanks in advance!

Please Wait...