Pohst，M.E。;Schörnig，M。 全局函数域中基于积分的归约。 （英语） Zbl 0898.11048号 科恩，亨利（编辑），算法数论。第二届国际研讨会，ANTS-II，法国塔伦斯，1996年5月18日至23日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1122, 273-282 (1996). 找到了字段\（F=\mathbb的积分基和单位{F} （_q）（x，\rho）\）\（（q=p^r）\），与\。（相比之下，LLL方法在计算上适用于最小值。）变量\（（alpha）\）是Puiseux级数（at \（infty \）），这里的长度函数是（本质上）\（max | alpha | ^{1/e}）over the evaluation（e \）。该方法返回到K.马勒[数学年鉴（2）42488-522（1941；Zbl 0027.16001号)]. 举例说明了计算效率。细节是第二作者论文的浓缩[M.Schörnig先生《Untersuchungen konstruktiver Probleme in globalen Funktitionnkörpern》，TU-Berlin（1996；Zbl 0856.11055号)].关于整个系列，请参见[Zbl 0852.00023号].审核人：哈维·科恩（鲍伊） 引用于2文件 MSC公司： 11年40 代数数论计算 11卢比 代数函数域的算术理论 关键词：全局函数字段;闵可夫斯基措施;积分基础;单位;Puiseux系列 引文：Zbl 0027.16001号;Zbl 0856.11055号 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Pohst}和\textit{M.Schörnig}，莱克特。注释计算。科学。1122273--282（1996年；Zbl 0898.11048）