Hello those who are in mapleprimes,
I want to devide both hand side of inequality by positive a.
And, the ways I want to know are two ways for doing this.
1) c:=a<b: c/d assuming d>0;
I don't know why the result isn't a/d<b/d.
2) the second way is one to focus on op(0,c) being <. And, from lhs(c), rhs(c), and op(0,c),
I want to constract lhs(c)/d op(0,c) rhs(c)/d, that is lhs(c)/d<rhs(c)/d.
Please tell me about this.
Thank you in advance.