
reFORM: designing a new symbolic manipulation toolkit
Author(s) -
Ben Ruij
Publication year - 2020
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1525/1/012006
Subject(s) - computer science , python (programming language) , computation , programming language , terabyte , symbolic computation , theoretical computer science , operating system , mathematics , mathematical analysis
Since modern-day multi-loop Feynman diagram computations often require manipulating billions of terms, taking up terabytes of memory, a powerful symbolic manipulation toolkit (SMT) is essential. The de facto solution is Form, but it has several shortcomings. In this work we present reForm, a new SMT in early development, that will handle the same workload as Form but does not have its shortcomings. We showcase some features of reForm, including Python and C APIs. Finally, we provide benchmarks for polynomial GCD computations, which show that reForm often outperforms its competitors. A link to the source code of the technical preview version is provided.