Encoding Algebraic Power Series

Autor: F.J. Castro-Jiménez, Herwig Hauser, Maria Emilia Alonso
Rok vydání: 2017
Předmět:
Zdroj: Foundations of Computational Mathematics. 18:789-833
ISSN: 1615-3383
1615-3375
DOI: 10.1007/s10208-017-9354-z
Popis: The division algorithm for ideals of algebraic power series satisfying Hironaka’s box condition is shown to be finite when expressed suitably in terms of the defining polynomial codes of the series. In particular, the codes of the reduced standard basis of the ideal can be constructed effectively.
Databáze: OpenAIRE