Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 425231865] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1990 geometric_solution 5.55604029 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.257682505594 0.248642578989 2 0 3 0 0132 2310 0132 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 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.732680454780 1.690493084158 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 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 -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.644126471464 1.236452338561 2 5 4 1 3012 3201 3201 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.644126471464 1.236452338561 3 2 6 6 2310 0132 3201 0132 0 0 0 0 0 -1 0 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 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.224776054073 0.358631319189 5 5 3 2 1302 2031 2310 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.406078029231 0.950761424724 4 6 4 6 2310 2310 0132 3201 0 0 0 0 0 0 -1 1 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 -1 0 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.344881930934 0.744285911402 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], '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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0011_5, c_0011_6, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 5 Groebner basis: [ t - 3846/115*c_0101_3^4 + 147289/575*c_0101_3^3 + 94904/575*c_0101_3^2 - 156888/575*c_0101_3 - 142979/575, c_0011_0 - 1, c_0011_1 - 22/23*c_0101_3^4 + 174/23*c_0101_3^3 + 66/23*c_0101_3^2 - 193/23*c_0101_3 - 121/23, c_0011_3 - 18/23*c_0101_3^4 + 134/23*c_0101_3^3 + 123/23*c_0101_3^2 - 183/23*c_0101_3 - 145/23, c_0011_5 - 11/23*c_0101_3^4 + 87/23*c_0101_3^3 + 33/23*c_0101_3^2 - 85/23*c_0101_3 - 49/23, c_0011_6 - 1/23*c_0101_3^4 + 10/23*c_0101_3^3 - 20/23*c_0101_3^2 + 9/23*c_0101_3 + 29/23, c_0101_0 + 11/23*c_0101_3^4 - 87/23*c_0101_3^3 - 33/23*c_0101_3^2 + 108/23*c_0101_3 + 49/23, c_0101_3^5 - 7*c_0101_3^4 - 10*c_0101_3^3 + 5*c_0101_3^2 + 13*c_0101_3 + 5 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 26358096543993679904460790186346359443091/2958888788113115703510929\ 7643019689817254*c_0101_3^20 - 188424872677096249779943051941293837\ 06659/14794443940565578517554648821509844908627*c_0101_3^19 + 268138051236384619144242933596275778120195/295888878811311570351092\ 97643019689817254*c_0101_3^18 - 59551577283524334855672105142623255\ 4996629/14794443940565578517554648821509844908627*c_0101_3^17 - 987365486203192119030645406848877716900199/295888878811311570351092\ 97643019689817254*c_0101_3^16 + 44494582822324495639881988976852734\ 50032123/14794443940565578517554648821509844908627*c_0101_3^15 - 12122352501814500280153476892632376332700337/2958888788113115703510\ 9297643019689817254*c_0101_3^14 + 943489112044389580055156468502665\ 730715932/14794443940565578517554648821509844908627*c_0101_3^13 + 37196130249384297732548088044098741368115417/2958888788113115703510\ 9297643019689817254*c_0101_3^12 - 886959996989693228182626610905930\ 49597362275/29588887881131157035109297643019689817254*c_0101_3^11 + 60892949214591271437331240133073889256836684/1479444394056557851755\ 4648821509844908627*c_0101_3^10 - 577720543382957357144634523616287\ 33081327515/29588887881131157035109297643019689817254*c_0101_3^9 - 10011952237495251120073271004293866088746259/4226983983018736719301\ 328234717098545322*c_0101_3^8 + 47172143731185066472155797533309905\ 517568543/14794443940565578517554648821509844908627*c_0101_3^7 - 13505306895396858642248538883569343875115243/2958888788113115703510\ 9297643019689817254*c_0101_3^6 - 1291653589419894327378448743534141\ 48264806643/29588887881131157035109297643019689817254*c_0101_3^5 + 39232962612030981848817931385911373591682851/1479444394056557851755\ 4648821509844908627*c_0101_3^4 - 1037432630226536197829206047468376\ 957605847/2113491991509368359650664117358549272661*c_0101_3^3 - 20749815543534371226471331720381256492749709/2958888788113115703510\ 9297643019689817254*c_0101_3^2 + 5843797589856195955047129210237642\ 825373947/14794443940565578517554648821509844908627*c_0101_3 - 1731206378234160811925392646932883142920187/29588887881131157035109\ 297643019689817254, c_0011_0 - 1, c_0011_1 - 144153982567396976441761245791857299007/21134919915093683596\ 50664117358549272661*c_0101_3^20 - 315114518727071885299331838653031375603/211349199150936835965066411\ 7358549272661*c_0101_3^19 + 138244381785764014189788177678902803408\ 5/2113491991509368359650664117358549272661*c_0101_3^18 - 5077520826076532594662435312558370620224/21134919915093683596506641\ 17358549272661*c_0101_3^17 - 10597811353303759807838750741139301175\ 047/2113491991509368359650664117358549272661*c_0101_3^16 + 45579860101092394756872831915242299279962/2113491991509368359650664\ 117358549272661*c_0101_3^15 - 1865030139878376573905287863792918111\ 5395/2113491991509368359650664117358549272661*c_0101_3^14 - 48437315354184384235828116738464614666890/2113491991509368359650664\ 117358549272661*c_0101_3^13 + 1700238212779668081851347694190467337\ 67532/2113491991509368359650664117358549272661*c_0101_3^12 - 299489088100881049536551936509564347329648/211349199150936835965066\ 4117358549272661*c_0101_3^11 + 277352777099885972243942150346888440\ 437896/2113491991509368359650664117358549272661*c_0101_3^10 + 153265544449041757668008801785385735597180/211349199150936835965066\ 4117358549272661*c_0101_3^9 - 4608449872941122075356777512318350886\ 84444/2113491991509368359650664117358549272661*c_0101_3^8 - 87392278300575146515583215511396372585313/2113491991509368359650664\ 117358549272661*c_0101_3^7 + 28455265914229145021395823152147619099\ 9896/2113491991509368359650664117358549272661*c_0101_3^6 - 233530359691191964777856262404782571391115/211349199150936835965066\ 4117358549272661*c_0101_3^5 + 1135662037851480900281551619640805030\ 6891/2113491991509368359650664117358549272661*c_0101_3^4 + 60295189650417065843506517957467557865172/2113491991509368359650664\ 117358549272661*c_0101_3^3 - 19082163773427144602636549187277514921\ 164/2113491991509368359650664117358549272661*c_0101_3^2 + 4524718685558615097651035284370918920855/21134919915093683596506641\ 17358549272661*c_0101_3 + 2809208562459465270738056869080039918019/\ 2113491991509368359650664117358549272661, c_0011_3 + 5184971463516512440790793317704056383/2113491991509368359650\ 664117358549272661*c_0101_3^20 + 2894449618253069406200541221453022\ 7224/2113491991509368359650664117358549272661*c_0101_3^19 - 8383301161840815979513530773304130499/21134919915093683596506641173\ 58549272661*c_0101_3^18 + 20777836926140011083230799764850408223/21\ 13491991509368359650664117358549272661*c_0101_3^17 + 975774368123043244238269842711787669369/211349199150936835965066411\ 7358549272661*c_0101_3^16 - 250991601024513459947009063812301730924\ /2113491991509368359650664117358549272661*c_0101_3^15 - 4652621278217677822528652934178684596498/21134919915093683596506641\ 17358549272661*c_0101_3^14 + 31610360284766963930641289953628381911\ 72/2113491991509368359650664117358549272661*c_0101_3^13 - 48827173137160069893147497331949971516/2113491991509368359650664117\ 358549272661*c_0101_3^12 - 8708497448654242424955336715098096763415\ /2113491991509368359650664117358549272661*c_0101_3^11 + 23082843042369062885515366212033662054659/2113491991509368359650664\ 117358549272661*c_0101_3^10 - 3460986209640593141945975072577690943\ 5664/2113491991509368359650664117358549272661*c_0101_3^9 - 5141005486350253287751202697772397550563/21134919915093683596506641\ 17358549272661*c_0101_3^8 + 530408170889555101387951182578354562264\ 84/2113491991509368359650664117358549272661*c_0101_3^7 + 11230981338293762058304199481999000426590/2113491991509368359650664\ 117358549272661*c_0101_3^6 - 23481665134259585632616973329013639601\ 348/2113491991509368359650664117358549272661*c_0101_3^5 + 19414345161905230644684665935919630862873/2113491991509368359650664\ 117358549272661*c_0101_3^4 + 60555624475009331135207117822898823157\ 8/2113491991509368359650664117358549272661*c_0101_3^3 - 1068580294162263959825592331357418963354/21134919915093683596506641\ 17358549272661*c_0101_3^2 + 347516981635027533830853504747977922941\ /2113491991509368359650664117358549272661*c_0101_3 - 338174903687588472654074987656312760424/211349199150936835965066411\ 7358549272661, c_0011_5 + 102690016353006505326299993152528846667/21134919915093683596\ 50664117358549272661*c_0101_3^20 + 219987489745143230623171785834430367717/211349199150936835965066411\ 7358549272661*c_0101_3^19 - 990553029737839639032424167435327220676\ /2113491991509368359650664117358549272661*c_0101_3^18 + 3673273674815376292964606173124858195005/21134919915093683596506641\ 17358549272661*c_0101_3^17 + 73627677592883264452630023815783294095\ 58/2113491991509368359650664117358549272661*c_0101_3^16 - 32695643080175667546513457499128397056218/2113491991509368359650664\ 117358549272661*c_0101_3^15 + 1514546779716444441599535965783650361\ 4755/2113491991509368359650664117358549272661*c_0101_3^14 + 32981912337525657632070248043574265928092/2113491991509368359650664\ 117358549272661*c_0101_3^13 - 1233879392922455735626759105004012004\ 67885/2113491991509368359650664117358549272661*c_0101_3^12 + 220241180474815976414982085111660309527370/211349199150936835965066\ 4117358549272661*c_0101_3^11 - 210341851553489996704683833529523862\ 954919/2113491991509368359650664117358549272661*c_0101_3^10 - 96636116804523305993397329075250397135158/2113491991509368359650664\ 117358549272661*c_0101_3^9 + 33334713065146745248639715615373771196\ 6772/2113491991509368359650664117358549272661*c_0101_3^8 + 36778367570457971556728606933318055629831/2113491991509368359650664\ 117358549272661*c_0101_3^7 - 19722468242008393664926566574100531976\ 7928/2113491991509368359650664117358549272661*c_0101_3^6 + 188452248610747513260655759738744378196359/211349199150936835965066\ 4117358549272661*c_0101_3^5 - 1671427361452832957469673279573225588\ 2455/2113491991509368359650664117358549272661*c_0101_3^4 - 40168419730428026329013339627063153001997/2113491991509368359650664\ 117358549272661*c_0101_3^3 + 19901930130344205394222049700164959137\ 788/2113491991509368359650664117358549272661*c_0101_3^2 - 5227481164748507547759237348436086950730/21134919915093683596506641\ 17358549272661*c_0101_3 - 2724984647646950221065389686004383154937/\ 2113491991509368359650664117358549272661, c_0011_6 - 101557259797253744929935732001436234262/21134919915093683596\ 50664117358549272661*c_0101_3^20 - 226766289600686314913558156562951642941/211349199150936835965066411\ 7358549272661*c_0101_3^19 + 963308302284924384155314672162234346414\ /2113491991509368359650664117358549272661*c_0101_3^18 - 3529558834829652023108138469518672040006/21134919915093683596506641\ 17358549272661*c_0101_3^17 - 76251071865777685657099352315964304885\ 90/2113491991509368359650664117358549272661*c_0101_3^16 + 31734938897954905563407133916181604084676/2113491991509368359650664\ 117358549272661*c_0101_3^15 - 1158374172012900533268472717717228095\ 5860/2113491991509368359650664117358549272661*c_0101_3^14 - 34436448699359683514260972467676721994575/2113491991509368359650664\ 117358549272661*c_0101_3^13 + 1175466330759245860201064523864729984\ 40767/2113491991509368359650664117358549272661*c_0101_3^12 - 205741250098153977899953188387228821380128/211349199150936835965066\ 4117358549272661*c_0101_3^11 + 186784486946426142886515985592213924\ 749229/2113491991509368359650664117358549272661*c_0101_3^10 + 114525771623784168690271085029547192910076/211349199150936835965066\ 4117358549272661*c_0101_3^9 - 3165698702580130732723957912984094693\ 58419/2113491991509368359650664117358549272661*c_0101_3^8 - 77071473815817497484052971828890166514698/2113491991509368359650664\ 117358549272661*c_0101_3^7 + 19063126396230799119936992570056588216\ 1304/2113491991509368359650664117358549272661*c_0101_3^6 - 148932134271834412460308753024600446330579/211349199150936835965066\ 4117358549272661*c_0101_3^5 + 8267062085570394651073448356002161675\ 645/2113491991509368359650664117358549272661*c_0101_3^4 + 39014843013036381937404234051785433913684/2113491991509368359650664\ 117358549272661*c_0101_3^3 - 10385258840604601446373016407678924185\ 953/2113491991509368359650664117358549272661*c_0101_3^2 + 4527100611600744368835870668272583627850/21134919915093683596506641\ 17358549272661*c_0101_3 + 2089711192130393628705133418470786986144/\ 2113491991509368359650664117358549272661, c_0101_0 + 89045956489693859922334546011421677278/211349199150936835965\ 0664117358549272661*c_0101_3^20 + 206408624170631598513741051049946\ 117153/2113491991509368359650664117358549272661*c_0101_3^19 - 844549245110868886077583974113800505042/211349199150936835965066411\ 7358549272661*c_0101_3^18 + 298703721341081856500499476722619551064\ 1/2113491991509368359650664117358549272661*c_0101_3^17 + 7114213480041988544204480228973335024749/21134919915093683596506641\ 17358549272661*c_0101_3^16 - 27854838894260749479552079985121491944\ 520/2113491991509368359650664117358549272661*c_0101_3^15 + 6572858422489896288552919467984005767550/21134919915093683596506641\ 17358549272661*c_0101_3^14 + 36491655865045363882328309495100065626\ 478/2113491991509368359650664117358549272661*c_0101_3^13 - 102846863315698384212415995673221210647444/211349199150936835965066\ 4117358549272661*c_0101_3^12 + 165686910851718239521622485227360189\ 407908/2113491991509368359650664117358549272661*c_0101_3^11 - 128505791332832831669728581388764443770509/211349199150936835965066\ 4117358549272661*c_0101_3^10 - 149834094705694472711008187256391765\ 736471/2113491991509368359650664117358549272661*c_0101_3^9 + 302455915431582164510311241588654674388768/211349199150936835965066\ 4117358549272661*c_0101_3^8 + 1089810118266541872783090952665430599\ 25409/2113491991509368359650664117358549272661*c_0101_3^7 - 216420596510809966927968125059681008253704/211349199150936835965066\ 4117358549272661*c_0101_3^6 + 1056212051174734368297686076447954684\ 74070/2113491991509368359650664117358549272661*c_0101_3^5 + 41522095210996955309926254464830268949400/2113491991509368359650664\ 117358549272661*c_0101_3^4 - 57618004772638266373280275912431428324\ 690/2113491991509368359650664117358549272661*c_0101_3^3 + 9226101082691573554954720042713103527275/21134919915093683596506641\ 17358549272661*c_0101_3^2 + 100276295931577277968783504015007324709\ 0/2113491991509368359650664117358549272661*c_0101_3 - 3616454161014225655514701849269535724275/21134919915093683596506641\ 17358549272661, c_0101_3^21 + 2*c_0101_3^20 - 10*c_0101_3^19 + 37*c_0101_3^18 + 67*c_0101_3^17 - 330*c_0101_3^16 + 188*c_0101_3^15 + 313*c_0101_3^14 - 1243*c_0101_3^13 + 2297*c_0101_3^12 - 2307*c_0101_3^11 - 715*c_0101_3^10 + 3409*c_0101_3^9 + 5*c_0101_3^8 - 2089*c_0101_3^7 + 1987*c_0101_3^6 - 381*c_0101_3^5 - 406*c_0101_3^4 + 227*c_0101_3^3 - 60*c_0101_3^2 - 22*c_0101_3 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB