from sage.rings.complex_interval_field import is_ComplexIntervalField
search_src("is_ComplexIntervalField")