Computing the BRST Operator Used in Quantization of Gauge Theories

A. Burnel, H. Caprasse, A. Dresse

It is shown that for a large class of non-holonomic quantum mechanical systems one can make the computation of BRST charge fully algorithmic. Two computer algebra programs written…