Magma V2.19-8 Tue Aug 20 2013 16:18:04 on localhost [Seed = 762098148] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2301 geometric_solution 5.70325993 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 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.727894770567 0.564055476660 0 2 3 0 3201 0132 0132 0132 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 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.608398937543 0.633726735167 4 1 3 5 0132 0132 1302 0132 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 -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.458849194414 0.472953158711 2 5 4 1 2031 1023 1023 0132 0 0 0 0 0 1 0 -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 -1 0 1 0 0 0 0 -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.458849194414 0.472953158711 2 6 3 6 0132 0132 1023 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.205128295678 1.613343368945 3 5 2 5 1023 2310 0132 3201 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 -1 1 1 0 0 -1 -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.832901504290 0.712079500208 4 4 6 6 3201 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 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.252746081983 0.316249950175 ==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' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], '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_3, c_0101_0, c_0101_4, c_0110_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 88169789508782435651312958593043/438723651081377728350471627395*c_0\ 110_6^22 - 86049591069480697637917104823333/87744730216275545670094\ 3254790*c_0110_6^21 + 286901358600861106153161636672968/87744730216\ 275545670094325479*c_0110_6^20 - 6051116206816545381362889576549881\ /877447302162755456700943254790*c_0110_6^19 + 1344588803514342051067041306495003/438723651081377728350471627395*c\ _0110_6^18 + 8250142546381132501194628705342431/8774473021627554567\ 00943254790*c_0110_6^17 - 286385581847982149117276023572999/3025680\ 3522853636437963560510*c_0110_6^16 + 7435239391477267361547865090862247/877447302162755456700943254790*c\ _0110_6^15 - 14455348652104047653235336394420142/438723651081377728\ 350471627395*c_0110_6^14 + 48544770660488643359986928360917099/8774\ 47302162755456700943254790*c_0110_6^13 - 6730780095496220251010316947310825/175489460432551091340188650958*c\ _0110_6^12 - 57213915581843084853313725077035756/438723651081377728\ 350471627395*c_0110_6^11 + 80836473471604148718492719437286234/4387\ 23651081377728350471627395*c_0110_6^10 - 18952624685213826299255965217897084/438723651081377728350471627395*\ c_0110_6^9 - 46478881607321962739891175353596327/438723651081377728\ 350471627395*c_0110_6^8 + 79203185086982071195353132609273391/87744\ 7302162755456700943254790*c_0110_6^7 - 22208416476129242976021240897045529/877447302162755456700943254790*\ c_0110_6^6 - 58336043696930079033847829545636/877447302162755456700\ 94325479*c_0110_6^5 + 796503520780115476789717640258073/17548946043\ 2551091340188650958*c_0110_6^4 - 1370068373819829370868586041916627\ /438723651081377728350471627395*c_0110_6^3 + 2924676806446092950983081575625231/877447302162755456700943254790*c\ _0110_6^2 - 6240728068610322027940161909472/87744730216275545670094\ 325479*c_0110_6 - 375657168428239542290122831953007/877447302162755\ 456700943254790, c_0011_0 - 1, c_0011_1 + 388482445939390344432443656/73797081763057649848691611*c_011\ 0_6^22 + 414643434928678062483676399/147594163526115299697383222*c_\ 0110_6^21 - 6306634760795004580409414823/73797081763057649848691611\ *c_0110_6^20 + 13047710360058996666183434006/7379708176305764984869\ 1611*c_0110_6^19 - 5397322713093191872348604862/7379708176305764984\ 8691611*c_0110_6^18 - 36630776053587390177960908609/147594163526115\ 299697383222*c_0110_6^17 + 34933390320473769916089388275/1475941635\ 26115299697383222*c_0110_6^16 - 15796005702110508119030254863/73797\ 081763057649848691611*c_0110_6^15 + 126113018437090475236183474645/147594163526115299697383222*c_0110_6\ ^14 - 208427383080037296602646256813/147594163526115299697383222*c_\ 0110_6^13 + 70031354481898374967547668597/7379708176305764984869161\ 1*c_0110_6^12 + 508998990232661404992728227099/14759416352611529969\ 7383222*c_0110_6^11 - 344239858406123804320879927407/73797081763057\ 649848691611*c_0110_6^10 + 141832580981172284445738880279/147594163\ 526115299697383222*c_0110_6^9 + 205839635980345288120002434433/7379\ 7081763057649848691611*c_0110_6^8 - 165524279901124678300038585756/73797081763057649848691611*c_0110_6^\ 7 + 86625338034315788552990462851/147594163526115299697383222*c_011\ 0_6^6 + 2375726064689057374237279630/73797081763057649848691611*c_0\ 110_6^5 - 8593555990297715094755357735/73797081763057649848691611*c\ _0110_6^4 + 5874048689658500174280442159/73797081763057649848691611\ *c_0110_6^3 - 12505199309508237265409458497/14759416352611529969738\ 3222*c_0110_6^2 - 249060324382508181123129446/737970817630576498486\ 91611*c_0110_6 + 791707263609911119739745984/7379708176305764984869\ 1611, c_0011_3 - 502981647797234070322292624/73797081763057649848691611*c_011\ 0_6^22 - 508950206503916623852632173/147594163526115299697383222*c_\ 0110_6^21 + 8181060361700528830337624944/73797081763057649848691611\ *c_0110_6^20 - 17112172289214562392657505080/7379708176305764984869\ 1611*c_0110_6^19 + 7326450484101890810302578423/7379708176305764984\ 8691611*c_0110_6^18 + 47488459286423576248396141291/147594163526115\ 299697383222*c_0110_6^17 - 46588963271730101851928424995/1475941635\ 26115299697383222*c_0110_6^16 + 20658554647090260944253877887/73797\ 081763057649848691611*c_0110_6^15 - 163890254159045119435728672753/147594163526115299697383222*c_0110_6\ ^14 + 273793210637562218448676644829/147594163526115299697383222*c_\ 0110_6^13 - 93176894543093036359028047714/7379708176305764984869161\ 1*c_0110_6^12 - 657419140375101049140425884509/14759416352611529969\ 7383222*c_0110_6^11 + 455627895031365487441858049653/73797081763057\ 649848691611*c_0110_6^10 - 196578196870030443711617452583/147594163\ 526115299697383222*c_0110_6^9 - 269408482331139159573670386469/7379\ 7081763057649848691611*c_0110_6^8 + 221613397706583544686968172576/73797081763057649848691611*c_0110_6^\ 7 - 115266754306034803019681161835/147594163526115299697383222*c_01\ 10_6^6 - 4016467882640731695791836838/73797081763057649848691611*c_\ 0110_6^5 + 11470392221548953520524965174/73797081763057649848691611\ *c_0110_6^4 - 7470081620763883497598508360/737970817630576498486916\ 11*c_0110_6^3 + 16373437670964189991025488573/147594163526115299697\ 383222*c_0110_6^2 + 56777070823247074970065119/73797081763057649848\ 691611*c_0110_6 - 1090556548336624478198560550/73797081763057649848\ 691611, c_0101_0 - 795660052782489115366452145/73797081763057649848691611*c_011\ 0_6^22 - 797963233195071486486198375/147594163526115299697383222*c_\ 0110_6^21 + 12932944048091369598925402089/7379708176305764984869161\ 1*c_0110_6^20 - 54262477027023250860250058891/147594163526115299697\ 383222*c_0110_6^19 + 11881335174754379294336220724/7379708176305764\ 9848691611*c_0110_6^18 + 74260623764885969881174118473/147594163526\ 115299697383222*c_0110_6^17 - 73650287341002760529679789201/1475941\ 63526115299697383222*c_0110_6^16 + 66678086668368682435190245439/147594163526115299697383222*c_0110_6^\ 15 - 130343758777519366988201244738/73797081763057649848691611*c_01\ 10_6^14 + 435201101195660093961028842879/14759416352611529969738322\ 2*c_0110_6^13 - 300180884579252696297020502357/14759416352611529969\ 7383222*c_0110_6^12 - 516252013756110921729926214640/73797081763057\ 649848691611*c_0110_6^11 + 720835538843663295558815355298/737970817\ 63057649848691611*c_0110_6^10 - 165429231414776147908667102415/7379\ 7081763057649848691611*c_0110_6^9 - 414883740156966322412225847141/73797081763057649848691611*c_0110_6^\ 8 + 699005041560931972987513298245/147594163526115299697383222*c_01\ 10_6^7 - 197284781835074099455513744201/147594163526115299697383222\ *c_0110_6^6 - 442034819987867555268833742/7379708176305764984869161\ 1*c_0110_6^5 + 33897893565294876343838160037/1475941635261152996973\ 83222*c_0110_6^4 - 12002634318405181622451398382/737970817630576498\ 48691611*c_0110_6^3 + 26277988292364968343043602815/147594163526115\ 299697383222*c_0110_6^2 - 89412062898004103848109773/73797081763057\ 649848691611*c_0110_6 - 3207762510784241655318073481/14759416352611\ 5299697383222, c_0101_4 + 744008384052538896173594980/73797081763057649848691611*c_011\ 0_6^22 + 394348662001425241781903912/73797081763057649848691611*c_0\ 110_6^21 - 12086107012039255039988054021/73797081763057649848691611\ *c_0110_6^20 + 25023363105642839904438741766/7379708176305764984869\ 1611*c_0110_6^19 - 10328394237013475120917075335/737970817630576498\ 48691611*c_0110_6^18 - 35163184061765244263722475718/73797081763057\ 649848691611*c_0110_6^17 + 33506897595585635607188631968/7379708176\ 3057649848691611*c_0110_6^16 - 30050299947136988324122924729/737970\ 81763057649848691611*c_0110_6^15 + 120853687160995052739618246403/73797081763057649848691611*c_0110_6^\ 14 - 199887839256733052604809994298/73797081763057649848691611*c_01\ 10_6^13 + 133924764105943043194304996987/73797081763057649848691611\ *c_0110_6^12 + 487773591037776240836652445165/737970817630576498486\ 91611*c_0110_6^11 - 660994653023244788427395323496/7379708176305764\ 9848691611*c_0110_6^10 + 133475534062790073768239976043/73797081763\ 057649848691611*c_0110_6^9 + 395588534377232177129914588743/7379708\ 1763057649848691611*c_0110_6^8 - 316086095493419904762608855658/737\ 97081763057649848691611*c_0110_6^7 + 81631528986880057185079664471/73797081763057649848691611*c_0110_6^6 + 4117050573499126749191796905/73797081763057649848691611*c_0110_6^\ 5 - 16196627032978034158899743465/73797081763057649848691611*c_0110\ _6^4 + 11042794384125742434758403068/73797081763057649848691611*c_0\ 110_6^3 - 11952407591304702094072282154/73797081763057649848691611*\ c_0110_6^2 - 277301956176629811975103791/73797081763057649848691611\ *c_0110_6 + 1511020714684510630932570202/73797081763057649848691611\ , c_0110_5 - 334955169183026629598764591/147594163526115299697383222*c_01\ 10_6^22 - 84078205485710238652879072/73797081763057649848691611*c_0\ 110_6^21 + 2727868576149289911011447438/73797081763057649848691611*\ c_0110_6^20 - 11409342752337435804878385709/14759416352611529969738\ 3222*c_0110_6^19 + 4813136364875986185799836813/1475941635261152996\ 97383222*c_0110_6^18 + 15961583750326133846487221897/14759416352611\ 5299697383222*c_0110_6^17 - 7779541399409447677029642129/7379708176\ 3057649848691611*c_0110_6^16 + 6764348383945140108453267925/7379708\ 1763057649848691611*c_0110_6^15 - 27320434560072688390514327297/737\ 97081763057649848691611*c_0110_6^14 + 45662057306241997630435032338/73797081763057649848691611*c_0110_6^1\ 3 - 30671843939196271010497051498/73797081763057649848691611*c_0110\ _6^12 - 219931687242017900873932879297/147594163526115299697383222*\ c_0110_6^11 + 304697088185228834218021460639/1475941635261152996973\ 83222*c_0110_6^10 - 62238036099855075285186481349/14759416352611529\ 9697383222*c_0110_6^9 - 90774390816578826737157286477/7379708176305\ 7649848691611*c_0110_6^8 + 72813218955690663882142256359/7379708176\ 3057649848691611*c_0110_6^7 - 18341019454425533182435292739/7379708\ 1763057649848691611*c_0110_6^6 - 696046961203022588060449158/737970\ 81763057649848691611*c_0110_6^5 + 7124657389946638098086937737/1475\ 94163526115299697383222*c_0110_6^4 - 5303614368213163790813062105/147594163526115299697383222*c_0110_6^3 + 2775056187185290945688702504/73797081763057649848691611*c_0110_6^\ 2 - 41121033083492859386701046/73797081763057649848691611*c_0110_6 - 698323330793073157839562385/147594163526115299697383222, c_0110_6^23 + c_0110_6^22 - 16*c_0110_6^21 + 26*c_0110_6^20 + 2*c_0110_6^19 - 54*c_0110_6^18 + 23*c_0110_6^17 - 19*c_0110_6^16 + 143*c_0110_6^15 - 192*c_0110_6^14 + 53*c_0110_6^13 + 742*c_0110_6^12 - 582*c_0110_6^11 - 241*c_0110_6^10 + 623*c_0110_6^9 - 179*c_0110_6^8 - 94*c_0110_6^7 + 62*c_0110_6^6 - 20*c_0110_6^5 + 4*c_0110_6^4 - 9*c_0110_6^3 - 8*c_0110_6^2 + 2*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB