Bug in z_transform.mac?



  x * (if x = 0 then 1 else 0) --> 0.

At least for linear inequalities, I think this is algorithmically possible.


Would this make Maxima faster?