INTERFACE  ExtendedComplexRoot = RootBasic (ExtendedComplex, ExtendedComplexPolynomial) END ExtendedComplexRoot.