We present MultivariatePowerSeries, a Maple library introduced in Maple 2021, providing a variety of methods to study formal multivariate power series and univariate polynomials over such series. This library offers a simple and easy-to-use user interface. Its implementation relies on lazy evaluation techniques and takes advantage of Maple's features for object-oriented programming. The exposed methods include Weierstrass Preparation Theorem and factorization via Hensel's lemma. The computational performance is demonstrated by means of an experimental comparison with software counterparts.

中文翻译：

---

Maple 中的多元幂级数

我们介绍了 MultivariatePowerSeries，这是 Maple 2021 中引入的 Maple 库，提供了多种方法来研究形式多元幂级数和此类级数上的单变量多项式。这个库提供了一个简单易用的用户界面。它的实现依赖于惰性求值技术，并利用 Maple 面向对象编程的特性。公开的方法包括 Weierstrass 准备定理和通过 Hensel 引理的因式分解。计算性能通过与软件对应物的实验比较来证明。