Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 1680210084] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2125 geometric_solution 5.61681328 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.600966879704 0.147365484234 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 0 1 -1 -1 0 0 1 -1 1 0 0 0 -1 1 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.823689744145 0.438469530813 4 1 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 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 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.663812037413 0.874145617831 2 5 1 4 3012 3201 0132 0132 0 0 0 0 0 -1 1 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 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.663812037413 0.874145617831 2 4 3 4 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.049726937863 1.240204972053 6 6 3 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 -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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.059072453247 1.851435515549 5 6 6 5 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.159291531925 0.409206029507 ==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' : negation(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' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_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_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_5']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 19565100060431032435267779985/1756552027855470014296662568*c_0101_5\ ^28 + 168330964717379078608951184125/1756552027855470014296662568*c\ _0101_5^27 - 44612680083332198085372142804/219569003481933751787082\ 821*c_0101_5^26 - 740938487295240887376891712899/439138006963867503\ 574165642*c_0101_5^25 + 7124052243667628839052006673651/17565520278\ 55470014296662568*c_0101_5^24 + 3577314210508467270390375105273/439\ 138006963867503574165642*c_0101_5^23 - 56831600581341319353568478841459/1756552027855470014296662568*c_010\ 1_5^22 + 177995503172891267258004460721/219569003481933751787082821\ *c_0101_5^21 + 9026033149751602443662504249685/79843273993430455195\ 302844*c_0101_5^20 - 9629683527909572964051816842869/79843273993430\ 455195302844*c_0101_5^19 - 135223322474394471520468173178641/878276\ 013927735007148331284*c_0101_5^18 + 350758248876678981809154061599041/878276013927735007148331284*c_010\ 1_5^17 - 83214272108656895420928448182385/8782760139277350071483312\ 84*c_0101_5^16 - 948232354484847809589129599127957/1756552027855470\ 014296662568*c_0101_5^15 + 1030927210072654782238475917635081/17565\ 52027855470014296662568*c_0101_5^14 + 158519023042241785829941637530625/878276013927735007148331284*c_010\ 1_5^13 - 1331949995791503843221086505351317/17565520278554700142966\ 62568*c_0101_5^12 + 639128644882308202395346458935505/1756552027855\ 470014296662568*c_0101_5^11 + 667634436970190166903236752095261/175\ 6552027855470014296662568*c_0101_5^10 - 422622967430895510464497723748375/878276013927735007148331284*c_010\ 1_5^9 + 49058230274329587783710295413101/17565520278554700142966625\ 68*c_0101_5^8 + 410785160825540618059290801586103/17565520278554700\ 14296662568*c_0101_5^7 - 96011767091472115804731392749371/878276013\ 927735007148331284*c_0101_5^6 - 77868391256547935132587027150097/17\ 56552027855470014296662568*c_0101_5^5 + 38459866081928301521561956612165/878276013927735007148331284*c_0101\ _5^4 + 385698457316784701236819316723/878276013927735007148331284*c\ _0101_5^3 - 13104656397461714178179323756995/1756552027855470014296\ 662568*c_0101_5^2 + 130759088620911856443762858730/2195690034819337\ 51787082821*c_0101_5 + 240527257006062557891402688773/4391380069638\ 67503574165642, c_0011_0 - 1, c_0011_3 + 512586719091290149733374157/1756552027855470014296662568*c_0\ 101_5^28 + 4035020601718719362325482229/175655202785547001429666256\ 8*c_0101_5^27 - 3078930461488697983475531855/4391380069638675035741\ 65642*c_0101_5^26 - 17318727192808499794298153269/43913800696386750\ 3574165642*c_0101_5^25 + 233643011719691612867609067527/17565520278\ 55470014296662568*c_0101_5^24 + 27465580571870979694359503425/21956\ 9003481933751787082821*c_0101_5^23 - 1595090650138924002599433807191/1756552027855470014296662568*c_0101\ _5^22 + 236053542196200780628713042887/439138006963867503574165642*\ c_0101_5^21 + 206098924811177546998419982685/7984327399343045519530\ 2844*c_0101_5^20 - 344120310495538796783766056905/79843273993430455\ 195302844*c_0101_5^19 - 1697560483649385446469999299485/87827601392\ 7735007148331284*c_0101_5^18 + 9581746449978392871863864549893/8782\ 76013927735007148331284*c_0101_5^17 - 5833598953604326880897934225253/878276013927735007148331284*c_0101_\ 5^16 - 20121150343518472074198331417345/175655202785547001429666256\ 8*c_0101_5^15 + 33508521930624048588361624251713/175655202785547001\ 4296662568*c_0101_5^14 - 1074230921901981775795524473569/8782760139\ 27735007148331284*c_0101_5^13 - 35127824575476479223621653258121/17\ 56552027855470014296662568*c_0101_5^12 + 27313471200957916102934044612337/1756552027855470014296662568*c_010\ 1_5^11 + 11561494922466741424311721082637/1756552027855470014296662\ 568*c_0101_5^10 - 13707363999984546258014167268361/8782760139277350\ 07148331284*c_0101_5^9 + 8166284555739179058382347652233/1756552027\ 855470014296662568*c_0101_5^8 + 10827406705909625765923199792127/17\ 56552027855470014296662568*c_0101_5^7 - 4377564150253796266543218906601/878276013927735007148331284*c_0101_\ 5^6 - 620933094155312901093533406413/1756552027855470014296662568*c\ _0101_5^5 + 1455074992197551684561757665943/87827601392773500714833\ 1284*c_0101_5^4 - 328185294309975039807464239881/878276013927735007\ 148331284*c_0101_5^3 - 378130278990132574810318049599/1756552027855\ 470014296662568*c_0101_5^2 + 32090096217186027217279391429/43913800\ 6963867503574165642*c_0101_5 + 4425073426100875096840752277/4391380\ 06963867503574165642, c_0011_5 + 1737767872471772314900411397/1756552027855470014296662568*c_\ 0101_5^28 + 10388116489217402215338714109/1756552027855470014296662\ 568*c_0101_5^27 - 15723077079175165606265063233/4391380069638675035\ 74165642*c_0101_5^26 - 30958703089902747604405654549/43913800696386\ 7503574165642*c_0101_5^25 + 1085562871243352810194119217967/1756552\ 027855470014296662568*c_0101_5^24 - 151864948276902928511847599105/219569003481933751787082821*c_0101_5\ ^23 - 4116459121217104638894277191255/1756552027855470014296662568*\ c_0101_5^22 + 3045911793455626827334318303815/439138006963867503574\ 165642*c_0101_5^21 - 172477429926054813926778643547/798432739934304\ 55195302844*c_0101_5^20 - 1358451860894130049651511945053/798432739\ 93430455195302844*c_0101_5^19 + 23840483605702550260676159794515/87\ 8276013927735007148331284*c_0101_5^18 + 1811110090639092625345350127921/878276013927735007148331284*c_0101_\ 5^17 - 43953785148143210365299315878097/878276013927735007148331284\ *c_0101_5^16 + 88129446866345259415420633069327/1756552027855470014\ 296662568*c_0101_5^15 + 28370474517957769690452722964281/1756552027\ 855470014296662568*c_0101_5^14 - 64373662787275200077686136460009/8\ 78276013927735007148331284*c_0101_5^13 + 84416964124548099576025533633511/1756552027855470014296662568*c_010\ 1_5^12 + 44239164367533259123585160605817/1756552027855470014296662\ 568*c_0101_5^11 - 97762791227774510851851884606843/1756552027855470\ 014296662568*c_0101_5^10 + 19570057515660126425635461452175/8782760\ 13927735007148331284*c_0101_5^9 + 29428838280515641150814278305297/\ 1756552027855470014296662568*c_0101_5^8 - 34999108564515099056269764577121/1756552027855470014296662568*c_010\ 1_5^7 + 3241584402875720992937268064847/878276013927735007148331284\ *c_0101_5^6 + 7857061263837721031291607798643/175655202785547001429\ 6662568*c_0101_5^5 - 2201194578521466351552383443973/87827601392773\ 5007148331284*c_0101_5^4 - 60064408629950267904893664177/8782760139\ 27735007148331284*c_0101_5^3 + 583499262994509805927086137433/17565\ 52027855470014296662568*c_0101_5^2 - 19283867453741685017072122997/439138006963867503574165642*c_0101_5 - 4467923716175208250119441179/439138006963867503574165642, c_0101_0 + 2502248610555097299180922809/878276013927735007148331284*c_0\ 101_5^28 + 17591101167180941574184575637/87827601392773500714833128\ 4*c_0101_5^27 - 18311937304935717162146048305/219569003481933751787\ 082821*c_0101_5^26 - 65996398516985978858640569830/2195690034819337\ 51787082821*c_0101_5^25 + 1319048374476993627549020114635/878276013\ 927735007148331284*c_0101_5^24 - 57953827391483348980729057323/2195\ 69003481933751787082821*c_0101_5^23 - 6785510129429738714953218654635/878276013927735007148331284*c_0101_\ 5^22 + 2615991115248225445977230179286/219569003481933751787082821*\ c_0101_5^21 + 400108839884823808217066515333/3992163699671522759765\ 1422*c_0101_5^20 - 1759716807048853214510823459001/3992163699671522\ 7597651422*c_0101_5^19 + 11827066519840052358588828579269/439138006\ 963867503574165642*c_0101_5^18 + 24522401644431338217357639695181/4\ 39138006963867503574165642*c_0101_5^17 - 43792800479573720662348919011051/439138006963867503574165642*c_0101\ _5^16 + 11800256569948352108274220469403/87827601392773500714833128\ 4*c_0101_5^15 + 98759053843737985562689516477253/878276013927735007\ 148331284*c_0101_5^14 - 46758317876393824577463936209077/4391380069\ 63867503574165642*c_0101_5^13 - 23208226596252679626412562641133/87\ 8276013927735007148331284*c_0101_5^12 + 93554493095355322188894619074489/878276013927735007148331284*c_0101\ _5^11 - 42517018408086251590875011133287/87827601392773500714833128\ 4*c_0101_5^10 - 16676688832937523318560237416031/439138006963867503\ 574165642*c_0101_5^9 + 38992948900402327498794107393757/87827601392\ 7735007148331284*c_0101_5^8 - 2342424246698665058908792272377/87827\ 6013927735007148331284*c_0101_5^7 - 6665793196316552410036681533215/439138006963867503574165642*c_0101_\ 5^6 + 4618553889527659110492732615079/878276013927735007148331284*c\ _0101_5^5 + 1070517238093210754967981515705/43913800696386750357416\ 5642*c_0101_5^4 - 591014301194501865335356337605/439138006963867503\ 574165642*c_0101_5^3 - 187779816959646287775214549211/8782760139277\ 35007148331284*c_0101_5^2 + 27951907902549378017861076413/219569003\ 481933751787082821*c_0101_5 + 3626924844866726031432718914/21956900\ 3481933751787082821, c_0101_1 - 1621761638858493349003430245/878276013927735007148331284*c_0\ 101_5^28 - 10622495541690512648727076627/87827601392773500714833128\ 4*c_0101_5^27 + 26866132531010179469019000013/439138006963867503574\ 165642*c_0101_5^26 + 38671976497779559976263102680/2195690034819337\ 51787082821*c_0101_5^25 - 952983292450161226535186854163/8782760139\ 27735007148331284*c_0101_5^24 + 229839974136592859404422612911/4391\ 38006963867503574165642*c_0101_5^23 + 4627129099977984630546838142995/878276013927735007148331284*c_0101_\ 5^22 - 4311055605465028966232341526761/439138006963867503574165642*\ c_0101_5^21 - 194526753240686741272112927819/3992163699671522759765\ 1422*c_0101_5^20 + 1318889845824029963579177930053/3992163699671522\ 7597651422*c_0101_5^19 - 11610400492628064330082635981743/439138006\ 963867503574165642*c_0101_5^18 - 15883360526881046124211546572659/4\ 39138006963867503574165642*c_0101_5^17 + 35424339062126227266061149730139/439138006963867503574165642*c_0101\ _5^16 - 20899292189863590125726081345479/87827601392773500714833128\ 4*c_0101_5^15 - 71171136548816608049485739243067/878276013927735007\ 148331284*c_0101_5^14 + 20531498733965774833503804871086/2195690034\ 81933751787082821*c_0101_5^13 + 5673558694607254593285088298549/878\ 276013927735007148331284*c_0101_5^12 - 73097721097868836273184201109307/878276013927735007148331284*c_0101\ _5^11 + 43019087265733300277560281651353/87827601392773500714833128\ 4*c_0101_5^10 + 5148270712908139832605009944391/2195690034819337517\ 87082821*c_0101_5^9 - 33424522489878025019504895375837/878276013927\ 735007148331284*c_0101_5^8 + 5913994749470917708705590361635/878276\ 013927735007148331284*c_0101_5^7 + 2491804763311608015376503023847/219569003481933751787082821*c_0101_\ 5^6 - 4821233831615864034097138696179/878276013927735007148331284*c\ _0101_5^5 - 295612282408498699627021878196/219569003481933751787082\ 821*c_0101_5^4 + 517124390135957981961090856609/4391380069638675035\ 74165642*c_0101_5^3 + 59202758394494262427288229987/878276013927735\ 007148331284*c_0101_5^2 - 40883976830984484100407089185/43913800696\ 3867503574165642*c_0101_5 - 2187259234755921144685773788/2195690034\ 81933751787082821, c_0101_2 + 1903439757982080282655848215/1756552027855470014296662568*c_\ 0101_5^28 + 11463551209043451256057166123/1756552027855470014296662\ 568*c_0101_5^27 - 8538849158379833904560214773/21956900348193375178\ 7082821*c_0101_5^26 - 34649833462072608890869314669/439138006963867\ 503574165642*c_0101_5^25 + 1178368236290365737449801063309/17565520\ 27855470014296662568*c_0101_5^24 - 318779606492175043632917338573/439138006963867503574165642*c_0101_5\ ^23 - 4495896073326078318244177495029/1756552027855470014296662568*\ c_0101_5^22 + 1620833710887262016996417275151/219569003481933751787\ 082821*c_0101_5^21 - 167605714417255503059254959373/798432739934304\ 55195302844*c_0101_5^20 - 1450648593148471542663836173147/798432739\ 93430455195302844*c_0101_5^19 + 24864212624694967689392906593617/87\ 8276013927735007148331284*c_0101_5^18 + 2464731607145777106459495345067/878276013927735007148331284*c_0101_\ 5^17 - 46049635993502661934659077286211/878276013927735007148331284\ *c_0101_5^16 + 90187047772052717488515955854333/1756552027855470014\ 296662568*c_0101_5^15 + 31222019366452348162160716816687/1756552027\ 855470014296662568*c_0101_5^14 - 66364287940252212361836945442833/8\ 78276013927735007148331284*c_0101_5^13 + 84665293760310320623372568911389/1756552027855470014296662568*c_010\ 1_5^12 + 46937855122759015699643194607631/1756552027855470014296662\ 568*c_0101_5^11 - 99280016932241538899845811739629/1756552027855470\ 014296662568*c_0101_5^10 + 19161013767369216800986955430435/8782760\ 13927735007148331284*c_0101_5^9 + 30493373386905858359432603428203/\ 1756552027855470014296662568*c_0101_5^8 - 35046874976794900438024154478559/1756552027855470014296662568*c_010\ 1_5^7 + 3072156035298235536754037030791/878276013927735007148331284\ *c_0101_5^6 + 7960005970963497864665317040585/175655202785547001429\ 6662568*c_0101_5^5 - 2187058924671291113167244330997/87827601392773\ 5007148331284*c_0101_5^4 - 59674522688020940682980097335/8782760139\ 27735007148331284*c_0101_5^3 + 575499009882585611076362458483/17565\ 52027855470014296662568*c_0101_5^2 - 10114713882948314426401081364/219569003481933751787082821*c_0101_5 - 3887402387185694703666678571/439138006963867503574165642, c_0101_5^29 + 7*c_0101_5^28 - 30*c_0101_5^27 - 108*c_0101_5^26 + 547*c_0101_5^25 - 62*c_0101_5^24 - 3003*c_0101_5^23 + 4450*c_0101_5^22 + 4710*c_0101_5^21 - 18370*c_0101_5^20 + 9386*c_0101_5^19 + 27670*c_0101_5^18 - 44422*c_0101_5^17 - 545*c_0101_5^16 + 60799*c_0101_5^15 - 50804*c_0101_5^14 - 23833*c_0101_5^13 + 64895*c_0101_5^12 - 25217*c_0101_5^11 - 30188*c_0101_5^10 + 33105*c_0101_5^9 - 1503*c_0101_5^8 - 14120*c_0101_5^7 + 6459*c_0101_5^6 + 1960*c_0101_5^5 - 2142*c_0101_5^4 + 161*c_0101_5^3 + 250*c_0101_5^2 - 44*c_0101_5 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB