We present an algorithm for computing limits of quotients of real analytic functions. The algorithm is based on computation of a bound on the Lojasiewicz exponent and requires the denominator to have an isolated zero at the limit point.
翻译:我们提出了一个计算实际分析函数的商数限度的算法。 该算法基于对Lojasiewicz Exponent 的捆绑的计算,并要求分母在限制点有一个孤立的零。