分的解法不同。这方法并不能应用于所有可能的作用量（例如，非因果架构的作用量，或规范流作用量 （）。从所有定义于组态空间的光滑泛函的经典代数开始，将此代数商去欧拉-拉格朗日方程式生成的理想。然后，借着从作用量导引出来的帕松代数（） ，称为 （） ，将商代数转换为帕松代数。如同正则量子化的做法，再将约化普朗克常数formula_1加入帕松代数，就可完成共变正则量子化的程序。另外地，还有一种方法可以量子化规范流作用量。这方法涉及巴塔林-维尔可维斯基代数，是BRST形式论（） 的延伸。Section::