scholarly journals Finding code that explodes under symbolic evaluation

2018 ◽  
Vol 2 (OOPSLA) ◽  
pp. 1-26 ◽  
Author(s):  
James Bornholt ◽  
Emina Torlak
Keyword(s):  
1979 ◽  
Vol 18 (2) ◽  
pp. 201-203 ◽  
Author(s):  
R. Gastmans ◽  
A. Van Proeyen ◽  
P. Verbaeten

2020 ◽  
Vol 2020 (11) ◽  
Author(s):  
Nora Brambilla ◽  
Hee Sok Chung ◽  
Vladyslav Shtabovenko ◽  
Antonio Vairo

Abstract We present new results on FeynOnium, an ongoing project to develop a general purpose software toolkit for semi-automatic symbolic calculations in nonrelativistic Effective Field Theories (EFTs). Building upon FeynCalc, an existing Mathematica package for symbolic evaluation of Feynman diagrams, we have created a powerful framework for automatizing calculations in nonrelativistic EFTs (NREFTs) at tree- and 1-loop level. This is achieved by exploiting the novel features of FeynCalc that support manipulations of Cartesian tensors, Pauli matrices and nonstandard loop integrals. Additional operations that are common in nonrelativistic EFT calculations are implemented in a dedicated add-on called FeynOnium. While our current focus is on EFTs for strong interactions of heavy quarks, extensions to other systems that admit a nonrelativistic EFT description are planned for the future. All our codes are open-source and publicly available. Furthermore, we provide several example calculations that demonstrate how FeynOnium can be employed to reproduce known results from the literature.


Sign in / Sign up

Export Citation Format

Share Document