DRalgo: A package for effective field theory approach for thermal phase transitions

The corresponding Mathematica package automatically performs the matching to next-to-leading order. This includes two-loop thermal corrections to scalar and Debye masses as well as one-loop thermal corrections to couplings.

DRalgo also allows for integrating out additional heavy scalars. Along the way, the package provides leading-order beta functions for general gauge-charges and fermion-families; both in the fundamental and in the effective theory. Finally, the package computes the finite-temperature effective potential within the effective theory.