See: List of lighthouses and lightvessels, lightvessel, Lighthouses in Northern Ireland[?], Commissioners of Irish Lights[?]
... The formula and its proof remain correct if the coefficients a, b and c are complex numbers, or more generally members of any field whose characteristic is ...