| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Jürgen On 1 Jul 2011, at 20:59, Jürgen Wolff von Gudenberg wrote: >> But it seems this would imply >> floor([1,1]) >> should also be "safe"; but motion 27 gives "defined" for this example? >> Nate >> > I think 1 is a discontinuity point of the floor function, hence both cases are defined only I agree with Nate, because I have always considered the relevant fact is: the *restriction* of the function to the interval is continuous. John