On the inducibility of small trees

Mathematica implementation of the algorithm presented in the paper "On the inducibility of small trees" for calculating the inducibility of tree Q₄.