https://michaelnielsen.org/polymath/index.php?action=history&feed=atom&title=Notes_on_polytope_decomposition 2026-04-13T10:09:52Z Revision history for this page on the wiki MediaWiki 1.42.3 https://michaelnielsen.org/polymath/index.php?title=Notes_on_polytope_decomposition&diff=9511&oldid=prev 2014-05-20T00:51:47Z

<p><span dir="auto"><span class="autocomment">Code</span></span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 17:51, 19 May 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l181">Line 181:</td> <td colspan="2" class="diff-lineno">Line 181:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M1 := simplify(int(FGyzx, z=0..3/2-x-y));</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M1 := simplify(int(FGyzx, z=0..3/2-x-y));</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>  M2 := simplify(int(FGyzx, z=0..y) + int(FGzyx, z=y..3/2-x-y<del style="font-weight: bold; text-decoration: none;">)</del>));</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>  M2 := simplify(int(FGyzx, z=0..y) + int(FGzyx, z=y..3/2-x-y));</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M3 := simplify(int(FUyzx, z=0..1+eps-x) + int(FGyzx, z=1+eps-x..y) + int(FGzyx, z=y..3/2-x-y));</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M3 := simplify(int(FUyzx, z=0..1+eps-x) + int(FGyzx, z=1+eps-x..y) + int(FGzyx, z=y..3/2-x-y));</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M4 := simplify(int(FUyzx, z=0..1+eps-x) + int(FGyzx, z=1+eps-x..3/2-x-y));</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M4 := simplify(int(FUyzx, z=0..1+eps-x) + int(FGyzx, z=1+eps-x..3/2-x-y));</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l197">Line 197:</td> <td colspan="2" class="diff-lineno">Line 197:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FB:= -41+52 * x-73 * x^2+25 * x^3+108 * y-66 * x * y+71 * x^2 * y-294 * y^2+56 * x * y^2+363 * y^3+33 * z+15 * x * z+22 * x^2 * z-40 * y * z-42 * x * y * z+75 * y^2 * z-36 * z^2-24 * x * z^2+26 * y * z^2+20 * z^3;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FB:= -41+52 * x-73 * x^2+25 * x^3+108 * y-66 * x * y+71 * x^2 * y-294 * y^2+56 * x * y^2+363 * y^3+33 * z+15 * x * z+22 * x^2 * z-40 * y * z-42 * x * y * z+75 * y^2 * z-36 * z^2-24 * x * z^2+26 * y * z^2+20 * z^3;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FC:= -22+45 * x-35 * x^2+63 * y-99 * x * y+82 * x^2 * y-140 * y^2+54 * x * y^2+179 * y^3;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FC:= -22+45 * x-35 * x^2+63 * y-99 * x * y+82 * x^2 * y-140 * y^2+54 * x * y^2+179 * y^3;</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> FD := 0;</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FE:= -12+8 * x+32 * y;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FE:= -12+8 * x+32 * y;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FG:= 5274-19833 * x+18570 * x^2-5128 * x^3-18024 * y+44696 * x * y-20664 * x^2 * y+16158 * y^2-19056 * x * y^2-4592 * y^3-10704 * z+26860 * x * z-12588 * x^2 * z+24448 * y * z-30352 * x * y * z-10980 * y^2 * z+7240 * z^2-9092 * x * z^2-8288 * y * z^2-1632 * z^3;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FG:= 5274-19833 * x+18570 * x^2-5128 * x^3-18024 * y+44696 * x * y-20664 * x^2 * y+16158 * y^2-19056 * x * y^2-4592 * y^3-10704 * z+26860 * x * z-12588 * x^2 * z+24448 * y * z-30352 * x * y * z-10980 * y^2 * z+7240 * z^2-9092 * x * z^2-8288 * y * z^2-1632 * z^3;</div></td></tr> </table>

Teorth https://michaelnielsen.org/polymath/index.php?title=Notes_on_polytope_decomposition&diff=9510&oldid=prev 2014-05-20T00:47:31Z

<p><span dir="auto"><span class="autocomment">Code</span></span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 17:47, 19 May 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l194">Line 194:</td> <td colspan="2" class="diff-lineno">Line 194:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>For a simpler solution, use</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>For a simpler solution, use</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>  FA:= -66+96 * x-147 * x^2+125 * x^3+128 y-122 * x * y+104 * x^2 * y-275 * y^2+394 * y^3+99 * z-58 * x * z+63 * x^2 * z-98 * y * z+51 * x * y * z+41 * y^2 * z-112 * z^2+24 * x * z^2+72 * y * z^2+50 * z^3;</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>  FA:= -66+96 * x-147 * x^2+125 * x^3+128 <ins style="font-weight: bold; text-decoration: none;">* </ins>y-122 * x * y+104 * x^2 * y-275 * y^2+394 * y^3+99 * z-58 * x * z+63 * x^2 * z-98 * y * z+51 * x * y * z+41 * y^2 * z-112 * z^2+24 * x * z^2+72 * y * z^2+50 * z^3;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FB:= -41+52 * x-73 * x^2+25 * x^3+108 * y-66 * x * y+71 * x^2 * y-294 * y^2+56 * x * y^2+363 * y^3+33 * z+15 * x * z+22 * x^2 * z-40 * y * z-42 * x * y * z+75 * y^2 * z-36 * z^2-24 * x * z^2+26 * y * z^2+20 * z^3;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FB:= -41+52 * x-73 * x^2+25 * x^3+108 * y-66 * x * y+71 * x^2 * y-294 * y^2+56 * x * y^2+363 * y^3+33 * z+15 * x * z+22 * x^2 * z-40 * y * z-42 * x * y * z+75 * y^2 * z-36 * z^2-24 * x * z^2+26 * y * z^2+20 * z^3;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FC:= -22+45 * x-35 * x^2+63 * y-99 * x * y+82 * x^2 * y-140 * y^2+54 * x * y^2+179 * y^3;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FC:= -22+45 * x-35 * x^2+63 * y-99 * x * y+82 * x^2 * y-140 * y^2+54 * x * y^2+179 * y^3;</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l201">Line 201:</td> <td colspan="2" class="diff-lineno">Line 201:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FH:= 8 * z;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FH:= 8 * z;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FS:= -6+8 * x+16 * y;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FS:= -6+8 * x+16 * y;</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>  FT = 18-30 * x+12 * x^2+42 * y-20 * x * y-66 * y^2-45 * z+34 * x * z+22 * z^2;</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>  FT <ins style="font-weight: bold; text-decoration: none;">:</ins>= 18-30 * x+12 * x^2+42 * y-20 * x * y-66 * y^2-45 * z+34 * x * z+22 * z^2;</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>  FU = 94-1823 * x+5760 * x^2-5128 * x^3+54 * y-168 * x^2 * y+105 * y^2+1422 * x * z-2340 * x^2 * z-192 * y^2 * z-128 * z^2-268 * x * z^2+64 * z^3;</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>  FU <ins style="font-weight: bold; text-decoration: none;">:</ins>= 94-1823 * x+5760 * x^2-5128 * x^3+54 * y-168 * x^2 * y+105 * y^2+1422 * x * z-2340 * x^2 * z-192 * y^2 * z-128 * z^2-268 * x * z^2+64 * z^3;</div></td></tr> </table>

Teorth https://michaelnielsen.org/polymath/index.php?title=Notes_on_polytope_decomposition&diff=9505&oldid=prev 2014-05-18T15:58:19Z

<p><span dir="auto"><span class="autocomment">Code</span></span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 08:58, 18 May 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l191">Line 191:</td> <td colspan="2" class="diff-lineno">Line 191:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  # if this quantity is positive, we win</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  # if this quantity is positive, we win</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  evalf( Jsum - 2*Isum );</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  evalf( Jsum - 2*Isum );</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">For a simpler solution, use</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> FA:= -66+96 * x-147 * x^2+125 * x^3+128 y-122 * x * y+104 * x^2 * y-275 * y^2+394 * y^3+99 * z-58 * x * z+63 * x^2 * z-98 * y * z+51 * x * y * z+41 * y^2 * z-112 * z^2+24 * x * z^2+72 * y * z^2+50 * z^3;</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> FB:= -41+52 * x-73 * x^2+25 * x^3+108 * y-66 * x * y+71 * x^2 * y-294 * y^2+56 * x * y^2+363 * y^3+33 * z+15 * x * z+22 * x^2 * z-40 * y * z-42 * x * y * z+75 * y^2 * z-36 * z^2-24 * x * z^2+26 * y * z^2+20 * z^3;</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> FC:= -22+45 * x-35 * x^2+63 * y-99 * x * y+82 * x^2 * y-140 * y^2+54 * x * y^2+179 * y^3;</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> FE:= -12+8 * x+32 * y;</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> FG:= 5274-19833 * x+18570 * x^2-5128 * x^3-18024 * y+44696 * x * y-20664 * x^2 * y+16158 * y^2-19056 * x * y^2-4592 * y^3-10704 * z+26860 * x * z-12588 * x^2 * z+24448 * y * z-30352 * x * y * z-10980 * y^2 * z+7240 * z^2-9092 * x * z^2-8288 * y * z^2-1632 * z^3;</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> FH:= 8 * z;</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> FS:= -6+8 * x+16 * y;</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> FT = 18-30 * x+12 * x^2+42 * y-20 * x * y-66 * y^2-45 * z+34 * x * z+22 * z^2;</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> FU = 94-1823 * x+5760 * x^2-5128 * x^3+54 * y-168 * x^2 * y+105 * y^2+1422 * x * z-2340 * x^2 * z-192 * y^2 * z-128 * z^2-268 * x * z^2+64 * z^3;</ins></div></td></tr> </table>

Teorth https://michaelnielsen.org/polymath/index.php?title=Notes_on_polytope_decomposition&diff=9422&oldid=prev 2014-02-11T19:27:29Z

