How about:
divideByBy[divisor_: 1][a_ == b_] := a/divisor == b/divisor x^2 == (-2 + y) y // divideByBy[s] (* Out[5]= x^2/s == ((-2 + y) y)/s *) x^2 == (-2 + y) y // divideByBy[] (* Out[8]= x^2 == (-2 + y) y *)
Regards Henrik
Thanks Henrik,
That is a new notation for me. So the [a_==b_] automatically takes the stuff to the left of the double slashes just like crossMultiply did. This opens a whole new area to explore.
[a_==b_]
Eric
