Magma V2.19-8 Tue Aug 20 2013 16:16:36 on localhost [Seed = 2732801657] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0898 geometric_solution 4.79807336 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 2310 0 0 0 0 0 0 -1 1 1 0 -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 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.527803164395 0.243969186105 0 3 0 4 0132 0132 1023 0132 0 0 0 0 0 -1 1 0 -1 0 1 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 1 -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 0 0 0 0 0.793479222071 3.148121532202 0 0 2 2 3201 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.491724765648 0.080581634315 4 1 5 4 3201 0132 0132 3120 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.198206231476 0.723789755058 3 5 1 3 3120 3201 0132 2310 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 -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 0 0 0 0 0 0.198206231476 0.723789755058 6 6 4 3 0132 2310 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 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.522863190267 1.042296653058 5 6 6 5 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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.788064007792 0.486334372295 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), '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' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_4, c_0011_5, c_0101_1, c_0101_3, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 606159883962295914119/315272872467*c_0110_2^31 + 992918539771688368678/15012993927*c_0110_2^30 + 142280459526987269560741/315272872467*c_0110_2^29 + 84787863901350368951834/105090957489*c_0110_2^28 - 724802610020062693278401/315272872467*c_0110_2^27 - 453790371309697190455604/45038981781*c_0110_2^26 - 251005631796808873033184/105090957489*c_0110_2^25 + 13223331760004203375686658/315272872467*c_0110_2^24 + 15819144802315307359333121/315272872467*c_0110_2^23 - 4463517576773571378293326/45038981781*c_0110_2^22 - 66109105217052514966953367/315272872467*c_0110_2^21 + 52475393414095850523628339/315272872467*c_0110_2^20 + 7971315573445965278017034/15012993927*c_0110_2^19 - 28757010399853518290214772/105090957489*c_0110_2^18 - 292732762766010001107402592/315272872467*c_0110_2^17 + 18426995413162490484218013/35030319163*c_0110_2^16 + 16468420687944923746827368/15012993927*c_0110_2^15 - 279472672614414004161062663/315272872467*c_0110_2^14 - 26322594682379872712327446/35030319163*c_0110_2^13 + 314412991331113960739950067/315272872467*c_0110_2^12 + 12219932220702473554635521/105090957489*c_0110_2^11 - 66756284845413958229630438/105090957489*c_0110_2^10 + 24091842914354766495255803/105090957489*c_0110_2^9 + 49880570812015268655367603/315272872467*c_0110_2^8 - 49407447753918221289822433/315272872467*c_0110_2^7 + 9988179353863080334023734/315272872467*c_0110_2^6 + 6687976481813096950504930/315272872467*c_0110_2^5 - 5337465827949075335234689/315272872467*c_0110_2^4 + 591681725983153584587878/105090957489*c_0110_2^3 - 331419511407435734503807/315272872467*c_0110_2^2 + 34073103594192978727814/315272872467*c_0110_2 - 1513559759225749438351/315272872467, c_0011_0 - 1, c_0011_4 - c_0110_2^31 - 34*c_0110_2^30 - 221*c_0110_2^29 - 326*c_0110_2^28 + 1363*c_0110_2^27 + 4763*c_0110_2^26 - 848*c_0110_2^25 - 22307*c_0110_2^24 - 17391*c_0110_2^23 + 61945*c_0110_2^22 + 88474*c_0110_2^21 - 130062*c_0110_2^20 - 241541*c_0110_2^19 + 252489*c_0110_2^18 + 425960*c_0110_2^17 - 466270*c_0110_2^16 - 461064*c_0110_2^15 + 688654*c_0110_2^14 + 206491*c_0110_2^13 - 674503*c_0110_2^12 + 146780*c_0110_2^11 + 354321*c_0110_2^10 - 251181*c_0110_2^9 - 34559*c_0110_2^8 + 114333*c_0110_2^7 - 49055*c_0110_2^6 - 4431*c_0110_2^5 + 13209*c_0110_2^4 - 6448*c_0110_2^3 + 1718*c_0110_2^2 - 276*c_0110_2 + 24, c_0011_5 + 558135527735468250/5004331309*c_0110_2^31 + 19209371398791956484/5004331309*c_0110_2^30 + 131358450610725718869/5004331309*c_0110_2^29 + 236715146827205153083/5004331309*c_0110_2^28 - 662151582581418706928/5004331309*c_0110_2^27 - 2934818548087221308025/5004331309*c_0110_2^26 - 750112352315225165592/5004331309*c_0110_2^25 + 12140493661577535460094/5004331309*c_0110_2^24 + 14771474106951857662758/5004331309*c_0110_2^23 - 28424206549856130639082/5004331309*c_0110_2^22 - 61252717749747106505575/5004331309*c_0110_2^21 + 47067246668438883300864/5004331309*c_0110_2^20 + 154507303042822854830301/5004331309*c_0110_2^19 - 76506260209456898389869/5004331309*c_0110_2^18 - 269803181238293109616280/5004331309*c_0110_2^17 + 147735459830872689423113/5004331309*c_0110_2^16 + 319207723266824858787077/5004331309*c_0110_2^15 - 251277782554858735102458/5004331309*c_0110_2^14 - 220359292715615644495483/5004331309*c_0110_2^13 + 284678880292235512667089/5004331309*c_0110_2^12 + 37051834132616547315756/5004331309*c_0110_2^11 - 182476907092710379972688/5004331309*c_0110_2^10 + 63991422183017725270956/5004331309*c_0110_2^9 + 46108031813130380110852/5004331309*c_0110_2^8 - 44592971631397583227507/5004331309*c_0110_2^7 + 8735478193939701958907/5004331309*c_0110_2^6 + 6139887119156530576673/5004331309*c_0110_2^5 - 4810799605452543961709/5004331309*c_0110_2^4 + 1587184045869976572287/5004331309*c_0110_2^3 - 294523264515452061338/5004331309*c_0110_2^2 + 30112530751527646150/5004331309*c_0110_2 - 1330582467768241749/5004331309, c_0101_1 - 499962493895689491/5004331309*c_0110_2^31 - 17189781332721546600/5004331309*c_0110_2^30 - 117059581932619754881/5004331309*c_0110_2^29 - 207684135140709265264/5004331309*c_0110_2^28 + 602349109637591653758/5004331309*c_0110_2^27 + 2612062112048985601147/5004331309*c_0110_2^26 + 573175969826228869509/5004331309*c_0110_2^25 - 10939633489915321333206/5004331309*c_0110_2^24 - 12879201468183499110399/5004331309*c_0110_2^23 + 26070032828572093622222/5004331309*c_0110_2^22 + 54232974181227732166445/5004331309*c_0110_2^21 - 44340585479964414915665/5004331309*c_0110_2^20 - 137838262569287039059229/5004331309*c_0110_2^19 + 73597138574274354803908/5004331309*c_0110_2^18 + 241397102788302194549556/5004331309*c_0110_2^17 - 140890095427929189931774/5004331309*c_0110_2^16 - 284876357792566314021509/5004331309*c_0110_2^15 + 235507690817642847055319/5004331309*c_0110_2^14 + 193870618021918921785200/5004331309*c_0110_2^13 - 263360708948077182737587/5004331309*c_0110_2^12 - 27765176484440329364884/5004331309*c_0110_2^11 + 166872558122377672474789/5004331309*c_0110_2^10 - 61605751727800411813182/5004331309*c_0110_2^9 - 41083876605992977313988/5004331309*c_0110_2^8 + 41477392509959938618467/5004331309*c_0110_2^7 - 8581641450172962870272/5004331309*c_0110_2^6 - 5541603486752218219582/5004331309*c_0110_2^5 + 4483983660917021218880/5004331309*c_0110_2^4 - 1499513847204928841716/5004331309*c_0110_2^3 + 281098150383803997056/5004331309*c_0110_2^2 - 28996886915866970065/5004331309*c_0110_2 + 1291925771129267646/5004331309, c_0101_3 - 371199115297075119/5004331309*c_0110_2^31 - 12773618558685900105/5004331309*c_0110_2^30 - 87294824181217359860/5004331309*c_0110_2^29 - 156957212774493454337/5004331309*c_0110_2^28 + 441308735418599524781/5004331309*c_0110_2^27 + 1949735572279836648688/5004331309*c_0110_2^26 + 488118566460219380284/5004331309*c_0110_2^25 - 8079221028087721529716/5004331309*c_0110_2^24 - 9782451380510037741596/5004331309*c_0110_2^23 + 18965004935813746346118/5004331309*c_0110_2^22 + 40650484061490011311549/5004331309*c_0110_2^21 - 31537504882919714067226/5004331309*c_0110_2^20 - 102643437709114917847454/5004331309*c_0110_2^19 + 51451759754711249558685/5004331309*c_0110_2^18 + 179293551025133722071910/5004331309*c_0110_2^17 - 99238978059247228360931/5004331309*c_0110_2^16 - 211992932880693452102989/5004331309*c_0110_2^15 + 168314641988299526133761/5004331309*c_0110_2^14 + 145935175783076771591522/5004331309*c_0110_2^13 - 190254357565582537442163/5004331309*c_0110_2^12 - 23843037419997206927539/5004331309*c_0110_2^11 + 121677296629775229197816/5004331309*c_0110_2^10 - 43134885801337048651504/5004331309*c_0110_2^9 - 30572909537807186760916/5004331309*c_0110_2^8 + 29844487764676691661720/5004331309*c_0110_2^7 - 5924388844663047069234/5004331309*c_0110_2^6 - 4080094947304208979956/5004331309*c_0110_2^5 + 3222459987856195051210/5004331309*c_0110_2^4 - 1067216837194973856313/5004331309*c_0110_2^3 + 198679659553439598073/5004331309*c_0110_2^2 - 20378281922486834148/5004331309*c_0110_2 + 903446323284625101/5004331309, c_0101_5 - 238113560304215413/5004331309*c_0110_2^31 - 8212360133484035586/5004331309*c_0110_2^30 - 56639108896282946414/5004331309*c_0110_2^29 - 105268150260533530859/5004331309*c_0110_2^28 + 273531751090797472535/5004331309*c_0110_2^27 + 1268979079847292444067/5004331309*c_0110_2^26 + 417010812833553197921/5004331309*c_0110_2^25 - 5118595218617170146192/5004331309*c_0110_2^24 - 6652222457884927829424/5004331309*c_0110_2^23 + 11535163900298768745441/5004331309*c_0110_2^22 + 26777635922029025194015/5004331309*c_0110_2^21 - 17942051506075820724301/5004331309*c_0110_2^20 - 66535429950889418900719/5004331309*c_0110_2^19 + 27639305077981999459398/5004331309*c_0110_2^18 + 115518261239647602886003/5004331309*c_0110_2^17 - 54555840977174767937097/5004331309*c_0110_2^16 - 137441387259953106410581/5004331309*c_0110_2^15 + 96879643977725893838848/5004331309*c_0110_2^14 + 97741912551300378801768/5004331309*c_0110_2^13 - 113214979132855589525958/5004331309*c_0110_2^12 - 21377760222012610987347/5004331309*c_0110_2^11 + 74545703689850756903550/5004331309*c_0110_2^10 - 22962514991834363752143/5004331309*c_0110_2^9 - 19958314919157018738060/5004331309*c_0110_2^8 + 17492982954817972626741/5004331309*c_0110_2^7 - 2947623697483121303896/5004331309*c_0110_2^6 - 2586221060094314550592/5004331309*c_0110_2^5 + 1876213671070900448392/5004331309*c_0110_2^4 - 597316377344064115121/5004331309*c_0110_2^3 + 107725520808768937272/5004331309*c_0110_2^2 - 10727725361772262393/5004331309*c_0110_2 + 461978490563938150/5004331309, c_0110_2^32 + 34*c_0110_2^31 + 221*c_0110_2^30 + 326*c_0110_2^29 - 1363*c_0110_2^28 - 4763*c_0110_2^27 + 848*c_0110_2^26 + 22307*c_0110_2^25 + 17391*c_0110_2^24 - 61945*c_0110_2^23 - 88474*c_0110_2^22 + 130062*c_0110_2^21 + 241541*c_0110_2^20 - 252489*c_0110_2^19 - 425960*c_0110_2^18 + 466270*c_0110_2^17 + 461064*c_0110_2^16 - 688654*c_0110_2^15 - 206491*c_0110_2^14 + 674503*c_0110_2^13 - 146780*c_0110_2^12 - 354321*c_0110_2^11 + 251181*c_0110_2^10 + 34559*c_0110_2^9 - 114333*c_0110_2^8 + 49055*c_0110_2^7 + 4431*c_0110_2^6 - 13209*c_0110_2^5 + 6448*c_0110_2^4 - 1718*c_0110_2^3 + 275*c_0110_2^2 - 25*c_0110_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB