大衍数

这是以 Dayan-BFE 恒等式为基础而发展的代数框架。