A Mathematica package for computing operator product expansions

A general purpose Mathematica™ package for computing Operator Product Expansions of composite operators in meromorphic conformal field theory is described. Given the OPEs for a set of “basic” fields, OPEs of arbitrarily complicated composites can be computed automatically. Normal ordered products are always reduced to a standard form. Two explicit examples are presented: the conformal anomaly for superstrings and a free field realization for the $\widehat{B_2}$ Kac-Moody-algebra.