Magma V2.19-8 Tue Aug 20 2013 16:18:50 on localhost [Seed = 1259001396] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2994 geometric_solution 6.17407622 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 -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.705137779027 0.440134468328 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632759429151 0.490200300203 4 5 3 0 0132 1023 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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.632759429151 0.490200300203 3 1 3 2 2031 0132 1302 0132 0 0 0 0 0 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 0 0 0 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 0 0 0.650326733936 0.761552821333 2 6 1 6 0132 0132 0132 2310 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 0 0 0 -1 0 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.644543755496 0.897930841267 2 5 5 1 1023 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.560211926315 0.710886393633 4 4 6 6 3201 0132 1230 3012 0 0 0 0 0 0 0 0 1 0 -1 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 1 -1 1 0 0 -1 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.347896335164 0.473554795409 ==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' : 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' : 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_0110_6'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_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_2, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 10550823602572643151143/479656428937237073709*c_0110_6^20 + 122794460941488366337358/2398282144686185368545*c_0110_6^19 + 3089503593984449624137/72675216505641980865*c_0110_6^18 - 742563275545539501557323/2398282144686185368545*c_0110_6^17 - 360383505805671442337524/799427381562061789515*c_0110_6^16 + 47508998798550884282161/799427381562061789515*c_0110_6^15 + 377606451845518239126788/479656428937237073709*c_0110_6^14 - 150833237095525266659177/479656428937237073709*c_0110_6^13 + 964495776578641391103271/2398282144686185368545*c_0110_6^12 + 986568651241711558873747/799427381562061789515*c_0110_6^11 - 143682447217537839630827/58494686455760618745*c_0110_6^10 + 73530932363287680633400/479656428937237073709*c_0110_6^9 + 6253906139895745539284468/2398282144686185368545*c_0110_6^8 - 569681425454457029000401/799427381562061789515*c_0110_6^7 - 345993499027756295165093/218025649516925942595*c_0110_6^6 - 113302468391317422263252/799427381562061789515*c_0110_6^5 + 105679562364345572211751/159885476312412357903*c_0110_6^4 + 534205647772837098406462/2398282144686185368545*c_0110_6^3 - 17525560716628632274132/159885476312412357903*c_0110_6^2 - 16697667118392251921206/218025649516925942595*c_0110_6 - 49272806555397385723151/2398282144686185368545, c_0011_0 - 1, c_0011_2 + 1378509736173093/8321907306268405*c_0110_6^20 + 4014586780101784/8321907306268405*c_0110_6^19 + 5748522212309948/8321907306268405*c_0110_6^18 - 3288581945353222/1664381461253681*c_0110_6^17 - 40208517021006954/8321907306268405*c_0110_6^16 - 32700007717617017/8321907306268405*c_0110_6^15 + 8972264031989401/1664381461253681*c_0110_6^14 + 33907530742276936/8321907306268405*c_0110_6^13 + 57923478901851847/8321907306268405*c_0110_6^12 + 45097336081107239/8321907306268405*c_0110_6^11 - 48317550849096187/8321907306268405*c_0110_6^10 - 65724559956315932/8321907306268405*c_0110_6^9 - 4844458301831553/1664381461253681*c_0110_6^8 + 211651835516923394/8321907306268405*c_0110_6^7 - 79795520997798409/8321907306268405*c_0110_6^6 - 186206457223978311/8321907306268405*c_0110_6^5 + 20980120873977212/8321907306268405*c_0110_6^4 + 44589186535008102/8321907306268405*c_0110_6^3 + 33354428995049479/8321907306268405*c_0110_6^2 - 1692807885403287/8321907306268405*c_0110_6 - 4211471504272251/8321907306268405, c_0101_0 - 1460360835238701/1664381461253681*c_0110_6^20 - 25378608819372696/8321907306268405*c_0110_6^19 - 33884942795616442/8321907306268405*c_0110_6^18 + 83681345517163206/8321907306268405*c_0110_6^17 + 260721086202994709/8321907306268405*c_0110_6^16 + 148812604829384219/8321907306268405*c_0110_6^15 - 49807106968260525/1664381461253681*c_0110_6^14 - 27093042302165889/1664381461253681*c_0110_6^13 - 8339099682932382/8321907306268405*c_0110_6^12 - 636857882763245442/8321907306268405*c_0110_6^11 + 343726188880137609/8321907306268405*c_0110_6^10 + 168877677227846755/1664381461253681*c_0110_6^9 - 1055452614068025786/8321907306268405*c_0110_6^8 - 547846901280522649/8321907306268405*c_0110_6^7 + 856150608579651281/8321907306268405*c_0110_6^6 + 354998625565753307/8321907306268405*c_0110_6^5 - 28284624163248461/1664381461253681*c_0110_6^4 - 151968622632189449/8321907306268405*c_0110_6^3 - 3728996953521067/1664381461253681*c_0110_6^2 + 28735366569906477/8321907306268405*c_0110_6 + 865523735838847/8321907306268405, c_0101_1 - 2461155544731488/8321907306268405*c_0110_6^20 + 1193164506707387/8321907306268405*c_0110_6^19 + 11874565875352049/8321907306268405*c_0110_6^18 + 48201447466576754/8321907306268405*c_0110_6^17 - 9394789912651769/1664381461253681*c_0110_6^16 - 155007093403337022/8321907306268405*c_0110_6^15 - 12741120669459130/1664381461253681*c_0110_6^14 + 285271517018248319/8321907306268405*c_0110_6^13 - 29864031597730729/1664381461253681*c_0110_6^12 - 44822212231323107/8321907306268405*c_0110_6^11 + 731775941100193443/8321907306268405*c_0110_6^10 - 819588712404736128/8321907306268405*c_0110_6^9 - 322410155889602974/8321907306268405*c_0110_6^8 + 216061459282174899/1664381461253681*c_0110_6^7 - 172936802725966077/8321907306268405*c_0110_6^6 - 552127066364375556/8321907306268405*c_0110_6^5 + 21505290041871448/8321907306268405*c_0110_6^4 + 158569163770010562/8321907306268405*c_0110_6^3 + 39383218437229281/8321907306268405*c_0110_6^2 - 4491427870792008/1664381461253681*c_0110_6 - 1976795774336726/8321907306268405, c_0101_2 - 12828670557369224/8321907306268405*c_0110_6^20 - 29684828512388641/8321907306268405*c_0110_6^19 - 25075462001037807/8321907306268405*c_0110_6^18 + 177833780474977014/8321907306268405*c_0110_6^17 + 255613729405552353/8321907306268405*c_0110_6^16 - 32215007713612123/8321907306268405*c_0110_6^15 - 85253391362175626/1664381461253681*c_0110_6^14 + 215217383693448767/8321907306268405*c_0110_6^13 - 258024014624486799/8321907306268405*c_0110_6^12 - 147659245462277465/1664381461253681*c_0110_6^11 + 1464593565183577642/8321907306268405*c_0110_6^10 - 182432258643040769/8321907306268405*c_0110_6^9 - 1519530847749160859/8321907306268405*c_0110_6^8 + 591194633637383437/8321907306268405*c_0110_6^7 + 777860947935948846/8321907306268405*c_0110_6^6 - 43301785360482679/8321907306268405*c_0110_6^5 - 268785001368976731/8321907306268405*c_0110_6^4 - 96440818715466282/8321907306268405*c_0110_6^3 + 40331524553066143/8321907306268405*c_0110_6^2 + 20497614854264899/8321907306268405*c_0110_6 + 9266161971095251/8321907306268405, c_0101_5 + 1257567307755598/8321907306268405*c_0110_6^20 + 874002495227371/1664381461253681*c_0110_6^19 + 846947263166057/1664381461253681*c_0110_6^18 - 18152361242237466/8321907306268405*c_0110_6^17 - 49242124551694133/8321907306268405*c_0110_6^16 - 6143540078457436/8321907306268405*c_0110_6^15 + 14501160671024708/1664381461253681*c_0110_6^14 + 34488813386909266/8321907306268405*c_0110_6^13 - 30720699408412876/8321907306268405*c_0110_6^12 + 139159773270444461/8321907306268405*c_0110_6^11 - 118107929930893466/8321907306268405*c_0110_6^10 - 215835144837217692/8321907306268405*c_0110_6^9 + 327446653355463206/8321907306268405*c_0110_6^8 + 22214199479010473/8321907306268405*c_0110_6^7 - 44960945967364983/1664381461253681*c_0110_6^6 - 34160268572946508/8321907306268405*c_0110_6^5 + 44589186535008102/8321907306268405*c_0110_6^4 + 52653565301472781/8321907306268405*c_0110_6^3 + 9386118893211304/8321907306268405*c_0110_6^2 - 5589981240445344/8321907306268405*c_0110_6 - 9700417042441498/8321907306268405, c_0110_6^21 + 2*c_0110_6^20 + c_0110_6^19 - 15*c_0110_6^18 - 16*c_0110_6^17 + 12*c_0110_6^16 + 37*c_0110_6^15 - 28*c_0110_6^14 + 17*c_0110_6^13 + 55*c_0110_6^12 - 136*c_0110_6^11 + 38*c_0110_6^10 + 139*c_0110_6^9 - 84*c_0110_6^8 - 74*c_0110_6^7 + 28*c_0110_6^6 + 40*c_0110_6^5 - 14*c_0110_6^3 - 2*c_0110_6^2 + c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB