Effective power series computations - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2014

Effective power series computations

Résumé

Let K be an effective field of characteristic zero. An effective tribe is a subset of K[[z_1, z_2, ...]]=K ∪ K[[z_1]] ∪ K[[z_1, z_2]] ∪ ⋯ which is effectively stable under the K-algebra operations, restricted division, composition, the implicit function theorem, as well as restricted monomial transformations with arbitrary rational exponents. Given an effective tribe with an effective zero test, we will prove that an effective version of the Weierstrass division theorem holds inside the tribe.
Fichier principal
Vignette du fichier
powser.pdf (172 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00979357 , version 1 (15-04-2014)
hal-00979357 , version 2 (27-11-2016)

Identifiants

  • HAL Id : hal-00979357 , version 1

Citer

Joris van der Hoeven. Effective power series computations. 2014. ⟨hal-00979357v1⟩
618 Consultations
370 Téléchargements

Partager

Gmail Facebook X LinkedIn More