Subject: Simplification of products and the number 0
From: Richard Fateman
Date: Wed, 13 Oct 2010 15:56:33 -0700
I have not checked, but I suspect the algorithm for simplifying a
product with zero in it
simply takes the terms as they occur and when it encounters 0 or 0.0 or
0.0b0, it
returns that answer discarding, unexamined, the rest of the terms.
Doing anything
else would take potentially much more time.
Left unresolved is whether
0 * 1.0 is 0.0 or 0.
0.0 * 1 etc...
RJF