Let θ be an algebraic number of degree n, with conjugates θ(1), …, θ(n), where θ(1), …, θ(r) are real and θ(r+j), θ(r+s+j) are complex conjugates for j = 1, …, s. [Here r ≥ 0, s ≥ 0, r + 2s = n.] Let ω1, …, ωn be a basis for the integers of k(θ), and set