期刊
COMPUTER PHYSICS COMMUNICATIONS
卷 247, 期 -, 页码 -出版社
ELSEVIER
DOI: 10.1016/j.cpc.2019.106951
关键词
Finite field; Black-box interpolation; Modular arithmetic; Symbolic calculations
资金
- Deutsche Forschungsgemeinschaft (DFG), Germany Collaborative Research Center [TRR 257, 396021762]
- DFG, Germany [386986591]
We present the open-source C++ library FireFly for the reconstruction of multivariate rational functions over finite fields. We discuss the involved algorithms and their implementation. As an application, we use FireFly in the context of integration-by-parts reductions and compare runtime and memory consumption to a fully algebraic approach with the program Kira. Program summary Program title: FireFly Program files doi: http://dx.doi.org/10.17632/nzgxdwwt8k.1 Licensing provisions: GNU General Public License 3 Programming language: C++ External routines/libraries used: GNU GMP [1], FLINT[2] Nature of problem: The interpolation of an unknown rational function, called black box, from only its evaluations can be used in many physical contexts where algebraic calculations fail due to memory and time restrictions. Solution method: The black-box function is evaluated at different points over a finite field. These points are then used by interpolation algorithms [3,4] to obtain the analytic form of the black-box function. The members of a finite field are promoted to Q using a rational reconstruction algorithm [5,6]. Restrictions: The CPU time and the available RAM (C) 2019 Elsevier B.V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据