4D CFT中的一般自举方程

我们提供了用于通用4D共形引导计算的框架。 它基于两种独立方法的统一，即协变（嵌入）形式主义和非协变（共形框架）形式主义。 我们构造它们的主要成分（张量结构和微分算子），并在它们之间建立精确的联系。 我们通过其他细节来补充讨论，例如n点函数的张量结构的分类，2点函数和种子保形块的归一化，Casimir微分算子以及保守算子和置换对称性的处理。 最后，我们在Mathematica包中实现了我们的框架，并免费提供了该框架。