分裂引理
SplitSysUnivariate(只要可能)将指定变量中的输入矩阵拆分为所选的顺序(以下示例中为6)。它返回第一个方形块的尺寸、变换矩阵和等效的块对角系统。
SplitLemmaUnivariate将输出中的等效系统解耦:
以下系统未通过分裂引理解耦: