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