abs(q)/q^2 and q^2/abs(q) currently don't simplify.
These should simplify to 1/abs(q) and abs(q). This is
especially useful since things like sqrt(q^2) simplify to
It would be even nicer if GCD understood this case, but I
can understand that that would be harder, e.g.
gcd(abs(q)+q^2,abs(q)) => 1+abs(q)
This seems practically justifiable; is there any theoretical
reason it might not be justifiable?
Log in to post a comment.