Last active
November 1, 2022 14:36
-
-
Save maxale/76773bbae43ad953a4fef635c426d299 to your computer and use it in GitHub Desktop.
Partial list of solutions for https://ask.sagemath.org/question/64672/
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [ | |
| {s23: 2*s24*w4/(w4 - 1), | |
| r2: 0, | |
| s13: s14*w4/(w4 - 1), | |
| r1: 0, | |
| s3: s4*w4/(w4 - 1), | |
| r3: (-r4*w4)/(w4 - 1), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {s23: 2*s24*w4/(w4 - 1), | |
| s34: (-s4^2*w4)/(-w4 + 1), | |
| s13: s14*w4/(w4 - 1), | |
| r1: 0, | |
| s3: s4*w4/(w4 - 1), | |
| r3: (-r4*w4)/(w4 - 1), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {r4: (-2*r2*s4^2*w4 + 2*r2*s34*w4 - 2*r2*s34)/(s23*w4 - 2*s24*w4 - s23), | |
| s13: s14*w4/(w4 - 1), | |
| r1: 0, | |
| s3: s4*w4/(w4 - 1), | |
| r3: (2*r2*s4^2*w4^2 - 2*r2*s34*w4^2 + 2*r2*s34*w4)/(s23*w4^2 - 2*s24*w4^2 - 2*s23*w4 + 2*s24*w4 + s23), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {s23: 2*s24*w4/(w4 - 1), | |
| s13: s14*w4/(w4 - 1), | |
| s34: (-s4^2*w4)/(-w4 + 1), | |
| s3: s4*w4/(w4 - 1), | |
| r3: (-r4*w4)/(w4 - 1), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {s23: 2*s24*w4/(w4 - 1), | |
| r2: 0, | |
| r4: (-r1*s4^2*w4 + r1*s34*w4 - r1*s34)/(s13*w4 - s14*w4 - s13), | |
| s3: s4*w4/(w4 - 1), | |
| r3: (r1*s4^2*w4^2 - r1*s34*w4^2 + r1*s34*w4)/(s13*w4^2 - s14*w4^2 - 2*s13*w4 + s14*w4 + s13), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {r1: (-2*r2*s13*w4 + 2*r2*s14*w4 + 2*r2*s13)/(-s23*w4 + 2*s24*w4 + s23), | |
| r4: (2*r2*s4^2*w4 - 2*r2*s34*w4 + 2*r2*s34)/(-s23*w4 + 2*s24*w4 + s23), | |
| s3: s4*w4/(w4 - 1), | |
| r3: (-2*r2*s4^2*w4^2 + 2*r2*s34*w4^2 - 2*r2*s34*w4)/(-s23*w4^2 + 2*s24*w4^2 + 2*s23*w4 - 2*s24*w4 - s23), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {s23: 2*s24*w4/(w4 - 1), | |
| r2: 0, | |
| s13: s14*w4/(w4 - 1), | |
| r1: 0, | |
| s3: (-s4*w4)/(w4 - 1), | |
| r3: (-r4*w4)/(w4 - 1), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {s23: 2*s24*w4/(w4 - 1), | |
| s34: (-s4^2*w4)/(-w4 + 1), | |
| s13: s14*w4/(w4 - 1), | |
| r1: 0, | |
| s3: (-s4*w4)/(w4 - 1), | |
| r3: (-r4*w4)/(w4 - 1), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {r4: (-2*r2*s4^2*w4 + 2*r2*s34*w4 - 2*r2*s34)/(s23*w4 - 2*s24*w4 - s23), | |
| s13: s14*w4/(w4 - 1), | |
| r1: 0, | |
| s3: (-s4*w4)/(w4 - 1), | |
| r3: (2*r2*s4^2*w4^2 - 2*r2*s34*w4^2 + 2*r2*s34*w4)/(s23*w4^2 - 2*s24*w4^2 - 2*s23*w4 + 2*s24*w4 + s23), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {s23: 2*s24*w4/(w4 - 1), | |
| s13: s14*w4/(w4 - 1), | |
| s34: (-s4^2*w4)/(-w4 + 1), | |
| s3: (-s4*w4)/(w4 - 1), | |
| r3: (-r4*w4)/(w4 - 1), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {s23: 2*s24*w4/(w4 - 1), | |
| r2: 0, | |
| r4: (-r1*s4^2*w4 + r1*s34*w4 - r1*s34)/(s13*w4 - s14*w4 - s13), | |
| s3: (-s4*w4)/(w4 - 1), | |
| r3: (r1*s4^2*w4^2 - r1*s34*w4^2 + r1*s34*w4)/(s13*w4^2 - s14*w4^2 - 2*s13*w4 + s14*w4 + s13), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {r1: (-2*r2*s13*w4 + 2*r2*s14*w4 + 2*r2*s13)/(-s23*w4 + 2*s24*w4 + s23), | |
| r4: (2*r2*s4^2*w4 - 2*r2*s34*w4 + 2*r2*s34)/(-s23*w4 + 2*s24*w4 + s23), | |
| s3: (-s4*w4)/(w4 - 1), | |
| r3: (-2*r2*s4^2*w4^2 + 2*r2*s34*w4^2 - 2*r2*s34*w4)/(-s23*w4^2 + 2*s24*w4^2 + 2*s23*w4 - 2*s24*w4 - s23), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {r1: (-r2*s14)/(-s24), | |
| r4: r2*s4^2/s24, | |
| w4: 1, | |
| s34: (-r3*s24)/(-r2), | |
| w3: 0, | |
| w2: 0, | |
| w1: 0}, | |
| {s23: 2*s24*w4/(w4 - 1), | |
| r2: 0, | |
| s13: s14*w4/(w4 - 1), | |
| r1: 0, | |
| s34: (-r4*s3^2*w4 - r3*s4^2*w4 + r4*s3^2)/(-r3*w4 - r4*w4 + r3), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {s23: 2*s24*w4/(w4 - 1), | |
| s3: s4*w4/(w4 - 1), | |
| s13: s14*w4/(w4 - 1), | |
| r1: 0, | |
| s34: (-s4^2*w4)/(-w4 + 1), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {s23: 2*s24*w4/(w4 - 1), | |
| s3: (-s4*w4)/(w4 - 1), | |
| s13: s14*w4/(w4 - 1), | |
| r1: 0, | |
| s34: (-s4^2*w4)/(-w4 + 1), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {r3: (-2*r2*s3^2*w4^2 + 2*r2*s4^2*w4^2 + 4*r2*s3^2*w4 + r4*s23*w4^2 - 2*r4*s24*w4^2 - 2*r2*s3^2 - r4*s23*w4)/(-s23*w4^2 + 2*s24*w4^2 + 2*s23*w4 - 2*s24*w4 - s23), | |
| s13: s14*w4/(w4 - 1), | |
| r1: 0, | |
| s34: (2*r2*s4^2*w4 + r4*s23*w4 - 2*r4*s24*w4 - r4*s23)/(2*r2*w4 - 2*r2), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {s23: 2*s24*w4/(w4 - 1), | |
| s13: s14*w4/(w4 - 1), | |
| s3: s4*w4/(w4 - 1), | |
| s34: (-s4^2*w4)/(-w4 + 1), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {s23: 2*s24*w4/(w4 - 1), | |
| s13: s14*w4/(w4 - 1), | |
| s3: (-s4*w4)/(w4 - 1), | |
| s34: (-s4^2*w4)/(-w4 + 1), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {s23: 2*s24*w4/(w4 - 1), | |
| r2: 0, | |
| r3: (-r1*s3^2*w4^2 + r1*s4^2*w4^2 + 2*r1*s3^2*w4 + r4*s13*w4^2 - r4*s14*w4^2 - r1*s3^2 - r4*s13*w4)/(-s13*w4^2 + s14*w4^2 + 2*s13*w4 - s14*w4 - s13), | |
| s34: (r1*s4^2*w4 + r4*s13*w4 - r4*s14*w4 - r4*s13)/(r1*w4 - r1), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {r1: (-2*r2*s13*w4 + 2*r2*s14*w4 + 2*r2*s13)/(-s23*w4 + 2*s24*w4 + s23), | |
| r3: (-2*r2*s3^2*w4^2 + 2*r2*s4^2*w4^2 + 4*r2*s3^2*w4 + r4*s23*w4^2 - 2*r4*s24*w4^2 - 2*r2*s3^2 - r4*s23*w4)/(-s23*w4^2 + 2*s24*w4^2 + 2*s23*w4 - 2*s24*w4 - s23), | |
| s34: (2*r2*s4^2*w4 + r4*s23*w4 - 2*r4*s24*w4 - r4*s23)/(2*r2*w4 - 2*r2), | |
| w3: -w4 + 1, | |
| w2: 0, | |
| w1: 0}, | |
| {s14: (-4*s1^2*w3^2 + s2^2*w3^2 + s3^2*w3^2 - 8*s1^2*w3*w4 + 2*s2^2*w3*w4 - 2*s4^2*w3*w4 - 4*s1^2*w4^2 + s2^2*w4^2 - s4^2*w4^2 + 8*s1^2*w3 - 2*s2^2*w3 + s23*w3^2 - 2*s24*w3^2 - 2*s34*w3^2 + 8*s1^2*w4 - 2*s2^2*w4 + 2*s4^2*w4 + s23*w3*w4 - 2*s24*w3*w4 - 4*s1^2 + s2^2 - s23*w3 + 4*s24*w3 + 2*s34*w3 + 2*s24*w4 - 2*s24)/(-4*w3^2 - 8*w3*w4 - 4*w4^2 + 8*w3 + 8*w4 - 4), | |
| s12: (128*r2*s1^2*w3^2 - 32*r2*s2^2*w3^2 + 64*r4*s2^2*w3^2 - 32*r2*s3^2*w3^2 + 256*r2*s1^2*w3*w4 - 64*r2*s2^2*w3*w4 + 128*r4*s2^2*w3*w4 + 128*r2*s1^2*w4^2 - 32*r2*s2^2*w4^2 + 64*r4*s2^2*w4^2 - 32*r2*s4^2*w4^2 - 256*r2*s1^2*w3 + 64*r2*s2^2*w3 - 128*r4*s2^2*w3 - 32*r2*s23*w3^2 + 32*r4*s23*w3^2 - 256*r2*s1^2*w4 + 64*r2*s2^2*w4 - 128*r4*s2^2*w4 - 32*r2*s23*w3*w4 + 32*r4*s23*w3*w4 - 64*r2*s24*w3*w4 + 64*r4*s24*w3*w4 - 64*r2*s34*w3*w4 - 64*r2*s24*w4^2 + 64*r4*s24*w4^2 + 128*r2*s1^2 - 32*r2*s2^2 + 64*r4*s2^2 + 32*r2*s23*w3 - 32*r4*s23*w3 + 64*r2*s24*w4 - 64*r4*s24*w4)/(128*r4*w3^2 + 256*r4*w3*w4 + 128*r4*w4^2 - 256*r4*w3 - 256*r4*w4 + 128*r4), | |
| s13: (32*s1^2*w3^3 - 8*s2^2*w3^3 + 8*s3^2*w3^3 + 64*s1^2*w3^2*w4 - 16*s2^2*w3^2*w4 + 16*s3^2*w3^2*w4 + 32*s1^2*w3*w4^2 - 8*s2^2*w3*w4^2 - 8*s4^2*w3*w4^2 - 96*s1^2*w3^2 + 24*s2^2*w3^2 - 8*s3^2*w3^2 - 128*s1^2*w3*w4 + 32*s2^2*w3*w4 + 8*s23*w3^2*w4 - 16*s24*w3^2*w4 - 32*s1^2*w4^2 + 8*s2^2*w4^2 + 8*s4^2*w4^2 + 8*s23*w3*w4^2 - 16*s24*w3*w4^2 + 16*s34*w3*w4^2 + 96*s1^2*w3 - 24*s2^2*w3 + 64*s1^2*w4 - 16*s2^2*w4 - 8*s23*w3*w4 + 32*s24*w3*w4 + 16*s24*w4^2 - 32*s1^2 + 8*s2^2 - 16*s24*w4)/(32*w3^3 + 64*w3^2*w4 + 32*w3*w4^2 - 64*w3^2 - 64*w3*w4 + 32*w3), | |
| r1: -1/2*r2 + 1/2*r4, | |
| r3: (r4*w3 - r4)/w3, | |
| w2: w3 + w4 - 1, | |
| w1: -2*w3 - 2*w4 + 2}, | |
| {s14: (-4*r4*s1^2*w3^2 + r4*s2^2*w3^2 + r4*s3^2*w3^2 - 8*r4*s1^2*w3*w4 + 2*r4*s2^2*w3*w4 - 2*r1*s4^2*w3*w4 - r2*s4^2*w3*w4 - r4*s4^2*w3*w4 - 4*r4*s1^2*w4^2 + r4*s2^2*w4^2 - 2*r1*s4^2*w4^2 - r2*s4^2*w4^2 + 8*r4*s1^2*w3 - 2*r4*s2^2*w3 + r4*s23*w3^2 - 2*r1*s24*w3^2 - r2*s24*w3^2 - r4*s24*w3^2 - 2*r1*s34*w3^2 - r2*s34*w3^2 - r4*s34*w3^2 + 8*r4*s1^2*w4 - 2*r4*s2^2*w4 + 2*r1*s4^2*w4 + r2*s4^2*w4 + r4*s4^2*w4 + r4*s23*w3*w4 - 4*r1*s24*w3*w4 - 2*r2*s24*w3*w4 - 2*r1*s34*w3*w4 - r2*s34*w3*w4 + r4*s34*w3*w4 - 2*r1*s24*w4^2 - r2*s24*w4^2 + r4*s24*w4^2 - 4*r4*s1^2 + r4*s2^2 - r4*s23*w3 + 4*r1*s24*w3 + 2*r2*s24*w3 + 2*r4*s24*w3 + 2*r1*s34*w3 + r2*s34*w3 + r4*s34*w3 + 4*r1*s24*w4 + 2*r2*s24*w4 - 2*r1*s24 - r2*s24 - r4*s24)/(-4*r1*w3^2 - 2*r2*w3^2 - 2*r4*w3^2 - 8*r1*w3*w4 - 4*r2*w3*w4 - 4*r4*w3*w4 - 4*r1*w4^2 - 2*r2*w4^2 - 2*r4*w4^2 + 8*r1*w3 + 4*r2*w3 + 4*r4*w3 + 8*r1*w4 + 4*r2*w4 + 4*r4*w4 - 4*r1 - 2*r2 - 2*r4), | |
| s13: (128*r4*s1^2*w3^3 - 32*r4*s2^2*w3^3 + 64*r1*s3^2*w3^3 + 32*r2*s3^2*w3^3 + 256*r4*s1^2*w3^2*w4 - 64*r4*s2^2*w3^2*w4 + 64*r1*s3^2*w3^2*w4 + 32*r2*s3^2*w3^2*w4 + 32*r4*s3^2*w3^2*w4 + 128*r4*s1^2*w3*w4^2 - 32*r4*s2^2*w3*w4^2 - 32*r4*s4^2*w3*w4^2 - 384*r4*s1^2*w3^2 + 96*r4*s2^2*w3^2 - 64*r1*s3^2*w3^2 - 32*r2*s3^2*w3^2 + 32*r1*s23*w3^3 + 16*r2*s23*w3^3 - 16*r4*s23*w3^3 - 512*r4*s1^2*w3*w4 + 128*r4*s2^2*w3*w4 + 64*r1*s23*w3^2*w4 + 32*r2*s23*w3^2*w4 - 64*r4*s24*w3^2*w4 + 64*r1*s34*w3^2*w4 + 32*r2*s34*w3^2*w4 - 32*r4*s34*w3^2*w4 - 128*r4*s1^2*w4^2 + 32*r4*s2^2*w4^2 + 32*r4*s4^2*w4^2 + 32*r1*s23*w3*w4^2 + 16*r2*s23*w3*w4^2 + 16*r4*s23*w3*w4^2 - 64*r4*s24*w3*w4^2 + 64*r1*s34*w3*w4^2 + 32*r2*s34*w3*w4^2 + 32*r4*s34*w3*w4^2 + 384*r4*s1^2*w3 - 96*r4*s2^2*w3 - 64*r1*s23*w3^2 - 32*r2*s23*w3^2 + 32*r4*s23*w3^2 + 256*r4*s1^2*w4 - 64*r4*s2^2*w4 - 64*r1*s23*w3*w4 - 32*r2*s23*w3*w4 + 128*r4*s24*w3*w4 - 64*r1*s34*w3*w4 - 32*r2*s34*w3*w4 + 32*r4*s34*w3*w4 + 64*r4*s24*w4^2 - 128*r4*s1^2 + 32*r4*s2^2 + 32*r1*s23*w3 + 16*r2*s23*w3 - 16*r4*s23*w3 - 64*r4*s24*w4)/(128*r1*w3^3 + 64*r2*w3^3 + 64*r4*w3^3 + 256*r1*w3^2*w4 + 128*r2*w3^2*w4 + 128*r4*w3^2*w4 + 128*r1*w3*w4^2 + 64*r2*w3*w4^2 + 64*r4*w3*w4^2 - 256*r1*w3^2 - 128*r2*w3^2 - 128*r4*w3^2 - 256*r1*w3*w4 - 128*r2*w3*w4 - 128*r4*w3*w4 + 128*r1*w3 + 64*r2*w3 + 64*r4*w3), | |
| s12: (512*r2*s1^2*w3^2 + 256*r1*s2^2*w3^2 + 128*r4*s2^2*w3^2 - 128*r2*s3^2*w3^2 + 1024*r2*s1^2*w3*w4 + 512*r1*s2^2*w3*w4 + 256*r4*s2^2*w3*w4 + 512*r2*s1^2*w4^2 + 256*r1*s2^2*w4^2 + 128*r4*s2^2*w4^2 - 128*r2*s4^2*w4^2 - 1024*r2*s1^2*w3 - 512*r1*s2^2*w3 - 256*r4*s2^2*w3 + 128*r1*s23*w3^2 - 64*r2*s23*w3^2 + 64*r4*s23*w3^2 - 1024*r2*s1^2*w4 - 512*r1*s2^2*w4 - 256*r4*s2^2*w4 + 128*r1*s23*w3*w4 - 64*r2*s23*w3*w4 + 64*r4*s23*w3*w4 + 256*r1*s24*w3*w4 - 128*r2*s24*w3*w4 + 128*r4*s24*w3*w4 - 256*r2*s34*w3*w4 + 256*r1*s24*w4^2 - 128*r2*s24*w4^2 + 128*r4*s24*w4^2 + 512*r2*s1^2 + 256*r1*s2^2 + 128*r4*s2^2 - 128*r1*s23*w3 + 64*r2*s23*w3 - 64*r4*s23*w3 - 256*r1*s24*w4 + 128*r2*s24*w4 - 128*r4*s24*w4)/(512*r1*w3^2 + 256*r2*w3^2 + 256*r4*w3^2 + 1024*r1*w3*w4 + 512*r2*w3*w4 + 512*r4*w3*w4 + 512*r1*w4^2 + 256*r2*w4^2 + 256*r4*w4^2 - 1024*r1*w3 - 512*r2*w3 - 512*r4*w3 - 1024*r1*w4 - 512*r2*w4 - 512*r4*w4 + 512*r1 + 256*r2 + 256*r4), | |
| r3: (r4*w3 - r4)/w3, | |
| w2: w3 + w4 - 1, | |
| w1: -2*w3 - 2*w4 + 2}, | |
| {s23: (s1^2*w2^2 - s2^2*w2^2 + 2*s1^2*w2*w3 + s1^2*w3^2 - s3^2*w3^2 + 2*s1^2*w2*w4 + 2*s1^2*w3*w4 + s1^2*w4^2 - s4^2*w4^2 - 2*s1^2*w2 - 2*s1^2*w3 - 2*s1^2*w4 - 2*s24*w2*w4 - 2*s34*w3*w4 + s1^2)/(w2*w3), | |
| r3: (-r4*w2 + r4*w4)/(-w3), | |
| s13: (1/2*s1^2*w2^2 - 1/2*s2^2*w2^2 + s1^2*w2*w3 + 1/2*s1^2*w3^2 + 1/2*s3^2*w3^2 + s1^2*w2*w4 - s4^2*w2*w4 + s1^2*w3*w4 + 1/2*s1^2*w4^2 + 1/2*s4^2*w4^2 - s1^2*w2 + s14*w2^2 - s24*w2^2 - s1^2*w3 + s14*w2*w3 - s34*w2*w3 - s1^2*w4 - s14*w3*w4 + s34*w3*w4 - s14*w4^2 + 1/2*s1^2 - s14*w2 + s14*w4)/(w2*w3 + w3^2 + w3*w4 - w3), | |
| s12: (-r4*s1^2*w2^2 - r4*s2^2*w2^2 - 2*r4*s1^2*w2*w3 - r4*s1^2*w3^2 + r4*s3^2*w3^2 - 2*r4*s1^2*w2*w4 + 2*r2*s4^2*w2*w4 - 2*r4*s1^2*w3*w4 - r4*s1^2*w4^2 + r4*s4^2*w4^2 + 2*r4*s1^2*w2 - 2*r2*s14*w2^2 + 2*r2*s24*w2^2 + 2*r4*s1^2*w3 - 2*r2*s14*w2*w3 + 2*r2*s34*w2*w3 + 2*r4*s1^2*w4 - 2*r2*s14*w2*w4 + 2*r4*s34*w3*w4 - r4*s1^2 + 2*r2*s14*w2)/(-2*r4*w2^2 - 2*r4*w2*w3 - 2*r4*w2*w4 + 2*r4*w2), | |
| r1: (-r2*w2 - r4*w2)/(w2 + w3 + w4 - 1), | |
| w1: -w2 - w3 - w4 + 1}, | |
| {s14: (-r4*s1^2*w2^3 + r4*s2^2*w2^3 - r4*s1^2*w2^2*w3 - r4*s2^2*w2^2*w3 + r4*s1^2*w2*w3^2 + r4*s3^2*w2*w3^2 + r4*s1^2*w3^3 - r4*s3^2*w3^3 - r4*s1^2*w2^2*w4 - r4*s2^2*w2^2*w4 - 2*r4*s4^2*w2^2*w4 + 2*r4*s1^2*w2*w3*w4 + 2*r3*s4^2*w2*w3*w4 - 2*r4*s4^2*w2*w3*w4 + 3*r4*s1^2*w3^2*w4 - r4*s3^2*w3^2*w4 + 2*r3*s4^2*w3^2*w4 + r4*s1^2*w2*w4^2 + r4*s4^2*w2*w4^2 + 3*r4*s1^2*w3*w4^2 + 2*r3*s4^2*w3*w4^2 + r4*s4^2*w3*w4^2 + r4*s1^2*w4^3 + r4*s4^2*w4^3 + r4*s1^2*w2^2 + r4*s2^2*w2^2 - 2*r4*s24*w2^3 - 2*r4*s1^2*w2*w3 + r4*s23*w2^2*w3 + 2*r3*s24*w2^2*w3 - 2*r4*s24*w2^2*w3 - 2*r4*s34*w2^2*w3 - 3*r4*s1^2*w3^2 + r4*s3^2*w3^2 - r4*s23*w2*w3^2 + 2*r3*s24*w2*w3^2 + 2*r3*s34*w2*w3^2 - 2*r4*s34*w2*w3^2 + 2*r3*s34*w3^3 - 2*r4*s1^2*w2*w4 + 2*r4*s4^2*w2*w4 + 2*r4*s24*w2^2*w4 - 6*r4*s1^2*w3*w4 - 2*r3*s4^2*w3*w4 - r4*s23*w2*w3*w4 + 2*r3*s24*w2*w3*w4 + 2*r4*s34*w2*w3*w4 + 2*r3*s34*w3^2*w4 - 3*r4*s1^2*w4^2 - r4*s4^2*w4^2 + r4*s1^2*w2 + 2*r4*s24*w2^2 + 3*r4*s1^2*w3 + r4*s23*w2*w3 - 2*r3*s24*w2*w3 + 2*r4*s34*w2*w3 - 2*r3*s34*w3^2 + 3*r4*s1^2*w4 - r4*s1^2)/(-2*r4*w2^3 + 2*r3*w2^2*w3 - 4*r4*w2^2*w3 + 4*r3*w2*w3^2 - 2*r4*w2*w3^2 + 2*r3*w3^3 - 2*r4*w2^2*w4 + 4*r3*w2*w3*w4 + 4*r3*w3^2*w4 + 2*r4*w3^2*w4 + 2*r4*w2*w4^2 + 2*r3*w3*w4^2 + 4*r4*w3*w4^2 + 2*r4*w4^3 + 4*r4*w2^2 - 4*r3*w2*w3 + 4*r4*w2*w3 - 4*r3*w3^2 - 4*r3*w3*w4 - 4*r4*w3*w4 - 4*r4*w4^2 - 2*r4*w2 + 2*r3*w3 + 2*r4*w4), | |
| s13: (-8*r3*s1^2*w2^3 + 8*r3*s2^2*w2^3 - 8*r3*s1^2*w2^2*w3 - 8*r3*s2^2*w2^2*w3 - 16*r4*s3^2*w2^2*w3 + 8*r3*s1^2*w2*w3^2 + 24*r3*s3^2*w2*w3^2 - 16*r4*s3^2*w2*w3^2 + 8*r3*s1^2*w3^3 + 8*r3*s3^2*w3^3 - 8*r3*s1^2*w2^2*w4 - 8*r3*s2^2*w2^2*w4 + 16*r3*s1^2*w2*w3*w4 + 24*r3*s1^2*w3^2*w4 + 8*r3*s3^2*w3^2*w4 + 16*r4*s3^2*w3^2*w4 + 8*r3*s1^2*w2*w4^2 + 8*r3*s4^2*w2*w4^2 + 24*r3*s1^2*w3*w4^2 + 16*r4*s3^2*w3*w4^2 - 8*r3*s4^2*w3*w4^2 + 8*r3*s1^2*w4^3 - 8*r3*s4^2*w4^3 + 8*r3*s1^2*w2^2 + 8*r3*s2^2*w2^2 - 8*r4*s23*w2^3 - 16*r3*s1^2*w2*w3 + 16*r4*s3^2*w2*w3 + 16*r3*s23*w2^2*w3 - 8*r4*s23*w2^2*w3 - 24*r3*s1^2*w3^2 - 8*r3*s3^2*w3^2 - 16*r3*s1^2*w2*w4 + 16*r3*s24*w2^2*w4 - 16*r4*s34*w2^2*w4 - 48*r3*s1^2*w3*w4 - 16*r4*s3^2*w3*w4 + 8*r4*s23*w2*w3*w4 - 16*r3*s24*w2*w3*w4 + 32*r3*s34*w2*w3*w4 - 16*r4*s34*w2*w3*w4 - 24*r3*s1^2*w4^2 + 8*r3*s4^2*w4^2 + 8*r4*s23*w2*w4^2 - 16*r3*s24*w2*w4^2 + 16*r4*s34*w3*w4^2 + 16*r4*s34*w4^3 + 8*r3*s1^2*w2 + 8*r4*s23*w2^2 + 24*r3*s1^2*w3 + 24*r3*s1^2*w4 - 8*r4*s23*w2*w4 + 16*r3*s24*w2*w4 + 16*r4*s34*w2*w4 - 16*r4*s34*w4^2 - 8*r3*s1^2)/(-16*r4*w2^3 + 16*r3*w2^2*w3 - 32*r4*w2^2*w3 + 32*r3*w2*w3^2 - 16*r4*w2*w3^2 + 16*r3*w3^3 - 16*r4*w2^2*w4 + 32*r3*w2*w3*w4 + 32*r3*w3^2*w4 + 16*r4*w3^2*w4 + 16*r4*w2*w4^2 + 16*r3*w3*w4^2 + 32*r4*w3*w4^2 + 16*r4*w4^3 + 32*r4*w2^2 - 32*r3*w2*w3 + 32*r4*w2*w3 - 32*r3*w3^2 - 32*r3*w3*w4 - 32*r4*w3*w4 - 32*r4*w4^2 - 16*r4*w2 + 16*r3*w3 + 16*r4*w4), | |
| s12: (-5708990770823839524233143877797980545530986496*r2*s1^2*w2^3 + 5708990770823839524233143877797980545530986496*r2*s2^2*w2^3 - 11417981541647679048466287755595961091061972992*r4*s2^2*w2^3 - 5708990770823839524233143877797980545530986496*r2*s1^2*w2^2*w3 - 5708990770823839524233143877797980545530986496*r2*s2^2*w2^2*w3 + 11417981541647679048466287755595961091061972992*r3*s2^2*w2^2*w3 - 11417981541647679048466287755595961091061972992*r4*s2^2*w2^2*w3 + 5708990770823839524233143877797980545530986496*r2*s1^2*w2*w3^2 + 11417981541647679048466287755595961091061972992*r3*s2^2*w2*w3^2 + 5708990770823839524233143877797980545530986496*r2*s3^2*w2*w3^2 + 5708990770823839524233143877797980545530986496*r2*s1^2*w3^3 - 5708990770823839524233143877797980545530986496*r2*s3^2*w3^3 - 5708990770823839524233143877797980545530986496*r2*s1^2*w2^2*w4 - 5708990770823839524233143877797980545530986496*r2*s2^2*w2^2*w4 + 11417981541647679048466287755595961091061972992*r2*s1^2*w2*w3*w4 + 11417981541647679048466287755595961091061972992*r3*s2^2*w2*w3*w4 + 11417981541647679048466287755595961091061972992*r4*s2^2*w2*w3*w4 + 17126972312471518572699431633393941636592959488*r2*s1^2*w3^2*w4 - 5708990770823839524233143877797980545530986496*r2*s3^2*w3^2*w4 + 5708990770823839524233143877797980545530986496*r2*s1^2*w2*w4^2 + 11417981541647679048466287755595961091061972992*r4*s2^2*w2*w4^2 + 5708990770823839524233143877797980545530986496*r2*s4^2*w2*w4^2 + 17126972312471518572699431633393941636592959488*r2*s1^2*w3*w4^2 - 5708990770823839524233143877797980545530986496*r2*s4^2*w3*w4^2 + 5708990770823839524233143877797980545530986496*r2*s1^2*w4^3 - 5708990770823839524233143877797980545530986496*r2*s4^2*w4^3 + 5708990770823839524233143877797980545530986496*r2*s1^2*w2^2 + 5708990770823839524233143877797980545530986496*r2*s2^2*w2^2 + 11417981541647679048466287755595961091061972992*r4*s2^2*w2^2 - 11417981541647679048466287755595961091061972992*r2*s1^2*w2*w3 - 11417981541647679048466287755595961091061972992*r3*s2^2*w2*w3 + 5708990770823839524233143877797980545530986496*r2*s23*w2^2*w3 - 5708990770823839524233143877797980545530986496*r4*s23*w2^2*w3 - 17126972312471518572699431633393941636592959488*r2*s1^2*w3^2 + 5708990770823839524233143877797980545530986496*r2*s3^2*w3^2 - 5708990770823839524233143877797980545530986496*r2*s23*w2*w3^2 + 5708990770823839524233143877797980545530986496*r3*s23*w2*w3^2 - 5708990770823839524233143877797980545530986496*r4*s23*w2*w3^2 + 5708990770823839524233143877797980545530986496*r3*s23*w3^3 - 11417981541647679048466287755595961091061972992*r2*s1^2*w2*w4 - 11417981541647679048466287755595961091061972992*r4*s2^2*w2*w4 + 11417981541647679048466287755595961091061972992*r2*s24*w2^2*w4 - 11417981541647679048466287755595961091061972992*r4*s24*w2^2*w4 - 34253944624943037145398863266787883273185918976*r2*s1^2*w3*w4 - 5708990770823839524233143877797980545530986496*r2*s23*w2*w3*w4 - 11417981541647679048466287755595961091061972992*r2*s24*w2*w3*w4 + 11417981541647679048466287755595961091061972992*r3*s24*w2*w3*w4 - 11417981541647679048466287755595961091061972992*r4*s24*w2*w3*w4 + 11417981541647679048466287755595961091061972992*r2*s34*w2*w3*w4 + 5708990770823839524233143877797980545530986496*r3*s23*w3^2*w4 + 5708990770823839524233143877797980545530986496*r4*s23*w3^2*w4 + 11417981541647679048466287755595961091061972992*r3*s24*w3^2*w4 - 11417981541647679048466287755595961091061972992*r2*s34*w3^2*w4 - 17126972312471518572699431633393941636592959488*r2*s1^2*w4^2 + 5708990770823839524233143877797980545530986496*r2*s4^2*w4^2 - 11417981541647679048466287755595961091061972992*r2*s24*w2*w4^2 + 5708990770823839524233143877797980545530986496*r4*s23*w3*w4^2 + 11417981541647679048466287755595961091061972992*r3*s24*w3*w4^2 + 11417981541647679048466287755595961091061972992*r4*s24*w3*w4^2 - 11417981541647679048466287755595961091061972992*r2*s34*w3*w4^2 + 11417981541647679048466287755595961091061972992*r4*s24*w4^3 + 5708990770823839524233143877797980545530986496*r2*s1^2*w2 + 17126972312471518572699431633393941636592959488*r2*s1^2*w3 + 5708990770823839524233143877797980545530986496*r2*s23*w2*w3 + 5708990770823839524233143877797980545530986496*r4*s23*w2*w3 - 5708990770823839524233143877797980545530986496*r3*s23*w3^2 + 17126972312471518572699431633393941636592959488*r2*s1^2*w4 + 11417981541647679048466287755595961091061972992*r2*s24*w2*w4 + 11417981541647679048466287755595961091061972992*r4*s24*w2*w4 - 5708990770823839524233143877797980545530986496*r4*s23*w3*w4 - 11417981541647679048466287755595961091061972992*r3*s24*w3*w4 + 11417981541647679048466287755595961091061972992*r2*s34*w3*w4 - 11417981541647679048466287755595961091061972992*r4*s24*w4^2 - 5708990770823839524233143877797980545530986496*r2*s1^2)/(-11417981541647679048466287755595961091061972992*r4*w2^3 + 11417981541647679048466287755595961091061972992*r3*w2^2*w3 - 22835963083295358096932575511191922182123945984*r4*w2^2*w3 + 22835963083295358096932575511191922182123945984*r3*w2*w3^2 - 11417981541647679048466287755595961091061972992*r4*w2*w3^2 + 11417981541647679048466287755595961091061972992*r3*w3^3 - 11417981541647679048466287755595961091061972992*r4*w2^2*w4 + 22835963083295358096932575511191922182123945984*r3*w2*w3*w4 + 22835963083295358096932575511191922182123945984*r3*w3^2*w4 + 11417981541647679048466287755595961091061972992*r4*w3^2*w4 + 11417981541647679048466287755595961091061972992*r4*w2*w4^2 + 11417981541647679048466287755595961091061972992*r3*w3*w4^2 + 22835963083295358096932575511191922182123945984*r4*w3*w4^2 + 11417981541647679048466287755595961091061972992*r4*w4^3 + 22835963083295358096932575511191922182123945984*r4*w2^2 - 22835963083295358096932575511191922182123945984*r3*w2*w3 + 22835963083295358096932575511191922182123945984*r4*w2*w3 - 22835963083295358096932575511191922182123945984*r3*w3^2 - 22835963083295358096932575511191922182123945984*r3*w3*w4 - 22835963083295358096932575511191922182123945984*r4*w3*w4 - 22835963083295358096932575511191922182123945984*r4*w4^2 - 11417981541647679048466287755595961091061972992*r4*w2 + 11417981541647679048466287755595961091061972992*r3*w3 + 11417981541647679048466287755595961091061972992*r4*w4), | |
| r1: (-r2*w2^2 + 2*r4*w2^2 + r2*w2*w3 - 3*r3*w2*w3 + 2*r4*w2*w3 - r3*w3^2 + r2*w2*w4 - r4*w2*w4 - r3*w3*w4 - r4*w3*w4 - r4*w4^2 - r2*w2 - 2*r4*w2 + r3*w3 + r4*w4)/(w2^2 - w3^2 - 2*w3*w4 - w4^2 + 2*w3 + 2*w4 - 1), | |
| w1: -w2 - w3 - w4 + 1}, | |
| {s34: (-s2^2*w4^2 + s3^2*w4^2 + 4*s4^2*w4^2 + 2*s2^2*w4 - 2*s3^2*w4 - s2^2 + s3^2)/(4*w4^2 - 4*w4), | |
| r2: r3, | |
| s24: (-2*s2^2*w4^2 + 2*s3^2*w4^2 - 8*s4^2*w4^2 + 4*s2^2*w4 - 4*s3^2*w4 - 2*s2^2 + 2*s3^2)/(-8*w4^2 + 8*w4), | |
| w3: -1/2*w4 + 1/2, | |
| r4: 0, | |
| w2: -1/2*w4 + 1/2, | |
| s12: (-1/2*r1*s2^2*w4^2 - 1/2*r1*s3^2*w4^2 + 2*r1*s4^2*w4^2 + r1*s2^2*w4 + r1*s3^2*w4 + r3*s13*w4^2 - 2*r3*s14*w4^2 - 1/2*r1*s23*w4^2 - 1/2*r1*s2^2 - 1/2*r1*s3^2 - 2*r3*s13*w4 + 2*r3*s14*w4 + r1*s23*w4 + r3*s13 - 1/2*r1*s23)/(-r3*w4^2 + 2*r3*w4 - r3), | |
| w1: 0}, | |
| {s23: (2*r3*s2^2*w4^2 - 2*r2*s3^2*w4^2 - 8*r3*s4^2*w4^2 - 4*r3*s2^2*w4 + 4*r2*s3^2*w4 + 4*r2*s34*w4^2 + 4*r3*s34*w4^2 + 2*r3*s2^2 - 2*r2*s3^2 - 4*r2*s34*w4 - 4*r3*s34*w4)/(r2*w4^2 - r3*w4^2 - 2*r2*w4 + 2*r3*w4 + r2 - r3), | |
| s24: (-s4^2*w4 + 1/2*s34*w4 - 1/2*s34)/(-1/2*w4 + 1/2), | |
| w3: -1/2*w4 + 1/2, | |
| r4: 0, | |
| w2: -1/2*w4 + 1/2, | |
| s12: (-1/8*r1*s2^2*w4^2 + 1/8*r1*s3^2*w4^2 + 1/2*r1*s4^2*w4^2 + 1/4*r1*s2^2*w4 - 1/4*r1*s3^2*w4 + 1/8*r2*s13*w4^2 - 1/8*r3*s13*w4^2 - 1/4*r2*s14*w4^2 + 1/4*r3*s14*w4^2 - 1/2*r1*s34*w4^2 - 1/8*r1*s2^2 + 1/8*r1*s3^2 - 1/4*r2*s13*w4 + 1/4*r3*s13*w4 + 1/4*r2*s14*w4 - 1/4*r3*s14*w4 + 1/2*r1*s34*w4 + 1/8*r2*s13 - 1/8*r3*s13)/(-1/8*r2*w4^2 + 1/8*r3*w4^2 + 1/4*r2*w4 - 1/4*r3*w4 - 1/8*r2 + 1/8*r3), | |
| w1: 0}, | |
| {s24: (2*s2^2*w3^3 - 2*s3^2*w3^3 + 5*s2^2*w3^2*w4 - s3^2*w3^2*w4 + 4*s4^2*w3^2*w4 + 4*s2^2*w3*w4^2 + 4*s4^2*w3*w4^2 + s2^2*w4^3 + s4^2*w4^3 - 5*s2^2*w3^2 + s3^2*w3^2 + 4*s34*w3^3 - 8*s2^2*w3*w4 - 4*s4^2*w3*w4 + 2*s34*w3^2*w4 - 3*s2^2*w4^2 - s4^2*w4^2 + 4*s2^2*w3 - 4*s34*w3^2 + 3*s2^2*w4 - s2^2)/(4*w3^3 + 10*w3^2*w4 + 8*w3*w4^2 + 2*w4^3 - 8*w3^2 - 12*w3*w4 - 4*w4^2 + 4*w3 + 2*w4), | |
| s23: (-8*r3*s2^2*w3^3 + 8*r3*s3^2*w3^3 - 16*r4*s3^2*w3^3 - 20*r3*s2^2*w3^2*w4 + 4*r3*s3^2*w3^2*w4 - 24*r4*s3^2*w3^2*w4 - 16*r3*s2^2*w3*w4^2 - 8*r4*s3^2*w3*w4^2 + 8*r3*s4^2*w3*w4^2 - 4*r3*s2^2*w4^3 + 4*r3*s4^2*w4^3 + 20*r3*s2^2*w3^2 - 4*r3*s3^2*w3^2 + 16*r4*s3^2*w3^2 + 32*r3*s2^2*w3*w4 + 8*r4*s3^2*w3*w4 + 16*r3*s34*w3^2*w4 - 16*r4*s34*w3^2*w4 + 12*r3*s2^2*w4^2 - 4*r3*s4^2*w4^2 + 8*r3*s34*w3*w4^2 - 24*r4*s34*w3*w4^2 - 8*r4*s34*w4^3 - 16*r3*s2^2*w3 - 12*r3*s2^2*w4 - 8*r3*s34*w3*w4 + 16*r4*s34*w3*w4 + 8*r4*s34*w4^2 + 4*r3*s2^2)/(-8*r4*w3^3 - 20*r4*w3^2*w4 - 16*r4*w3*w4^2 - 4*r4*w4^3 + 16*r4*w3^2 + 24*r4*w3*w4 + 8*r4*w4^2 - 8*r4*w3 - 4*r4*w4), | |
| r2: (-r3*w3^2 + 2*r4*w3^2 - 1/2*r3*w3*w4 + 2*r4*w3*w4 + 1/2*r4*w4^2 + 1/2*r3*w3 - 2*r4*w3 - 1/2*r4*w4)/(w3^2 + 3/2*w3*w4 + 1/2*w4^2 - 3/2*w3 - w4 + 1/2), | |
| w2: -w3 - w4 + 1, | |
| s12: (16*r1*s2^2*w3^3 - 16*r1*s3^2*w3^3 + 40*r1*s2^2*w3^2*w4 - 8*r1*s3^2*w3^2*w4 + 32*r1*s2^2*w3*w4^2 - 16*r1*s4^2*w3*w4^2 + 8*r1*s2^2*w4^3 - 8*r1*s4^2*w4^3 - 40*r1*s2^2*w3^2 + 8*r1*s3^2*w3^2 + 32*r4*s13*w3^3 - 64*r1*s2^2*w3*w4 + 48*r4*s13*w3^2*w4 + 32*r4*s14*w3^2*w4 - 32*r1*s34*w3^2*w4 - 24*r1*s2^2*w4^2 + 8*r1*s4^2*w4^2 + 16*r4*s13*w3*w4^2 + 48*r4*s14*w3*w4^2 - 16*r1*s34*w3*w4^2 + 16*r4*s14*w4^3 + 32*r1*s2^2*w3 - 32*r4*s13*w3^2 + 24*r1*s2^2*w4 - 16*r4*s13*w3*w4 - 32*r4*s14*w3*w4 + 16*r1*s34*w3*w4 - 16*r4*s14*w4^2 - 8*r1*s2^2)/(32*r4*w3^3 + 80*r4*w3^2*w4 + 64*r4*w3*w4^2 + 16*r4*w4^3 - 64*r4*w3^2 - 96*r4*w3*w4 - 32*r4*w4^2 + 32*r4*w3 + 16*r4*w4), | |
| w1: 0}, | |
| {s34: (-s2^2*w3^2 + s3^2*w3^2 - 2*s2^2*w3*w4 - s2^2*w4^2 + s4^2*w4^2 + 2*s2^2*w3 + 2*s2^2*w4 - s2^2)/(-2*w3*w4), | |
| r2: (-r3*w3 - r4*w4)/(w3 + w4 - 1), | |
| s23: (64*r3*s2^2*w3^3 - 64*r3*s3^2*w3^3 + 128*r3*s2^2*w3^2*w4 - 64*r4*s2^2*w3^2*w4 - 64*r4*s3^2*w3^2*w4 + 64*r3*s2^2*w3*w4^2 - 128*r4*s2^2*w3*w4^2 + 64*r3*s4^2*w3*w4^2 - 64*r4*s2^2*w4^3 + 64*r4*s4^2*w4^3 - 128*r3*s2^2*w3^2 - 128*r3*s2^2*w3*w4 + 128*r4*s2^2*w3*w4 - 128*r3*s24*w3^2*w4 + 128*r4*s2^2*w4^2 - 128*r3*s24*w3*w4^2 + 64*r3*s2^2*w3 - 64*r4*s2^2*w4 + 128*r3*s24*w3*w4)/(-64*r4*w3^2*w4 - 64*r4*w3*w4^2 + 64*r4*w3*w4), | |
| w2: -w3 - w4 + 1, | |
| s12: (-36028797018963968*r1*s2^2*w3^2 + 36028797018963968*r1*s3^2*w3^2 - 72057594037927936*r1*s2^2*w3*w4 - 36028797018963968*r1*s2^2*w4^2 - 36028797018963968*r1*s4^2*w4^2 + 72057594037927936*r1*s2^2*w3 + 72057594037927936*r1*s2^2*w4 + 72057594037927936*r4*s13*w3*w4 + 72057594037927936*r1*s24*w3*w4 + 72057594037927936*r4*s14*w4^2 + 72057594037927936*r1*s24*w4^2 - 36028797018963968*r1*s2^2 - 72057594037927936*r1*s24*w4)/(72057594037927936*r4*w3*w4 + 72057594037927936*r4*w4^2 - 72057594037927936*r4*w4), | |
| w1: 0}, | |
| {s24: (r4*s2^2*w3^2 - r4*s3^2*w3^2 + 2*r4*s2^2*w3*w4 + r2*s4^2*w3*w4 + r3*s4^2*w3*w4 + r4*s2^2*w4^2 + r2*s4^2*w4^2 - 2*r4*s2^2*w3 + r2*s34*w3^2 + r3*s34*w3^2 - 2*r4*s2^2*w4 - r2*s4^2*w4 + r2*s34*w3*w4 - r4*s34*w3*w4 + r4*s2^2 - r2*s34*w3)/(r2*w3^2 + r3*w3^2 + 2*r2*w3*w4 + r3*w3*w4 + r4*w3*w4 + r2*w4^2 + r4*w4^2 - 2*r2*w3 - r3*w3 - 2*r2*w4 - r4*w4 + r2), | |
| s23: (-1/2*r3*s2^2*w3^2 - 1/2*r2*s3^2*w3^2 - r3*s2^2*w3*w4 - 1/2*r2*s3^2*w3*w4 - 1/2*r4*s3^2*w3*w4 - 1/2*r3*s2^2*w4^2 + 1/2*r3*s4^2*w4^2 + r3*s2^2*w3 + 1/2*r2*s3^2*w3 + r3*s2^2*w4 - 1/2*r2*s34*w3*w4 + 1/2*r3*s34*w3*w4 - 1/2*r2*s34*w4^2 - 1/2*r4*s34*w4^2 - 1/2*r3*s2^2 + 1/2*r2*s34*w4)/(-1/4*r2*w3^2 - 1/4*r3*w3^2 - 1/2*r2*w3*w4 - 1/4*r3*w3*w4 - 1/4*r4*w3*w4 - 1/4*r2*w4^2 - 1/4*r4*w4^2 + 1/2*r2*w3 + 1/4*r3*w3 + 1/2*r2*w4 + 1/4*r4*w4 - 1/4*r2), | |
| w2: -w3 - w4 + 1, | |
| s12: (-1/32768*r1*s2^2*w3^2 + 1/32768*r1*s3^2*w3^2 - 1/16384*r1*s2^2*w3*w4 - 1/32768*r1*s2^2*w4^2 + 1/32768*r1*s4^2*w4^2 + 1/16384*r1*s2^2*w3 - 1/32768*r2*s13*w3^2 - 1/32768*r3*s13*w3^2 + 1/16384*r1*s2^2*w4 - 1/32768*r2*s13*w3*w4 - 1/32768*r4*s13*w3*w4 - 1/32768*r2*s14*w3*w4 - 1/32768*r3*s14*w3*w4 + 1/16384*r1*s34*w3*w4 - 1/32768*r2*s14*w4^2 - 1/32768*r4*s14*w4^2 - 1/32768*r1*s2^2 + 1/32768*r2*s13*w3 + 1/32768*r2*s14*w4)/(-1/32768*r2*w3^2 - 1/32768*r3*w3^2 - 1/16384*r2*w3*w4 - 1/32768*r3*w3*w4 - 1/32768*r4*w3*w4 - 1/32768*r2*w4^2 - 1/32768*r4*w4^2 + 1/16384*r2*w3 + 1/32768*r3*w3 + 1/16384*r2*w4 + 1/32768*r4*w4 - 1/32768*r2), | |
| w1: 0}, | |
| {s34: (-4*s1^2*w4^2 + s3^2*w4^2 + 9*s4^2*w4^2 + 8*s1^2*w4 - 2*s3^2*w4 - 4*s1^2 + s3^2)/(6*w4^2 - 6*w4), | |
| w3: -1/3*w4 + 1/3, | |
| r1: 1/2*r3, | |
| s14: (-4/3*s1^2*w4^2 + 1/3*s3^2*w4^2 - 3*s4^2*w4^2 + 8/3*s1^2*w4 - 2/3*s3^2*w4 - 4/3*s1^2 + 1/3*s3^2)/(-4*w4^2 + 4*w4), | |
| w2: 0, | |
| r4: 0, | |
| s12: (4/9*r2*s1^2*w4^2 + 1/9*r2*s3^2*w4^2 - r2*s4^2*w4^2 - 8/9*r2*s1^2*w4 - 2/9*r2*s3^2*w4 + 4/9*r2*s13*w4^2 - 1/9*r3*s23*w4^2 + 2/3*r3*s24*w4^2 + 4/9*r2*s1^2 + 1/9*r2*s3^2 - 8/9*r2*s13*w4 + 2/9*r3*s23*w4 - 2/3*r3*s24*w4 + 4/9*r2*s13 - 1/9*r3*s23)/(4/9*r3*w4^2 - 8/9*r3*w4 + 4/9*r3), | |
| w1: -2/3*w4 + 2/3}, | |
| {s23: (-16*s1^2*w3^2 + 9*s2^2*w3^2 + s3^2*w3^2 - 16*s1^2*w3*w4 + 6*s2^2*w3*w4 - 4*s1^2*w4^2 + s2^2*w4^2 + s4^2*w4^2 + 16*s1^2*w3 - 6*s2^2*w3 + 8*s1^2*w4 - 2*s2^2*w4 + 6*s24*w3*w4 + 2*s34*w3*w4 + 2*s24*w4^2 - 4*s1^2 + s2^2 - 2*s24*w4)/(-3*w3^2 - w3*w4 + w3), | |
| r1: (-3/4*r2*w3 - 1/4*r3*w3 - 1/4*r2*w4 + 1/4*r2)/(w3 + 1/2*w4 - 1/2), | |
| s14: (-s4^2*w4 - 3*s24*w3 - s34*w3 - s24*w4 + s24)/(-4*w3 - 2*w4 + 2), | |
| w2: 3*w3 + w4 - 1, | |
| r4: 0, | |
| s12: (-3/2048*r2*s1^2*w3^3 + 1/2048*r3*s1^2*w3^3 + 27/32768*r2*s2^2*w3^3 + 9/32768*r3*s2^2*w3^3 - 3/32768*r2*s3^2*w3^3 - 1/32768*r3*s3^2*w3^3 - 1/512*r2*s1^2*w3^2*w4 + 1/2048*r3*s1^2*w3^2*w4 + 27/32768*r2*s2^2*w3^2*w4 + 3/16384*r3*s2^2*w3^2*w4 - 1/32768*r2*s3^2*w3^2*w4 - 7/8192*r2*s1^2*w3*w4^2 + 1/8192*r3*s1^2*w3*w4^2 + 9/32768*r2*s2^2*w3*w4^2 + 1/32768*r3*s2^2*w3*w4^2 + 3/32768*r2*s4^2*w3*w4^2 - 1/32768*r3*s4^2*w3*w4^2 - 1/8192*r2*s1^2*w4^3 + 1/32768*r2*s2^2*w4^3 + 1/32768*r2*s4^2*w4^3 + 1/512*r2*s1^2*w3^2 - 1/2048*r3*s1^2*w3^2 - 27/32768*r2*s2^2*w3^2 - 3/16384*r3*s2^2*w3^2 + 1/32768*r2*s3^2*w3^2 + 3/4096*r2*s13*w3^3 + 7/4096*r2*s1^2*w3*w4 - 1/4096*r3*s1^2*w3*w4 - 9/16384*r2*s2^2*w3*w4 - 1/16384*r3*s2^2*w3*w4 + 5/8192*r2*s13*w3^2*w4 + 9/16384*r2*s24*w3^2*w4 - 1/16384*r3*s34*w3^2*w4 + 3/8192*r2*s1^2*w4^2 - 3/32768*r2*s2^2*w4^2 - 1/32768*r2*s4^2*w4^2 + 1/8192*r2*s13*w3*w4^2 + 3/8192*r2*s24*w3*w4^2 + 1/16384*r2*s24*w4^3 - 7/8192*r2*s1^2*w3 + 1/8192*r3*s1^2*w3 + 9/32768*r2*s2^2*w3 + 1/32768*r3*s2^2*w3 - 5/8192*r2*s13*w3^2 - 3/8192*r2*s1^2*w4 + 3/32768*r2*s2^2*w4 - 1/4096*r2*s13*w3*w4 - 3/8192*r2*s24*w3*w4 - 1/8192*r2*s24*w4^2 + 1/8192*r2*s1^2 - 1/32768*r2*s2^2 + 1/8192*r2*s13*w3 + 1/16384*r2*s24*w4)/(3/4096*r3*w3^3 + 5/8192*r3*w3^2*w4 + 1/8192*r3*w3*w4^2 - 5/8192*r3*w3^2 - 1/4096*r3*w3*w4 + 1/8192*r3*w3), | |
| w1: -4*w3 - 2*w4 + 2}, | |
| {s13: (-32*r3*s1^2*w3^2 + 18*r3*s2^2*w3^2 - 8*r1*s3^2*w3^2 - 6*r2*s3^2*w3^2 - 32*r3*s1^2*w3*w4 + 12*r3*s2^2*w3*w4 - 4*r1*s3^2*w3*w4 - 2*r2*s3^2*w3*w4 - 8*r3*s1^2*w4^2 + 2*r3*s2^2*w4^2 + 2*r3*s4^2*w4^2 + 32*r3*s1^2*w3 - 12*r3*s2^2*w3 + 4*r1*s3^2*w3 + 2*r2*s3^2*w3 - 12*r1*s23*w3^2 - 9*r2*s23*w3^2 + 3*r3*s23*w3^2 + 16*r3*s1^2*w4 - 4*r3*s2^2*w4 - 10*r1*s23*w3*w4 - 6*r2*s23*w3*w4 + r3*s23*w3*w4 + 12*r3*s24*w3*w4 - 8*r1*s34*w3*w4 - 6*r2*s34*w3*w4 + 2*r3*s34*w3*w4 - 2*r1*s23*w4^2 - r2*s23*w4^2 + 4*r3*s24*w4^2 - 4*r1*s34*w4^2 - 2*r2*s34*w4^2 - 8*r3*s1^2 + 2*r3*s2^2 + 10*r1*s23*w3 + 6*r2*s23*w3 - r3*s23*w3 + 4*r1*s23*w4 + 2*r2*s23*w4 - 4*r3*s24*w4 + 4*r1*s34*w4 + 2*r2*s34*w4 - 2*r1*s23 - r2*s23)/(-32*r1*w3^2 - 24*r2*w3^2 - 8*r3*w3^2 - 32*r1*w3*w4 - 20*r2*w3*w4 - 4*r3*w3*w4 - 8*r1*w4^2 - 4*r2*w4^2 + 32*r1*w3 + 20*r2*w3 + 4*r3*w3 + 16*r1*w4 + 8*r2*w4 - 8*r1 - 4*r2), | |
| s14: (-s4^2*w4 - 3*s24*w3 - s34*w3 - s24*w4 + s24)/(-4*w3 - 2*w4 + 2), | |
| w2: 3*w3 + w4 - 1, | |
| r4: 0, | |
| s12: (-274877906944*r2*s1^2*w3^2 - 206158430208*r1*s2^2*w3^2 - 51539607552*r3*s2^2*w3^2 + 17179869184*r2*s3^2*w3^2 - 274877906944*r2*s1^2*w3*w4 - 171798691840*r1*s2^2*w3*w4 - 17179869184*r3*s2^2*w3*w4 - 68719476736*r2*s1^2*w4^2 - 34359738368*r1*s2^2*w4^2 + 17179869184*r2*s4^2*w4^2 + 274877906944*r2*s1^2*w3 + 171798691840*r1*s2^2*w3 + 17179869184*r3*s2^2*w3 - 34359738368*r1*s23*w3^2 + 25769803776*r2*s23*w3^2 - 8589934592*r3*s23*w3^2 + 137438953472*r2*s1^2*w4 + 68719476736*r1*s2^2*w4 - 17179869184*r1*s23*w3*w4 + 8589934592*r2*s23*w3*w4 - 68719476736*r1*s24*w3*w4 + 51539607552*r2*s24*w3*w4 - 17179869184*r3*s24*w3*w4 + 34359738368*r2*s34*w3*w4 - 34359738368*r1*s24*w4^2 + 17179869184*r2*s24*w4^2 - 68719476736*r2*s1^2 - 34359738368*r1*s2^2 + 17179869184*r1*s23*w3 - 8589934592*r2*s23*w3 + 34359738368*r1*s24*w4 - 17179869184*r2*s24*w4)/(-274877906944*r1*w3^2 - 206158430208*r2*w3^2 - 68719476736*r3*w3^2 - 274877906944*r1*w3*w4 - 171798691840*r2*w3*w4 - 34359738368*r3*w3*w4 - 68719476736*r1*w4^2 - 34359738368*r2*w4^2 + 274877906944*r1*w3 + 171798691840*r2*w3 + 34359738368*r3*w3 + 137438953472*r1*w4 + 68719476736*r2*w4 - 68719476736*r1 - 34359738368*r2), | |
| w1: -4*w3 - 2*w4 + 2}, | |
| {s23: (-16*s1^2*w3^2 + 9*s2^2*w3^2 + s3^2*w3^2 - 16*s1^2*w3*w4 + 6*s2^2*w3*w4 - 4*s1^2*w4^2 + s2^2*w4^2 + s4^2*w4^2 + 8*s1^2*w3 + 4*s1^2*w4 + 6*s24*w3*w4 + 2*s34*w3*w4 + 2*s24*w4^2 - s1^2)/(-3*w3^2 - w3*w4), | |
| w2: 3*w3 + w4, | |
| s13: (8*r4*s1^2*w3^2 - 9/2*r4*s2^2*w3^2 + 1/2*r4*s3^2*w3^2 + 8*r4*s1^2*w3*w4 - 3*r4*s2^2*w3*w4 - r3*s4^2*w3*w4 + 2*r4*s1^2*w4^2 - 1/2*r4*s2^2*w4^2 - 1/2*r4*s4^2*w4^2 - 4*r4*s1^2*w3 + 4*r3*s14*w3^2 - 3*r3*s24*w3^2 - r3*s34*w3^2 - 2*r4*s1^2*w4 + 2*r3*s14*w3*w4 - r3*s24*w3*w4 - 3*r4*s24*w3*w4 - r4*s24*w4^2 + 1/2*r4*s1^2 - r3*s14*w3)/(4*r4*w3^2 + 2*r4*w3*w4 - r4*w3), | |
| r1: (-3*r2*w3 - r3*w3 - r2*w4 - r4*w4)/(4*w3 + 2*w4 - 1), | |
| s12: (-16*r4*s1^2*w3^2 - 9*r4*s2^2*w3^2 + r4*s3^2*w3^2 - 16*r4*s1^2*w3*w4 - 6*r4*s2^2*w3*w4 + 6*r2*s4^2*w3*w4 - 4*r4*s1^2*w4^2 - r4*s2^2*w4^2 + 2*r2*s4^2*w4^2 + r4*s4^2*w4^2 + 8*r4*s1^2*w3 - 24*r2*s14*w3^2 + 18*r2*s24*w3^2 + 6*r2*s34*w3^2 + 4*r4*s1^2*w4 - 20*r2*s14*w3*w4 + 12*r2*s24*w3*w4 + 2*r2*s34*w3*w4 + 2*r4*s34*w3*w4 - 4*r2*s14*w4^2 + 2*r2*s24*w4^2 - r4*s1^2 + 6*r2*s14*w3 + 2*r2*s14*w4)/(-24*r4*w3^2 - 20*r4*w3*w4 - 4*r4*w4^2 + 6*r4*w3 + 2*r4*w4), | |
| w1: -4*w3 - 2*w4 + 1}, | |
| {s14: (-s1^2*w2^3 + s2^2*w2^3 + s1^2*w2^2*w3 - 3*s2^2*w2^2*w3 + 5*s1^2*w2*w3^2 + s3^2*w2*w3^2 + 3*s1^2*w3^3 - 3*s3^2*w3^3 - s1^2*w2^2*w4 - s2^2*w2^2*w4 - 2*s4^2*w2^2*w4 + 6*s1^2*w2*w3*w4 + 4*s4^2*w2*w3*w4 + 7*s1^2*w3^2*w4 - s3^2*w3^2*w4 + 6*s4^2*w3^2*w4 + s1^2*w2*w4^2 + s4^2*w2*w4^2 + 5*s1^2*w3*w4^2 + 5*s4^2*w3*w4^2 + s1^2*w4^3 + s4^2*w4^3 + s1^2*w2^2 + s2^2*w2^2 - 2*s24*w2^3 - 6*s1^2*w2*w3 + s23*w2^2*w3 + 4*s24*w2^2*w3 - 2*s34*w2^2*w3 - 7*s1^2*w3^2 + s3^2*w3^2 - 3*s23*w2*w3^2 + 6*s24*w2*w3^2 + 4*s34*w2*w3^2 + 6*s34*w3^3 - 2*s1^2*w2*w4 + 2*s4^2*w2*w4 + 2*s24*w2^2*w4 - 10*s1^2*w3*w4 - 6*s4^2*w3*w4 - s23*w2*w3*w4 + 2*s24*w2*w3*w4 + 2*s34*w2*w3*w4 + 2*s34*w3^2*w4 - 3*s1^2*w4^2 - s4^2*w4^2 + s1^2*w2 + 2*s24*w2^2 + 5*s1^2*w3 + s23*w2*w3 - 6*s24*w2*w3 + 2*s34*w2*w3 - 6*s34*w3^2 + 3*s1^2*w4 - s1^2)/(-2*w2^3 + 2*w2^2*w3 + 10*w2*w3^2 + 6*w3^3 - 2*w2^2*w4 + 12*w2*w3*w4 + 14*w3^2*w4 + 2*w2*w4^2 + 10*w3*w4^2 + 2*w4^3 + 4*w2^2 - 8*w2*w3 - 12*w3^2 - 16*w3*w4 - 4*w4^2 - 2*w2 + 6*w3 + 2*w4), | |
| s13: (-8*r3*s1^2*w2^3 + 8*r3*s2^2*w2^3 + 8*r3*s1^2*w2^2*w3 - 24*r3*s2^2*w2^2*w3 - 16*r4*s3^2*w2^2*w3 + 40*r3*s1^2*w2*w3^2 + 8*r3*s3^2*w2*w3^2 + 32*r4*s3^2*w2*w3^2 + 24*r3*s1^2*w3^3 - 24*r3*s3^2*w3^3 + 48*r4*s3^2*w3^3 - 8*r3*s1^2*w2^2*w4 - 8*r3*s2^2*w2^2*w4 + 48*r3*s1^2*w2*w3*w4 + 56*r3*s1^2*w3^2*w4 - 8*r3*s3^2*w3^2*w4 + 64*r4*s3^2*w3^2*w4 + 8*r3*s1^2*w2*w4^2 + 8*r3*s4^2*w2*w4^2 + 40*r3*s1^2*w3*w4^2 + 16*r4*s3^2*w3*w4^2 - 24*r3*s4^2*w3*w4^2 + 8*r3*s1^2*w4^3 - 8*r3*s4^2*w4^3 + 8*r3*s1^2*w2^2 + 8*r3*s2^2*w2^2 - 8*r4*s23*w2^3 - 48*r3*s1^2*w2*w3 + 16*r4*s3^2*w2*w3 + 8*r3*s23*w2^2*w3 + 16*r4*s23*w2^2*w3 - 56*r3*s1^2*w3^2 + 8*r3*s3^2*w3^2 - 48*r4*s3^2*w3^2 - 24*r3*s23*w2*w3^2 + 24*r4*s23*w2*w3^2 - 16*r3*s1^2*w2*w4 + 16*r3*s24*w2^2*w4 - 16*r4*s34*w2^2*w4 - 80*r3*s1^2*w3*w4 - 16*r4*s3^2*w3*w4 - 8*r3*s23*w2*w3*w4 + 32*r4*s23*w2*w3*w4 - 48*r3*s24*w2*w3*w4 + 16*r3*s34*w2*w3*w4 + 32*r4*s34*w2*w3*w4 - 48*r3*s34*w3^2*w4 + 48*r4*s34*w3^2*w4 - 24*r3*s1^2*w4^2 + 8*r3*s4^2*w4^2 + 8*r4*s23*w2*w4^2 - 16*r3*s24*w2*w4^2 - 16*r3*s34*w3*w4^2 + 64*r4*s34*w3*w4^2 + 16*r4*s34*w4^3 + 8*r3*s1^2*w2 + 8*r4*s23*w2^2 + 40*r3*s1^2*w3 + 8*r3*s23*w2*w3 - 24*r4*s23*w2*w3 + 24*r3*s1^2*w4 - 8*r4*s23*w2*w4 + 16*r3*s24*w2*w4 + 16*r4*s34*w2*w4 + 16*r3*s34*w3*w4 - 48*r4*s34*w3*w4 - 16*r4*s34*w4^2 - 8*r3*s1^2)/(-16*r4*w2^3 + 16*r4*w2^2*w3 + 80*r4*w2*w3^2 + 48*r4*w3^3 - 16*r4*w2^2*w4 + 96*r4*w2*w3*w4 + 112*r4*w3^2*w4 + 16*r4*w2*w4^2 + 80*r4*w3*w4^2 + 16*r4*w4^3 + 32*r4*w2^2 - 64*r4*w2*w3 - 96*r4*w3^2 - 128*r4*w3*w4 - 32*r4*w4^2 - 16*r4*w2 + 48*r4*w3 + 16*r4*w4), | |
| r1: (-r2*w2^2 + 2*r4*w2^2 + 3*r2*w2*w3 - r3*w2*w3 - 4*r4*w2*w3 + 3*r3*w3^2 - 6*r4*w3^2 + r2*w2*w4 - r4*w2*w4 + r3*w3*w4 - 5*r4*w3*w4 - r4*w4^2 - r2*w2 - 2*r4*w2 - r3*w3 + 6*r4*w3 + r4*w4)/(w2^2 - 2*w2*w3 - 3*w3^2 - 4*w3*w4 - w4^2 + 4*w3 + 2*w4 - 1), | |
| s12: (73786976294838206464*r2*s1^2*w2^3 - 73786976294838206464*r2*s2^2*w2^3 + 147573952589676412928*r4*s2^2*w2^3 - 73786976294838206464*r2*s1^2*w2^2*w3 + 221360928884514619392*r2*s2^2*w2^2*w3 - 295147905179352825856*r4*s2^2*w2^2*w3 - 368934881474191032320*r2*s1^2*w2*w3^2 - 442721857769029238784*r4*s2^2*w2*w3^2 - 73786976294838206464*r2*s3^2*w2*w3^2 - 221360928884514619392*r2*s1^2*w3^3 + 221360928884514619392*r2*s3^2*w3^3 + 73786976294838206464*r2*s1^2*w2^2*w4 + 73786976294838206464*r2*s2^2*w2^2*w4 - 442721857769029238784*r2*s1^2*w2*w3*w4 - 590295810358705651712*r4*s2^2*w2*w3*w4 - 516508834063867445248*r2*s1^2*w3^2*w4 + 73786976294838206464*r2*s3^2*w3^2*w4 - 73786976294838206464*r2*s1^2*w2*w4^2 - 147573952589676412928*r4*s2^2*w2*w4^2 - 73786976294838206464*r2*s4^2*w2*w4^2 - 368934881474191032320*r2*s1^2*w3*w4^2 + 221360928884514619392*r2*s4^2*w3*w4^2 - 73786976294838206464*r2*s1^2*w4^3 + 73786976294838206464*r2*s4^2*w4^3 - 73786976294838206464*r2*s1^2*w2^2 - 73786976294838206464*r2*s2^2*w2^2 - 147573952589676412928*r4*s2^2*w2^2 + 442721857769029238784*r2*s1^2*w2*w3 + 442721857769029238784*r4*s2^2*w2*w3 - 73786976294838206464*r2*s23*w2^2*w3 + 73786976294838206464*r4*s23*w2^2*w3 + 516508834063867445248*r2*s1^2*w3^2 - 73786976294838206464*r2*s3^2*w3^2 + 221360928884514619392*r2*s23*w2*w3^2 - 147573952589676412928*r4*s23*w2*w3^2 - 221360928884514619392*r4*s23*w3^3 + 147573952589676412928*r2*s1^2*w2*w4 + 147573952589676412928*r4*s2^2*w2*w4 - 147573952589676412928*r2*s24*w2^2*w4 + 147573952589676412928*r4*s24*w2^2*w4 + 737869762948382064640*r2*s1^2*w3*w4 + 73786976294838206464*r2*s23*w2*w3*w4 + 442721857769029238784*r2*s24*w2*w3*w4 - 295147905179352825856*r4*s24*w2*w3*w4 - 147573952589676412928*r2*s34*w2*w3*w4 - 295147905179352825856*r4*s23*w3^2*w4 - 442721857769029238784*r4*s24*w3^2*w4 + 442721857769029238784*r2*s34*w3^2*w4 + 221360928884514619392*r2*s1^2*w4^2 - 73786976294838206464*r2*s4^2*w4^2 + 147573952589676412928*r2*s24*w2*w4^2 - 73786976294838206464*r4*s23*w3*w4^2 - 590295810358705651712*r4*s24*w3*w4^2 + 147573952589676412928*r2*s34*w3*w4^2 - 147573952589676412928*r4*s24*w4^3 - 73786976294838206464*r2*s1^2*w2 - 368934881474191032320*r2*s1^2*w3 - 73786976294838206464*r2*s23*w2*w3 - 73786976294838206464*r4*s23*w2*w3 + 221360928884514619392*r4*s23*w3^2 - 221360928884514619392*r2*s1^2*w4 - 147573952589676412928*r2*s24*w2*w4 - 147573952589676412928*r4*s24*w2*w4 + 73786976294838206464*r4*s23*w3*w4 + 442721857769029238784*r4*s24*w3*w4 - 147573952589676412928*r2*s34*w3*w4 + 147573952589676412928*r4*s24*w4^2 + 73786976294838206464*r2*s1^2)/(147573952589676412928*r4*w2^3 - 147573952589676412928*r4*w2^2*w3 - 737869762948382064640*r4*w2*w3^2 - 442721857769029238784*r4*w3^3 + 147573952589676412928*r4*w2^2*w4 - 885443715538058477568*r4*w2*w3*w4 - 1033017668127734890496*r4*w3^2*w4 - 147573952589676412928*r4*w2*w4^2 - 737869762948382064640*r4*w3*w4^2 - 147573952589676412928*r4*w4^3 - 295147905179352825856*r4*w2^2 + 590295810358705651712*r4*w2*w3 + 885443715538058477568*r4*w3^2 + 1180591620717411303424*r4*w3*w4 + 295147905179352825856*r4*w4^2 + 147573952589676412928*r4*w2 - 442721857769029238784*r4*w3 - 147573952589676412928*r4*w4), | |
| w1: -w2 - w3 - w4 + 1}, | |
| {s23: (-s1^2*w2^2 + s2^2*w2^2 - 2*s1^2*w2*w3 - s1^2*w3^2 + s3^2*w3^2 - 2*s1^2*w2*w4 - 2*s1^2*w3*w4 - s1^2*w4^2 + s4^2*w4^2 + 2*s1^2*w2 + 2*s1^2*w3 + 2*s1^2*w4 + 2*s24*w2*w4 + 2*s34*w3*w4 - s1^2)/(-w2*w3), | |
| r1: (-r2*w2 - r3*w3 - r4*w4)/(w2 + w3 + w4 - 1), | |
| s13: (r4*s1^2*w2^2 - r4*s2^2*w2^2 + 2*r4*s1^2*w2*w3 + r4*s1^2*w3^2 + r4*s3^2*w3^2 + 2*r4*s1^2*w2*w4 + 2*r4*s1^2*w3*w4 - 2*r3*s4^2*w3*w4 + r4*s1^2*w4^2 - r4*s4^2*w4^2 - 2*r4*s1^2*w2 - 2*r4*s1^2*w3 + 2*r3*s14*w2*w3 - 2*r3*s24*w2*w3 + 2*r3*s14*w3^2 - 2*r3*s34*w3^2 - 2*r4*s1^2*w4 - 2*r4*s24*w2*w4 + 2*r3*s14*w3*w4 + r4*s1^2 - 2*r3*s14*w3)/(2*r4*w2*w3 + 2*r4*w3^2 + 2*r4*w3*w4 - 2*r4*w3), | |
| s12: (2048*r4*s1^2*w2^2 + 2048*r4*s2^2*w2^2 + 4096*r4*s1^2*w2*w3 + 2048*r4*s1^2*w3^2 - 2048*r4*s3^2*w3^2 + 4096*r4*s1^2*w2*w4 - 4096*r2*s4^2*w2*w4 + 4096*r4*s1^2*w3*w4 + 2048*r4*s1^2*w4^2 - 2048*r4*s4^2*w4^2 - 4096*r4*s1^2*w2 + 4096*r2*s14*w2^2 - 4096*r2*s24*w2^2 - 4096*r4*s1^2*w3 + 4096*r2*s14*w2*w3 - 4096*r2*s34*w2*w3 - 4096*r4*s1^2*w4 + 4096*r2*s14*w2*w4 - 4096*r4*s34*w3*w4 + 2048*r4*s1^2 - 4096*r2*s14*w2)/(4096*r4*w2^2 + 4096*r4*w2*w3 + 4096*r4*w2*w4 - 4096*r4*w2), | |
| w1: -w2 - w3 - w4 + 1}, | |
| {s14: (r4*s1^2*w2^2 - r4*s2^2*w2^2 + 2*r4*s1^2*w2*w3 + r4*s1^2*w3^2 - r4*s3^2*w3^2 + 2*r4*s1^2*w2*w4 + r1*s4^2*w2*w4 + r2*s4^2*w2*w4 + 2*r4*s1^2*w3*w4 + r1*s4^2*w3*w4 + r3*s4^2*w3*w4 + r4*s1^2*w4^2 + r1*s4^2*w4^2 - 2*r4*s1^2*w2 + r1*s24*w2^2 + r2*s24*w2^2 - 2*r4*s1^2*w3 - r4*s23*w2*w3 + r1*s24*w2*w3 + r3*s24*w2*w3 + r1*s34*w2*w3 + r2*s34*w2*w3 + r1*s34*w3^2 + r3*s34*w3^2 - 2*r4*s1^2*w4 - r1*s4^2*w4 + r1*s24*w2*w4 - r4*s24*w2*w4 + r1*s34*w3*w4 - r4*s34*w3*w4 + r4*s1^2 - r1*s24*w2 - r1*s34*w3)/(r1*w2^2 + r2*w2^2 + 2*r1*w2*w3 + r2*w2*w3 + r3*w2*w3 + r1*w3^2 + r3*w3^2 + 2*r1*w2*w4 + r2*w2*w4 + r4*w2*w4 + 2*r1*w3*w4 + r3*w3*w4 + r4*w3*w4 + r1*w4^2 + r4*w4^2 - 2*r1*w2 - r2*w2 - 2*r1*w3 - r3*w3 - 2*r1*w4 - r4*w4 + r1), | |
| s13: (-r3*s1^2*w2^2 + r3*s2^2*w2^2 - 2*r3*s1^2*w2*w3 - r1*s3^2*w2*w3 - r2*s3^2*w2*w3 - r3*s1^2*w3^2 - r1*s3^2*w3^2 - 2*r3*s1^2*w2*w4 - 2*r3*s1^2*w3*w4 - r1*s3^2*w3*w4 - r4*s3^2*w3*w4 - r3*s1^2*w4^2 + r3*s4^2*w4^2 + 2*r3*s1^2*w2 - 1/2*r1*s23*w2^2 - 1/2*r2*s23*w2^2 + 2*r3*s1^2*w3 + r1*s3^2*w3 - 1/2*r1*s23*w2*w3 + 1/2*r3*s23*w2*w3 + 2*r3*s1^2*w4 - 1/2*r1*s23*w2*w4 - 1/2*r4*s23*w2*w4 + 2*r3*s24*w2*w4 - r1*s34*w2*w4 - r2*s34*w2*w4 - r1*s34*w3*w4 + r3*s34*w3*w4 - r1*s34*w4^2 - r4*s34*w4^2 - r3*s1^2 + 1/2*r1*s23*w2 + r1*s34*w4)/(-r1*w2^2 - r2*w2^2 - 2*r1*w2*w3 - r2*w2*w3 - r3*w2*w3 - r1*w3^2 - r3*w3^2 - 2*r1*w2*w4 - r2*w2*w4 - r4*w2*w4 - 2*r1*w3*w4 - r3*w3*w4 - r4*w3*w4 - r1*w4^2 - r4*w4^2 + 2*r1*w2 + r2*w2 + 2*r1*w3 + r3*w3 + 2*r1*w4 + r4*w4 - r1), | |
| s12: (r2*s1^2*w2^2 + r1*s2^2*w2^2 + 2*r2*s1^2*w2*w3 + r1*s2^2*w2*w3 + r3*s2^2*w2*w3 + r2*s1^2*w3^2 - r2*s3^2*w3^2 + 2*r2*s1^2*w2*w4 + r1*s2^2*w2*w4 + r4*s2^2*w2*w4 + 2*r2*s1^2*w3*w4 + r2*s1^2*w4^2 - r2*s4^2*w4^2 - 2*r2*s1^2*w2 - r1*s2^2*w2 - 2*r2*s1^2*w3 + 1/2*r1*s23*w2*w3 - 1/2*r2*s23*w2*w3 + 1/2*r1*s23*w3^2 + 1/2*r3*s23*w3^2 - 2*r2*s1^2*w4 + r1*s24*w2*w4 - r2*s24*w2*w4 + 1/2*r1*s23*w3*w4 + 1/2*r4*s23*w3*w4 + r1*s24*w3*w4 + r3*s24*w3*w4 - 2*r2*s34*w3*w4 + r1*s24*w4^2 + r4*s24*w4^2 + r2*s1^2 - 1/2*r1*s23*w3 - r1*s24*w4)/(r1*w2^2 + r2*w2^2 + 2*r1*w2*w3 + r2*w2*w3 + r3*w2*w3 + r1*w3^2 + r3*w3^2 + 2*r1*w2*w4 + r2*w2*w4 + r4*w2*w4 + 2*r1*w3*w4 + r3*w3*w4 + r4*w3*w4 + r1*w4^2 + r4*w4^2 - 2*r1*w2 - r2*w2 - 2*r1*w3 - r3*w3 - 2*r1*w4 - r4*w4 + r1), | |
| w1: -w2 - w3 - w4 + 1} | |
| ] |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Variables that are missing among the dict keys are "free" ones, which can take arbitrary values.