Magma V2.19-8 Tue Aug 20 2013 16:16:59 on localhost [Seed = 2598045263] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1240 geometric_solution 5.13703167 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 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 0.294360671488 0.310118242514 0 1 0 1 0132 2310 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 -1.405144500896 0.603599668995 4 3 5 0 0132 3012 0132 0132 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 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.483390003697 1.021561363933 2 4 0 5 1230 0132 0132 3201 0 0 0 0 0 0 1 -1 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 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.483390003697 1.021561363933 2 3 4 4 0132 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 -1 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 0 0 0.950973942469 1.352288607947 6 3 6 2 0132 2310 2310 0132 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 0 0 0 1 0 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.311285694349 2.054075641565 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 1 0 -1 0 0 1 -1 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 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 0 0 0.395028689833 0.154708916847 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), '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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 878723831552894754136074306892/13638913956826224751825763679*c_0101\ _5^16 + 4771669125080654469582359367140/136389139568262247518257636\ 79*c_0101_5^15 + 23409417369037195005609712358300/13638913956826224\ 751825763679*c_0101_5^14 + 4808641505800940285458281945659/45463046\ 52275408250608587893*c_0101_5^13 - 1744469048484684930675299208821/649472093182201178658369699*c_0101_\ 5^12 - 55299599447967722965570497637783/136389139568262247518257636\ 79*c_0101_5^11 - 45814977092782775783099445341014/13638913956826224\ 751825763679*c_0101_5^10 - 196877364632749545951043335688523/136389\ 13956826224751825763679*c_0101_5^9 - 148102553617043574345072235029340/4546304652275408250608587893*c_01\ 01_5^8 - 58901493316467063661300904987249/1948416279546603535975109\ 097*c_0101_5^7 - 187959370958811498158834174035760/1363891395682622\ 4751825763679*c_0101_5^6 - 4848443381940934663205055708700/13638913\ 956826224751825763679*c_0101_5^5 + 15224230443016647522620504200934/4546304652275408250608587893*c_010\ 1_5^4 + 3920930669131280737421369604145/194841627954660353597510909\ 7*c_0101_5^3 + 2896250359123830742893662765050/13638913956826224751\ 825763679*c_0101_5^2 + 1827772228632811261074703695974/136389139568\ 26224751825763679*c_0101_5 + 1406337216944464124266202753572/136389\ 13956826224751825763679, c_0011_0 - 1, c_0011_2 + 7025283511980020200299264/10309080844161923470767773*c_0101_\ 5^16 - 37276226445513285140555752/10309080844161923470767773*c_0101\ _5^15 - 193052122883853095738046184/10309080844161923470767773*c_01\ 01_5^14 - 132030946428940503738159556/10309080844161923470767773*c_\ 0101_5^13 + 308003961667266649095577886/10309080844161923470767773*\ c_0101_5^12 + 490323879366800597421462278/1030908084416192347076777\ 3*c_0101_5^11 + 369321062236779263350445491/10309080844161923470767\ 773*c_0101_5^10 + 1561492949129149063092949130/10309080844161923470\ 767773*c_0101_5^9 + 3704261719683036976280678781/103090808441619234\ 70767773*c_0101_5^8 + 3482938456498838528867269047/1030908084416192\ 3470767773*c_0101_5^7 + 1381036340893172763275174496/10309080844161\ 923470767773*c_0101_5^6 - 184642847529432454038353069/1030908084416\ 1923470767773*c_0101_5^5 - 516071167671103195040780581/103090808441\ 61923470767773*c_0101_5^4 - 275363955987597249239007478/10309080844\ 161923470767773*c_0101_5^3 - 13438226782705513297783798/10309080844\ 161923470767773*c_0101_5^2 + 8211881323529006639611695/103090808441\ 61923470767773*c_0101_5 - 13530543280969456726504932/10309080844161\ 923470767773, c_0011_5 - 488781386860231158934515676/10309080844161923470767773*c_010\ 1_5^16 + 2664228921199542637397627880/10309080844161923470767773*c_\ 0101_5^15 + 12973133651017249477982198664/1030908084416192347076777\ 3*c_0101_5^14 + 7719199214778980896990491377/1030908084416192347076\ 7773*c_0101_5^13 - 20692694856317933045254969624/103090808441619234\ 70767773*c_0101_5^12 - 30375774195066055706199063466/10309080844161\ 923470767773*c_0101_5^11 - 24581996159559772684427096031/1030908084\ 4161923470767773*c_0101_5^10 - 108711796869202490003416974560/10309\ 080844161923470767773*c_0101_5^9 - 244661078186614115045366565108/10309080844161923470767773*c_0101_5^\ 8 - 222952213280001064292891573652/10309080844161923470767773*c_010\ 1_5^7 - 97281356446275527009505387705/10309080844161923470767773*c_\ 0101_5^6 + 1287696962012931869677884228/10309080844161923470767773*\ c_0101_5^5 + 26078596411019906147566586383/103090808441619234707677\ 73*c_0101_5^4 + 14416563413730755794500203298/103090808441619234707\ 67773*c_0101_5^3 + 980160897576201989752028396/10309080844161923470\ 767773*c_0101_5^2 + 912289084158354175039800168/1030908084416192347\ 0767773*c_0101_5 + 808607017290029926835685308/10309080844161923470\ 767773, c_0101_0 + 511789705464051488012605476/10309080844161923470767773*c_010\ 1_5^16 - 2790916548525812915467855536/10309080844161923470767773*c_\ 0101_5^15 - 13577066736892286278018681432/1030908084416192347076777\ 3*c_0101_5^14 - 8047737514096375276504553379/1030908084416192347076\ 7773*c_0101_5^13 + 21693005456376506328146702098/103090808441619234\ 70767773*c_0101_5^12 + 31756112707419380547664159294/10309080844161\ 923470767773*c_0101_5^11 + 25646217536386582797110477020/1030908084\ 4161923470767773*c_0101_5^10 + 113746497879714723752676085040/10309\ 080844161923470767773*c_0101_5^9 + 255893961665147936678010181269/10309080844161923470767773*c_0101_5^\ 8 + 232771693112023715413704296879/10309080844161923470767773*c_010\ 1_5^7 + 101158071695347551861272737330/10309080844161923470767773*c\ _0101_5^6 - 1689910689705672001726474011/10309080844161923470767773\ *c_0101_5^5 - 27274699251281092676783060289/10309080844161923470767\ 773*c_0101_5^4 - 14989943263177448187188056996/10309080844161923470\ 767773*c_0101_5^3 - 998862265042599994510698664/1030908084416192347\ 0767773*c_0101_5^2 - 956893890720627552786966478/103090808441619234\ 70767773*c_0101_5 - 851528717137912778186891279/1030908084416192347\ 0767773, c_0101_1 + 136796679527457863860658412/10309080844161923470767773*c_010\ 1_5^16 - 742477156139024845360739260/10309080844161923470767773*c_0\ 101_5^15 - 3649556299782334608680701628/10309080844161923470767773*\ c_0101_5^14 - 2235728394101320595352814669/103090808441619234707677\ 73*c_0101_5^13 + 5775134874839743325842436175/103090808441619234707\ 67773*c_0101_5^12 + 8638794338733623184943513939/103090808441619234\ 70767773*c_0101_5^11 + 7011687571994814137753943661/103090808441619\ 23470767773*c_0101_5^10 + 30532978512385715621994632690/10309080844\ 161923470767773*c_0101_5^9 + 69138696003890548714715596992/10309080\ 844161923470767773*c_0101_5^8 + 63681083812774511458249092604/10309\ 080844161923470767773*c_0101_5^7 + 28111081453011219953592683773/10309080844161923470767773*c_0101_5^6 - 61677977555596160292528230/10309080844161923470767773*c_0101_5^5 - 7396072958538435090172520242/10309080844161923470767773*c_0101_5^4 - 4165059093711021122206234557/10309080844161923470767773*c_0101_5^3 - 321146338722543112796287019/10309080844161923470767773*c_0101_5^2 - 240985182638687673881466016/10309080844161923470767773*c_0101_5 - 230534594445718004896944360/10309080844161923470767773, c_0101_2 - 540218184932147025273481380/10309080844161923470767773*c_010\ 1_5^16 + 2945997436737081572157411480/10309080844161923470767773*c_\ 0101_5^15 + 14330203118926434353039664668/1030908084416192347076777\ 3*c_0101_5^14 + 8497696486194476077210668683/1030908084416192347076\ 7773*c_0101_5^13 - 22880711970297804837507964956/103090808441619234\ 70767773*c_0101_5^12 - 33515035927852846421528385493/10309080844161\ 923470767773*c_0101_5^11 - 27106758601106255514284840228/1030908084\ 4161923470767773*c_0101_5^10 - 120094122977002822812962698619/10309\ 080844161923470767773*c_0101_5^9 - 270106422746836015552576221509/10309080844161923470767773*c_0101_5^\ 8 - 245822365952374093580018724507/10309080844161923470767773*c_010\ 1_5^7 - 107057034032233494797656446402/10309080844161923470767773*c\ _0101_5^6 + 1636559869410371929578766917/10309080844161923470767773\ *c_0101_5^5 + 28826552829720874567867459782/10309080844161923470767\ 773*c_0101_5^4 + 15880485560581214778586386887/10309080844161923470\ 767773*c_0101_5^3 + 1068671445412460808226014880/103090808441619234\ 70767773*c_0101_5^2 + 1008887189569524647864015668/1030908084416192\ 3470767773*c_0101_5 + 892897929775325345676904205/10309080844161923\ 470767773, c_0101_5^17 - 5*c_0101_5^16 - 29*c_0101_5^15 - 111/4*c_0101_5^14 + 141/4*c_0101_5^13 + 325/4*c_0101_5^12 + 313/4*c_0101_5^11 + 245*c_0101_5^10 + 2403/4*c_0101_5^9 + 1363/2*c_0101_5^8 + 404*c_0101_5^7 + 173/2*c_0101_5^6 - 219/4*c_0101_5^5 - 107/2*c_0101_5^4 - 61/4*c_0101_5^3 - 11/4*c_0101_5^2 - 5/2*c_0101_5 - 3/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB