Using the log method based on stabilization theory to factor polynomials over algebraic number fields (Computer Algebra : Foundations and Applications)

HANDLE Web Site Open Access

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

    京都大学数理解析研究所

Details 詳細情報について

Report a problem

Back to top