分裂引理 

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

> A:=`/`(`*`(矩阵(2,2,[`+`(`*`(2,`*'(t,3))),2),`+`;1; r、 T,B:=拆分SysUni。。。
 

 

矩阵(%id=18446744078208211054)
1.矩阵(%id=18446744078222450190),矩阵(%id=18446744078 222449110)
1.矩阵(%id=18446744078222450190),矩阵(%id=18446744078 222449110)
(1.1)
 

> A:=矩阵(3,3,[`/`(1,`*`(z)),`/`,`*`(`^`(z,4))),0,`+`(`。。。
 

 

矩阵(%id=18446744078222452246)
2.矩阵(%id=18446744078222497182),矩阵(%id=18446744078 222496342) (1.2)
 

SplitLemmaUnivariate将输出中的等效系统解耦: 

> r、 T,B11,B22:=分裂引理单变量(A,z,4);1
 

2.矩阵(%id=18446744078208206238) (1.3)
 

> A:=矩阵(6,6,[`+`(`-`(`/`(`*`(`+`[(2,`*`)(`^`(x,2))),1)),`*'(`^'(x,7))))),0,0,`/`(1,`*`(x)),`+。。。
A:=矩阵(6,6,[`+`(`-`(`/`(`*`(`+`[(2,`*`)(`^`(x,2))),1)),`*'(`^'(x,7))))),0,0,`/`(1,`*`(x)),`+。。。
 

 

矩阵(%id=18446744078229014758)
1.矩阵(%id=18446744078229021750),矩阵(%id=1844674407.8096939838)
1.矩阵(%id=18446744078229021750),矩阵(%id=1844674407.8096939838)
1.矩阵(%id=18446744078229021750),矩阵(%id=1844674407.8096939838)
(1.4)
 

> A:=矩阵(6,6,[`+`(`-`(`/`(`*`(`+`[(2,`*`)(`^`(x,2))),1)),`*'(`^'(x,7))))),0,0,`/`(1,`*`(x)),`+。。。
A:=矩阵(6,6,[`+`(`-`(`/`(`*`(`+`(`*`(2,`*`(`^`(x,2))),1)),`*`(`^`(x,7)))),`+`(`-`(`/`(`*`(`+`(`*`(2,`*`(`^`(x,5))))),`*`(4,`*`(`^`(x,2))))),`*`(`^`(x,7))))),0,0,`/`(1,`*`(x)),`+。。。
 

 

矩阵(%id=18446744078229018014)
3.矩阵(%id=18446744078219407958),矩阵(%id=18446744078 221216934) (1.5)
 

以下系统未通过分裂引理解耦: 

> A:=矩阵(6,6,[`+`(`-`(`/`(`*`(`+`[(2,`*`)(`^`(x,2))),1)),`*'(`^'(x,7))))),0,0,`/`(1,`*`(x)),`+。。。
A:=矩阵(6,6,[`+`(`-`(`/`(`*`(`+`[(2,`*`)(`^`(x,2))),1)),`*'(`^'(x,7))))),0,0,`/`(1,`*`(x)),`+。。。
 

 

矩阵(%id=18446744078096940078)
6.矩阵(%id=18446744078229012598),矩阵(%id=18446744078 229020414) (1.6)
 

>
 

> A:=`/`(`*`(矩阵(4,4,[`+`(`-`(`*`(2,`*`)(x))),2),`+`(x,2)),x),x,`+`(`*`(`^`。。。
A:=`/`(`*`(矩阵(4,4,[`+`(`-`(`*`(2,`*`)(x))),2),`+`(x,2)),x),x,`+`(`*`(`^`。。。
 

 

 

矩阵(%id=18446744078222499702)
3.矩阵(%id=18446744078208204798),矩阵(%id=18446744078 208210814)
3.矩阵(%id=18446744078208204798),矩阵(%id=18446744078 208210814)
3.矩阵(%id=18446744078208204798),矩阵(%id=18446744078 208210814)
3,矩阵(%id=18446744078208204798),矩阵(%id=18446744078208210814)
3.矩阵(%id=18446744078208204798),矩阵(%id=18446744078 208210814)
3.矩阵(%id=18446744078208204798),矩阵(%id=18446744078 208210814)
3.矩阵(%id=18446744078208204798),矩阵(%id=18446744078 208210814)
3.矩阵(%id=18446744078208204798),矩阵(%id=18446744078 208210814)
3.矩阵(%id=18446744078208204798),矩阵(%id=18446744078 208210814)
3.矩阵(%id=18446744078208204798),矩阵(%id=18446744078 208210814)
3.矩阵(%id=18446744078223672734)
3.矩阵(%id=18446744078223672734)
3.矩阵(%id=18446744078223672734)
3.矩阵(%id=18446744078223672734)
3.矩阵(%id=18446744078223672734)
3.矩阵(%id=18446744078223672734)
3.矩阵(%id=18446744078223672734)
3.矩阵(%id=18446744078223672734)
3.矩阵(%id=18446744078223672734)
(1.7)
 

>