end time
- the end of the
time domain
(see there).
© ppgb, July 14, 2006