We give all the details of the unprojection construction for some codim 4 examples.
Δ(2,6):
i1 : R=QQ[x_1..x_6]; |
i2 : cc=cycRes(2,R,verbose=>2); ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ delta(2,{x_1, x_2, x_3, x_4, x_5}) + delta(0,{z, x_2, x_3, x_4}) -> delta(2,{x_1, x_2, x_3, x_4, x_5, x_6}) ------------------------------------------------------------------------------------------------------------------------ res(I): a_1 = | x_2x_4 x_3x_5 x_1x_4 x_2x_5 x_1x_3 | a_2 = {2} | 0 x_1 0 0 -x_5 | {2} | -x_1 0 x_2 0 0 | {2} | 0 -x_2 0 x_3 0 | {2} | 0 0 -x_3 0 x_4 | {2} | x_5 0 0 -x_4 0 | a_3 = {3} | x_2x_4 | {3} | x_3x_5 | {3} | x_1x_4 | {3} | x_2x_5 | {3} | x_1x_3 | ------------------------------------------------------------------------------------------------------------------------ res(J): b_1 = | z x_3 x_4 x_2 | b_2 = {1} | x_3 x_4 x_2 0 0 0 | {1} | -z 0 0 0 x_2 -x_4 | {1} | 0 -z 0 -x_2 0 x_3 | {1} | 0 0 -z x_4 -x_3 0 | b_3 = {2} | 0 x_2 -x_4 0 | {2} | -x_2 0 x_3 0 | {2} | x_4 -x_3 0 0 | {2} | z 0 0 x_3 | {2} | 0 z 0 x_4 | {2} | 0 0 z x_2 | b_4 = {3} | x_3 | {3} | x_4 | {3} | x_2 | {3} | -z | ------------------------------------------------------------------------------------------------------------------------ phi: {z, x_3, x_4, x_2} -> {x_1*x_5, 0, 0, 0} ------------------------------------------------------------------------------------------------------------------------ alpha_1 = {1} | 0 0 0 0 0 | {1} | 0 x_5 0 0 x_1 | {1} | 0 0 x_1 0 0 | {1} | x_4 0 0 x_5 0 | alpha_2 = {2} | 0 0 0 0 0 | {2} | 0 0 0 0 0 | {2} | 0 0 0 0 0 | {2} | 0 x_1 0 0 0 | {2} | 0 0 x_5 0 0 | {2} | 0 0 0 x_1 0 | alpha_3 = {3} | 0 | {3} | 0 | {3} | 0 | {3} | x_1x_5 | ------------------------------------------------------------------------------------------------------------------------ beta_1 = | -x_1x_5 0 0 0 | beta_2 = {2} | 0 0 0 0 0 0 | {2} | -x_1 0 0 0 0 0 | {2} | 0 -x_5 0 0 0 0 | {2} | 0 0 -x_1 0 0 0 | {2} | 0 0 0 0 0 0 | beta_3 = {3} | 0 0 -x_4 0 | {3} | -x_5 0 0 0 | {3} | 0 -x_1 0 0 | {3} | 0 0 -x_5 0 | {3} | -x_1 0 0 0 | ------------------------------------------------------------------------------------------------------------------------ u = -1 ------------------------------------------------------------------------------------------------------------------------ h_1 = 0 h_2 = 0 h_3 = 0 ------------------------------------------------------------------------------------------------------------------------ f_1 = | x_2x_4 x_3x_5 x_1x_4 x_2x_5 x_1x_3 x_6z-x_1x_5 x_6x_3 x_6x_4 x_6x_2 | f_2 = | 0 x_1 0 0 -x_5 0 0 0 0 0 0 x_6 0 0 0 0 | | -x_1 0 x_2 0 0 -x_1 0 0 0 0 0 0 x_6 0 0 0 | | 0 -x_2 0 x_3 0 0 -x_5 0 0 0 0 0 0 x_6 0 0 | | 0 0 -x_3 0 x_4 0 0 -x_1 0 0 0 0 0 0 x_6 0 | | x_5 0 0 -x_4 0 0 0 0 0 0 0 0 0 0 0 x_6 | | 0 0 0 0 0 -x_3 -x_4 -x_2 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 z 0 0 0 -x_2 x_4 0 -x_5 0 0 -x_1 | | 0 0 0 0 0 0 z 0 x_2 0 -x_3 0 0 -x_1 0 0 | | 0 0 0 0 0 0 0 z -x_4 x_3 0 -x_4 0 0 -x_5 0 | f_3 = | 0 0 -x_4 0 -x_6 0 0 0 0 | | -x_5 0 0 0 0 -x_6 0 0 0 | | 0 -x_1 0 0 0 0 -x_6 0 0 | | 0 0 -x_5 0 0 0 0 -x_6 0 | | -x_1 0 0 0 0 0 0 0 -x_6 | | 0 -x_2 x_4 0 0 0 0 0 0 | | x_2 0 -x_3 0 0 0 0 0 0 | | -x_4 x_3 0 0 0 0 0 0 0 | | -z 0 0 -x_3 0 -x_1 0 0 0 | | 0 -z 0 -x_4 0 0 -x_5 0 0 | | 0 0 -z -x_2 0 0 0 -x_1 0 | | 0 0 0 0 0 x_1 0 0 -x_5 | | 0 0 0 0 -x_1 0 x_2 0 0 | | 0 0 0 0 0 -x_2 0 x_3 0 | | 0 0 0 0 0 0 -x_3 0 x_4 | | 0 0 0 0 x_5 0 0 -x_4 0 | f_4 = | -x_6x_3 | | -x_6x_4 | | -x_6x_2 | | x_6z-x_1x_5 | | x_2x_4 | | x_3x_5 | | x_1x_4 | | x_2x_5 | | x_1x_3 | ------------------------------------------------------------------------------------------------------------------------ |
Δ(4,8):
(this of course also contains in particular the above calculation)
i3 : R=QQ[x_1..x_8]; |
i4 : cc=cycRes(4,R,verbose=>2); ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ delta(2,{z, x_2, x_3, x_4, x_5}) + delta(0,{z, x_2, x_3, x_4}) -> delta(2,{z, x_2, x_3, x_4, x_5, x_6}) ------------------------------------------------------------------------------------------------------------------------ res(I): a_1 = | x_2x_4 x_3x_5 zx_4 x_2x_5 zx_3 | a_2 = {2} | 0 z 0 0 -x_5 | {2} | -z 0 x_2 0 0 | {2} | 0 -x_2 0 x_3 0 | {2} | 0 0 -x_3 0 x_4 | {2} | x_5 0 0 -x_4 0 | a_3 = {3} | x_2x_4 | {3} | x_3x_5 | {3} | zx_4 | {3} | x_2x_5 | {3} | zx_3 | ------------------------------------------------------------------------------------------------------------------------ res(J): b_1 = | z x_3 x_4 x_2 | b_2 = {1} | x_3 x_4 x_2 0 0 0 | {1} | -z 0 0 0 x_2 -x_4 | {1} | 0 -z 0 -x_2 0 x_3 | {1} | 0 0 -z x_4 -x_3 0 | b_3 = {2} | 0 x_2 -x_4 0 | {2} | -x_2 0 x_3 0 | {2} | x_4 -x_3 0 0 | {2} | z 0 0 x_3 | {2} | 0 z 0 x_4 | {2} | 0 0 z x_2 | b_4 = {3} | x_3 | {3} | x_4 | {3} | x_2 | {3} | -z | ------------------------------------------------------------------------------------------------------------------------ phi: {z, x_3, x_4, x_2} -> {z*x_5, 0, 0, 0} ------------------------------------------------------------------------------------------------------------------------ alpha_1 = {1} | 0 0 0 0 0 | {1} | 0 x_5 0 0 z | {1} | 0 0 z 0 0 | {1} | x_4 0 0 x_5 0 | alpha_2 = {2} | 0 0 0 0 0 | {2} | 0 0 0 0 0 | {2} | 0 0 0 0 0 | {2} | 0 z 0 0 0 | {2} | 0 0 x_5 0 0 | {2} | 0 0 0 z 0 | alpha_3 = {3} | 0 | {3} | 0 | {3} | 0 | {3} | zx_5 | ------------------------------------------------------------------------------------------------------------------------ beta_1 = | -zx_5 0 0 0 | beta_2 = {2} | 0 0 0 0 0 0 | {2} | -z 0 0 0 0 0 | {2} | 0 -x_5 0 0 0 0 | {2} | 0 0 -z 0 0 0 | {2} | 0 0 0 0 0 0 | beta_3 = {3} | 0 0 -x_4 0 | {3} | -x_5 0 0 0 | {3} | 0 -z 0 0 | {3} | 0 0 -x_5 0 | {3} | -z 0 0 0 | ------------------------------------------------------------------------------------------------------------------------ u = -1 ------------------------------------------------------------------------------------------------------------------------ h_1 = 0 h_2 = 0 h_3 = 0 ------------------------------------------------------------------------------------------------------------------------ f_1 = | x_2x_4 x_3x_5 zx_4 x_2x_5 zx_3 x_6z-zx_5 x_6x_3 x_6x_4 x_6x_2 | f_2 = | 0 z 0 0 -x_5 0 0 0 0 0 0 x_6 0 0 0 0 | | -z 0 x_2 0 0 -z 0 0 0 0 0 0 x_6 0 0 0 | | 0 -x_2 0 x_3 0 0 -x_5 0 0 0 0 0 0 x_6 0 0 | | 0 0 -x_3 0 x_4 0 0 -z 0 0 0 0 0 0 x_6 0 | | x_5 0 0 -x_4 0 0 0 0 0 0 0 0 0 0 0 x_6 | | 0 0 0 0 0 -x_3 -x_4 -x_2 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 z 0 0 0 -x_2 x_4 0 -x_5 0 0 -z | | 0 0 0 0 0 0 z 0 x_2 0 -x_3 0 0 -z 0 0 | | 0 0 0 0 0 0 0 z -x_4 x_3 0 -x_4 0 0 -x_5 0 | f_3 = | 0 0 -x_4 0 -x_6 0 0 0 0 | | -x_5 0 0 0 0 -x_6 0 0 0 | | 0 -z 0 0 0 0 -x_6 0 0 | | 0 0 -x_5 0 0 0 0 -x_6 0 | | -z 0 0 0 0 0 0 0 -x_6 | | 0 -x_2 x_4 0 0 0 0 0 0 | | x_2 0 -x_3 0 0 0 0 0 0 | | -x_4 x_3 0 0 0 0 0 0 0 | | -z 0 0 -x_3 0 -z 0 0 0 | | 0 -z 0 -x_4 0 0 -x_5 0 0 | | 0 0 -z -x_2 0 0 0 -z 0 | | 0 0 0 0 0 z 0 0 -x_5 | | 0 0 0 0 -z 0 x_2 0 0 | | 0 0 0 0 0 -x_2 0 x_3 0 | | 0 0 0 0 0 0 -x_3 0 x_4 | | 0 0 0 0 x_5 0 0 -x_4 0 | f_4 = | -x_6x_3 | | -x_6x_4 | | -x_6x_2 | | x_6z-zx_5 | | x_2x_4 | | x_3x_5 | | zx_4 | | x_2x_5 | | zx_3 | ------------------------------------------------------------------------------------------------------------------------ ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ delta(4,{x_1, x_2, x_3, x_4, x_5, x_6, x_7}) + delta(2,{z, x_2, x_3, x_4, x_5, x_6}) -> delta(4,{x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8}) ------------------------------------------------------------------------------------------------------------------------ res(I): a_1 = | x_2x_4x_6 x_3x_5x_7 x_1x_4x_6 x_2x_5x_7 x_1x_3x_6 x_2x_4x_7 x_1x_3x_5 | a_2 = {3} | 0 x_1 0 0 0 0 -x_7 | {3} | -x_1 0 x_2 0 0 0 0 | {3} | 0 -x_2 0 x_3 0 0 0 | {3} | 0 0 -x_3 0 x_4 0 0 | {3} | 0 0 0 -x_4 0 x_5 0 | {3} | 0 0 0 0 -x_5 0 x_6 | {3} | x_7 0 0 0 0 -x_6 0 | a_3 = {4} | x_2x_4x_6 | {4} | x_3x_5x_7 | {4} | x_1x_4x_6 | {4} | x_2x_5x_7 | {4} | x_1x_3x_6 | {4} | x_2x_4x_7 | {4} | x_1x_3x_5 | ------------------------------------------------------------------------------------------------------------------------ res(J): b_1 = | x_2x_4 x_3x_5 zx_4 x_2x_5 zx_3 -zx_5 x_3x_6 x_4x_6 x_2x_6 | b_2 = {2} | 0 z 0 0 -x_5 0 0 0 0 0 0 x_6 0 0 0 0 | {2} | -z 0 x_2 0 0 -z 0 0 0 0 0 0 x_6 0 0 0 | {2} | 0 -x_2 0 x_3 0 0 -x_5 0 0 0 0 0 0 x_6 0 0 | {2} | 0 0 -x_3 0 x_4 0 0 -z 0 0 0 0 0 0 x_6 0 | {2} | x_5 0 0 -x_4 0 0 0 0 0 0 0 0 0 0 0 x_6 | {2} | 0 0 0 0 0 -x_3 -x_4 -x_2 0 0 0 0 0 0 0 0 | {2} | 0 0 0 0 0 0 0 0 0 -x_2 x_4 0 -x_5 0 0 -z | {2} | 0 0 0 0 0 0 0 0 x_2 0 -x_3 0 0 -z 0 0 | {2} | 0 0 0 0 0 0 0 0 -x_4 x_3 0 -x_4 0 0 -x_5 0 | b_3 = {3} | 0 0 -x_4 0 -x_6 0 0 0 0 | {3} | -x_5 0 0 0 0 -x_6 0 0 0 | {3} | 0 -z 0 0 0 0 -x_6 0 0 | {3} | 0 0 -x_5 0 0 0 0 -x_6 0 | {3} | -z 0 0 0 0 0 0 0 -x_6 | {3} | 0 -x_2 x_4 0 0 0 0 0 0 | {3} | x_2 0 -x_3 0 0 0 0 0 0 | {3} | -x_4 x_3 0 0 0 0 0 0 0 | {3} | 0 0 0 -x_3 0 -z 0 0 0 | {3} | 0 0 0 -x_4 0 0 -x_5 0 0 | {3} | 0 0 0 -x_2 0 0 0 -z 0 | {3} | 0 0 0 0 0 z 0 0 -x_5 | {3} | 0 0 0 0 -z 0 x_2 0 0 | {3} | 0 0 0 0 0 -x_2 0 x_3 0 | {3} | 0 0 0 0 0 0 -x_3 0 x_4 | {3} | 0 0 0 0 x_5 0 0 -x_4 0 | b_4 = {4} | -x_3x_6 | {4} | -x_4x_6 | {4} | -x_2x_6 | {4} | -zx_5 | {4} | x_2x_4 | {4} | x_3x_5 | {4} | zx_4 | {4} | x_2x_5 | {4} | zx_3 | ------------------------------------------------------------------------------------------------------------------------ phi: {x_2*x_4, x_3*x_5, z*x_4, x_2*x_5, z*x_3, -z*x_5, x_3*x_6, x_4*x_6, x_2*x_6} -> {0, 0, x_1*x_4*x_7, 0, x_1*x_3*x_7, -x_1*x_5*x_7, 0, 0, 0} ------------------------------------------------------------------------------------------------------------------------ alpha_1 = {2} | x_6 0 0 0 0 x_7 0 | {2} | 0 x_7 0 0 0 0 x_1 | {2} | 0 0 0 0 0 0 0 | {2} | 0 0 0 x_7 0 0 0 | {2} | 0 0 0 0 0 0 0 | {2} | 0 0 0 0 0 0 0 | {2} | 0 0 0 0 x_1 0 0 | {2} | 0 0 x_1 0 0 0 0 | {2} | 0 0 0 0 0 0 0 | alpha_2 = {3} | 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 0 x_7 0 0 0 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 0 0 0 x_7 0 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 -x_1 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 0 0 -x_1 0 0 0 | {3} | 0 x_1 0 0 0 0 0 | {3} | 0 0 0 0 0 -x_1 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 | alpha_3 = {4} | 0 | {4} | 0 | {4} | 0 | {4} | x_1x_5x_7 | {4} | 0 | {4} | 0 | {4} | -x_1x_4x_7 | {4} | 0 | {4} | -x_1x_3x_7 | ------------------------------------------------------------------------------------------------------------------------ beta_1 = | 0 0 -x_1x_4x_7 0 -x_1x_3x_7 x_1x_5x_7 0 0 0 | beta_2 = {3} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | {3} | -x_1 0 0 0 0 -x_1 0 0 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_7 0 0 | {3} | 0 0 0 0 0 0 0 -x_1 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_7 | {3} | 0 x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | beta_3 = {4} | 0 0 0 0 -x_6 0 0 0 0 | {4} | 0 0 0 0 0 -x_7 0 0 0 | {4} | 0 x_1 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 -x_7 0 | {4} | x_1 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 -x_7 0 0 0 0 | {4} | 0 0 0 0 0 -x_1 0 0 0 | ------------------------------------------------------------------------------------------------------------------------ u = -1 ------------------------------------------------------------------------------------------------------------------------ h_1 = 0 h_2 = 0 h_3 = 0 ------------------------------------------------------------------------------------------------------------------------ f_1 = | x_2x_4x_6 x_3x_5x_7 x_1x_4x_6 x_2x_5x_7 x_1x_3x_6 x_2x_4x_7 x_1x_3x_5 x_8x_2x_4 x_8x_3x_5 x_8zx_4-x_1x_4x_7 x_8x_2x_5 x_8zx_3-x_1x_3x_7 -x_8zx_5+x_1x_5x_7 x_8x_3x_6 x_8x_4x_6 x_8x_2x_6 | f_2 = | 0 x_1 0 0 0 0 -x_7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_8 0 0 0 0 0 0 | | -x_1 0 x_2 0 0 0 0 -x_1 0 0 0 0 -x_1 0 0 0 0 0 0 0 0 0 0 0 x_8 0 0 0 0 0 | | 0 -x_2 0 x_3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_7 0 0 0 0 x_8 0 0 0 0 | | 0 0 -x_3 0 x_4 0 0 0 0 0 0 0 0 0 -x_1 0 0 0 0 0 0 0 0 0 0 0 x_8 0 0 0 | | 0 0 0 -x_4 0 x_5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_7 0 0 0 0 x_8 0 0 | | 0 0 0 0 -x_5 0 x_6 0 x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_8 0 | | x_7 0 0 0 0 -x_6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_8 | | 0 0 0 0 0 0 0 0 -z 0 0 x_5 0 0 0 0 0 0 -x_6 0 0 0 0 -x_6 0 0 0 0 -x_7 0 | | 0 0 0 0 0 0 0 z 0 -x_2 0 0 z 0 0 0 0 0 0 -x_6 0 0 0 0 -x_7 0 0 0 0 -x_1 | | 0 0 0 0 0 0 0 0 x_2 0 -x_3 0 0 x_5 0 0 0 0 0 0 -x_6 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 x_3 0 -x_4 0 0 z 0 0 0 0 0 0 -x_6 0 0 0 0 -x_7 0 0 0 | | 0 0 0 0 0 0 0 -x_5 0 0 x_4 0 0 0 0 0 0 0 0 0 0 0 -x_6 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 x_3 x_4 x_2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_2 -x_4 0 x_5 0 0 z 0 0 0 0 -x_1 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_2 0 x_3 0 0 z 0 0 0 0 -x_1 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_4 -x_3 0 x_4 0 0 x_5 0 0 0 0 0 0 0 0 | f_3 = | 0 0 0 0 -x_6 0 0 0 0 -x_8 0 0 0 0 0 0 | | 0 0 0 0 0 -x_7 0 0 0 0 -x_8 0 0 0 0 0 | | 0 x_1 0 0 0 0 0 0 0 0 0 -x_8 0 0 0 0 | | 0 0 0 0 0 0 0 -x_7 0 0 0 0 -x_8 0 0 0 | | x_1 0 0 0 0 0 0 0 0 0 0 0 0 -x_8 0 0 | | 0 0 0 0 -x_7 0 0 0 0 0 0 0 0 0 -x_8 0 | | 0 0 0 0 0 -x_1 0 0 0 0 0 0 0 0 0 -x_8 | | 0 0 x_4 0 x_6 0 0 0 0 0 0 0 0 0 0 0 | | x_5 0 0 0 0 x_6 0 0 0 0 0 0 0 0 0 0 | | 0 z 0 0 0 0 x_6 0 0 0 0 -x_7 0 0 0 0 | | 0 0 x_5 0 0 0 0 x_6 0 0 0 0 0 0 0 0 | | z 0 0 0 0 0 0 0 x_6 0 0 0 0 -x_7 0 0 | | 0 x_2 -x_4 0 0 0 0 0 0 0 0 0 0 0 0 0 | | -x_2 0 x_3 0 0 0 0 0 0 0 0 0 0 0 0 0 | | x_4 -x_3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 x_3 0 z 0 0 0 0 x_1 0 0 0 0 0 | | 0 0 0 x_4 0 0 x_5 0 0 0 0 0 0 0 0 0 | | 0 0 0 x_2 0 0 0 z 0 0 0 0 x_1 0 0 0 | | 0 0 0 0 0 -z 0 0 x_5 0 -x_1 0 0 0 0 0 | | 0 0 0 0 z 0 -x_2 0 0 0 0 0 0 0 x_1 0 | | 0 0 0 0 0 x_2 0 -x_3 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 x_3 0 -x_4 0 0 0 0 0 0 0 | | 0 0 0 0 -x_5 0 0 x_4 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 x_1 0 0 0 0 -x_7 | | 0 0 0 0 0 0 0 0 0 -x_1 0 x_2 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 -x_2 0 x_3 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 -x_3 0 x_4 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 -x_4 0 x_5 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_5 0 x_6 | | 0 0 0 0 0 0 0 0 0 x_7 0 0 0 0 -x_6 0 | f_4 = | x_8x_3x_6 | | x_8x_4x_6 | | x_8x_2x_6 | | x_8zx_5-x_1x_5x_7 | | -x_8x_2x_4 | | -x_8x_3x_5 | | -x_8zx_4+x_1x_4x_7 | | -x_8x_2x_5 | | -x_8zx_3+x_1x_3x_7 | | x_2x_4x_6 | | x_3x_5x_7 | | x_1x_4x_6 | | x_2x_5x_7 | | x_1x_3x_6 | | x_2x_4x_7 | | x_1x_3x_5 | ------------------------------------------------------------------------------------------------------------------------ |
Δ(6,10):
(this of course also contains in particular the above calculation)
i5 : R=QQ[x_1..x_10]; |
i6 : cc=cycRes(6,R,verbose=>2); ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ delta(2,{z, x_2, x_3, x_4, x_5}) + delta(0,{z, x_2, x_3, x_4}) -> delta(2,{z, x_2, x_3, x_4, x_5, x_6}) ------------------------------------------------------------------------------------------------------------------------ res(I): a_1 = | x_2x_4 x_3x_5 zx_4 x_2x_5 zx_3 | a_2 = {2} | 0 z 0 0 -x_5 | {2} | -z 0 x_2 0 0 | {2} | 0 -x_2 0 x_3 0 | {2} | 0 0 -x_3 0 x_4 | {2} | x_5 0 0 -x_4 0 | a_3 = {3} | x_2x_4 | {3} | x_3x_5 | {3} | zx_4 | {3} | x_2x_5 | {3} | zx_3 | ------------------------------------------------------------------------------------------------------------------------ res(J): b_1 = | z x_3 x_4 x_2 | b_2 = {1} | x_3 x_4 x_2 0 0 0 | {1} | -z 0 0 0 x_2 -x_4 | {1} | 0 -z 0 -x_2 0 x_3 | {1} | 0 0 -z x_4 -x_3 0 | b_3 = {2} | 0 x_2 -x_4 0 | {2} | -x_2 0 x_3 0 | {2} | x_4 -x_3 0 0 | {2} | z 0 0 x_3 | {2} | 0 z 0 x_4 | {2} | 0 0 z x_2 | b_4 = {3} | x_3 | {3} | x_4 | {3} | x_2 | {3} | -z | ------------------------------------------------------------------------------------------------------------------------ phi: {z, x_3, x_4, x_2} -> {z*x_5, 0, 0, 0} ------------------------------------------------------------------------------------------------------------------------ alpha_1 = {1} | 0 0 0 0 0 | {1} | 0 x_5 0 0 z | {1} | 0 0 z 0 0 | {1} | x_4 0 0 x_5 0 | alpha_2 = {2} | 0 0 0 0 0 | {2} | 0 0 0 0 0 | {2} | 0 0 0 0 0 | {2} | 0 z 0 0 0 | {2} | 0 0 x_5 0 0 | {2} | 0 0 0 z 0 | alpha_3 = {3} | 0 | {3} | 0 | {3} | 0 | {3} | zx_5 | ------------------------------------------------------------------------------------------------------------------------ beta_1 = | -zx_5 0 0 0 | beta_2 = {2} | 0 0 0 0 0 0 | {2} | -z 0 0 0 0 0 | {2} | 0 -x_5 0 0 0 0 | {2} | 0 0 -z 0 0 0 | {2} | 0 0 0 0 0 0 | beta_3 = {3} | 0 0 -x_4 0 | {3} | -x_5 0 0 0 | {3} | 0 -z 0 0 | {3} | 0 0 -x_5 0 | {3} | -z 0 0 0 | ------------------------------------------------------------------------------------------------------------------------ u = -1 ------------------------------------------------------------------------------------------------------------------------ h_1 = 0 h_2 = 0 h_3 = 0 ------------------------------------------------------------------------------------------------------------------------ f_1 = | x_2x_4 x_3x_5 zx_4 x_2x_5 zx_3 x_6z-zx_5 x_6x_3 x_6x_4 x_6x_2 | f_2 = | 0 z 0 0 -x_5 0 0 0 0 0 0 x_6 0 0 0 0 | | -z 0 x_2 0 0 -z 0 0 0 0 0 0 x_6 0 0 0 | | 0 -x_2 0 x_3 0 0 -x_5 0 0 0 0 0 0 x_6 0 0 | | 0 0 -x_3 0 x_4 0 0 -z 0 0 0 0 0 0 x_6 0 | | x_5 0 0 -x_4 0 0 0 0 0 0 0 0 0 0 0 x_6 | | 0 0 0 0 0 -x_3 -x_4 -x_2 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 z 0 0 0 -x_2 x_4 0 -x_5 0 0 -z | | 0 0 0 0 0 0 z 0 x_2 0 -x_3 0 0 -z 0 0 | | 0 0 0 0 0 0 0 z -x_4 x_3 0 -x_4 0 0 -x_5 0 | f_3 = | 0 0 -x_4 0 -x_6 0 0 0 0 | | -x_5 0 0 0 0 -x_6 0 0 0 | | 0 -z 0 0 0 0 -x_6 0 0 | | 0 0 -x_5 0 0 0 0 -x_6 0 | | -z 0 0 0 0 0 0 0 -x_6 | | 0 -x_2 x_4 0 0 0 0 0 0 | | x_2 0 -x_3 0 0 0 0 0 0 | | -x_4 x_3 0 0 0 0 0 0 0 | | -z 0 0 -x_3 0 -z 0 0 0 | | 0 -z 0 -x_4 0 0 -x_5 0 0 | | 0 0 -z -x_2 0 0 0 -z 0 | | 0 0 0 0 0 z 0 0 -x_5 | | 0 0 0 0 -z 0 x_2 0 0 | | 0 0 0 0 0 -x_2 0 x_3 0 | | 0 0 0 0 0 0 -x_3 0 x_4 | | 0 0 0 0 x_5 0 0 -x_4 0 | f_4 = | -x_6x_3 | | -x_6x_4 | | -x_6x_2 | | x_6z-zx_5 | | x_2x_4 | | x_3x_5 | | zx_4 | | x_2x_5 | | zx_3 | ------------------------------------------------------------------------------------------------------------------------ ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ delta(4,{z, x_2, x_3, x_4, x_5, x_6, x_7}) + delta(2,{z, x_2, x_3, x_4, x_5, x_6}) -> delta(4,{z, x_2, x_3, x_4, x_5, x_6, x_7, x_8}) ------------------------------------------------------------------------------------------------------------------------ res(I): a_1 = | x_2x_4x_6 x_3x_5x_7 zx_4x_6 x_2x_5x_7 zx_3x_6 x_2x_4x_7 zx_3x_5 | a_2 = {3} | 0 z 0 0 0 0 -x_7 | {3} | -z 0 x_2 0 0 0 0 | {3} | 0 -x_2 0 x_3 0 0 0 | {3} | 0 0 -x_3 0 x_4 0 0 | {3} | 0 0 0 -x_4 0 x_5 0 | {3} | 0 0 0 0 -x_5 0 x_6 | {3} | x_7 0 0 0 0 -x_6 0 | a_3 = {4} | x_2x_4x_6 | {4} | x_3x_5x_7 | {4} | zx_4x_6 | {4} | x_2x_5x_7 | {4} | zx_3x_6 | {4} | x_2x_4x_7 | {4} | zx_3x_5 | ------------------------------------------------------------------------------------------------------------------------ res(J): b_1 = | x_2x_4 x_3x_5 zx_4 x_2x_5 zx_3 -zx_5 x_3x_6 x_4x_6 x_2x_6 | b_2 = {2} | 0 z 0 0 -x_5 0 0 0 0 0 0 x_6 0 0 0 0 | {2} | -z 0 x_2 0 0 -z 0 0 0 0 0 0 x_6 0 0 0 | {2} | 0 -x_2 0 x_3 0 0 -x_5 0 0 0 0 0 0 x_6 0 0 | {2} | 0 0 -x_3 0 x_4 0 0 -z 0 0 0 0 0 0 x_6 0 | {2} | x_5 0 0 -x_4 0 0 0 0 0 0 0 0 0 0 0 x_6 | {2} | 0 0 0 0 0 -x_3 -x_4 -x_2 0 0 0 0 0 0 0 0 | {2} | 0 0 0 0 0 0 0 0 0 -x_2 x_4 0 -x_5 0 0 -z | {2} | 0 0 0 0 0 0 0 0 x_2 0 -x_3 0 0 -z 0 0 | {2} | 0 0 0 0 0 0 0 0 -x_4 x_3 0 -x_4 0 0 -x_5 0 | b_3 = {3} | 0 0 -x_4 0 -x_6 0 0 0 0 | {3} | -x_5 0 0 0 0 -x_6 0 0 0 | {3} | 0 -z 0 0 0 0 -x_6 0 0 | {3} | 0 0 -x_5 0 0 0 0 -x_6 0 | {3} | -z 0 0 0 0 0 0 0 -x_6 | {3} | 0 -x_2 x_4 0 0 0 0 0 0 | {3} | x_2 0 -x_3 0 0 0 0 0 0 | {3} | -x_4 x_3 0 0 0 0 0 0 0 | {3} | 0 0 0 -x_3 0 -z 0 0 0 | {3} | 0 0 0 -x_4 0 0 -x_5 0 0 | {3} | 0 0 0 -x_2 0 0 0 -z 0 | {3} | 0 0 0 0 0 z 0 0 -x_5 | {3} | 0 0 0 0 -z 0 x_2 0 0 | {3} | 0 0 0 0 0 -x_2 0 x_3 0 | {3} | 0 0 0 0 0 0 -x_3 0 x_4 | {3} | 0 0 0 0 x_5 0 0 -x_4 0 | b_4 = {4} | -x_3x_6 | {4} | -x_4x_6 | {4} | -x_2x_6 | {4} | -zx_5 | {4} | x_2x_4 | {4} | x_3x_5 | {4} | zx_4 | {4} | x_2x_5 | {4} | zx_3 | ------------------------------------------------------------------------------------------------------------------------ phi: {x_2*x_4, x_3*x_5, z*x_4, x_2*x_5, z*x_3, -z*x_5, x_3*x_6, x_4*x_6, x_2*x_6} -> {0, 0, z*x_4*x_7, 0, z*x_3*x_7, -z*x_5*x_7, 0, 0, 0} ------------------------------------------------------------------------------------------------------------------------ alpha_1 = {2} | x_6 0 0 0 0 x_7 0 | {2} | 0 x_7 0 0 0 0 z | {2} | 0 0 0 0 0 0 0 | {2} | 0 0 0 x_7 0 0 0 | {2} | 0 0 0 0 0 0 0 | {2} | 0 0 0 0 0 0 0 | {2} | 0 0 0 0 z 0 0 | {2} | 0 0 z 0 0 0 0 | {2} | 0 0 0 0 0 0 0 | alpha_2 = {3} | 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 0 x_7 0 0 0 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 0 0 0 x_7 0 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 -z 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 0 0 -z 0 0 0 | {3} | 0 z 0 0 0 0 0 | {3} | 0 0 0 0 0 -z 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 | alpha_3 = {4} | 0 | {4} | 0 | {4} | 0 | {4} | zx_5x_7 | {4} | 0 | {4} | 0 | {4} | -zx_4x_7 | {4} | 0 | {4} | -zx_3x_7 | ------------------------------------------------------------------------------------------------------------------------ beta_1 = | 0 0 -zx_4x_7 0 -zx_3x_7 zx_5x_7 0 0 0 | beta_2 = {3} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | {3} | -z 0 0 0 0 -z 0 0 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_7 0 0 | {3} | 0 0 0 0 0 0 0 -z 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_7 | {3} | 0 z 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | beta_3 = {4} | 0 0 0 0 -x_6 0 0 0 0 | {4} | 0 0 0 0 0 -x_7 0 0 0 | {4} | 0 z 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 -x_7 0 | {4} | z 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 -x_7 0 0 0 0 | {4} | 0 0 0 0 0 -z 0 0 0 | ------------------------------------------------------------------------------------------------------------------------ u = -1 ------------------------------------------------------------------------------------------------------------------------ h_1 = 0 h_2 = 0 h_3 = 0 ------------------------------------------------------------------------------------------------------------------------ f_1 = | x_2x_4x_6 x_3x_5x_7 zx_4x_6 x_2x_5x_7 zx_3x_6 x_2x_4x_7 zx_3x_5 x_8x_2x_4 x_8x_3x_5 x_8zx_4-zx_4x_7 x_8x_2x_5 x_8zx_3-zx_3x_7 -x_8zx_5+zx_5x_7 x_8x_3x_6 x_8x_4x_6 x_8x_2x_6 | f_2 = | 0 z 0 0 0 0 -x_7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_8 0 0 0 0 0 0 | | -z 0 x_2 0 0 0 0 -z 0 0 0 0 -z 0 0 0 0 0 0 0 0 0 0 0 x_8 0 0 0 0 0 | | 0 -x_2 0 x_3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_7 0 0 0 0 x_8 0 0 0 0 | | 0 0 -x_3 0 x_4 0 0 0 0 0 0 0 0 0 -z 0 0 0 0 0 0 0 0 0 0 0 x_8 0 0 0 | | 0 0 0 -x_4 0 x_5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_7 0 0 0 0 x_8 0 0 | | 0 0 0 0 -x_5 0 x_6 0 z 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_8 0 | | x_7 0 0 0 0 -x_6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_8 | | 0 0 0 0 0 0 0 0 -z 0 0 x_5 0 0 0 0 0 0 -x_6 0 0 0 0 -x_6 0 0 0 0 -x_7 0 | | 0 0 0 0 0 0 0 z 0 -x_2 0 0 z 0 0 0 0 0 0 -x_6 0 0 0 0 -x_7 0 0 0 0 -z | | 0 0 0 0 0 0 0 0 x_2 0 -x_3 0 0 x_5 0 0 0 0 0 0 -x_6 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 x_3 0 -x_4 0 0 z 0 0 0 0 0 0 -x_6 0 0 0 0 -x_7 0 0 0 | | 0 0 0 0 0 0 0 -x_5 0 0 x_4 0 0 0 0 0 0 0 0 0 0 0 -x_6 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 x_3 x_4 x_2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_2 -x_4 0 x_5 0 0 z 0 0 0 0 -z 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_2 0 x_3 0 0 z 0 0 0 0 -z 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_4 -x_3 0 x_4 0 0 x_5 0 0 0 0 0 0 0 0 | f_3 = | 0 0 0 0 -x_6 0 0 0 0 -x_8 0 0 0 0 0 0 | | 0 0 0 0 0 -x_7 0 0 0 0 -x_8 0 0 0 0 0 | | 0 z 0 0 0 0 0 0 0 0 0 -x_8 0 0 0 0 | | 0 0 0 0 0 0 0 -x_7 0 0 0 0 -x_8 0 0 0 | | z 0 0 0 0 0 0 0 0 0 0 0 0 -x_8 0 0 | | 0 0 0 0 -x_7 0 0 0 0 0 0 0 0 0 -x_8 0 | | 0 0 0 0 0 -z 0 0 0 0 0 0 0 0 0 -x_8 | | 0 0 x_4 0 x_6 0 0 0 0 0 0 0 0 0 0 0 | | x_5 0 0 0 0 x_6 0 0 0 0 0 0 0 0 0 0 | | 0 z 0 0 0 0 x_6 0 0 0 0 -x_7 0 0 0 0 | | 0 0 x_5 0 0 0 0 x_6 0 0 0 0 0 0 0 0 | | z 0 0 0 0 0 0 0 x_6 0 0 0 0 -x_7 0 0 | | 0 x_2 -x_4 0 0 0 0 0 0 0 0 0 0 0 0 0 | | -x_2 0 x_3 0 0 0 0 0 0 0 0 0 0 0 0 0 | | x_4 -x_3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 x_3 0 z 0 0 0 0 z 0 0 0 0 0 | | 0 0 0 x_4 0 0 x_5 0 0 0 0 0 0 0 0 0 | | 0 0 0 x_2 0 0 0 z 0 0 0 0 z 0 0 0 | | 0 0 0 0 0 -z 0 0 x_5 0 -z 0 0 0 0 0 | | 0 0 0 0 z 0 -x_2 0 0 0 0 0 0 0 z 0 | | 0 0 0 0 0 x_2 0 -x_3 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 x_3 0 -x_4 0 0 0 0 0 0 0 | | 0 0 0 0 -x_5 0 0 x_4 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 z 0 0 0 0 -x_7 | | 0 0 0 0 0 0 0 0 0 -z 0 x_2 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 -x_2 0 x_3 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 -x_3 0 x_4 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 -x_4 0 x_5 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_5 0 x_6 | | 0 0 0 0 0 0 0 0 0 x_7 0 0 0 0 -x_6 0 | f_4 = | x_8x_3x_6 | | x_8x_4x_6 | | x_8x_2x_6 | | x_8zx_5-zx_5x_7 | | -x_8x_2x_4 | | -x_8x_3x_5 | | -x_8zx_4+zx_4x_7 | | -x_8x_2x_5 | | -x_8zx_3+zx_3x_7 | | x_2x_4x_6 | | x_3x_5x_7 | | zx_4x_6 | | x_2x_5x_7 | | zx_3x_6 | | x_2x_4x_7 | | zx_3x_5 | ------------------------------------------------------------------------------------------------------------------------ ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ delta(6,{x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9}) + delta(4,{z, x_2, x_3, x_4, x_5, x_6, x_7, x_8}) -> delta(6,{x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9, x_10}) ------------------------------------------------------------------------------------------------------------------------ res(I): a_1 = | x_2x_4x_6x_8 x_3x_5x_7x_9 x_1x_4x_6x_8 x_2x_5x_7x_9 x_1x_3x_6x_8 x_2x_4x_7x_9 x_1x_3x_5x_8 x_2x_4x_6x_9 x_1x_3x_5x_7 | a_2 = {4} | 0 x_1 0 0 0 0 0 0 -x_9 | {4} | -x_1 0 x_2 0 0 0 0 0 0 | {4} | 0 -x_2 0 x_3 0 0 0 0 0 | {4} | 0 0 -x_3 0 x_4 0 0 0 0 | {4} | 0 0 0 -x_4 0 x_5 0 0 0 | {4} | 0 0 0 0 -x_5 0 x_6 0 0 | {4} | 0 0 0 0 0 -x_6 0 x_7 0 | {4} | 0 0 0 0 0 0 -x_7 0 x_8 | {4} | x_9 0 0 0 0 0 0 -x_8 0 | a_3 = {5} | x_2x_4x_6x_8 | {5} | x_3x_5x_7x_9 | {5} | x_1x_4x_6x_8 | {5} | x_2x_5x_7x_9 | {5} | x_1x_3x_6x_8 | {5} | x_2x_4x_7x_9 | {5} | x_1x_3x_5x_8 | {5} | x_2x_4x_6x_9 | {5} | x_1x_3x_5x_7 | ------------------------------------------------------------------------------------------------------------------------ res(J): b_1 = | x_2x_4x_6 x_3x_5x_7 zx_4x_6 x_2x_5x_7 zx_3x_6 x_2x_4x_7 zx_3x_5 x_2x_4x_8 x_3x_5x_8 -zx_4x_7 x_2x_5x_8 -zx_3x_7 zx_5x_7 x_3x_6x_8 x_4x_6x_8 x_2x_6x_8 | b_2 = {3} | 0 z 0 0 0 0 -x_7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_8 0 0 0 0 0 0 | {3} | -z 0 x_2 0 0 0 0 -z 0 0 0 0 -z 0 0 0 0 0 0 0 0 0 0 0 x_8 0 0 0 0 0 | {3} | 0 -x_2 0 x_3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_7 0 0 0 0 x_8 0 0 0 0 | {3} | 0 0 -x_3 0 x_4 0 0 0 0 0 0 0 0 0 -z 0 0 0 0 0 0 0 0 0 0 0 x_8 0 0 0 | {3} | 0 0 0 -x_4 0 x_5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_7 0 0 0 0 x_8 0 0 | {3} | 0 0 0 0 -x_5 0 x_6 0 z 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_8 0 | {3} | x_7 0 0 0 0 -x_6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_8 | {3} | 0 0 0 0 0 0 0 0 0 0 0 x_5 0 0 0 0 0 0 -x_6 0 0 0 0 -x_6 0 0 0 0 -x_7 0 | {3} | 0 0 0 0 0 0 0 0 0 -x_2 0 0 0 0 0 0 0 0 0 -x_6 0 0 0 0 -x_7 0 0 0 0 -z | {3} | 0 0 0 0 0 0 0 0 x_2 0 -x_3 0 0 x_5 0 0 0 0 0 0 -x_6 0 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 x_3 0 -x_4 0 0 0 0 0 0 0 0 0 -x_6 0 0 0 0 -x_7 0 0 0 | {3} | 0 0 0 0 0 0 0 -x_5 0 0 x_4 0 0 0 0 0 0 0 0 0 0 0 -x_6 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 0 0 0 x_3 x_4 x_2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_2 -x_4 0 x_5 0 0 0 0 0 0 0 -z 0 0 | {3} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_2 0 x_3 0 0 0 0 0 0 0 -z 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_4 -x_3 0 x_4 0 0 x_5 0 0 0 0 0 0 0 0 | b_3 = {4} | 0 0 0 0 -x_6 0 0 0 0 -x_8 0 0 0 0 0 0 | {4} | 0 0 0 0 0 -x_7 0 0 0 0 -x_8 0 0 0 0 0 | {4} | 0 z 0 0 0 0 0 0 0 0 0 -x_8 0 0 0 0 | {4} | 0 0 0 0 0 0 0 -x_7 0 0 0 0 -x_8 0 0 0 | {4} | z 0 0 0 0 0 0 0 0 0 0 0 0 -x_8 0 0 | {4} | 0 0 0 0 -x_7 0 0 0 0 0 0 0 0 0 -x_8 0 | {4} | 0 0 0 0 0 -z 0 0 0 0 0 0 0 0 0 -x_8 | {4} | 0 0 x_4 0 x_6 0 0 0 0 0 0 0 0 0 0 0 | {4} | x_5 0 0 0 0 x_6 0 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 x_6 0 0 0 0 -x_7 0 0 0 0 | {4} | 0 0 x_5 0 0 0 0 x_6 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 x_6 0 0 0 0 -x_7 0 0 | {4} | 0 x_2 -x_4 0 0 0 0 0 0 0 0 0 0 0 0 0 | {4} | -x_2 0 x_3 0 0 0 0 0 0 0 0 0 0 0 0 0 | {4} | x_4 -x_3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 x_3 0 0 0 0 0 0 z 0 0 0 0 0 | {4} | 0 0 0 x_4 0 0 x_5 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 x_2 0 0 0 0 0 0 0 0 z 0 0 0 | {4} | 0 0 0 0 0 0 0 0 x_5 0 -z 0 0 0 0 0 | {4} | 0 0 0 0 0 0 -x_2 0 0 0 0 0 0 0 z 0 | {4} | 0 0 0 0 0 x_2 0 -x_3 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 x_3 0 -x_4 0 0 0 0 0 0 0 | {4} | 0 0 0 0 -x_5 0 0 x_4 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 0 z 0 0 0 0 -x_7 | {4} | 0 0 0 0 0 0 0 0 0 -z 0 x_2 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 0 -x_2 0 x_3 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 0 0 -x_3 0 x_4 0 0 | {4} | 0 0 0 0 0 0 0 0 0 0 0 0 -x_4 0 x_5 0 | {4} | 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_5 0 x_6 | {4} | 0 0 0 0 0 0 0 0 0 x_7 0 0 0 0 -x_6 0 | b_4 = {5} | x_3x_6x_8 | {5} | x_4x_6x_8 | {5} | x_2x_6x_8 | {5} | -zx_5x_7 | {5} | -x_2x_4x_8 | {5} | -x_3x_5x_8 | {5} | zx_4x_7 | {5} | -x_2x_5x_8 | {5} | zx_3x_7 | {5} | x_2x_4x_6 | {5} | x_3x_5x_7 | {5} | zx_4x_6 | {5} | x_2x_5x_7 | {5} | zx_3x_6 | {5} | x_2x_4x_7 | {5} | zx_3x_5 | ------------------------------------------------------------------------------------------------------------------------ phi: {x_2*x_4*x_6, x_3*x_5*x_7, z*x_4*x_6, x_2*x_5*x_7, z*x_3*x_6, x_2*x_4*x_7, z*x_3*x_5, x_2*x_4*x_8, x_3*x_5*x_8, -z*x_4*x_7, x_2*x_5*x_8, -z*x_3*x_7, z*x_5*x_7, x_3*x_6*x_8, x_4*x_6*x_8, x_2*x_6*x_8} -> {0, 0, x_1*x_4*x_6*x_9, 0, x_1*x_3*x_6*x_9, 0, x_1*x_3*x_5*x_9, 0, 0, -x_1*x_4*x_7*x_9, 0, -x_1*x_3*x_7*x_9, x_1*x_5*x_7*x_9, 0, 0, 0} ------------------------------------------------------------------------------------------------------------------------ alpha_1 = {3} | x_8 0 0 0 0 0 0 x_9 0 | {3} | 0 x_9 0 0 0 0 0 0 x_1 | {3} | 0 0 0 0 0 0 0 0 0 | {3} | 0 0 0 x_9 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 x_9 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 x_1 0 0 | {3} | 0 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 | {3} | 0 0 0 0 x_1 0 0 0 0 | {3} | 0 0 x_1 0 0 0 0 0 0 | {3} | 0 0 0 0 0 0 0 0 0 | alpha_2 = {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 x_9 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 x_9 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 x_9 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 x_1 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 x_1 0 0 0 0 0 | {4} | 0 -x_1 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 x_1 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 x_1 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 -x_1 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 | alpha_3 = {5} | 0 | {5} | 0 | {5} | 0 | {5} | x_1x_5x_7x_9 | {5} | 0 | {5} | 0 | {5} | -x_1x_4x_7x_9 | {5} | 0 | {5} | -x_1x_3x_7x_9 | {5} | 0 | {5} | 0 | {5} | -x_1x_4x_6x_9 | {5} | 0 | {5} | -x_1x_3x_6x_9 | {5} | 0 | {5} | -x_1x_3x_5x_9 | ------------------------------------------------------------------------------------------------------------------------ beta_1 = | 0 0 -x_1x_4x_6x_9 0 -x_1x_3x_6x_9 0 -x_1x_3x_5x_9 0 0 x_1x_4x_7x_9 0 x_1x_3x_7x_9 -x_1x_5x_7x_9 0 0 0 | beta_2 = {4} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | {4} | -x_1 0 0 0 0 0 0 -x_1 0 0 0 0 -x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_9 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_9 0 0 | {4} | 0 0 0 0 0 0 0 0 x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_9 | {4} | 0 x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | {4} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | beta_3 = {5} | 0 0 0 0 0 0 0 0 0 -x_8 0 0 0 0 0 0 | {5} | 0 0 0 0 0 0 0 0 0 0 -x_9 0 0 0 0 0 | {5} | 0 -x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | {5} | 0 0 0 0 0 0 0 0 0 0 0 0 -x_9 0 0 0 | {5} | -x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | {5} | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_9 0 | {5} | 0 0 0 0 0 x_1 0 0 0 0 0 0 0 0 0 0 | {5} | 0 0 0 0 0 0 0 0 0 -x_9 0 0 0 0 0 0 | {5} | 0 0 0 0 0 0 0 0 0 0 -x_1 0 0 0 0 0 | ------------------------------------------------------------------------------------------------------------------------ u = -1 ------------------------------------------------------------------------------------------------------------------------ h_1 = 0 h_2 = 0 h_3 = 0 ------------------------------------------------------------------------------------------------------------------------ f_1 = | x_2x_4x_6x_8 x_3x_5x_7x_9 x_1x_4x_6x_8 x_2x_5x_7x_9 x_1x_3x_6x_8 x_2x_4x_7x_9 x_1x_3x_5x_8 x_2x_4x_6x_9 x_1x_3x_5x_7 x_10x_2x_4x_6 x_10x_3x_5x_7 x_10zx_4x_6-x_1x_4x_6x_9 x_10x_2x_5x_7 x_10zx_3x_6-x_1x_3x_6x_9 x_10x_2x_4x_7 x_10zx_3x_5-x_1x_3x_5x_9 x_10x_2x_4x_8 x_10x_3x_5x_8 -x_10zx_4x_7+x_1x_4x_7x_9 x_10x_2x_5x_8 -x_10zx_3x_7+x_1x_3x_7x_9 x_10zx_5x_7-x_1x_5x_7x_9 x_10x_3x_6x_8 x_10x_4x_6x_8 x_10x_2x_6x_8 | f_2 = | 0 x_1 0 0 0 0 0 0 -x_9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_10 0 0 0 0 0 0 0 0 | | -x_1 0 x_2 0 0 0 0 0 0 -x_1 0 0 0 0 0 0 -x_1 0 0 0 0 -x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_10 0 0 0 0 0 0 0 | | 0 -x_2 0 x_3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_9 0 0 0 0 0 0 x_10 0 0 0 0 0 0 | | 0 0 -x_3 0 x_4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_10 0 0 0 0 0 | | 0 0 0 -x_4 0 x_5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_9 0 0 0 0 0 0 x_10 0 0 0 0 | | 0 0 0 0 -x_5 0 x_6 0 0 0 0 0 0 0 0 0 0 x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_10 0 0 0 | | 0 0 0 0 0 -x_6 0 x_7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_9 0 0 0 0 0 0 x_10 0 0 | | 0 0 0 0 0 0 -x_7 0 x_8 0 x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_10 0 | | x_9 0 0 0 0 0 0 -x_8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_10 | | 0 0 0 0 0 0 0 0 0 0 -z 0 0 0 0 x_7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_8 0 0 0 0 0 0 -x_8 0 0 0 0 0 0 -x_9 0 | | 0 0 0 0 0 0 0 0 0 z 0 -x_2 0 0 0 0 z 0 0 0 0 z 0 0 0 0 0 0 0 0 0 0 0 -x_8 0 0 0 0 0 0 -x_9 0 0 0 0 0 0 -x_1 | | 0 0 0 0 0 0 0 0 0 0 x_2 0 -x_3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_7 0 0 0 0 -x_8 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 x_3 0 -x_4 0 0 0 0 0 0 0 0 0 z 0 0 0 0 0 0 0 0 0 0 0 -x_8 0 0 0 0 0 0 -x_9 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 x_4 0 -x_5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_7 0 0 0 0 -x_8 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 x_5 0 -x_6 0 -z 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_8 0 0 0 0 0 0 -x_9 0 0 0 | | 0 0 0 0 0 0 0 0 0 -x_7 0 0 0 0 x_6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_8 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_5 0 0 0 0 0 0 x_6 0 0 0 0 x_6 0 0 0 0 x_7 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_2 0 0 0 0 0 0 0 0 0 x_6 0 0 0 0 x_7 0 0 0 0 z 0 0 0 0 0 0 -x_1 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_2 0 x_3 0 0 -x_5 0 0 0 0 0 0 x_6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_3 0 x_4 0 0 0 0 0 0 0 0 0 x_6 0 0 0 0 x_7 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_5 0 0 -x_4 0 0 0 0 0 0 0 0 0 0 0 x_6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_3 -x_4 -x_2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_2 x_4 0 -x_5 0 0 0 0 0 0 0 z 0 0 0 0 0 0 -x_1 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_2 0 -x_3 0 0 0 0 0 0 0 z 0 0 0 0 0 0 -x_1 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_4 x_3 0 -x_4 0 0 -x_5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | f_3 = | 0 0 0 0 0 0 0 0 0 -x_8 0 0 0 0 0 0 -x_10 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 -x_9 0 0 0 0 0 0 -x_10 0 0 0 0 0 0 0 | | 0 -x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_10 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 -x_9 0 0 0 0 0 0 -x_10 0 0 0 0 0 | | -x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_10 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_9 0 0 0 0 0 0 -x_10 0 0 0 | | 0 0 0 0 0 x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_10 0 0 | | 0 0 0 0 0 0 0 0 0 -x_9 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_10 0 | | 0 0 0 0 0 0 0 0 0 0 -x_1 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_10 | | 0 0 0 0 x_6 0 0 0 0 x_8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 x_7 0 0 0 0 x_8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 -z 0 0 0 0 0 0 0 0 0 x_8 0 0 0 0 0 0 -x_9 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 x_7 0 0 0 0 x_8 0 0 0 0 0 0 0 0 0 0 0 0 | | -z 0 0 0 0 0 0 0 0 0 0 0 0 x_8 0 0 0 0 0 0 -x_9 0 0 0 0 | | 0 0 0 0 x_7 0 0 0 0 0 0 0 0 0 x_8 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 z 0 0 0 0 0 0 0 0 0 x_8 0 0 0 0 0 0 -x_9 0 0 | | 0 0 -x_4 0 -x_6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | -x_5 0 0 0 0 -x_6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 -x_6 0 0 0 0 x_7 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 -x_5 0 0 0 0 -x_6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 -x_6 0 0 0 0 x_7 0 0 0 0 0 0 0 0 0 0 0 | | 0 -x_2 x_4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | x_2 0 -x_3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | -x_4 x_3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 -x_3 0 0 0 0 0 0 -z 0 0 0 0 0 0 -x_1 0 0 0 0 0 0 0 | | 0 0 0 -x_4 0 0 -x_5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 -x_2 0 0 0 0 0 0 0 0 -z 0 0 0 0 0 0 -x_1 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 -x_5 0 z 0 0 0 0 0 0 x_1 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 x_2 0 0 0 0 0 0 0 -z 0 0 0 0 0 0 -x_1 0 0 0 | | 0 0 0 0 0 -x_2 0 x_3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 -x_3 0 x_4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 x_5 0 0 -x_4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 -z 0 0 0 0 x_7 0 -x_1 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 z 0 -x_2 0 0 0 0 0 0 0 0 0 0 0 x_1 0 | | 0 0 0 0 0 0 0 0 0 0 x_2 0 -x_3 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 x_3 0 -x_4 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 x_4 0 -x_5 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 x_5 0 -x_6 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 -x_7 0 0 0 0 x_6 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_1 0 0 0 0 0 0 -x_9 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_1 0 x_2 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_2 0 x_3 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_3 0 x_4 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_4 0 x_5 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_5 0 x_6 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_6 0 x_7 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -x_7 0 x_8 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x_9 0 0 0 0 0 0 -x_8 0 | f_4 = | -x_10x_3x_6x_8 | | -x_10x_4x_6x_8 | | -x_10x_2x_6x_8 | | x_10zx_5x_7-x_1x_5x_7x_9 | | x_10x_2x_4x_8 | | x_10x_3x_5x_8 | | -x_10zx_4x_7+x_1x_4x_7x_9 | | x_10x_2x_5x_8 | | -x_10zx_3x_7+x_1x_3x_7x_9 | | -x_10x_2x_4x_6 | | -x_10x_3x_5x_7 | | -x_10zx_4x_6+x_1x_4x_6x_9 | | -x_10x_2x_5x_7 | | -x_10zx_3x_6+x_1x_3x_6x_9 | | -x_10x_2x_4x_7 | | -x_10zx_3x_5+x_1x_3x_5x_9 | | x_2x_4x_6x_8 | | x_3x_5x_7x_9 | | x_1x_4x_6x_8 | | x_2x_5x_7x_9 | | x_1x_3x_6x_8 | | x_2x_4x_7x_9 | | x_1x_3x_5x_8 | | x_2x_4x_6x_9 | | x_1x_3x_5x_7 | ------------------------------------------------------------------------------------------------------------------------ |