Bug in z_transform.mac?
- Subject: Bug in z_transform.mac?
- From: Richard Hennessy
- Date: Sun, 09 Jan 2011 21:31:14 -0500
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?