SUPERCALC

SUPERCALC: a REDUCE package for commutator calculations. Nature of problem: Symbolic computation of commutators, handling of ordered products, evaluation of infinite sums, computation of anomalies in string theory. Solution method: Using the algebraic properties of bracket structures, the commutator (or Poisson bracket) of complicated operators is expressed by the commutators of fundamental operators. For ordered products, the theorem of Wick is applied. Infinite sums are simplified by an heuristic approach. (Source: http://cpc.cs.qub.ac.uk/summaries/)