-
- 野呂, 正行
- 立教大学理学部
書誌事項
- タイトル別名
-
- Gröbner basis computation in Risa/Asir (Computer Algebra --Theory and its Applications)
この論文をさがす
説明
The first implementation of Grabner basis computation in Risa/Asir started in 1993. The Shimoyama-Yokoyama algorithm for primary decomposition of ideals was implemented by using it in 1996. In 2003 a completely new package for Grabner basis computation was developed. By using this new package we implemented a new primary decomposition algorithm that does not produce any redundant primary component in 2011. We want many people to use new functions, but unfortunately not a few people still use old ones. Recently we replaced the functions for bignum computation with GMP [9]. As a result we could greatly improve the efficiency of Groebner basis computation over the rationals. In this article we show the current status of Risa/Asir to make the new features known by as many people as possible.
収録刊行物
-
- 数理解析研究所講究録
-
数理解析研究所講究録 2138 12-20, 2019-12
京都大学数理解析研究所
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050848650309249408
-
- NII論文ID
- 120006888165
-
- NII書誌ID
- AN00061013
-
- ISSN
- 18802818
-
- HANDLE
- 2433/254878
-
- NDL書誌ID
- 030233261
-
- 本文言語コード
- ja
-
- 資料種別
- departmental bulletin paper
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles