Weslley S. Pereira, University of Colorado Denver, U.S.

 Tests:
 (a) Inf inputs:
    (1) y = ( Inf + 0   * I)
    (2) y = (-Inf + 0   * I)
    (3) y = ( 0   + Inf * I)
    (4) y = ( 0   - Inf * I)
    (5) y = ( Inf + Inf * I)
 Tests:
    (a) 0 * y is NaN.
    (b) 1 * y is y is either y or NaN.
    (c) y * y is either  Inf or NaN (cases 1 and 3),
                 either -Inf or NaN (cases 2 and 4),
                 NaN (case 5).
 (b) NaN inputs:
    (1) y = (NaN + 0   * I)
    (2) y = (0   + NaN * I)
    (3) y = (NaN + NaN * I)
 Tests:
    (a) 0 * y is NaN.
    (b) 1 * y is NaN.
    (c) y * y is NaN.