Jun 3, 2003, 10:32 AM
Post #14 of 14
"As $maxrecords is a positive integer, you loop condition will always be true"...
"As $maxrecords > 0, you loop condition will always be true"
Yes, $maxrecords is a positive integer, but that's not the only reason why the condition could be true. I think that something like "As $maxrecords is not zero" would be more informative.
If x = $maxrecords, v = value (instead of condition) and -> means 'implies', then we can express the statement above mathematically as
v = 1 if x > 0 -> v = 0 if x <= 0
This is clearly incorrect because we know
v = 1 if x < 0, x > 0
i.e. v = 1 if x != 0
So if v is a function of x, where the range of f(x) is f(x) = 1, then for example
f:x --> x/x for x != 0
v = f(x) = x/x for x is IR, x != 0