<p><span dir="auto"><span class="autocomment">Code</span></span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 12:27, 11 February 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l185">Line 185:</td> <td colspan="2" class="diff-lineno">Line 185:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M4 := simplify(int(FUyzx, z=0..1+eps-x) + int(FGyzx, z=1+eps-x..3/2-x-y));</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M4 := simplify(int(FUyzx, z=0..1+eps-x) + int(FGyzx, z=1+eps-x..3/2-x-y));</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M5 := simplify(int(FTyzx, z=0..3/2-x-y));</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M5 := simplify(int(FTyzx, z=0..3/2-x-y));</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div># M6 := simplify(int(FSyzx, z=0..1-eps-y) + int(FHyzx, z=1-eps-y..3/2-x-y));</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> </ins># M6 := simplify(int(FSyzx, z=0..1-eps-y) + int(FHyzx, z=1-eps-y..3/2-x-y));</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M7 := simplify(int(FEyzx, z=0..1-eps-x) + int(FSyzx, z=1-eps-x..1-eps-y) + int(FHyzx, z=1-eps-y..3/2-x-y));</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M7 := simplify(int(FEyzx, z=0..1-eps-x) + int(FSyzx, z=1-eps-x..1-eps-y) + int(FHyzx, z=1-eps-y..3/2-x-y));</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div># M8 := simplify(int(FHyzx, z=0..3/2-x-y));</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> </ins># M8 := simplify(int(FHyzx, z=0..3/2-x-y));</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  # if this quantity is positive, we win</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  # if this quantity is positive, we win</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  evalf( Jsum - 2*Isum );</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  evalf( Jsum - 2*Isum );</div></td></tr> </table>

Teorth https://michaelnielsen.org/polymath/index.php?title=Notes_on_polytope_decomposition&diff=9421&oldid=prev 2014-02-11T19:23:33Z

<p><span dir="auto"><span class="autocomment">Code</span></span></p> <a href="https://michaelnielsen.org/polymath/index.php?title=Notes_on_polytope_decomposition&amp;diff=9421&amp;oldid=9416">Show changes</a>

Teorth https://michaelnielsen.org/polymath/index.php?title=Notes_on_polytope_decomposition&diff=9416&oldid=prev 2014-02-10T06:34:05Z

<p><span dir="auto"><span class="autocomment">Code</span></span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 23:34, 9 February 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l247">Line 247:</td> <td colspan="2" class="diff-lineno">Line 247:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  #                                  0.06125062172</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  #                                  0.06125062172</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div># these quantities all need to be zero (actually it looks like M6 and M8 do not need to vanish)</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> </ins># these quantities all need to be zero (actually it looks like M6 and M8 do not need to vanish)</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M1 := simplify(int(FGyzx, z=0..3/2-x-y));</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M1 := simplify(int(FGyzx, z=0..3/2-x-y));</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l257">Line 257:</td> <td colspan="2" class="diff-lineno">Line 257:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M7 := simplify(int(FEyzx, z=0..1-eps-x) + int(FSyzx, z=1-eps-x..1-eps-y) + int(FHyzx, z=1-eps-y..3/2-x-y));</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M7 := simplify(int(FEyzx, z=0..1-eps-x) + int(FSyzx, z=1-eps-x..1-eps-y) + int(FHyzx, z=1-eps-y..3/2-x-y));</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M8 := simplify(int(FHyzx, z=0..3/2-x-y));</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  M8 := simplify(int(FHyzx, z=0..3/2-x-y));</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> # if this quantity is positive, we win</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> evalf( Jsum - 2*Isum );</ins></div></td></tr> </table>

Teorth https://michaelnielsen.org/polymath/index.php?title=Notes_on_polytope_decomposition&diff=9415&oldid=prev 2014-02-10T06:33:06Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 23:33, 9 February 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l54">Line 54:</td> <td colspan="2" class="diff-lineno">Line 54:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;math&gt;z \leq 1/2+\varepsilon&lt;/math&gt;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;math&gt;z \leq 1/2+\varepsilon&lt;/math&gt;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| &lt;math&gt;x+y \leq 1-\varepsilon; x \geq 1/2; y \geq 1/2-2\varepsilon&lt;/math&gt;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| &lt;math&gt;x+y \leq 1-\varepsilon; x \geq 1/2; y \geq 1/2-2\varepsilon&lt;/math&gt;</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>| &lt;math&gt;\max(1-\varepsilon-y,1+\varepsilon-x) \leq z \leq \min(1/2+\varepsilon,1+\varepsilon-y)</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>| &lt;math&gt;\max(1-\varepsilon-y,1+\varepsilon-x) \leq z \leq \min(1/2+\varepsilon,1+\varepsilon-y)<ins style="font-weight: bold; text-decoration: none;">&lt;/math&gt;</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| &lt;math&gt;T_{xyz}&lt;/math&gt;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| &lt;math&gt;T_{xyz}&lt;/math&gt;</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l246">Line 246:</td> <td colspan="2" class="diff-lineno">Line 246:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  Jsum := 6*(J1+J2+J3+J4+J5+J6+J7+J8);</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  Jsum := 6*(J1+J2+J3+J4+J5+J6+J7+J8);</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  #                                  0.06125062172</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  #                                  0.06125062172</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"># these quantities all need to be zero (actually it looks like M6 and M8 do not need to vanish)</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> M1 := simplify(int(FGyzx, z=0..3/2-x-y));</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> M2 := simplify(int(FGyzx, z=0..y) + int(FGzyx, z=y..3/2-x-y)));</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> M3 := simplify(int(FUyzx, z=0..1+eps-x) + int(FGyzx, z=1+eps-x..y) + int(FGzyx, z=y..3/2-x-y));</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> M4 := simplify(int(FUyzx, z=0..1+eps-x) + int(FGyzx, z=1+eps-x..3/2-x-y));</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> M5 := simplify(int(FTyzx, z=0..3/2-x-y));</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> M6 := simplify(int(FSyzx, z=0..1-eps-y) + int(FHyzx, z=1-eps-y..3/2-x-y));</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> M7 := simplify(int(FEyzx, z=0..1-eps-x) + int(FSyzx, z=1-eps-x..1-eps-y) + int(FHyzx, z=1-eps-y..3/2-x-y));</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> M8 := simplify(int(FHyzx, z=0..3/2-x-y));</ins></div></td></tr> </table>

Teorth https://michaelnielsen.org/polymath/index.php?title=Notes_on_polytope_decomposition&diff=9414&oldid=prev 2014-02-10T05:23:21Z

