Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 2328565318] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0365 geometric_solution 4.41551829 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 1 0 -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 2 0 -2 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.256351159140 0.598892724016 0 3 3 0 0132 0132 3201 3201 0 0 0 0 0 -1 0 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 -2 0 2 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.574707484122 0.673310297520 0 2 2 0 3201 3201 2310 0132 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 0 0 0 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.547298532368 0.049909743146 1 1 4 5 2310 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 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 2 -1 -1 0 0 1 -1 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.009324346312 0.385304501174 5 5 6 3 1023 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 1 0 0 -1 1 1 0 -2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759697732306 1.207301889868 4 4 3 6 1230 1023 0132 2310 0 0 0 0 0 -1 1 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 -1 0 1 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759697732306 1.207301889868 5 6 6 4 3201 3201 2310 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.237220059197 1.104031689177 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_0101_3']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 638671083821761423054804/157381098626252938509*c_0101_3^17 + 57158014865650801907941/17486788736250326501*c_0101_3^16 - 3485140548106215264078506/157381098626252938509*c_0101_3^15 - 827071487834971118252701/52460366208750979503*c_0101_3^14 + 1344142174145081124636739/52460366208750979503*c_0101_3^13 + 11313444444196137215275462/157381098626252938509*c_0101_3^12 + 1033130247129933755330384/157381098626252938509*c_0101_3^11 - 7495690966981360631819962/52460366208750979503*c_0101_3^10 - 219063530007568146174401/3085903894632410559*c_0101_3^9 + 24862573601958152435606440/157381098626252938509*c_0101_3^8 + 5624001709196651407763468/52460366208750979503*c_0101_3^7 - 295783450457212329849776/3085903894632410559*c_0101_3^6 - 12151204113162222650999152/157381098626252938509*c_0101_3^5 + 391262641003092495540981/17486788736250326501*c_0101_3^4 + 1432926470244647767061653/52460366208750979503*c_0101_3^3 + 493543985068601208931771/157381098626252938509*c_0101_3^2 - 345948321997583121328384/157381098626252938509*c_0101_3 - 74401181436741253832911/157381098626252938509, c_0011_0 - 1, c_0011_2 - 13510224601707355646068/52460366208750979503*c_0101_3^17 - 3663121458502480881455/17486788736250326501*c_0101_3^16 + 73763965286356658035556/52460366208750979503*c_0101_3^15 + 17713318663307853999081/17486788736250326501*c_0101_3^14 - 28519784627415286767487/17486788736250326501*c_0101_3^13 - 240253784865318149170990/52460366208750979503*c_0101_3^12 - 23049980988699828243983/52460366208750979503*c_0101_3^11 + 159107041375103901645254/17486788736250326501*c_0101_3^10 + 4703247948386530332665/1028634631544136853*c_0101_3^9 - 527826434830555056585760/52460366208750979503*c_0101_3^8 - 120582540164459480842702/17486788736250326501*c_0101_3^7 + 6286332003921220198994/1028634631544136853*c_0101_3^6 + 260697155618343293048290/52460366208750979503*c_0101_3^5 - 25084681517554529810369/17486788736250326501*c_0101_3^4 - 30746980932948169475122/17486788736250326501*c_0101_3^3 - 10427193349508673553735/52460366208750979503*c_0101_3^2 + 7541356859364736823395/52460366208750979503*c_0101_3 + 1662946135917141929386/52460366208750979503, c_0011_4 + 3113523615251246690332/17486788736250326501*c_0101_3^17 + 2475147419984915974143/17486788736250326501*c_0101_3^16 - 16998094562391873394282/17486788736250326501*c_0101_3^15 - 11979508941557206325363/17486788736250326501*c_0101_3^14 + 19642233109482820456159/17486788736250326501*c_0101_3^13 + 55245810355545938208414/17486788736250326501*c_0101_3^12 + 4721463612758089209343/17486788736250326501*c_0101_3^11 - 109607349228692795776530/17486788736250326501*c_0101_3^10 - 3196087099832610264030/1028634631544136853*c_0101_3^9 + 121134058655778413647192/17486788736250326501*c_0101_3^8 + 82443239454032513815167/17486788736250326501*c_0101_3^7 - 4305327616337994543231/1028634631544136853*c_0101_3^6 - 59752780264114785450956/17486788736250326501*c_0101_3^5 + 16866377967924959180730/17486788736250326501*c_0101_3^4 + 21315311991222208241555/17486788736250326501*c_0101_3^3 + 2480981100470085405844/17486788736250326501*c_0101_3^2 - 1735675842503547694092/17486788736250326501*c_0101_3 - 381011497869721697112/17486788736250326501, c_0011_6 + 1465674042725435093824/52460366208750979503*c_0101_3^17 + 465479062093150631376/17486788736250326501*c_0101_3^16 - 7992092831399155840784/52460366208750979503*c_0101_3^15 - 2296166906678936904394/17486788736250326501*c_0101_3^14 + 3115238175134069657324/17486788736250326501*c_0101_3^13 + 27328760382969613496323/52460366208750979503*c_0101_3^12 + 5146093365334111734509/52460366208750979503*c_0101_3^11 - 17825094611070250229727/17486788736250326501*c_0101_3^10 - 626374303766194133581/1028634631544136853*c_0101_3^9 + 58219979017900393665358/52460366208750979503*c_0101_3^8 + 15498417371008000298675/17486788736250326501*c_0101_3^7 - 686849001963939407392/1028634631544136853*c_0101_3^6 - 32979029944592669776261/52460366208750979503*c_0101_3^5 + 2692259169490382963635/17486788736250326501*c_0101_3^4 + 3768780645945409018168/17486788736250326501*c_0101_3^3 + 1282446514490092131556/52460366208750979503*c_0101_3^2 - 920361644006900845786/52460366208750979503*c_0101_3 - 162019761558973158061/52460366208750979503, c_0101_0 + 6005443577496275851792/52460366208750979503*c_0101_3^17 + 1727736639358004390220/17486788736250326501*c_0101_3^16 - 32710535840367175978472/52460366208750979503*c_0101_3^15 - 8417442324199361827212/17486788736250326501*c_0101_3^14 + 12591213039529695507466/17486788736250326501*c_0101_3^13 + 108618355746846066688228/52460366208750979503*c_0101_3^12 + 14494864531736593328657/52460366208750979503*c_0101_3^11 - 71278419227776565861427/17486788736250326501*c_0101_3^10 - 2269598764225952820565/1028634631544136853*c_0101_3^9 + 234199849977039762535483/52460366208750979503*c_0101_3^8 + 57234239316366627267750/17486788736250326501*c_0101_3^7 - 2753677413240924963707/1028634631544136853*c_0101_3^6 - 122828074936884055470112/52460366208750979503*c_0101_3^5 + 10492556350072866937771/17486788736250326501*c_0101_3^4 + 14251670924159823903921/17486788736250326501*c_0101_3^3 + 5637588155813979813052/52460366208750979503*c_0101_3^2 - 3265228030608360349135/52460366208750979503*c_0101_3 - 795479378134892254726/52460366208750979503, c_0101_1 - 12513555994861453018172/52460366208750979503*c_0101_3^17 - 3293798482885576826245/17486788736250326501*c_0101_3^16 + 68303184217737574295860/52460366208750979503*c_0101_3^15 + 15845895719869528993758/17486788736250326501*c_0101_3^14 - 26346185580728015694800/17486788736250326501*c_0101_3^13 - 220552185447141108299375/52460366208750979503*c_0101_3^12 - 17478066125654514943210/52460366208750979503*c_0101_3^11 + 146422381075313265341920/17486788736250326501*c_0101_3^10 + 4182583260292304091059/1028634631544136853*c_0101_3^9 - 486975883257917267804831/52460366208750979503*c_0101_3^8 - 108031138646394032496822/17486788736250326501*c_0101_3^7 + 5806108769576598909823/1028634631544136853*c_0101_3^6 + 234204384670976010407693/52460366208750979503*c_0101_3^5 - 23191437009919942967295/17486788736250326501*c_0101_3^4 - 27745915543070080856175/17486788736250326501*c_0101_3^3 - 9340907197891042431161/52460366208750979503*c_0101_3^2 + 6687606693659140544648/52460366208750979503*c_0101_3 + 1448847250757554935845/52460366208750979503, c_0101_3^18 + 31/28*c_0101_3^17 - 73/14*c_0101_3^16 - 155/28*c_0101_3^15 + 36/7*c_0101_3^14 + 275/14*c_0101_3^13 + 195/28*c_0101_3^12 - 139/4*c_0101_3^11 - 789/28*c_0101_3^10 + 943/28*c_0101_3^9 + 268/7*c_0101_3^8 - 219/14*c_0101_3^7 - 184/7*c_0101_3^6 - 1/4*c_0101_3^5 + 237/28*c_0101_3^4 + 79/28*c_0101_3^3 - 9/28*c_0101_3^2 - 2/7*c_0101_3 - 1/28 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB