Using the log method based on stabilization theory to factor polynomials over algebraic number fields (Computer Algebra : Foundations and Applications)
-
- OKUDA, KAZUKI
- GRADUATE SCHOOL OF SCIENCE, TOHO UNIVERSITY
-
- SHIRAYANAGI, KIYOSHI
- FACULTY OF SCIENCE, TOHO UNIVERSITY
Bibliographic Information
- Other Title
-
- 安定化理論に基づく計算履歴法の代数体上の因数分解への適用
- アンテイカ リロン ニ モトズク ケイサン リレキホウ ノ ダイスウタイ ジョウ ノ インスウ ブンカイ エ ノ テキヨウ
Search this article
Abstract
The log method based on stabilization theory was proposed by Shirayanagi and Sweedler, to reduce the amount of exact computations as much as possible to obtain the exact results. This method is a floating-point interval method with zero rewriting and symbols. Zero rewriting rewrites an interval coefficient into the zero interval if the interval contains zero. Symbols are used to keep track of the execution path of the original algorithm with exact computations, so that the associated real coefficients can be found by evaluating the symbols. After the algorithm terminates, one evaluates the symbols of the output and get a result with exact coefficients. There are two kinds of the log methods: ISZ method and ISCZ method, depending on the treatment of zero rewriting for interval coefficients with symbols. In this paper, we show the efficiency of the ISZ method by applying it to the factorization of polynomials over algebraic number fields.
Journal
-
- RIMS Kokyuroku
-
RIMS Kokyuroku 2224 32-45, 2022-06
京都大学数理解析研究所
- Tweet
Details 詳細情報について
-
- CRID
- 1050576966671364864
-
- NII Book ID
- AN00061013
-
- HANDLE
- 2433/279669
-
- NDL BIB ID
- 032427746
-
- ISSN
- 18802818
-
- Text Lang
- ja
-
- Article Type
- departmental bulletin paper
-
- Data Source
-
- IRDB
- NDL