MODULE LongRealPolynomialFast = PolynomialFast (LongRealBasic, LongRealVectorRep) END LongRealPolynomialFast.