Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Motion 55: Accuracy requirement - nextOut([Empty])

Subsection 12.10.1 "Measures of accuracy" of the draft 8.1
contains definition (35) of nextOut(x) for nonempty x.
It doesn't contain defintion of nextOut([Empty]).

Suggested fix is to add after (35):
<<<
For empty T-interval,
    nextOut(Empty) = Empty. (36)
>>>>

  -Dima