Stable Numerics Subroutine Library
Programming Reference Manual
Version 1.2 DD-00006-012

3.2.4 Normalized Interval

A circular complex interval X ∈KC is considered normalized if

(xp ∈C)∧(xr≥ 0)