Stable Numerics Subroutine Library
Programming Reference Manual
Version 1.0 DD-00006-010
3.2.4 Normalized Interval

A circular complex interval X ∈KC  is considered normalized if

(xp ∈C)∧(xr≥ 0)