INTERFACE  ExtendedPolynomialFast = PolynomialFast (ExtendedBasic, ExtendedVector) END ExtendedPolynomialFast.