<p><span dir="auto"><span class="autocomment">Code</span></span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 22:23, 9 February 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l160">Line 160:</td> <td colspan="2" class="diff-lineno">Line 160:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FS := -((9*SS10)/16) - (3*SS3)/8 - (3*SS4)/4 - (9*SS7)/32 - (3*SS9)/16 + (SS3/2 - (3*SS6)/4 + (3*SS7)/8 - (3*SS8)/4 + SS9/4)*x + SS8*x^2 + SS3*y + (2*SS8 + (2*SS9)/3)*x*y + SS9*y^2 + SS4*z + SS6*x*z + SS7*y*z + SS10*z^2;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FS := -((9*SS10)/16) - (3*SS3)/8 - (3*SS4)/4 - (9*SS7)/32 - (3*SS9)/16 + (SS3/2 - (3*SS6)/4 + (3*SS7)/8 - (3*SS8)/4 + SS9/4)*x + SS8*x^2 + SS3*y + (2*SS8 + (2*SS9)/3)*x*y + SS9*y^2 + SS4*z + SS6*x*z + SS7*y*z + SS10*z^2;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FT := -((3*TT4)/2) - (9*TT7)/8 + (3*TT9)/4 + (TT4 + (3*TT7)/4 - (3*TT8)/2 - TT9/2)*x + TT8*x^2 + (2*TT4 + (3*TT7)/2 - 2*TT9)*y + (2*TT8 + (2*TT9)/3)*x *y + TT9*y^2 + TT4*z + (TT7/2 + TT8 - TT9/3)*x*z + TT7*y*z + (TT7/2 - TT9/3)*z^2;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FT := -((3*TT4)/2) - (9*TT7)/8 + (3*TT9)/4 + (TT4 + (3*TT7)/4 - (3*TT8)/2 - TT9/2)*x + TT8*x^2 + (2*TT4 + (3*TT7)/2 - 2*TT9)*y + (2*TT8 + (2*TT9)/3)*x *y + TT9*y^2 + TT4*z + (TT7/2 + TT8 - TT9/3)*x*z + TT7*y*z + (TT7/2 - TT9/3)*z^2;</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>  FU := -((125*UU16)/256) - UU2/16 + UU20/512 + (125*UU22)/128 + (5*UU23)/8192 + (5*UU24)/4096 + (125*UU26)/2048 - (625*UU28)/1024 + UU29/1280 - (5*UU3)/16 + (625*UU31)/256 - (5*UU4)/8 - (5*UU5)/256 - (5*UU6)/128 - (25*UU7)/64 + UU2*x +UU8*x^2 + UU20*x^3 + UU29*x^4 + UU3*y + UU5*x*y + (-((225*UU16)/26) + (5*UU18)/2 - (24*UU2)/5 + (333*UU20)/ 260 + (225*UU21)/26 + (225*UU22)/13 - (423*UU23)/832 + (1089*UU24)/416 + (45*UU25)/16 - (105*UU26)/16 - (1125*UU28)/104 - (3*UU29)/25 + (72*UU3)/13 + (225*UU30)/26 + (1125*UU31)/26 - (144*UU4)/13 - (3*UU5)/2 - 3*UU6 - (90*UU7)/13 - (8*UU8)/5 + (120*UU9)/13)*x^2*y + UU23*x^3*y + UU9*y^2 + ((165*UU16)/26 - (27*UU20)/52 - (165*UU21)/26 - (165*UU22)/13 - (75*UU23)/416 - (15*UU24)/52 - (69*UU25)/80 - (87*UU26)/40 + (825*UU28)/104 - (27*UU29)/25 - (264*UU3)/65 - (165*UU30)/26 - (825*UU31)/26 + (528*UU4)/65 - (3*UU5)/5 + (6*UU6)/5 + (66*UU7)/13 - (88*UU9)/13)*x*y^2 + (-3*UU18 + (81*UU23)/80 - (81*UU24)/40 - (147*UU25)/40 + (147*UU26)/10 + (108*UU29)/25)*x^2*y^2 + UU21*y^3 + UU25*x*y^3 + UU30*y^4 + UU4*z + UU6*x*z + ((225*UU16)/52 - (5*UU18)/4 - (12*UU2)/5 - (567*UU20)/520 - (225*UU21)/52 - (225*UU22)/26 + (189*UU23)/1664 - (1323*UU24)/832 - (45*UU25)/32 + (255*UU26)/32 + (1125*UU28)/208 - (3*UU29)/50 - (36*UU3)/13 - (225*UU30)/52 - (1125*UU31)/52 + (72*UU4)/13 - (3*UU5)/4 - (3*UU6)/2 + (45*UU7)/13 - (4*UU8)/5 - (60*UU9)/13)*x^2*z + UU24*x^3*z + UU7*y*z + ((3*UU16)/2 + (3*UU21)/4 - 3*UU22 + (3*UU25)/16 - (3*UU26)/4 - (15*UU27)/16 + (15*UU28)/8 + (3*UU30)/2 - (15*UU31)/2)*y^2*z + UU27*y^3*z + ((5*UU16)/13 - (3*UU20)/208 - (15*UU21)/208 - (</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>  FU := -((125*UU16)/256) - UU2/16 + UU20/512 + (125*UU22)/128 + (5*UU23)/8192 + (5*UU24)/4096 + (125*UU26)/2048 - (625*UU28)/1024 + UU29/1280 - (5*UU3)/16 + (625*UU31)/256 - (5*UU4)/8 - (5*UU5)/256 - (5*UU6)/128 - (25*UU7)/64 + UU2*x +UU8*x^2 + UU20*x^3 + UU29*x^4 + UU3*y + UU5*x*y + (-((225*UU16)/26) + (5*UU18)/2 - (24*UU2)/5 + (333*UU20)/ 260 + (225*UU21)/26 + (225*UU22)/13 - (423*UU23)/832 + (1089*UU24)/416 + (45*UU25)/16 - (105*UU26)/16 - (1125*UU28)/104 - (3*UU29)/25 + (72*UU3)/13 + (225*UU30)/26 + (1125*UU31)/26 - (144*UU4)/13 - (3*UU5)/2 - 3*UU6 - (90*UU7)/13 - (8*UU8)/5 + (120*UU9)/13)*x^2*y + UU23*x^3*y + UU9*y^2 + ((165*UU16)/26 - (27*UU20)/52 - (165*UU21)/26 - (165*UU22)/13 - (75*UU23)/416 - (15*UU24)/52 - (69*UU25)/80 - (87*UU26)/40 + (825*UU28)/104 - (27*UU29)/25 - (264*UU3)/65 - (165*UU30)/26 - (825*UU31)/26 + (528*UU4)/65 - (3*UU5)/5 + (6*UU6)/5 + (66*UU7)/13 - (88*UU9)/13)*x*y^2 + (-3*UU18 + (81*UU23)/80 - (81*UU24)/40 - (147*UU25)/40 + (147*UU26)/10 + (108*UU29)/25)*x^2*y^2 + UU21*y^3 + UU25*x*y^3 + UU30*y^4 + UU4*z + UU6*x*z + ((225*UU16)/52 - (5*UU18)/4 - (12*UU2)/5 - (567*UU20)/520 - (225*UU21)/52 - (225*UU22)/26 + (189*UU23)/1664 - (1323*UU24)/832 - (45*UU25)/32 + (255*UU26)/32 + (1125*UU28)/208 - (3*UU29)/50 - (36*UU3)/13 - (225*UU30)/52 - (1125*UU31)/52 + (72*UU4)/13 - (3*UU5)/4 - (3*UU6)/2 + (45*UU7)/13 - (4*UU8)/5 - (60*UU9)/13)*x^2*z + UU24*x^3*z + UU7*y*z + ((3*UU16)/2 + (3*UU21)/4 - 3*UU22 + (3*UU25)/16 - (3*UU26)/4 - (15*UU27)/16 + (15*UU28)/8 + (3*UU30)/2 - (15*UU31)/2)*y^2*z + UU27*y^3*z + ((5*UU16)/13 - (3*UU20)/208 - (15*UU21)/208 - (105*UU22)/52 + (5*UU23)/3328 - (35*UU24)/1664 - (3*UU25)/128 + (3*UU26)/32 + (25*UU28)/52 + (2*UU3)/13 - (15*UU30)/208 - (725*UU31)/208 - (4*UU4)/13 + (4*UU7)/13 - UU9/13)*z^2 + (-((15*UU16)/13) + (3*UU20)/13 + (15*UU21)/13 + (30*UU22)/13 - (63*UU23)/2080 + (363*UU24)/1040 + (3*UU25)/8 - (27*UU26)/8 - (75*UU28)/52 + (48*UU3)/65 + (15*UU30)/13 + (75*UU31)/13 - (96*UU4)/65 + UU5/5 - (2*UU6)/5 - (12*UU7)/13 + (16*UU9)/13)*x*z^2 + UU18*x^2*z^2 + UU16*y*z^2 + ((3*UU27)/4 + (3*UU28)/2 - (3*UU30)/5 - 3*UU31)*y^2*z^2 + UU22*z^3 + UU26*x*z^3 + UU28*y*z^3 + UU31*z^4;</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>105*UU22)/52 + (5*UU23)/3328 - (35*UU24)/1664 - (3*UU25)/128 + (3*UU26)/32 + (25*UU28)/52 + (2*UU3)/13 - (15*UU30)/208 - (725*UU31)/208 - (4*UU4)/13 + (4*UU7)/13 - UU9/13)*z^2 + (-((15*UU16)/13) + (3*UU20)/13 + (15*UU21)/13 + (30*UU22)/13 - (63*UU23)/2080 + (363*UU24)/1040 + (3*UU25)/8 - (27*UU26)/8 - (75*UU28)/52 + (48*UU3)/65 + (15*UU30)/13 + (75*UU31)/13 - (96*UU4)/65 + UU5/5 - (2*UU6)/5 - (12*UU7)/13 + (16*UU9)/13)*x*z^2 + UU18*x^2*z^2 + UU16*y*z^2 + ((3*UU27)/4 + (3*UU28)/2 - (3*UU30)/5 - 3*UU31)*y^2*z^2 + UU22*z^3 + UU26*x*z^3 + UU28*y*z^3 + UU31*z^4;</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>  FG:= -((9*UU2)/4) + (27*UU20)/64 + (513*UU23)/2048 + (27*UU24)/1024 - (243*UU25)/512 + (2097*UU26)/512 + (153*UU29)/160 - (45*UU5)/64 - (45*UU6)/32 + (6*UU2 - (99*UU23)/256 + (99*UU24)/128 + (99*UU25)/64 - (771*UU26)/64 - (33*UU29)/20 + (15*UU5)/8 + (15*UU6)/4)*x + (-3*UU2 - (27*UU20)/16 - (117*UU23)/512 - (423*UU24)/256 - (153*UU25)/128 + (987*UU26)/128 + (33*UU29)/40 - (15*UU5)/16 - (15*UU6)/8)*x^2 + (UU20 + UU23/4 + (3*UU24)/4 + UU25/4 - UU26 - (8*UU29)/5)*x^3 + UU29*x^4 + (-((675*UU16)/104) + 6*UU2 - (81*UU20)/208 + (675*UU21)/104 + (675*UU22)/52 - (8919*UU23)/16640 + (4869*UU24)/8320 + (369*UU25)/160 - (4827*UU26)/320 - (3375*UU28)/416 - (123*UU29)/50 + (54*UU3)/13 + (675*UU30)/104 + (3375*UU31)/104 - (108*UU4)/13 + (15*UU5)/8 + (15*UU6)/4 - (135*UU7)/26 + (90*UU9)/13)*y + ((225*UU16)/13 - 8*UU2 - (45*UU20)/13 - (225*UU21)/13 - (450*UU22)/13 + (1929*UU23)/4160 - (10929*UU24)/2080 - (453*UU25)/80 + (2437*UU26)/80 + (1125*UU28)/52 + UU29/25 - (144*UU3)/13 - (225*UU30)/13 - (1125*UU31)/13 + (288*UU4)/13 - (5*UU5)/2 - 5*UU6 + (180*UU7)/13 - (240*UU9)/13)*x*y + (-((225*UU16)/26) + (207*UU20)/52 + (225*UU21)/26 + (225*UU22)/13 - (441*UU23)/1040 + (6057*UU24)/1040 + (243*UU25)/80 - (243*UU26)/20 - (1125*UU28)/104 + (9*UU29)/25 + (72*UU3)/13 + (225*UU30)/26 + (1125*UU31)/26 - (144*UU4)/13 - (90*UU7)/13 + (120*UU9)/13)*x^2*y + ((3*UU23)/5 - (6*UU24)/5 - (2*UU25)/5 + (8*UU26)/5 + (64*UU29)/25)*x^3*y + ((225*UU16)/26 - 3*UU2 - (243*UU20)/208 - (225*UU21)/26 - (225*UU22)/13 - (981*UU23)/33280 - (23319*UU24)/16640 - (1773*UU25)/640 + (8967*UU26)/640 + (1125*UU28)/104 + (381*UU29)/200 - (72*UU3)/13 - (225*UU30)/26 - (1125*UU31)/26 + (144*UU4)/13 - (15*UU5)/16 - (15*UU6)/8 + (90*UU7)/13 - (120*UU9)/13)*y^2 + (-((375*UU16)/26) + (189*UU20)/52 + (375*UU21)/26 + (375*UU22)/13 - (579*UU23)/1040 + (5883*UU24)/1040 + (417*UU25)/80 - (417*UU26)/20 - (1875*UU28)/104 - (9*UU29)/25 + (120*UU3)/13 + (375*UU30)/26 + (1875*UU31)/26 - (240*UU4)/13 - (150*UU7)/13 + (200*UU9)/13)*x*y^2 + ((27*UU23)/20 - (27*UU24)/10 - (33*UU25)/20 + (33*UU26)/5 + (54*UU29)/25)*x^2*y^2 + (-((25*UU16)/13) + (23*UU20)/26 + (25*UU21)/13 + (50*UU22)/13 + (107*UU23)/520 + (361*UU24)/520 + (39*UU25)/40 - (39*UU26)/10 - (125*UU28)/52 - (46*UU29)/25 + (16*UU3)/13 + (25*UU30)/13 + (125*UU31)/13 - (32*UU4)/13 - (20*UU7)/13 + (80*UU9)/39)*y^3 + ((3*UU23)/5 - (6*UU24)/5 - (7*UU25)/5 + (28*UU26)/5 + (64*UU29)/25)*x*y^3 +UU29*y^4 + ((675*UU16)/208 + 3*UU2 - (621*UU20)/416 - (675*UU21)/208 - (675*UU22)/104 - (20799*UU23)/33280 - (10251*UU24)/16640 + (99*UU25)/320 - (2667*UU26)/640 + (3375*UU28)/832 - (129*UU29)/50 - (27*UU3)/13 - (675*UU30)/208 - (3375*UU31)/208 + (54*UU4)/13 + (15*UU5)/16 + (15*UU6)/8 + (135*UU7)/52 - (45*UU9)/13)*z + (-((225*UU16)/26) - 4*UU2 + (45*UU20)/26 + (225*UU21)/26 + (225*UU22)/13 + (5169*UU23)/8320 + (3831*UU24)/4160 - (93*UU25)/160 + (997*UU26)/160 - (1125*UU28)/104 + (181*UU29)/50 + (72*UU3)/13 + (225*UU30)/26 + (1125*UU31)/26 - (144*UU4)/13 - (5*UU5)/4 - (5*UU6)/2 - (90*UU7)/13 + (120*UU9)/13)*x*z + ((225*UU16)/52 + (27*UU20)/104 - (225*UU21)/52 - (225*UU22)/26 + (909*UU23)/2080 - (1143*UU24)/2080 + (63*UU25)/160 - (63*UU26)/40 + (1125*UU28)/208 - (81*UU29)/50 - (36*UU3)/13 - (225*UU30)/52 - (1125*UU31)/52 + (72*UU4)/13 + (45*UU7)/13 - (60*UU9)/13)*x^2*z + (-(UU23/5) + (2*UU24)/5 - UU25/5 + (4*UU26)/5 + (32*UU29)/25)*x^3*z + (-4*UU2 + (9*UU20)/4 + (105*UU23)/128 + (75*UU24)/64 - (15*UU25)/32 + (185*UU26)/32 + (47*UU29)/10 - (5*UU5)/4 - (5*UU6)/2)*y*z + (-((75*UU16)/52) - (9*UU20)/104 + (75*UU21)/52 + (75*UU22)/26 + (633*UU23)/2080 - (1491*UU24)/2080 + (51*UU25)/160 - (51*UU26)/40 - (375*UU28)/208 - (117*UU29)/50 + (12*UU3)/13 + (75*UU30)/52 + (375*UU31)/52 - (24*UU4)/13 - (15*UU7)/13 + (20*UU9)/13)*y^2*z + (-(UU23/5) + (2*UU24)/5 - UU25/5 + (4*UU26)/5 + (32*UU29)/25)*y^3*z + (-((225*UU16)/52) - UU2 + (297*UU20)/208 + (225*UU21)/52 + (225*UU22)/26 + (21297*UU23)/33280 + (8403*UU24)/16640 - (39*UU25)/640 + (781*UU26)/640 - (1125*UU28)/208 + (523*UU29)/200 + (36*UU3)/13 + (225*UU30)/52 + (1125*UU31)/52 - (72*UU4)/13 - (5*UU5)/16 - (5*UU6)/8 - (45*UU7)/13 + (60*UU9)/13)*z^2 + ((75*UU16)/13 - (15*UU20)/13 - (75*UU21)/13 - (150*UU22)/13 - (243*UU23)/520 - (33*UU24)/65 + (3*UU25)/5 - (12*UU26)/5 + (375*UU28)/52 - (66*UU29)/25 - (48*UU3)/13 - (75*UU30)/13 - (375*UU31)/13 + (96*UU4)/13 + (60*UU7)/13 - (80*UU9)/13)*x*z^2 + (-((9*UU23)/80) + (9*UU24)/40 - (27*UU25)/40 + (27*UU26)/10 + (18*UU29)/25)*x^2*z^2 + ((75*UU16)/26 - (69*UU20)/52 - (75*UU21)/26 - (75*UU22)/13 - (111*UU23)/208 - (123*UU24)/208 - (9*UU25)/16 + (9*UU26)/4 + (375*UU28)/104 - 3*UU29 - (24*UU3)/13 - (75*UU30)/26 - (375*UU31)/26 + (48*UU4)/13 + (30*UU7)/13 - (40*UU9)/13)*y*z^2 + (-((9*UU23)/80) + (9*UU24)/40 + (3*UU25)/40 - (3*UU26)/10 + (18*UU29)/25)*y^2*z^2 + ((75*UU16)/52 - (43*UU20)/104 - (75*UU21)/52 - (75*UU22)/26 - (659*UU23)/2080 + (243*UU24)/2080 + (37*UU25)/160 - (37*UU26)/40 + (375*UU28)/208 - (59*UU29)/50 - (12*UU3)/13 - (75*UU30)/52 - (375*UU31)/52 + (24*UU4)/13 + (15*UU7)/13 - (20*UU9)/13)*z^3 + ((3*UU23)/20 - (3*UU24)/10 - (3*UU25)/5 + (12*UU26)/5 + (16*UU29)/25)*x*z^3 + ((3*UU23)/20 - (3*UU24)/10 - UU25/10 + (2*UU26)/5 + (16*UU29)/25)*y*z^3 + (UU23/16 - UU24/8 - UU25/8 + UU26/2 + UU29/5)*z^4;</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>  FG:= -((9*UU2)/4) + (27*UU20)/64 + (513*UU23)/2048 + (27*UU24)/1024 - (243*UU25)/512 + (2097*UU26)/512 + (153*UU29)/160 - (45*UU5)/64 - (45*UU6)/32 + (6*UU2 - (99*UU23)/256 + (99*UU24)/128 + (99*UU25)/64 - (771*UU26)/64 - (33*UU29)/20 + (15*UU5)/8 + (15*UU6)/4)*x + (-3*UU2 - (27*UU20)/16 - (117*UU23)/512 - (423*UU24)/</div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>256 - (153*UU25)/128 + (987*UU26)/128 + (33*UU29)/40 - (15*UU5)/16 - (15*UU6)/8)*x^2 + (UU20 + UU23/4 + (3*UU24)/4 + UU25/4 - UU26 - (8*UU29)/5)*x^3 +</div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>UU29*x^4 + (-((675*UU16)/104) + 6*UU2 - (81*UU20)/208 + (675*UU21)/104 + (675*UU22)/52 - (8919*UU23)/16640 + (4869*UU24)/8320 + (369*UU25)/160 - (4827*UU26)/320 - (3375*UU28)/416 - (123*UU29)/50 + (54*UU3)/13 + (675*UU30)/104 + (3375*UU31)/104 - (108*UU4)/13 + (15*UU5)/8 + (15*UU6)/4 - (135*UU7)/26 + (90*UU9)/13)*y + ((</div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>225*UU16)/13 - 8*UU2 - (45*UU20)/13 - (225*UU21)/13 - (450*UU22)/13 + (1929*UU23)/4160 - (10929*UU24)/2080 - (453*UU25)/80 + (2437*UU26)/80 + (1125*UU28)/52 + UU29/25 - (144*UU3)/13 - (225*UU30)/13 - (1125*UU31)/13 + (288*UU4)/13 - (5*UU5)/2 - 5*UU6 + (180*UU7)/13 - (240*UU9)/13)*x*y + (-((225*UU16)/26) + (207*UU20)/52 + (225*UU21)/26 + (225*UU22)/13 - (441*UU23)/1040 + (6057*UU24)/1040 + (243*UU25)/80 - (243*UU26)/20 - (1125*UU28)/104 + (9*UU29)/25 + (72*UU3)/13 + (225*UU30)/26 + (1125*UU31)/26 - (144*UU4)/13 - (90*UU7)/13 + (120*UU9)/13)*x^2*y + ((3*UU23)/5 - (6*UU24)/5 - (2*UU25)/5 + (8*UU26)/5 + (64*UU29)/25)*x^3*y + ((225*UU16)/26 - 3*UU2 - (243*UU20)/208 - (225*UU21)/26 - (225*UU22)/13 - (981*UU23)/33280 - (23319*UU24)/16640 - (1773*UU25)/640 + (8967*UU26)/640 + (1125*UU28)/104 + (381*UU29)/200 - (72*UU3)/13 - (225*UU30)/26 - (1125*UU31)/26 + (144*UU4)/13 - (15*UU5)/16 - (15*UU6)/8 + (90*UU7)/13 - (120*UU9)/13)*y^2 + (-((375*UU16)/26) + (189*UU20)/52 + (375*UU21)/26 + (375*UU22)/13 - (579*UU23)/1040 + (5883*UU24)/1040 + (417*UU25)/80 - (417*UU26)/20 - (1875*UU28)/104 - (9*UU29)/25 + (120*UU3)/13 + (375*UU30)/26 + (1875*UU31)/26 - (240*UU4)/13 - (150*UU7)/13 + (200*UU9)/13)*x*y^2 + ((27*UU23)/20 - (27*UU24)/10 - (33*UU25)/20 + (33*UU26)/5 + (54*UU29)/25)*x^2*y^2 + (-((25*UU16)/13) + (23*UU20)/26 + (25*UU21)/13 + (50*UU22)/13 + (107*UU23)/520 + (361*UU24)/520 + (39*UU25)/40 - (39*UU26)/10 - (125*UU28)/52 - (46*UU29)/25 + (16*UU3)/13 + (25*UU30)/13 + (125*UU31)/13 - (32*UU4)/13 - (20*UU7)/13 + (80*UU9)/39)*y^3 + ((3*UU23)/5 - (6*UU24)/5 - (7*UU25)/5 + (28*UU26)/5 + (64*UU29)/25)*x*y^3 +UU29*y^4 + ((675*UU16)/208 + 3*UU2 - (621*UU20)/416 - (675*UU21)/208 - (675*UU22)/104 - (20799*UU23)/33280 - (10251*UU24)/16640 + (99*UU25)/320 - (2667*UU26)/640 + (3375*UU28)/832 - (129*UU29)/50 - (27*UU3)/13 - (675*UU30)/208 - (3375*UU31)/208 + (54*UU4)/13 + (15*UU5)/16 + (15*UU6)/8 + (135*UU7)/52 - (45*UU9)/13)*z + (-((225*UU16)/26) - 4*UU2 + (45*UU20)/26 + (225*UU21)/26 + (225*UU22)/13 + (5169*UU23)/8320 + (3831*UU24)/4160 - (93*UU25)/160 + (997*UU26)/160 - (1125*UU28)/104 + (181*UU29)/50 + (72*UU3)/13 + (225*UU30)/26 + (1125*UU31)/26 - (144*UU4)/13 - (5*UU5)/4 - (5*UU6)/2 - (90*UU7)/13 + (120*UU9)/13)*x*z + ((225*UU16)/52 + (27*UU20)/104 - (225*UU21)/52 - (225*UU22)/26 + (909*UU23)/2080 - (1143*UU24)/2080 + (63*UU25)/160 - (63*UU26)/40 + (1125*UU28)/208 - (81*UU29)/50 - (36*UU3)/13 - (225*UU30)/52 - (1125*UU31)/52 + (72*UU4)/13 + (45*UU7)/13 - (60*UU9)/13)*x^2*z + (-(UU23/5) + (2*UU24)/5 - UU25/5 + (4*UU26)/5 + (32*UU29)/25)*x^3*z + (-4*UU2 + (9*UU20)/4 + (105*UU23)/128 + (75*UU24)/64 - (15*UU25)/32 + (185*UU26)/32 + (47*UU29)/10 - (5*UU5)/4 - (5*UU6)/2)*y*z + (-((75*UU16)/52) - (9*UU20)/104 + (75*UU21)/52 + (75*UU22)/26 + (633*UU23)/2080 - (1491*UU24)/2080 + (51*UU25)/160 - (51*UU26)/40 - (375*UU28)/208 - (117*UU29)/50 + (12*UU3)/13 + (75*UU30)/52 + (375*UU31)/52 - (24*UU4)/13 - (15*UU7)/13 + (20*UU9)/13)*y^2*z + (-(UU23/5) + (2*UU24)/5 - UU25/5 + (4*UU26)/5 + (32*UU29)/25)*y^3*z + (-((225*UU16)/52) - UU2 + (</div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>297*UU20)/208 + (225*UU21)/52 + (225*UU22)/26 + (21297*UU23)/33280 + (8403*UU24)/16640 - (39*UU25)/640 + (781*UU26)/640 - (1125*UU28)/208 + (523*UU29)/200 + (36*UU3)/13 + (225*UU30)/52 + (1125*UU31)/52 - (72*UU4)/13 - (5*UU5)/16 - (5*UU6)/8 - (45*UU7)/13 + (60*UU9)/13)*z^2 + ((75*UU16)/13 - (15*UU20)/13 - (75*UU21)/13 - (150*UU22)/13 - (243*UU23)/520 - (33*UU24)/65 + (3*UU25)/5 - (12*UU26)/5 + (375*UU28)/52 - (66*UU29)/25 - (48*UU3)/13 - (75*UU30)/13 - (375*UU31)/13 + (96*UU4)/13 + (60*UU7)/13 - (80*UU9)/13)*x*z^2 + (-((9*UU23)/80) + (9*UU24)/40 - (27*UU25)/40 + (27*UU26)/10 + (18*UU29)/25)*x^2*z^2 + ((75*UU16)/26 - (69*UU20)/52 - (75*UU21)/26 - (75*UU22)/13 - (111*UU23)/208 - (123*UU24)/208 - (9*UU25)/16 + (9*UU26)/4 + (375*UU28)/104 - 3*UU29 - (24*UU3)/13 - (75*UU30)/26 - (375*UU31)/26 + (48*UU4)/13 + (30*UU7)/13 - (40*UU9)/13)*y*z^2 + (-((9*UU23)/80) + (9*UU24)/40 + (3*UU25)/40 - (3*UU26)/10 + (18*UU29)/25)*y^2*z^2 + ((75*UU16)/52 - (43*UU20)/104 - (75*UU21)/52 - (75*UU22)/26 - (659*UU23)/2080 + (243*UU24)/2080 + (37*UU25)/160 - (37*UU26)/40 + (375*UU28)/208 - (59*UU29)/50 - (12*UU3)/13 - (75*UU30)/52 - (375*UU31)/52 + (24*UU4)/13 + (15*UU7)/13 - (20*UU9)/13)*z^3 + ((3*UU23)/20 - (3*UU24)/10 - (3*UU25)/5 + (12*UU26)/5 + (16*UU29)/25)*x*z^3 + ((3*UU23)/20 - (3*UU24)/10 - UU25/10 + (2*UU26)/5 + (16*UU29)/25)*y*z^3 + (UU23/16 - UU24/8 - UU25/8 + UU26/2 + UU29/5)*z^4;</div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FH:= (3*HH9)/8 - (9*SS10)/8 - (3*SS4)/2 - (9*SS7)/16 + (-((3*HH9)/4) + (3*SS10)/4 + SS4 - (3*SS6)/2 + (9*SS7)/8)*x + (HH9/3 + SS6 - SS7/2)*x^2 + (-((3*HH9)/2) + (3*SS10)/2 + 2*SS4 + (3*SS7)/4)*y + ((4*HH9)/3 + 2*SS6 - SS7)*x*y + HH9*y^2 + (-(HH9/4) - (3*SS10)/4 + SS4 + (3*SS7)/8)*z + (HH9/3 + SS10 + SS6 - SS7/2)*x*z + ((2*HH9)/3 + 2*SS10)*y*z + SS10*z^2;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FH:= (3*HH9)/8 - (9*SS10)/8 - (3*SS4)/2 - (9*SS7)/16 + (-((3*HH9)/4) + (3*SS10)/4 + SS4 - (3*SS6)/2 + (9*SS7)/8)*x + (HH9/3 + SS6 - SS7/2)*x^2 + (-((3*HH9)/2) + (3*SS10)/2 + 2*SS4 + (3*SS7)/4)*y + ((4*HH9)/3 + 2*SS6 - SS7)*x*y + HH9*y^2 + (-(HH9/4) - (3*SS10)/4 + SS4 + (3*SS7)/8)*z + (HH9/3 + SS10 + SS6 - SS7/2)*x*z + ((2*HH9)/3 + 2*SS10)*y*z + SS10*z^2;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> </table>

Teorth https://michaelnielsen.org/polymath/index.php?title=Notes_on_polytope_decomposition&diff=9413&oldid=prev 2014-02-10T05:22:17Z

<p><span dir="auto"><span class="autocomment">Code</span></span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 22:22, 9 February 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l160">Line 160:</td> <td colspan="2" class="diff-lineno">Line 160:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FS := -((9*SS10)/16) - (3*SS3)/8 - (3*SS4)/4 - (9*SS7)/32 - (3*SS9)/16 + (SS3/2 - (3*SS6)/4 + (3*SS7)/8 - (3*SS8)/4 + SS9/4)*x + SS8*x^2 + SS3*y + (2*SS8 + (2*SS9)/3)*x*y + SS9*y^2 + SS4*z + SS6*x*z + SS7*y*z + SS10*z^2;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FS := -((9*SS10)/16) - (3*SS3)/8 - (3*SS4)/4 - (9*SS7)/32 - (3*SS9)/16 + (SS3/2 - (3*SS6)/4 + (3*SS7)/8 - (3*SS8)/4 + SS9/4)*x + SS8*x^2 + SS3*y + (2*SS8 + (2*SS9)/3)*x*y + SS9*y^2 + SS4*z + SS6*x*z + SS7*y*z + SS10*z^2;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FT := -((3*TT4)/2) - (9*TT7)/8 + (3*TT9)/4 + (TT4 + (3*TT7)/4 - (3*TT8)/2 - TT9/2)*x + TT8*x^2 + (2*TT4 + (3*TT7)/2 - 2*TT9)*y + (2*TT8 + (2*TT9)/3)*x *y + TT9*y^2 + TT4*z + (TT7/2 + TT8 - TT9/3)*x*z + TT7*y*z + (TT7/2 - TT9/3)*z^2;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FT := -((3*TT4)/2) - (9*TT7)/8 + (3*TT9)/4 + (TT4 + (3*TT7)/4 - (3*TT8)/2 - TT9/2)*x + TT8*x^2 + (2*TT4 + (3*TT7)/2 - 2*TT9)*y + (2*TT8 + (2*TT9)/3)*x *y + TT9*y^2 + TT4*z + (TT7/2 + TT8 - TT9/3)*x*z + TT7*y*z + (TT7/2 - TT9/3)*z^2;</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>  FU := -((125*UU16)/256) - UU2/16 + UU20/512 + (125*UU22)/128 + (5*UU23)/8192 + (5*UU24)/4096 + (125*UU26)/2048 - (625*UU28)/1024 + UU29/1280 - (5*UU3)/16 + (625*UU31)/256 - (5*UU4)/8 - (5*UU5)/256 - (5*UU6)/128 - (25*UU7)/64 + UU2*x +UU8*x^2 + UU20*x^3 + UU29*x^4 + UU3*y + UU5*x*y + (-((225*UU16)/26) + (5*UU18)/2 - (24*UU2)/5 + (333*UU20)/ 260 + (225*UU21)/26 + (225*UU22)/13 - (423*UU23)/832 + (1089*UU24)/416 + (45*UU25)/16 - (105*UU26)/16 - (1125*UU28)/104 - (3*UU29)/25 + (72*UU3)/13 + (225*UU30)/26 + (1125*UU31)/26 - (144*UU4)/13 - (3*UU5)/2 - 3*UU6 - (90*UU7)/13 - (8*UU8)/5 + (120*UU9)/13)*x^2*y + UU23*x^3*y + UU9*y^2 + ((165*UU16)/26 - (27*UU20)/52 - (165*UU21)/26 - (165*UU22)/13 - (75*UU23)/416 - (15*UU24)/52 - (69*UU25)/80 - (87*UU26)/40 + (825*UU28)/104 - (27*UU29)/25 - (264*UU3)/65 - (165*UU30)/26 - (825*UU31)/26 + (528*UU4)/65 - (3*UU5)/5 + (6*UU6)/5 + (66*UU7)/13 - (88*UU9)/13)*x*y^2 + (-3*UU18 + (81*UU23)/80 - (81*UU24)/40 - (147*UU25)/40 + (147*UU26)/10 + (108*UU29)/25)*x^2*y^2 + UU21*y^3 + UU25*x*y^3 + UU30*y^4 + UU4*z + UU6*x*z + ((225*UU16)/52 - (5*UU18)/4 - (12*UU2)/5 - (567*UU20)/</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>  FU := -((125*UU16)/256) - UU2/16 + UU20/512 + (125*UU22)/128 + (5*UU23)/8192 + (5*UU24)/4096 + (125*UU26)/2048 - (625*UU28)/1024 + UU29/1280 - (5*UU3)/16 + (625*UU31)/256 - (5*UU4)/8 - (5*UU5)/256 - (5*UU6)/128 - (25*UU7)/64 + UU2*x +UU8*x^2 + UU20*x^3 + UU29*x^4 + UU3*y + UU5*x*y + (-((225*UU16)/26) + (5*UU18)/2 - (24*UU2)/5 + (333*UU20)/ 260 + (225*UU21)/26 + (225*UU22)/13 - (423*UU23)/832 + (1089*UU24)/416 + (45*UU25)/16 - (105*UU26)/16 - (1125*UU28)/104 - (3*UU29)/25 + (72*UU3)/13 + (225*UU30)/26 + (1125*UU31)/26 - (144*UU4)/13 - (3*UU5)/2 - 3*UU6 - (90*UU7)/13 - (8*UU8)/5 + (120*UU9)/13)*x^2*y + UU23*x^3*y + UU9*y^2 + ((165*UU16)/26 - (27*UU20)/52 - (165*UU21)/26 - (165*UU22)/13 - (75*UU23)/416 - (15*UU24)/52 - (69*UU25)/80 - (87*UU26)/40 + (825*UU28)/104 - (27*UU29)/25 - (264*UU3)/65 - (165*UU30)/26 - (825*UU31)/26 + (528*UU4)/65 - (3*UU5)/5 + (6*UU6)/5 + (66*UU7)/13 - (88*UU9)/13)*x*y^2 + (-3*UU18 + (81*UU23)/80 - (81*UU24)/40 - (147*UU25)/40 + (147*UU26)/10 + (108*UU29)/25)*x^2*y^2 + UU21*y^3 + UU25*x*y^3 + UU30*y^4 + UU4*z + UU6*x*z + ((225*UU16)/52 - (5*UU18)/4 - (12*UU2)/5 - (567*UU20)/520 - (225*UU21)/52 - (225*UU22)/26 + (189*UU23)/1664 - (1323*UU24)/832 - (45*UU25)/32 + (255*UU26)/32 + (1125*UU28)/208 - (3*UU29)/50 - (36*UU3)/13 - (225*UU30)/52 - (1125*UU31)/52 + (72*UU4)/13 - (3*UU5)/4 - (3*UU6)/2 + (45*UU7)/13 - (4*UU8)/5 - (60*UU9)/13)*x^2*z + UU24*x^3*z + UU7*y*z + ((3*UU16)/2 + (3*UU21)/4 - 3*UU22 + (3*UU25)/16 - (3*UU26)/4 - (15*UU27)/16 + (15*UU28)/8 + (3*UU30)/2 - (15*UU31)/2)*y^2*z + UU27*y^3*z + ((5*UU16)/13 - (3*UU20)/208 - (15*UU21)/208 - (</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>520 - (225*UU21)/52 - (225*UU22)/26 + (189*UU23)/1664 - (1323*UU24)/832 - (45*UU25)/32 + (255*UU26)/32 + (1125*UU28)/208 - (3*UU29)/50 - (36*UU3)/13 - (225*UU30)/52 - (1125*UU31)/52 + (72*UU4)/13 - (3*UU5)/4 - (3*UU6)/2 + (45*UU7)/13 - (4*UU8)/5 - (60*UU9)/13)*x^2*z + UU24*x^3*z + UU7*y*z + ((3*UU16)/2 + (3*UU21)/4 - 3*UU22 + (3*UU25)/16 - (3*UU26)/4 - (15*UU27)/16 + (15*UU28)/8 + (3*UU30)/2 - (15*UU31)/2)*y^2*z + UU27*y^3*z + ((5*UU16)/13 - (3*UU20)/208 - (15*UU21)/208 - (</div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>105*UU22)/52 + (5*UU23)/3328 - (35*UU24)/1664 - (3*UU25)/128 + (3*UU26)/32 + (25*UU28)/52 + (2*UU3)/13 - (15*UU30)/208 - (725*UU31)/208 - (4*UU4)/13 + (4*UU7)/13 - UU9/13)*z^2 + (-((15*UU16)/13) + (3*UU20)/13 + (15*UU21)/13 + (30*UU22)/13 - (63*UU23)/2080 + (363*UU24)/1040 + (3*UU25)/8 - (27*UU26)/8 - (75*UU28)/52 + (48*UU3)/65 + (15*UU30)/13 + (75*UU31)/13 - (96*UU4)/65 + UU5/5 - (2*UU6)/5 - (12*UU7)/13 + (16*UU9)/13)*x*z^2 + UU18*x^2*z^2 + UU16*y*z^2 + ((3*UU27)/4 + (3*UU28)/2 - (3*UU30)/5 - 3*UU31)*y^2*z^2 + UU22*z^3 + UU26*x*z^3 + UU28*y*z^3 + UU31*z^4;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>105*UU22)/52 + (5*UU23)/3328 - (35*UU24)/1664 - (3*UU25)/128 + (3*UU26)/32 + (25*UU28)/52 + (2*UU3)/13 - (15*UU30)/208 - (725*UU31)/208 - (4*UU4)/13 + (4*UU7)/13 - UU9/13)*z^2 + (-((15*UU16)/13) + (3*UU20)/13 + (15*UU21)/13 + (30*UU22)/13 - (63*UU23)/2080 + (363*UU24)/1040 + (3*UU25)/8 - (27*UU26)/8 - (75*UU28)/52 + (48*UU3)/65 + (15*UU30)/13 + (75*UU31)/13 - (96*UU4)/65 + UU5/5 - (2*UU6)/5 - (12*UU7)/13 + (16*UU9)/13)*x*z^2 + UU18*x^2*z^2 + UU16*y*z^2 + ((3*UU27)/4 + (3*UU28)/2 - (3*UU30)/5 - 3*UU31)*y^2*z^2 + UU22*z^3 + UU26*x*z^3 + UU28*y*z^3 + UU31*z^4;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FG:= -((9*UU2)/4) + (27*UU20)/64 + (513*UU23)/2048 + (27*UU24)/1024 - (243*UU25)/512 + (2097*UU26)/512 + (153*UU29)/160 - (45*UU5)/64 - (45*UU6)/32 + (6*UU2 - (99*UU23)/256 + (99*UU24)/128 + (99*UU25)/64 - (771*UU26)/64 - (33*UU29)/20 + (15*UU5)/8 + (15*UU6)/4)*x + (-3*UU2 - (27*UU20)/16 - (117*UU23)/512 - (423*UU24)/</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FG:= -((9*UU2)/4) + (27*UU20)/64 + (513*UU23)/2048 + (27*UU24)/1024 - (243*UU25)/512 + (2097*UU26)/512 + (153*UU29)/160 - (45*UU5)/64 - (45*UU6)/32 + (6*UU2 - (99*UU23)/256 + (99*UU24)/128 + (99*UU25)/64 - (771*UU26)/64 - (33*UU29)/20 + (15*UU5)/8 + (15*UU6)/4)*x + (-3*UU2 - (27*UU20)/16 - (117*UU23)/512 - (423*UU24)/</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l167">Line 167:</td> <td colspan="2" class="diff-lineno">Line 166:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>UU29*x^4 + (-((675*UU16)/104) + 6*UU2 - (81*UU20)/208 + (675*UU21)/104 + (675*UU22)/52 - (8919*UU23)/16640 + (4869*UU24)/8320 + (369*UU25)/160 - (4827*UU26)/320 - (3375*UU28)/416 - (123*UU29)/50 + (54*UU3)/13 + (675*UU30)/104 + (3375*UU31)/104 - (108*UU4)/13 + (15*UU5)/8 + (15*UU6)/4 - (135*UU7)/26 + (90*UU9)/13)*y + ((</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>UU29*x^4 + (-((675*UU16)/104) + 6*UU2 - (81*UU20)/208 + (675*UU21)/104 + (675*UU22)/52 - (8919*UU23)/16640 + (4869*UU24)/8320 + (369*UU25)/160 - (4827*UU26)/320 - (3375*UU28)/416 - (123*UU29)/50 + (54*UU3)/13 + (675*UU30)/104 + (3375*UU31)/104 - (108*UU4)/13 + (15*UU5)/8 + (15*UU6)/4 - (135*UU7)/26 + (90*UU9)/13)*y + ((</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>225*UU16)/13 - 8*UU2 - (45*UU20)/13 - (225*UU21)/13 - (450*UU22)/13 + (1929*UU23)/4160 - (10929*UU24)/2080 - (453*UU25)/80 + (2437*UU26)/80 + (1125*UU28)/52 + UU29/25 - (144*UU3)/13 - (225*UU30)/13 - (1125*UU31)/13 + (288*UU4)/13 - (5*UU5)/2 - 5*UU6 + (180*UU7)/13 - (240*UU9)/13)*x*y + (-((225*UU16)/26) + (207*UU20)/52 + (225*UU21)/26 + (225*UU22)/13 - (441*UU23)/1040 + (6057*UU24)/1040 + (243*UU25)/80 - (243*UU26)/20 - (1125*UU28)/104 + (9*UU29)/25 + (72*UU3)/13 + (225*UU30)/26 + (1125*UU31)/26 - (144*UU4)/13 - (90*UU7)/13 + (120*UU9)/13)*x^2*y + ((3*UU23)/5 - (6*UU24)/5 - (2*UU25)/5 + (8*UU26)/5 + (64*UU29)/25)*x^3*y + ((225*UU16)/26 - 3*UU2 - (243*UU20)/208 - (225*UU21)/26 - (225*UU22)/13 - (981*UU23)/33280 - (23319*UU24)/16640 - (1773*UU25)/640 + (8967*UU26)/640 + (1125*UU28)/104 + (381*UU29)/200 - (72*UU3)/13 - (225*UU30)/26 - (1125*UU31)/26 + (144*UU4)/13 - (15*UU5)/16 - (15*UU6)/8 + (90*UU7)/13 - (120*UU9)/13)*y^2 + (-((375*UU16)/26) + (189*UU20)/52 + (375*UU21)/26 + (375*UU22)/13 - (579*UU23)/1040 + (5883*UU24)/1040 + (417*UU25)/80 - (417*UU26)/20 - (1875*UU28)/104 - (9*UU29)/25 + (120*UU3)/13 + (375*UU30)/26 + (1875*UU31)/26 - (240*UU4)/13 - (150*UU7)/13 + (200*UU9)/13)*x*y^2 + ((27*UU23)/20 - (27*UU24)/10 - (33*UU25)/20 + (33*UU26)/5 + (54*UU29)/25)*x^2*y^2 + (-((25*UU16)/13) + (23*UU20)/26 + (25*UU21)/13 + (50*UU22)/13 + (107*UU23)/520 + (361*UU24)/520 + (39*UU25)/40 - (39*UU26)/10 - (125*UU28)/52 - (46*UU29)/25 + (16*UU3)/13 + (25*UU30)/13 + (125*UU31)/13 - (32*UU4)/13 - (20*UU7)/13 + (80*UU9)/39)*y^3 + ((3*UU23)/5 - (6*UU24)/5 - (7*UU25)/5 + (28*UU26)/5 + (64*UU29)/25)*x*y^3 +UU29*y^4 + ((675*UU16)/208 + 3*UU2 - (621*UU20)/416 - (675*UU21)/208 - (675*UU22)/104 - (20799*UU23)/33280 - (10251*UU24)/16640 + (99*UU25)/320 - (2667*UU26)/640 + (3375*UU28)/832 - (129*UU29)/50 - (27*UU3)/13 - (675*UU30)/208 - (3375*UU31)/208 + (54*UU4)/13 + (15*UU5)/16 + (15*UU6)/8 + (135*UU7)/52 - (45*UU9)/13)*z + (-((225*UU16)/26) - 4*UU2 + (45*UU20)/26 + (225*UU21)/26 + (225*UU22)/13 + (5169*UU23)/8320 + (3831*UU24)/4160 - (93*UU25)/160 + (997*UU26)/160 - (1125*UU28)/104 + (181*UU29)/50 + (72*UU3)/13 + (225*UU30)/26 + (1125*UU31)/26 - (144*UU4)/13 - (5*UU5)/4 - (5*UU6)/2 - (90*UU7)/13 + (120*UU9)/13)*x*z + ((225*UU16)/52 + (27*UU20)/104 - (225*UU21)/52 - (225*UU22)/26 + (909*UU23)/2080 - (1143*UU24)/2080 + (63*UU25)/160 - (63*UU26)/40 + (1125*UU28)/208 - (81*UU29)/50 - (36*UU3)/13 - (225*UU30)/52 - (1125*UU31)/52 + (72*UU4)/13 + (45*UU7)/13 - (60*UU9)/13)*x^2*z + (-(UU23/5) + (2*UU24)/5 - UU25/5 + (4*UU26)/5 + (32*UU29)/25)*x^3*z + (-4*UU2 + (9*UU20)/4 + (105*UU23)/128 + (75*UU24)/64 - (15*UU25)/32 + (185*UU26)/32 + (47*UU29)/10 - (5*UU5)/4 - (5*UU6)/2)*y*z + (-((75*UU16)/52) - (9*UU20)/104 + (75*UU21)/52 + (75*UU22)/26 + (633*UU23)/2080 - (1491*UU24)/2080 + (51*UU25)/160 - (51*UU26)/40 - (375*UU28)/208 - (117*UU29)/50 + (12*UU3)/13 + (75*UU30)/52 + (375*UU31)/52 - (24*UU4)/13 - (15*UU7)/13 + (20*UU9)/13)*y^2*z + (-(UU23/5) + (2*UU24)/5 - UU25/5 + (4*UU26)/5 + (32*UU29)/25)*y^3*z + (-((225*UU16)/52) - UU2 + (</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>225*UU16)/13 - 8*UU2 - (45*UU20)/13 - (225*UU21)/13 - (450*UU22)/13 + (1929*UU23)/4160 - (10929*UU24)/2080 - (453*UU25)/80 + (2437*UU26)/80 + (1125*UU28)/52 + UU29/25 - (144*UU3)/13 - (225*UU30)/13 - (1125*UU31)/13 + (288*UU4)/13 - (5*UU5)/2 - 5*UU6 + (180*UU7)/13 - (240*UU9)/13)*x*y + (-((225*UU16)/26) + (207*UU20)/52 + (225*UU21)/26 + (225*UU22)/13 - (441*UU23)/1040 + (6057*UU24)/1040 + (243*UU25)/80 - (243*UU26)/20 - (1125*UU28)/104 + (9*UU29)/25 + (72*UU3)/13 + (225*UU30)/26 + (1125*UU31)/26 - (144*UU4)/13 - (90*UU7)/13 + (120*UU9)/13)*x^2*y + ((3*UU23)/5 - (6*UU24)/5 - (2*UU25)/5 + (8*UU26)/5 + (64*UU29)/25)*x^3*y + ((225*UU16)/26 - 3*UU2 - (243*UU20)/208 - (225*UU21)/26 - (225*UU22)/13 - (981*UU23)/33280 - (23319*UU24)/16640 - (1773*UU25)/640 + (8967*UU26)/640 + (1125*UU28)/104 + (381*UU29)/200 - (72*UU3)/13 - (225*UU30)/26 - (1125*UU31)/26 + (144*UU4)/13 - (15*UU5)/16 - (15*UU6)/8 + (90*UU7)/13 - (120*UU9)/13)*y^2 + (-((375*UU16)/26) + (189*UU20)/52 + (375*UU21)/26 + (375*UU22)/13 - (579*UU23)/1040 + (5883*UU24)/1040 + (417*UU25)/80 - (417*UU26)/20 - (1875*UU28)/104 - (9*UU29)/25 + (120*UU3)/13 + (375*UU30)/26 + (1875*UU31)/26 - (240*UU4)/13 - (150*UU7)/13 + (200*UU9)/13)*x*y^2 + ((27*UU23)/20 - (27*UU24)/10 - (33*UU25)/20 + (33*UU26)/5 + (54*UU29)/25)*x^2*y^2 + (-((25*UU16)/13) + (23*UU20)/26 + (25*UU21)/13 + (50*UU22)/13 + (107*UU23)/520 + (361*UU24)/520 + (39*UU25)/40 - (39*UU26)/10 - (125*UU28)/52 - (46*UU29)/25 + (16*UU3)/13 + (25*UU30)/13 + (125*UU31)/13 - (32*UU4)/13 - (20*UU7)/13 + (80*UU9)/39)*y^3 + ((3*UU23)/5 - (6*UU24)/5 - (7*UU25)/5 + (28*UU26)/5 + (64*UU29)/25)*x*y^3 +UU29*y^4 + ((675*UU16)/208 + 3*UU2 - (621*UU20)/416 - (675*UU21)/208 - (675*UU22)/104 - (20799*UU23)/33280 - (10251*UU24)/16640 + (99*UU25)/320 - (2667*UU26)/640 + (3375*UU28)/832 - (129*UU29)/50 - (27*UU3)/13 - (675*UU30)/208 - (3375*UU31)/208 + (54*UU4)/13 + (15*UU5)/16 + (15*UU6)/8 + (135*UU7)/52 - (45*UU9)/13)*z + (-((225*UU16)/26) - 4*UU2 + (45*UU20)/26 + (225*UU21)/26 + (225*UU22)/13 + (5169*UU23)/8320 + (3831*UU24)/4160 - (93*UU25)/160 + (997*UU26)/160 - (1125*UU28)/104 + (181*UU29)/50 + (72*UU3)/13 + (225*UU30)/26 + (1125*UU31)/26 - (144*UU4)/13 - (5*UU5)/4 - (5*UU6)/2 - (90*UU7)/13 + (120*UU9)/13)*x*z + ((225*UU16)/52 + (27*UU20)/104 - (225*UU21)/52 - (225*UU22)/26 + (909*UU23)/2080 - (1143*UU24)/2080 + (63*UU25)/160 - (63*UU26)/40 + (1125*UU28)/208 - (81*UU29)/50 - (36*UU3)/13 - (225*UU30)/52 - (1125*UU31)/52 + (72*UU4)/13 + (45*UU7)/13 - (60*UU9)/13)*x^2*z + (-(UU23/5) + (2*UU24)/5 - UU25/5 + (4*UU26)/5 + (32*UU29)/25)*x^3*z + (-4*UU2 + (9*UU20)/4 + (105*UU23)/128 + (75*UU24)/64 - (15*UU25)/32 + (185*UU26)/32 + (47*UU29)/10 - (5*UU5)/4 - (5*UU6)/2)*y*z + (-((75*UU16)/52) - (9*UU20)/104 + (75*UU21)/52 + (75*UU22)/26 + (633*UU23)/2080 - (1491*UU24)/2080 + (51*UU25)/160 - (51*UU26)/40 - (375*UU28)/208 - (117*UU29)/50 + (12*UU3)/13 + (75*UU30)/52 + (375*UU31)/52 - (24*UU4)/13 - (15*UU7)/13 + (20*UU9)/13)*y^2*z + (-(UU23/5) + (2*UU24)/5 - UU25/5 + (4*UU26)/5 + (32*UU29)/25)*y^3*z + (-((225*UU16)/52) - UU2 + (</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>297*UU20)/208 + (225*UU21)/52 + (225*UU22)/26 + (21297*UU23)/33280 + (8403*UU24)/16640 - (39*UU25)/640 + (781*UU26)/640 - (1125*UU28)/208 + (523*UU29)/200 + (36*UU3)/13 + (225*UU30)/52 + (1125*UU31)/52 - (72*UU4)/13 - (5*UU5)/16 - (5*UU6)/8 - (45*UU7)/13 + (60*UU9)/13)*z^2 + ((75*UU16)/13 - (15*UU20)/13 - (75*UU21)/</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>297*UU20)/208 + (225*UU21)/52 + (225*UU22)/26 + (21297*UU23)/33280 + (8403*UU24)/16640 - (39*UU25)/640 + (781*UU26)/640 - (1125*UU28)/208 + (523*UU29)/200 + (36*UU3)/13 + (225*UU30)/52 + (1125*UU31)/52 - (72*UU4)/13 - (5*UU5)/16 - (5*UU6)/8 - (45*UU7)/13 + (60*UU9)/13)*z^2 + ((75*UU16)/13 - (15*UU20)/13 - (75*UU21)/13 - (150*UU22)/13 - (243*UU23)/520 - (33*UU24)/65 + (3*UU25)/5 - (12*UU26)/5 + (375*UU28)/52 - (66*UU29)/25 - (48*UU3)/13 - (75*UU30)/13 - (375*UU31)/13 + (96*UU4)/13 + (60*UU7)/13 - (80*UU9)/13)*x*z^2 + (-((9*UU23)/80) + (9*UU24)/40 - (27*UU25)/40 + (27*UU26)/10 + (18*UU29)/25)*x^2*z^2 + ((75*UU16)/26 - (69*UU20)/52 - (75*UU21)/26 - (75*UU22)/13 - (111*UU23)/208 - (123*UU24)/208 - (9*UU25)/16 + (9*UU26)/4 + (375*UU28)/104 - 3*UU29 - (24*UU3)/13 - (75*UU30)/26 - (375*UU31)/26 + (48*UU4)/13 + (30*UU7)/13 - (40*UU9)/13)*y*z^2 + (-((9*UU23)/80) + (9*UU24)/40 + (3*UU25)/40 - (3*UU26)/10 + (18*UU29)/25)*y^2*z^2 + ((75*UU16)/52 - (43*UU20)/104 - (75*UU21)/52 - (75*UU22)/26 - (659*UU23)/2080 + (243*UU24)/2080 + (37*UU25)/160 - (37*UU26)/40 + (375*UU28)/208 - (59*UU29)/50 - (12*UU3)/13 - (75*UU30)/52 - (375*UU31)/52 + (24*UU4)/13 + (15*UU7)/13 - (20*UU9)/13)*z^3 + ((3*UU23)/20 - (3*UU24)/10 - (3*UU25)/5 + (12*UU26)/5 + (16*UU29)/25)*x*z^3 + ((3*UU23)/20 - (3*UU24)/10 - UU25/10 + (2*UU26)/5 + (16*UU29)/25)*y*z^3 + (UU23/16 - UU24/8 - UU25/8 + UU26/2 + UU29/5)*z^4;</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>13 - (150*UU22)/13 - (243*UU23)/520 - (33*UU24)/65 + (3*UU25)/5 - (12*UU26)/5 + (375*UU28)/52 - (66*UU29)/25 - (48*UU3)/13 - (75*UU30)/13 - (375*UU31)/13 + (96*UU4)/13 + (60*UU7)/13 - (80*UU9)/13)*x*z^2 + (-((9*UU23)/80) + (9*UU24)/40 - (27*UU25)/40 + (27*UU26)/10 + (18*UU29)/25)*x^2*z^2 + ((75*UU16)/26 - (69*UU20)/52 - (75*UU21)/26 - (75*UU22)/13 - (111*UU23)/208 - (123*UU24)/208 - (9*UU25)/16 + (9*UU26)/4 + (375*UU28)/104 - 3*UU29 - (24*UU3)/13 - (75*UU30)/26 - (375*UU31)/26 + (48*UU4)/13 + (30*UU7)/13 - (40*UU9)/13)*y*z^2 + (-((9*UU23)/80) + (9*UU24)/40 + (3*UU25)/40 - (3*UU26)/10 + (18*UU29)/25)*y^2*z^2 + ((75*UU16)/52 - (43*UU20)/104 - (75*UU21)/52 - (75*UU22)/26 - (659*UU23)/2080 + (243*UU24)/2080 + (37*UU25)/160 - (37*UU26)/40 + (375*UU28)/208 - (59*UU29)/50 - (12*UU3)/13 - (75*UU30)/52 - (375*UU31)/52 + (24*UU4)/13 + (15*UU7)/13 - (20*UU9)/13)*z^3 + ((3*UU23)/20 - (3*UU24)/10 - (3*UU25)/5 + (12*UU26)/5 + (16*UU29)/25)*x*z^3 + ((3*UU23)/20 - (3*UU24)/10 - UU25/10 + (2*UU26)/5 + (16*UU29)/25)*y*z^3 + (UU23/16 - UU24/8 - UU25/8 + UU26/2 + UU29/5)*z^4;</div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FH:= (3*HH9)/8 - (9*SS10)/8 - (3*SS4)/2 - (9*SS7)/16 + (-((3*HH9)/4) + (3*SS10)/4 + SS4 - (3*SS6)/2 + (9*SS7)/8)*x + (HH9/3 + SS6 - SS7/2)*x^2 + (-((3*HH9)/2) + (3*SS10)/2 + 2*SS4 + (3*SS7)/4)*y + ((4*HH9)/3 + 2*SS6 - SS7)*x*y + HH9*y^2 + (-(HH9/4) - (3*SS10)/4 + SS4 + (3*SS7)/8)*z + (HH9/3 + SS10 + SS6 - SS7/2)*x*z + ((2*HH9)/3 + 2*SS10)*y*z + SS10*z^2;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  FH:= (3*HH9)/8 - (9*SS10)/8 - (3*SS4)/2 - (9*SS7)/16 + (-((3*HH9)/4) + (3*SS10)/4 + SS4 - (3*SS6)/2 + (9*SS7)/8)*x + (HH9/3 + SS6 - SS7/2)*x^2 + (-((3*HH9)/2) + (3*SS10)/2 + 2*SS4 + (3*SS7)/4)*y + ((4*HH9)/3 + 2*SS6 - SS7)*x*y + HH9*y^2 + (-(HH9/4) - (3*SS10)/4 + SS4 + (3*SS7)/8)*z + (HH9/3 + SS10 + SS6 - SS7/2)*x*z + ((2*HH9)/3 + 2*SS10)*y*z + SS10*z^2;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> </table>

Teorth https://michaelnielsen.org/polymath/index.php?title=Notes_on_polytope_decomposition&diff=9412&oldid=prev 2014-02-10T05:21:40Z

<p></p> <a href="https://michaelnielsen.org/polymath/index.php?title=Notes_on_polytope_decomposition&amp;diff=9412&amp;oldid=9411">Show changes</a>

Teorth