MODULE  ExtendedPolynomialFast = PolynomialFast (ExtendedBasic, ExtendedVectorRep) END ExtendedPolynomialFast.