Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 913812187] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1945 geometric_solution 5.53309735 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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 1.620412064778 0.256112789421 0 2 2 0 3201 0132 1023 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 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 1.206199902897 0.563139663579 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -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 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.393072023337 0.380144056198 2 5 6 4 0132 0132 0132 0321 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 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.851811727917 0.909500782418 6 3 2 5 2310 0321 0132 1023 0 0 0 0 0 0 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 0 0 0 0 0.851811727917 0.909500782418 5 3 5 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535154182119 0.423905346523 6 6 4 3 1302 2031 3201 0132 0 0 0 0 0 0 0 0 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 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.816005274274 1.063741099463 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], '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' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], '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_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0011_4']), '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_4, c_0011_6, c_0101_0, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 53165470548712445863450935/261802491546790273747*c_0110_5^24 - 252515378453443711845578100/261802491546790273747*c_0110_5^23 - 2296178357115040109563159104/261802491546790273747*c_0110_5^22 + 8144207539649055092303713287/261802491546790273747*c_0110_5^21 + 28622044096778340297590998104/261802491546790273747*c_0110_5^20 - 90923807349070069680651183924/261802491546790273747*c_0110_5^19 - 169876683525289632983911804069/261802491546790273747*c_0110_5^18 + 491938635100943830908221726860/261802491546790273747*c_0110_5^17 + 593755825861749184946265860192/261802491546790273747*c_0110_5^16 - 1495106792387348632790734272098/261802491546790273747*c_0110_5^15 - 1338729478091550728984536609549/261802491546790273747*c_0110_5^14 + 2728314673449231382722302570655/261802491546790273747*c_0110_5^13 + 1987708951257164293514199495661/261802491546790273747*c_0110_5^12 - 3066905823985215334098024975997/261802491546790273747*c_0110_5^11 - 1907040539370229791865181568557/261802491546790273747*c_0110_5^10 + 2119158416653716341491630587774/261802491546790273747*c_0110_5^9 + 1126665806922008416001606378016/261802491546790273747*c_0110_5^8 - 881248839971732295321349994680/261802491546790273747*c_0110_5^7 - 374429768656459857488826852188/261802491546790273747*c_0110_5^6 + 216028775929424434320939362837/261802491546790273747*c_0110_5^5 + 58144606542907425466759190343/261802491546790273747*c_0110_5^4 - 31213073456433977285695681492/261802491546790273747*c_0110_5^3 - 2351769288303451445550916166/261802491546790273747*c_0110_5^2 + 2122864907864555513382902461/261802491546790273747*c_0110_5 - 211784864983786245402555787/261802491546790273747, c_0011_0 - 1, c_0011_1 + 15922942128189279607189045/261802491546790273747*c_0110_5^24 - 75527049367765130925084765/261802491546790273747*c_0110_5^23 - 688152340962266677568864054/261802491546790273747*c_0110_5^22 + 2434702504246381604809933146/261802491546790273747*c_0110_5^21 + 8586489094663081593052363251/261802491546790273747*c_0110_5^20 - 27173518964673695839450167522/261802491546790273747*c_0110_5^19 - 51034553005732923106398550541/261802491546790273747*c_0110_5^18 + 146971696926797723065046635157/261802491546790273747*c_0110_5^17 + 178663380557959696527101140067/261802491546790273747*c_0110_5^16 - 446438384203102048847233362709/261802491546790273747*c_0110_5^15 - 403416452493642927433775737026/261802491546790273747*c_0110_5^14 + 813944209683433881243888561855/261802491546790273747*c_0110_5^13 + 599618494848136003767588508273/261802491546790273747*c_0110_5^12 - 913646777434955311567466875534/261802491546790273747*c_0110_5^11 - 575628843125137580630126615775/261802491546790273747*c_0110_5^10 + 629911995110244928116254696462/261802491546790273747*c_0110_5^9 + 340137610648258457512598038397/261802491546790273747*c_0110_5^8 - 261102597803195451478324318552/261802491546790273747*c_0110_5^7 - 113028997255134727188759373614/261802491546790273747*c_0110_5^6 + 63765096040501590665381971725/261802491546790273747*c_0110_5^5 + 17563340538158477330521417069/261802491546790273747*c_0110_5^4 - 9200588849901808309771080660/261802491546790273747*c_0110_5^3 - 721837587478828391318068667/261802491546790273747*c_0110_5^2 + 626740348623432758311636477/261802491546790273747*c_0110_5 - 62026841286651625871663008/261802491546790273747, c_0011_4 - 12978262980043284333292428/261802491546790273747*c_0110_5^24 + 61561724591007043896875066/261802491546790273747*c_0110_5^23 + 560880829706948051282150736/261802491546790273747*c_0110_5^22 - 1984540726546828222939358269/261802491546790273747*c_0110_5^21 - 6998269395660413766112382784/261802491546790273747*c_0110_5^20 + 22149490861095137067830303242/261802491546790273747*c_0110_5^19 + 41593341871387765804637821335/261802491546790273747*c_0110_5^18 - 119799773877212716728711512341/261802491546790273747*c_0110_5^17 - 145605356230763146803491627375/261802491546790273747*c_0110_5^16 + 363907345099351205199843506121/261802491546790273747*c_0110_5^15 + 328760193153727122720086524884/261802491546790273747*c_0110_5^14 - 663491584921366708678911616318/261802491546790273747*c_0110_5^13 - 488639685366107728824992785528/261802491546790273747*c_0110_5^12 + 744796066419732282911989206560/261802491546790273747*c_0110_5^11 + 469082662735641329377415990970/261802491546790273747*c_0110_5^10 - 513531704884239702203910947846/261802491546790273747*c_0110_5^9 - 277178192956502212741779724945/261802491546790273747*c_0110_5^8 + 212882807430598102563859677076/261802491546790273747*c_0110_5^7 + 92107295195098815525223723142/261802491546790273747*c_0110_5^6 - 51995242485047666967174162822/261802491546790273747*c_0110_5^5 - 14311955836654478767998546562/261802491546790273747*c_0110_5^4 + 7502755084977050673828859705/261802491546790273747*c_0110_5^3 + 587905829596102747007178833/261802491546790273747*c_0110_5^2 - 511072112723940116491664653/261802491546790273747*c_0110_5 + 50594438346904700168953148/261802491546790273747, c_0011_6 - 14189223883113111563774813/261802491546790273747*c_0110_5^24 + 67304626746271091423346580/261802491546790273747*c_0110_5^23 + 613220193201975364095551205/261802491546790273747*c_0110_5^22 - 2169656577575128521296777127/261802491546790273747*c_0110_5^21 - 7651422503749944389892002149/261802491546790273747*c_0110_5^20 + 24215454233531017884713514404/261802491546790273747*c_0110_5^19 + 45476117006339554433069137653/261802491546790273747*c_0110_5^18 - 130973167415186886956987778597/261802491546790273747*c_0110_5^17 - 159201096021572049576346353282/261802491546790273747*c_0110_5^16 + 397844317865075446552658915508/261802491546790273747*c_0110_5^15 + 359464700197583477168137368825/261802491546790273747*c_0110_5^14 - 725356100655407551727216577179/261802491546790273747*c_0110_5^13 - 534283525742695397045765776267/261802491546790273747*c_0110_5^12 + 814222248106983409903972814283/261802491546790273747*c_0110_5^11 + 512903610835003993077551629220/261802491546790273747*c_0110_5^10 - 561380053049837839570957215240/261802491546790273747*c_0110_5^9 - 303072388831898341877700667835/261802491546790273747*c_0110_5^8 + 232705541524791766642758378183/261802491546790273747*c_0110_5^7 + 100711982831664023637495490045/261802491546790273747*c_0110_5^6 - 56833016360952900024919103312/261802491546790273747*c_0110_5^5 - 15649220401307588572766329282/261802491546790273747*c_0110_5^4 + 8200547772681075248466257681/261802491546790273747*c_0110_5^3 + 643022929721336612718706039/261802491546790273747*c_0110_5^2 - 558609462966422321508428011/261802491546790273747*c_0110_5 + 55291046543241022180344437/261802491546790273747, c_0101_0 + 13976011416917232353314407/261802491546790273747*c_0110_5^24 - 66272889426951985425513448/261802491546790273747*c_0110_5^23 - 604097572901265130564601388/261802491546790273747*c_0110_5^22 + 2136151373914444308572837485/261802491546790273747*c_0110_5^21 + 7539350513679371167114912343/261802491546790273747*c_0110_5^20 - 23839899978701746419399382176/261802491546790273747*c_0110_5^19 - 44824748692364216927575834804/261802491546790273747*c_0110_5^18 + 128932184973794656741784823278/261802491546790273747*c_0110_5^17 + 156979282689706618021466725896/261802491546790273747*c_0110_5^16 - 391596963332105081501168510156/261802491546790273747*c_0110_5^15 - 354568556184192759692025953845/261802491546790273747*c_0110_5^14 + 713820121044961713083911275789/261802491546790273747*c_0110_5^13 + 527139114636784908611724986857/261802491546790273747*c_0110_5^12 - 801009824047864654623815808943/261802491546790273747*c_0110_5^11 - 506121448918748765896626459586/261802491546790273747*c_0110_5^10 + 551988219333547912724377251802/261802491546790273747*c_0110_5^9 + 299083682047306149673478899224/261802491546790273747*c_0110_5^8 - 228639781074576564323027460894/261802491546790273747*c_0110_5^7 - 99388547679278083554692641464/261802491546790273747*c_0110_5^6 + 55789800603402269813506576126/261802491546790273747*c_0110_5^5 + 15447331930530605534683976405/261802491546790273747*c_0110_5^4 - 8047097582033576357157365692/261802491546790273747*c_0110_5^3 - 637320319685361270284735359/261802491546790273747*c_0110_5^2 + 548334849901755900965431594/261802491546790273747*c_0110_5 - 54154019217864498549167404/261802491546790273747, c_0101_3 + 216214478549022946669844/261802491546790273747*c_0110_5^24 - 1024919938128929568953312/261802491546790273747*c_0110_5^23 - 9347304218575068637522439/261802491546790273747*c_0110_5^22 + 33032179091015777020789769/261802491546790273747*c_0110_5^21 + 116690879626308946776360486/261802491546790273747*c_0110_5^20 - 368628384298526618310281709/261802491546790273747*c_0110_5^19 - 694059766640278892717618222/261802491546790273747*c_0110_5^18 + 1993549597543344684296940526/261802491546790273747*c_0110_5^17 + 2431778458570912003814779639/261802491546790273747*c_0110_5^16 - 6054398806470722636689620433/261802491546790273747*c_0110_5^15 - 5495100370394830307346278849/261802491546790273747*c_0110_5^14 + 11034563788517781112198717991/261802491546790273747*c_0110_5^13 + 8172636275998930858594953482/261802491546790273747*c_0110_5^12 - 12379101424000631684780382863/261802491546790273747*c_0110_5^11 - 7849083964830197744999453419/261802491546790273747*c_0110_5^10 + 8526882378059822047911589744/261802491546790273747*c_0110_5^9 + 4639419091303551737064142308/261802491546790273747*c_0110_5^8 - 3529530688876328144291790828/261802491546790273747*c_0110_5^7 - 1542169822202461617061446796/261802491546790273747*c_0110_5^6 + 860505103087731964259780863/261802491546790273747*c_0110_5^5 + 239869716418930568144099556/261802491546790273747*c_0110_5^4 - 124074163835291073649698810/261802491546790273747*c_0110_5^3 - 9956507027876616229358058/261802491546790273747*c_0110_5^2 + 8457499565171609042417839/261802491546790273747*c_0110_5 - 832382333904498615009230/261802491546790273747, c_0110_5^25 - 5*c_0110_5^24 - 42*c_0110_5^23 + 164*c_0110_5^22 + 500*c_0110_5^21 - 1845*c_0110_5^20 - 2767*c_0110_5^19 + 10053*c_0110_5^18 + 8851*c_0110_5^17 - 30918*c_0110_5^16 - 18138*c_0110_5^15 + 57622*c_0110_5^14 + 24535*c_0110_5^13 - 67047*c_0110_5^12 - 21421*c_0110_5^11 + 48841*c_0110_5^10 + 11206*c_0110_5^9 - 21882*c_0110_5^8 - 2889*c_0110_5^7 + 5827*c_0110_5^6 + 75*c_0110_5^5 - 861*c_0110_5^4 + 103*c_0110_5^3 + 51*c_0110_5^2 - 14*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB