MatchingTools: A Python library for symbolic effective field theory calculations

Solution method: The tree level integration of heavy fields is done by substituting them inside the Lagrangian by a covariant derivative expansion of the solution to their equations of motion. The transformation of Lagrangians is implemented as an algorithm for finding patterns of tensor products and replacing them by sums of other products.