Effective power series computations

Formal power series rings (13F25) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Symbolic computation and algebraic computation (68W30)

Review text

Let \(K\) be a field of characteristic zero and \[Kz_1, z_2, \ldots = K \cup Kz_1 \cup Kz_1, z_2 \cup \cdots .\] Each element \(f \in Kz_1, z_2, \ldots\) is a power series in a finite number of variables. \(K\) is called effective if its elements can be represented by concrete data structures and all field operations can be carried out by algorithms. Moreover, \(K\) admits an effective zero test if we also have an algorithm which takes \(f \in K\) as input and returns true if \(f = 0\) and false otherwise. Let \(L\) be an effective tribe (that is, a subset of \(Kz_1, z_2, \ldots\) which is effectively stable under the \(K\)-algebra operations, restricted division, composition, the implicit function theorem and restricted monomial transformations with arbitrary rational exponents) over \(K\) with an effective zero test. Assume that \(f\in L\cap Kz_1, \ldots, z_n\) has Weierstrass degree \(d\) in \(z_1\) (that is, \(f (0) = (\partial f /\partial z_1)(0) = \cdots = (\partial^{d-1} f / \partial z_1^{d-1})(0) = 0\), but \((\partial^{d} f / \partial z_1^{d} )(0) \ne 0)\) and let \(g \in L\cap Kz_1, \ldots, z_n\). The Weierstrass division theorem states that there exist unique \(Q \in Kz_1, \ldots , z_n\) and \(R \in Kz_2, \ldots , z_n[z_1]\) with \(g = Q f + R\) and \(\deg_{z_1}( R) < d\). Using these notions, the author introduces different notions including Weierstrass bases, Hironaka division and standard bases.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Effective power series computations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2420635)