Magma V2.19-8 Tue Aug 20 2013 16:17:12 on localhost [Seed = 3953817396] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1447 geometric_solution 5.26918571 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 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.820083885900 0.843358324569 0 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.689500203179 0.151982728290 0 3 4 0 3201 0132 0132 0132 0 0 0 0 0 0 1 -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 1 -1 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.774419610880 0.470711959683 4 2 5 6 2103 0132 0132 0132 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 -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.778185797200 0.714904463851 5 6 3 2 1023 1023 2103 0132 0 0 0 0 0 0 1 -1 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 -1 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.778185797200 0.714904463851 5 4 5 3 2031 1023 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609712571249 0.356753291829 4 6 3 6 1023 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.511921738977 0.783488980433 ==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' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_2']), 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : 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_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0110_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0110_6'], '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_0101_0, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 1965449771452505374611295871/59684158488586435143164687*c_0110_6^21 + 1296824560915773745831328162/59684158488586435143164687*c_0110_6^\ 20 + 27333244554989865468257079710/59684158488586435143164687*c_011\ 0_6^19 - 2357711705219622061065135043/59684158488586435143164687*c_\ 0110_6^18 - 125732999226920908729702712413/596841584885864351431646\ 87*c_0110_6^17 - 79003021709270288721959360851/59684158488586435143\ 164687*c_0110_6^16 + 11147496689123711673820161791/1613085364556390\ 139004451*c_0110_6^15 + 328734962682086788041541468761/596841584885\ 86435143164687*c_0110_6^14 - 1325454662667314634716413709356/596841\ 58488586435143164687*c_0110_6^13 + 216692748972963246059768754363/59684158488586435143164687*c_0110_6^\ 12 + 1810772125269232750932182049638/59684158488586435143164687*c_0\ 110_6^11 - 1577914484270755833824137948219/596841584885864351431646\ 87*c_0110_6^10 - 224200447616050889621257396506/5968415848858643514\ 3164687*c_0110_6^9 + 1295057000896327968654220563550/59684158488586\ 435143164687*c_0110_6^8 - 1239278873329977643652272465151/596841584\ 88586435143164687*c_0110_6^7 - 1803557969060268712738326411/5968415\ 8488586435143164687*c_0110_6^6 + 822407252525667006776346087789/596\ 84158488586435143164687*c_0110_6^5 - 210750286621049256544978090438/59684158488586435143164687*c_0110_6^\ 4 - 171175146895898707357067624758/59684158488586435143164687*c_011\ 0_6^3 + 54058569192052104412352872432/59684158488586435143164687*c_\ 0110_6^2 + 7841701803443909362134942923/59684158488586435143164687*\ c_0110_6 - 7207170355662941071238994025/59684158488586435143164687, c_0011_0 - 1, c_0011_2 + 7501318510403808442360966/59684158488586435143164687*c_0110_\ 6^21 - 5195154654749755720797442/59684158488586435143164687*c_0110_\ 6^20 - 102423449217257331363644784/59684158488586435143164687*c_011\ 0_6^19 + 11447644281707965807821770/59684158488586435143164687*c_01\ 10_6^18 + 455241755451503405212073721/59684158488586435143164687*c_\ 0110_6^17 + 285690227471547626022781282/59684158488586435143164687*\ c_0110_6^16 - 39798587490198475266060820/1613085364556390139004451*\ c_0110_6^15 - 1123585388634426853503227258/596841584885864351431646\ 87*c_0110_6^14 + 4747916536765165330186194907/596841584885864351431\ 64687*c_0110_6^13 - 1320484241903474560091288148/596841584885864351\ 43164687*c_0110_6^12 - 5759164140914239586580236520/596841584885864\ 35143164687*c_0110_6^11 + 6144759496398814178998743633/596841584885\ 86435143164687*c_0110_6^10 - 896052458186704661718714180/5968415848\ 8586435143164687*c_0110_6^9 - 3582635393773463759948611316/59684158\ 488586435143164687*c_0110_6^8 + 4802564006351873147021976061/596841\ 58488586435143164687*c_0110_6^7 - 974261778588244202892347971/59684\ 158488586435143164687*c_0110_6^6 - 1976572208003536386821372236/59684158488586435143164687*c_0110_6^5 + 525418328219237996250457017/59684158488586435143164687*c_0110_6^4 + 292243567381776815147138915/59684158488586435143164687*c_0110_6^3 - 185894168199734296214540102/59684158488586435143164687*c_0110_6^2 - 12092107849675869854653565/59684158488586435143164687*c_0110_6 + 42172141795011317796193670/59684158488586435143164687, c_0011_4 + 36206900455678859370851130/59684158488586435143164687*c_0110\ _6^21 - 14491868559891532784822085/59684158488586435143164687*c_011\ 0_6^20 - 499154532896458887543071691/59684158488586435143164687*c_0\ 110_6^19 - 90409160126606632393960295/59684158488586435143164687*c_\ 0110_6^18 + 2181148262144312139120345728/59684158488586435143164687\ *c_0110_6^17 + 2014987526084178819043012977/59684158488586435143164\ 687*c_0110_6^16 - 177958806007099169274963266/161308536455639013900\ 4451*c_0110_6^15 - 7369427350975014234215173253/5968415848858643514\ 3164687*c_0110_6^14 + 20982012222859372808968619310/596841584885864\ 35143164687*c_0110_6^13 - 28844066993040609906622837/59684158488586\ 435143164687*c_0110_6^12 - 28501857192797807841710841114/5968415848\ 8586435143164687*c_0110_6^11 + 21085798512097448948869254224/596841\ 58488586435143164687*c_0110_6^10 + 3389634698051988371829339550/59684158488586435143164687*c_0110_6^9 - 17584021318095996393796672248/59684158488586435143164687*c_0110_6^8 + 18134436885824697414158295260/59684158488586435143164687*c_0110_6\ ^7 + 1240495922446762221641621468/59684158488586435143164687*c_0110\ _6^6 - 10470333653640070014341457308/59684158488586435143164687*c_0\ 110_6^5 + 649605732358827552973126492/59684158488586435143164687*c_\ 0110_6^4 + 1426937161438953388296186918/59684158488586435143164687*\ c_0110_6^3 - 441385977937406793270220216/59684158488586435143164687\ *c_0110_6^2 - 68365546817383750513452834/59684158488586435143164687\ *c_0110_6 + 80636254794685436029660157/59684158488586435143164687, c_0101_0 + 18626951834851836105306499/59684158488586435143164687*c_0110\ _6^21 - 5488355825250553032265121/59684158488586435143164687*c_0110\ _6^20 - 257309726402122732053948904/59684158488586435143164687*c_01\ 10_6^19 - 74746723637663962174655688/59684158488586435143164687*c_0\ 110_6^18 + 1115343059422486980130968436/59684158488586435143164687*\ c_0110_6^17 + 1167343302211152757082828660/596841584885864351431646\ 87*c_0110_6^16 - 88597857656356757759512379/16130853645563901390044\ 51*c_0110_6^15 - 4193986560655104906439893462/596841584885864351431\ 64687*c_0110_6^14 + 10362544082208467718080859672/59684158488586435\ 143164687*c_0110_6^13 + 1316083648031464689007707291/59684158488586\ 435143164687*c_0110_6^12 - 14531140106651715881055909723/5968415848\ 8586435143164687*c_0110_6^11 + 8525763913149520361410845454/5968415\ 8488586435143164687*c_0110_6^10 + 3410416601940098269304737834/5968\ 4158488586435143164687*c_0110_6^9 - 8254883415791598189107999088/59684158488586435143164687*c_0110_6^8 + 7319252989606029766833056221/59684158488586435143164687*c_0110_6^7 + 2101249422984632031455181758/59684158488586435143164687*c_0110_6^6 - 5112062390083372380092397741/59684158488586435143164687*c_0110_6^5 - 833777428162835816460796081/59684158488586435143164687*c_0110_6^4 + 1115262775492403751357412563/59684158488586435143164687*c_0110_6^3 + 53883912103976284955647678/59684158488586435143164687*c_0110_6^2 - 189104912678711057742756260/59684158488586435143164687*c_0110_6 + 15831632664829617731684903/59684158488586435143164687, c_0101_1 + 3781120965413788924824461/59684158488586435143164687*c_0110_\ 6^21 + 1304035546318579617497380/59684158488586435143164687*c_0110_\ 6^20 - 54044146403140677886796802/59684158488586435143164687*c_0110\ _6^19 - 48401899388418361025103416/59684158488586435143164687*c_011\ 0_6^18 + 232313577470206127213370932/59684158488586435143164687*c_0\ 110_6^17 + 387453903047385110663953367/59684158488586435143164687*c\ _0110_6^16 - 15774898555890743578644183/1613085364556390139004451*c\ _0110_6^15 - 1348012618702864927594132397/5968415848858643514316468\ 7*c_0110_6^14 + 1763160227728217237177409719/5968415848858643514316\ 4687*c_0110_6^13 + 1878301800458575842326756723/5968415848858643514\ 3164687*c_0110_6^12 - 3444191795545359157703336589/5968415848858643\ 5143164687*c_0110_6^11 - 298452527932333506685256582/59684158488586\ 435143164687*c_0110_6^10 + 2912050665724455487562944686/59684158488\ 586435143164687*c_0110_6^9 - 1910334940334682443631036135/596841584\ 88586435143164687*c_0110_6^8 + 106029233360885206135039909/59684158\ 488586435143164687*c_0110_6^7 + 2081612715982179169110287127/596841\ 58488586435143164687*c_0110_6^6 - 1352301179962508806178739650/5968\ 4158488586435143164687*c_0110_6^5 - 857644274906442405422348121/59684158488586435143164687*c_0110_6^4 + 432563800733292128649952901/59684158488586435143164687*c_0110_6^3 + 119010439834665462387717393/59684158488586435143164687*c_0110_6^2 - 127466027833999628328862774/59684158488586435143164687*c_0110_6 - 2240657422924178034953022/59684158488586435143164687, c_0101_3 + 17372019933152989070360193/59684158488586435143164687*c_0110\ _6^21 - 7784675192235782502701233/59684158488586435143164687*c_0110\ _6^20 - 244144062476966351101953280/59684158488586435143164687*c_01\ 10_6^19 - 28860634610464687048637876/59684158488586435143164687*c_0\ 110_6^18 + 1114844035584533391319563695/59684158488586435143164687*\ c_0110_6^17 + 916178648560375990159247879/5968415848858643514316468\ 7*c_0110_6^16 - 94127833739634554743152189/161308536455639013900445\ 1*c_0110_6^15 - 3603072819036377156658643048/5968415848858643514316\ 4687*c_0110_6^14 + 11101797622732006886322327195/596841584885864351\ 43164687*c_0110_6^13 + 259451812067170993750172479/5968415848858643\ 5143164687*c_0110_6^12 - 16457041848200282350726474911/596841584885\ 86435143164687*c_0110_6^11 + 11582051040832381473645060065/59684158\ 488586435143164687*c_0110_6^10 + 4021434741094112229484373961/59684\ 158488586435143164687*c_0110_6^9 - 11571053722726467702885873708/59684158488586435143164687*c_0110_6^8 + 9890387429018121918422243785/59684158488586435143164687*c_0110_6^\ 7 + 1465800365823825365210555662/59684158488586435143164687*c_0110_\ 6^6 - 7264158671525573412104257381/59684158488586435143164687*c_011\ 0_6^5 + 995190902504807903379832478/59684158488586435143164687*c_01\ 10_6^4 + 1457558040746707895721639687/59684158488586435143164687*c_\ 0110_6^3 - 353654919865849837743772568/59684158488586435143164687*c\ _0110_6^2 - 101338596809395375547770327/59684158488586435143164687*\ c_0110_6 + 77472012782854785460529647/59684158488586435143164687, c_0110_6^22 - 14*c_0110_6^20 - 8*c_0110_6^19 + 60*c_0110_6^18 + 80*c_0110_6^17 - 163*c_0110_6^16 - 280*c_0110_6^15 + 508*c_0110_6^14 + 245*c_0110_6^13 - 818*c_0110_6^12 + 259*c_0110_6^11 + 372*c_0110_6^10 - 469*c_0110_6^9 + 294*c_0110_6^8 + 256*c_0110_6^7 - 296*c_0110_6^6 - 103*c_0110_6^5 + 60*c_0110_6^4 + 9*c_0110_6^3 - 8*c_0110_6^2 + c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB