Magma V2.19-8 Tue Aug 20 2013 16:17:26 on localhost [Seed = 408519891] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1671 geometric_solution 5.40295555 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298739611623 0.862909223393 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.925971079021 1.161240096307 1 3 0 4 1230 2310 0132 2310 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.925971079021 1.161240096307 1 5 5 2 0132 0132 3201 3201 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.675023165960 0.288964389025 2 6 6 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.061763825132 0.451177226738 3 3 5 5 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.412459201777 0.649708175797 4 4 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.222357883376 0.889940590841 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1174627153973944953/8240380116968408*c_0101_6^16 - 7506329639643760703/8240380116968408*c_0101_6^15 - 27149298862009628751/8240380116968408*c_0101_6^14 - 85698843932648863775/8240380116968408*c_0101_6^13 - 202839336280801352715/8240380116968408*c_0101_6^12 - 390244653698008371375/8240380116968408*c_0101_6^11 - 699543007416938066875/8240380116968408*c_0101_6^10 - 1003030494416544143425/8240380116968408*c_0101_6^9 - 1195687313839088088749/8240380116968408*c_0101_6^8 - 620123534613784143999/4120190058484204*c_0101_6^7 - 1118653236589447814413/8240380116968408*c_0101_6^6 - 814287034850942199219/8240380116968408*c_0101_6^5 - 224037969289144520791/4120190058484204*c_0101_6^4 - 126786091407895237881/4120190058484204*c_0101_6^3 - 15788427575501549284/1030047514621051*c_0101_6^2 - 6622350625500293851/4120190058484204*c_0101_6 + 983634866427545452/1030047514621051, c_0011_0 - 1, c_0011_1 + 37291186305739/35518879814519*c_0101_6^16 + 486409548427783/71037759629038*c_0101_6^15 + 888618940168389/35518879814519*c_0101_6^14 + 2808540851898945/35518879814519*c_0101_6^13 + 6712615701242216/35518879814519*c_0101_6^12 + 12971525994489373/35518879814519*c_0101_6^11 + 23265743845349683/35518879814519*c_0101_6^10 + 33711650044858528/35518879814519*c_0101_6^9 + 40272093853625518/35518879814519*c_0101_6^8 + 41976257917925328/35518879814519*c_0101_6^7 + 75855109559470677/71037759629038*c_0101_6^6 + 55665981157419133/71037759629038*c_0101_6^5 + 15317779006320424/35518879814519*c_0101_6^4 + 16962495398156001/71037759629038*c_0101_6^3 + 4340421992046282/35518879814519*c_0101_6^2 + 434882636146973/35518879814519*c_0101_6 - 308455580555912/35518879814519, c_0011_4 - 48312084360703/71037759629038*c_0101_6^16 - 142690904139003/35518879814519*c_0101_6^15 - 985743806270973/71037759629038*c_0101_6^14 - 3087348394649667/71037759629038*c_0101_6^13 - 6979564289740727/71037759629038*c_0101_6^12 - 13077654347565977/71037759629038*c_0101_6^11 - 23313400301554637/71037759629038*c_0101_6^10 - 31547320844660751/71037759629038*c_0101_6^9 - 36683029829560121/71037759629038*c_0101_6^8 - 18360190322204665/35518879814519*c_0101_6^7 - 16028804975492908/35518879814519*c_0101_6^6 - 10762695502173747/35518879814519*c_0101_6^5 - 5422361612857098/35518879814519*c_0101_6^4 - 6659413108027601/71037759629038*c_0101_6^3 - 1238076506658287/35518879814519*c_0101_6^2 + 110693646221493/35518879814519*c_0101_6 + 84303934639926/35518879814519, c_0101_0 + 135250814329541/71037759629038*c_0101_6^16 + 420987433984511/35518879814519*c_0101_6^15 + 3001106300751583/71037759629038*c_0101_6^14 + 9452921269269767/71037759629038*c_0101_6^13 + 22068553033495475/71037759629038*c_0101_6^12 + 42144149497729973/71037759629038*c_0101_6^11 + 75481065184730711/71037759629038*c_0101_6^10 + 106524867633868375/71037759629038*c_0101_6^9 + 126297003679562617/71037759629038*c_0101_6^8 + 65054924673745646/35518879814519*c_0101_6^7 + 58321401238928331/35518879814519*c_0101_6^6 + 41820922329292688/35518879814519*c_0101_6^5 + 22790807291809229/35518879814519*c_0101_6^4 + 26624705574111401/71037759629038*c_0101_6^3 + 6256411494252353/35518879814519*c_0101_6^2 + 534738915900447/35518879814519*c_0101_6 - 319206330113126/35518879814519, c_0101_1 - 86102156317807/35518879814519*c_0101_6^16 - 546630285628186/35518879814519*c_0101_6^15 - 1969497095829566/35518879814519*c_0101_6^14 - 6212749584409356/35518879814519*c_0101_6^13 - 14654164653659020/35518879814519*c_0101_6^12 - 28135224448816659/35518879814519*c_0101_6^11 - 50421603803844678/35518879814519*c_0101_6^10 - 72013947917956669/35518879814519*c_0101_6^9 - 85701711851120377/35518879814519*c_0101_6^8 - 88755522122024170/35518879814519*c_0101_6^7 - 79936234289473655/35518879814519*c_0101_6^6 - 57981194986375253/35518879814519*c_0101_6^5 - 31785809570387317/35518879814519*c_0101_6^4 - 18146528639569979/35518879814519*c_0101_6^3 - 8865847851272116/35518879814519*c_0101_6^2 - 833706990962328/35518879814519*c_0101_6 + 547964880872694/35518879814519, c_0101_5 + 108637337702413/35518879814519*c_0101_6^16 + 684304910783627/35518879814519*c_0101_6^15 + 2454499773846281/35518879814519*c_0101_6^14 + 7735545660450292/35518879814519*c_0101_6^13 + 18165603482298367/35518879814519*c_0101_6^12 + 34783333267179520/35518879814519*c_0101_6^11 + 62280923917994220/35518879814519*c_0101_6^10 + 88470347105891596/35518879814519*c_0101_6^9 + 104982160606501869/35518879814519*c_0101_6^8 + 108280340220780982/35518879814519*c_0101_6^7 + 97185585171605812/35518879814519*c_0101_6^6 + 69938912038116290/35518879814519*c_0101_6^5 + 38028100364462142/35518879814519*c_0101_6^4 + 21810558196968156/35518879814519*c_0101_6^3 + 10515375872724198/35518879814519*c_0101_6^2 + 870778410661545/35518879814519*c_0101_6 - 688774937620452/35518879814519, c_0101_6^17 + 7*c_0101_6^16 + 27*c_0101_6^15 + 87*c_0101_6^14 + 217*c_0101_6^13 + 437*c_0101_6^12 + 797*c_0101_6^11 + 1215*c_0101_6^10 + 1535*c_0101_6^9 + 1672*c_0101_6^8 + 1591*c_0101_6^7 + 1269*c_0101_6^6 + 800*c_0101_6^5 + 446*c_0101_6^4 + 238*c_0101_6^3 + 76*c_0101_6^2 - 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB