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 Formula: see text Kač-Moody-algebra.
Kris Thielemans (Sun,) studied this question.