Computer algebra with Rings library

被引:0
作者
Poslavsky, Stanislav [1 ]
机构
[1] NRC Kurchatov Inst IHEP, Nauki Sq 1, Protvino 142281, Russia
来源
19TH INTERNATIONAL WORKSHOP ON ADVANCED COMPUTING AND ANALYSIS TECHNIQUES IN PHYSICS RESEARCH | 2020年 / 1525卷
基金
俄罗斯科学基金会;
关键词
D O I
10.1088/1742-6596/1525/1/012020
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Implementation of modern algorithms in computer algebra requires the use of generic and high-performance instruments. Rings is an open-source library, written in Java and Scala programming languages, which implements basic concepts and algorithms from computational commutative algebra while demonstrating quite a high performance among existing software. It rigorously uses generic programming approach, providing a well-designed generic API with a fully typed hierarchy of algebraic structures and algorithms for commutative algebra. Polynomial arithmetic, GCDs, factorization, and Grobner bases are implemented with the use of modern asymptotically fast algorithms. The use of the Scala language brings a quite novel powerful, strongly typed functional programming model allowing to write short, expressive, and fast code for applications in high-energy physics and other research areas.
引用
收藏
页数:9
相关论文
共 9 条
[1]  
Faugère JC, 2010, LECT NOTES COMPUT SC, V6327, P84, DOI 10.1007/978-3-642-15582-6_17
[2]  
Klappert J, 2019, 190400009
[3]  
Lewis R. H., 2018, COMPUTER ALGEBRA SYS
[4]  
Peraro T, 2019, 190508019
[5]   RINGS: An efficient Java']Java/Scala library for polynomial rings [J].
Poslavsky, Stanislav .
COMPUTER PHYSICS COMMUNICATIONS, 2019, 235 :400-413
[6]  
Ruijl B, 2017, PREPRINT 1707 06453
[7]  
Smirnov A V, 2019, 190107808
[8]  
Titouan Coladon V V, 2018, OPENF4 IMPLEMENTATIO
[9]   Quark and gluon form factors to four-loop order in QCD: The Nf3 contributions [J].
von Manteuffel, Andreas ;
Schabinger, Robert M. .
PHYSICAL REVIEW D, 2017, 95 (03)