Abstract: 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 re...
(read more)