Stable Numerics Subroutine Library
Programming Reference Manual
Version 1.1 DD-00006-011

3.2.4 Normalized Interval

A circular complex interval X ∈KC  is considered normalized if

(xp ∈C)∧(xr≥ 0)