MODULE  RealRootApproximation = RootApproximation (RealBasic, RealTrans, RealRoot, RealComplex, RealComplexTrans, RealComplexPolynomial, RealComplexRoot) END RealRootApproximation.