Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 105355970] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2327 geometric_solution 5.71692525 oriented_manifold CS_known -0.0000000000000002 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 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.289526755868 0.243918545637 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 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 0.690359393194 1.457973326380 1 3 4 5 0132 3201 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.092734512641 1.003221981283 5 4 2 1 3201 0132 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 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.092734512641 1.003221981283 6 3 6 2 0132 0132 2310 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 1 0 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.756185505115 0.816957125050 5 5 2 3 1230 3012 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.185145419396 1.191721431192 4 4 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410233463083 0.235461216898 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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' : d['c_0101_0'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0101_0'], '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_3']), 'c_0011_6' : d['c_0011_3'], '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_0011_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_4']), '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_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 49927878148883723262312052942514124942579/3806184801675919924413602\ 9344175093750*c_0101_4^39 - 138785333614337785234375931414013883137\ 7969/38061848016759199244136029344175093750*c_0101_4^37 + 18890832598958949454764847370992252736645463/3806184801675919924413\ 6029344175093750*c_0101_4^35 - 158634521141753308908475392138623848\ 37415227/3806184801675919924413602934417509375*c_0101_4^33 + 926750680742016109016008107343294602749828559/380618480167591992441\ 36029344175093750*c_0101_4^31 - 88677409309287715348967629396698006\ 868317818/827431478625199983568174550960328125*c_0101_4^29 + 13753469237016990363269907449273420875348437407/3806184801675919924\ 4136029344175093750*c_0101_4^27 - 176706969552056347235180027134800\ 77591976317751/19030924008379599622068014672087546875*c_0101_4^25 + 34303609197107609761011783402574820265210136746/1903092400837959962\ 2068014672087546875*c_0101_4^23 - 497510070539342613970381638978186\ 03268062387241/19030924008379599622068014672087546875*c_0101_4^21 + 106089415885269657953439880576263948485744818021/380618480167591992\ 44136029344175093750*c_0101_4^19 - 16219242071173308683959026869391761275058557441/7612369603351839848\ 827205868835018750*c_0101_4^17 + 2134167398936228064414186834439240\ 6676221974671/19030924008379599622068014672087546875*c_0101_4^15 - 2897021110237820976322310132151866987445701753/76123696033518398488\ 27205868835018750*c_0101_4^13 + 14569534166997328226944663682691815\ 48824051302/19030924008379599622068014672087546875*c_0101_4^11 - 211595128774763384353712867520667008160405508/190309240083795996220\ 68014672087546875*c_0101_4^9 + 594196280634412874133881666193427398\ 70803096/19030924008379599622068014672087546875*c_0101_4^7 - 27727340087246658884241821519714885129101209/3806184801675919924413\ 6029344175093750*c_0101_4^5 + 1411044457008106976159791060880799419\ 6386/165486295725039996713634910192065625*c_0101_4^3 - 123614857716056797712834347063583383293956/190309240083795996220680\ 14672087546875*c_0101_4, c_0011_0 - 1, c_0011_1 + 8582872404610595306638417967016113648/1903092400837959962206\ 8014672087546875*c_0101_4^38 - 226275635905579014415064196940431809\ 078/19030924008379599622068014672087546875*c_0101_4^36 + 2918537703086839185895157111619112343081/19030924008379599622068014\ 672087546875*c_0101_4^34 - 4593074356020297700155425158408681426648\ /3806184801675919924413602934417509375*c_0101_4^32 + 124809066938639482251332310135430404909408/190309240083795996220680\ 14672087546875*c_0101_4^30 - 22157667040565586707217601349088814493\ 807/827431478625199983568174550960328125*c_0101_4^28 + 1563290596595801839756300606394210704275484/19030924008379599622068\ 014672087546875*c_0101_4^26 - 3539886273084418639702544689420754786\ 368624/19030924008379599622068014672087546875*c_0101_4^24 + 5787350353531885500797516544488342555376504/19030924008379599622068\ 014672087546875*c_0101_4^22 - 6600522136663096073138022052189090025\ 601634/19030924008379599622068014672087546875*c_0101_4^20 + 4913539260232668897458296782122732989241052/19030924008379599622068\ 014672087546875*c_0101_4^18 - 3995715712619871476091777632103305383\ 90842/3806184801675919924413602934417509375*c_0101_4^16 + 79561847854525090510354544880693443082329/1903092400837959962206801\ 4672087546875*c_0101_4^14 + 595477747641900233962903311162704818888\ 14/3806184801675919924413602934417509375*c_0101_4^12 - 102816777911823695535969344265655658736677/190309240083795996220680\ 14672087546875*c_0101_4^10 + 54670075093269597737279028982028574363\ 83/19030924008379599622068014672087546875*c_0101_4^8 - 1817870776722585216756614248248741454846/19030924008379599622068014\ 672087546875*c_0101_4^6 + 943028323399659544079567726330939152542/1\ 9030924008379599622068014672087546875*c_0101_4^4 - 1478922679576874712047720860593016011/16548629572503999671363491019\ 2065625*c_0101_4^2 + 30602072872569078654882302650550629456/1903092\ 4008379599622068014672087546875, c_0011_3 + 11571148864189479032814287978463082581/190309240083795996220\ 68014672087546875*c_0101_4^39 - 33257504060191600822543848136398242\ 5916/19030924008379599622068014672087546875*c_0101_4^37 + 4669596799754338963015750780670255520182/19030924008379599622068014\ 672087546875*c_0101_4^35 - 8114211221431880791734570038707596612331\ /3806184801675919924413602934417509375*c_0101_4^33 + 245200856865724622805008340706405371183926/190309240083795996220680\ 14672087546875*c_0101_4^31 - 48422857976857787752685765996817360635\ 304/827431478625199983568174550960328125*c_0101_4^29 + 3888714231295669487781662906515681350239248/19030924008379599622068\ 014672087546875*c_0101_4^27 - 1039987613430683805066171916405902683\ 1238078/19030924008379599622068014672087546875*c_0101_4^25 + 21099613805041977409075670525409534978669688/1903092400837959962206\ 8014672087546875*c_0101_4^23 - 320683106401733755645979353012846404\ 04390173/19030924008379599622068014672087546875*c_0101_4^21 + 35856841357646812017520175562615471077163319/1903092400837959962206\ 8014672087546875*c_0101_4^19 - 573689487282106259599632147526856810\ 0340324/3806184801675919924413602934417509375*c_0101_4^17 + 15691884404570209162657384509907507792512213/1903092400837959962206\ 8014672087546875*c_0101_4^15 - 108722950139166077225098832431973888\ 1994867/3806184801675919924413602934417509375*c_0101_4^13 + 1055460701250552697990048066347991246073556/19030924008379599622068\ 014672087546875*c_0101_4^11 - 1314527019925564969623887301463079111\ 98249/19030924008379599622068014672087546875*c_0101_4^9 + 41870562494072198949515349221689613402488/1903092400837959962206801\ 4672087546875*c_0101_4^7 - 1018141059544190454027180238541747518165\ 1/19030924008379599622068014672087546875*c_0101_4^5 + 9609261091842419519378793442235012733/16548629572503999671363491019\ 2065625*c_0101_4^3 - 57235495412449630327237299316226192068/1903092\ 4008379599622068014672087546875*c_0101_4, c_0011_5 - 8062804059026206455532021358580856421/1903092400837959962206\ 8014672087546875*c_0101_4^39 + 181638740784850860628152774618156701\ 031/19030924008379599622068014672087546875*c_0101_4^37 - 1916860538191974215165921428167509898787/19030924008379599622068014\ 672087546875*c_0101_4^35 + 2160582515909971902366121799762758436171\ /3806184801675919924413602934417509375*c_0101_4^33 - 31155904490178806549118079288318437436691/1903092400837959962206801\ 4672087546875*c_0101_4^31 + 95088279151547937340153301850302087239/\ 827431478625199983568174550960328125*c_0101_4^29 + 517169774504486017629526314058342126747282/190309240083795996220680\ 14672087546875*c_0101_4^27 - 29337352429566117336877469278970347286\ 74752/19030924008379599622068014672087546875*c_0101_4^25 + 9306588791551343560273536724476511750823992/19030924008379599622068\ 014672087546875*c_0101_4^23 - 1938064394621170881154528167778517381\ 7004357/19030924008379599622068014672087546875*c_0101_4^21 + 27475398268729888216955269375997576456943896/1903092400837959962206\ 8014672087546875*c_0101_4^19 - 528591892783740659290031630463679609\ 4147441/3806184801675919924413602934417509375*c_0101_4^17 + 16702902525763310432190217222906882018418592/1903092400837959962206\ 8014672087546875*c_0101_4^15 - 129077745226784967020573461381855456\ 1855003/3806184801675919924413602934417509375*c_0101_4^13 + 1328067621682655600495684971314786925509854/19030924008379599622068\ 014672087546875*c_0101_4^11 - 1536637907377817326110019813609076023\ 09391/19030924008379599622068014672087546875*c_0101_4^9 + 54378539743449862432150411805765213242942/1903092400837959962206801\ 4672087546875*c_0101_4^7 - 1366513464956768228657404762647911835908\ 4/19030924008379599622068014672087546875*c_0101_4^5 + 12471256384303801605106309175305505272/1654862957250399967136349101\ 92065625*c_0101_4^3 - 127808113094690371069001997662866465287/19030\ 924008379599622068014672087546875*c_0101_4, c_0101_0 - 56798028500666645609166472151020784038/190309240083795996220\ 68014672087546875*c_0101_4^38 + 14895041026946737337901291609247404\ 16243/19030924008379599622068014672087546875*c_0101_4^36 - 19104178118478552982796141855468366115786/1903092400837959962206801\ 4672087546875*c_0101_4^34 + 298506224580296376336216942671266113532\ 88/3806184801675919924413602934417509375*c_0101_4^32 - 804301114385415104829531501579762555038473/190309240083795996220680\ 14672087546875*c_0101_4^30 + 14145412763102152583377854257680525872\ 7817/827431478625199983568174550960328125*c_0101_4^28 - 9851876941830664805288456378753016467344479/19030924008379599622068\ 014672087546875*c_0101_4^26 + 2188097244625277612156948675184806033\ 9634069/19030924008379599622068014672087546875*c_0101_4^24 - 34689677338659818434559361092798526824254099/1903092400837959962206\ 8014672087546875*c_0101_4^22 + 374768557894646843250506823576744666\ 66699504/19030924008379599622068014672087546875*c_0101_4^20 - 24814732043772517475966506713715934432813537/1903092400837959962206\ 8014672087546875*c_0101_4^18 + 129991683343844520939274168378115620\ 8342402/3806184801675919924413602934417509375*c_0101_4^16 + 3420193149321359532958161924176093197741576/19030924008379599622068\ 014672087546875*c_0101_4^14 - 6828649254322633799678151376443939105\ 35334/3806184801675919924413602934417509375*c_0101_4^12 + 967927177315208883097937506966298686499787/190309240083795996220680\ 14672087546875*c_0101_4^10 - 68906160628572771247633442797957079414\ 698/19030924008379599622068014672087546875*c_0101_4^8 + 22843941225630843882753045817319859979626/1903092400837959962206801\ 4672087546875*c_0101_4^6 - 9439935127050492704104386797181538430727\ /19030924008379599622068014672087546875*c_0101_4^4 + 11199192096326446559329190620170960491/1654862957250399967136349101\ 92065625*c_0101_4^2 - 114936061723324383813162106468147865286/19030\ 924008379599622068014672087546875, c_0101_1 - 72483176883353876382971546798474616573/190309240083795996220\ 68014672087546875*c_0101_4^38 + 19615699458797762265158332644048108\ 95628/19030924008379599622068014672087546875*c_0101_4^36 - 26001702608856155779981865973975337093056/1903092400837959962206801\ 4672087546875*c_0101_4^34 + 423353056146119252238081567677816061383\ 23/3806184801675919924413602934417509375*c_0101_4^32 - 1196199607878989697800484045512118582522708/19030924008379599622068\ 014672087546875*c_0101_4^30 + 2214615854294381973135254893169345289\ 73882/827431478625199983568174550960328125*c_0101_4^28 - 16504893603720525977472365783175909320235134/1903092400837959962206\ 8014672087546875*c_0101_4^26 + 403533666758458282539050894791229943\ 35954774/19030924008379599622068014672087546875*c_0101_4^24 - 73663622524608636445936167722394545228388154/1903092400837959962206\ 8014672087546875*c_0101_4^22 + 991187664899107205161113868180566783\ 92807534/19030924008379599622068014672087546875*c_0101_4^20 - 96553465904290352934234982388603422764545627/1903092400837959962206\ 8014672087546875*c_0101_4^18 + 132536053051229869351532543909523012\ 80854417/3806184801675919924413602934417509375*c_0101_4^16 - 30727445119697602750124658619885731544270229/1903092400837959962206\ 8014672087546875*c_0101_4^14 + 181111847599554062847503043407760913\ 6937286/3806184801675919924413602934417509375*c_0101_4^12 - 1652043310708921831508019509792464728124373/19030924008379599622068\ 014672087546875*c_0101_4^10 + 2856599562236656390273750829930569704\ 02817/19030924008379599622068014672087546875*c_0101_4^8 - 77874907012462308725677615772222474759304/1903092400837959962206801\ 4672087546875*c_0101_4^6 + 1541404882895096169126317716530654324075\ 8/19030924008379599622068014672087546875*c_0101_4^4 - 15604434682247206218602068967810435389/1654862957250399967136349101\ 92065625*c_0101_4^2 + 123612760682662742767169955930632414319/19030\ 924008379599622068014672087546875, c_0101_4^40 - 28*c_0101_4^38 + 384*c_0101_4^36 - 3254*c_0101_4^34 + 19206*c_0101_4^32 - 85464*c_0101_4^30 + 292027*c_0101_4^28 - 763674*c_0101_4^26 + 1517544*c_0101_4^24 - 2271249*c_0101_4^22 + 2528385*c_0101_4^20 - 2054328*c_0101_4^18 + 1183463*c_0101_4^16 - 462926*c_0101_4^14 + 116946*c_0101_4^12 - 20246*c_0101_4^10 + 4091*c_0101_4^8 - 1037*c_0101_4^6 + 177*c_0101_4^4 - 18*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB