Magma V2.19-8 Tue Aug 20 2013 16:18:05 on localhost [Seed = 3583265053] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2319 geometric_solution 5.71267112 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.464318978130 0.240053782091 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.836235545654 0.638562714839 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 1 0 -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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.978456812369 1.067131357842 5 2 4 1 3201 1230 1023 0132 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 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.978456812369 1.067131357842 6 2 3 6 0132 0132 1023 3201 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 0 0 0 1 0 -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.198158103558 0.585736259914 5 5 2 3 1302 2031 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 0.696228135549 0.930497831676 4 4 6 6 0132 2310 1230 3012 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 -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 2.021671418998 0.749714112585 ==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' : 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_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], '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_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), '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_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 81129430858501845873149792063069897913/1322093310681104010277678798\ 239016280*c_0101_6^29 - 2477530139003885037670059261670465688253/66\ 1046655340552005138839399119508140*c_0101_6^27 + 49674727172625352370864529991591495357343/6610466553405520051388393\ 99119508140*c_0101_6^25 - 19555989519693871909431465793837079752201\ 3/264418662136220802055535759647803256*c_0101_6^23 + 1085558064098534871416600727238312838740405/26441866213622080205553\ 5759647803256*c_0101_6^21 - 751081573192707330004736597116667247207\ 3451/661046655340552005138839399119508140*c_0101_6^19 + 12617198455713364257207794329628742963359461/6610466553405520051388\ 39399119508140*c_0101_6^17 - 29584214040222939118078706969554486800\ 042711/1322093310681104010277678798239016280*c_0101_6^15 + 12414293466602321275220738958384591279907281/6610466553405520051388\ 39399119508140*c_0101_6^13 - 14942708447849573284850781164215647952\ 380267/1322093310681104010277678798239016280*c_0101_6^11 + 1576848415197765150021257774546477903204271/33052332767027600256941\ 9699559754070*c_0101_6^9 - 4020210798618085737597343272534668743990\ 03/330523327670276002569419699559754070*c_0101_6^7 + 18497122213707181789665108744470256068432/1652616638351380012847098\ 49779877035*c_0101_6^5 + 552721978343418018380328176905294026969/13\ 2209331068110401027767879823901628*c_0101_6^3 + 3089466774957294469890434046980411068467/13220933106811040102776787\ 98239016280*c_0101_6, c_0011_0 - 1, c_0011_1 + 29813133650042672591579086170319231/330523327670276002569419\ 69955975407*c_0101_6^28 - 1804026495716676649154770971995042035/330\ 52332767027600256941969955975407*c_0101_6^26 + 35490056353403562767494667890919312346/3305233276702760025694196995\ 5975407*c_0101_6^24 - 339302329724388314775592659879724825996/33052\ 332767027600256941969955975407*c_0101_6^22 + 1803537610859747893653552043732712698046/33052332767027600256941969\ 955975407*c_0101_6^20 - 4507182206947647898341424974434206589823/33\ 052332767027600256941969955975407*c_0101_6^18 + 6758018626973638094997412104156998774132/33052332767027600256941969\ 955975407*c_0101_6^16 - 7130716860894840292530071626844864254232/33\ 052332767027600256941969955975407*c_0101_6^14 + 5209402031218117017443987520312133142458/33052332767027600256941969\ 955975407*c_0101_6^12 - 2666326229584527620537246698604338632019/33\ 052332767027600256941969955975407*c_0101_6^10 + 895878295964809629111590386501878088407/330523327670276002569419699\ 55975407*c_0101_6^8 - 126489358092158320906730149654113815911/33052\ 332767027600256941969955975407*c_0101_6^6 - 3981131662892892009317137604380323396/33052332767027600256941969955\ 975407*c_0101_6^4 - 1559231748583226068371660948848059440/330523327\ 67027600256941969955975407*c_0101_6^2 + 40665872241601997274076117979702605/3305233276702760025694196995597\ 5407, c_0011_3 + 28215323632538654578267682263964785/132209331068110401027767\ 879823901628*c_0101_6^28 - 853471648481904190855987972530951127/661\ 04665534055200513883939911950814*c_0101_6^26 + 16781893835028463968337178788002413411/6610466553405520051388393991\ 1950814*c_0101_6^24 - 320636211750491295398449895892963518805/13220\ 9331068110401027767879823901628*c_0101_6^22 + 1702200607485409155384752118223961041249/13220933106811040102776787\ 9823901628*c_0101_6^20 - 2120094298411204347687361088607578803935/6\ 6104665534055200513883939911950814*c_0101_6^18 + 3164459963380538240684469614230006644183/66104665534055200513883939\ 911950814*c_0101_6^16 - 6644429958754013735736750419901512955119/13\ 2209331068110401027767879823901628*c_0101_6^14 + 2408932877742363766451824217448151930255/66104665534055200513883939\ 911950814*c_0101_6^12 - 2438558926345784631516518409360226561703/13\ 2209331068110401027767879823901628*c_0101_6^10 + 201023075997898072437939209645086225159/330523327670276002569419699\ 55975407*c_0101_6^8 - 26092899134379284888840799907452075419/330523\ 32767027600256941969955975407*c_0101_6^6 - 1508271761946154040103422784112550379/33052332767027600256941969955\ 975407*c_0101_6^4 - 703108842541171846631638518369351061/6610466553\ 4055200513883939911950814*c_0101_6^2 - 24093023921216137353741876141227425/1322093310681104010277678798239\ 01628, c_0011_5 - 76104811006818945155872022787202659/330523327670276002569419\ 69955975407*c_0101_6^28 + 4604636849823252400760841303385341929/330\ 52332767027600256941969955975407*c_0101_6^26 - 90563396034481950723890514639191514845/3305233276702760025694196995\ 5975407*c_0101_6^24 + 865509030445651912694770761011761155162/33052\ 332767027600256941969955975407*c_0101_6^22 - 4598031482573382385017594184853589174119/33052332767027600256941969\ 955975407*c_0101_6^20 + 11475646745552178005058984866325040264020/3\ 3052332767027600256941969955975407*c_0101_6^18 - 17185190734408907033889344917060619182883/3305233276702760025694196\ 9955975407*c_0101_6^16 + 18115393728285668010075435691753764872605/\ 33052332767027600256941969955975407*c_0101_6^14 - 13215681609165889647795777042882057181580/3305233276702760025694196\ 9955975407*c_0101_6^12 + 6756584436424799295247741100323932366797/3\ 3052332767027600256941969955975407*c_0101_6^10 - 2265389905316449604913611079130724031836/33052332767027600256941969\ 955975407*c_0101_6^8 + 318334015698895443933895425306494104908/3305\ 2332767027600256941969955975407*c_0101_6^6 + 10020355349842929533622884032087375585/3305233276702760025694196995\ 5975407*c_0101_6^4 + 3982346374441058790049187853876975131/33052332\ 767027600256941969955975407*c_0101_6^2 - 154797482766389676153522150356012708/330523327670276002569419699559\ 75407, c_0101_0 + 39900991893894121285542266689031677/330523327670276002569419\ 69955975407*c_0101_6^29 - 2416484602252241667232795996511148258/330\ 52332767027600256941969955975407*c_0101_6^27 + 47621717199200845738845614933026190423/3305233276702760025694196995\ 5975407*c_0101_6^25 - 456531519515017173260233167249647230573/33052\ 332767027600256941969955975407*c_0101_6^23 + 2436955730282712596492776346347072754305/33052332767027600256941969\ 955975407*c_0101_6^21 - 6155519434238076307469433371041926250492/33\ 052332767027600256941969955975407*c_0101_6^19 + 9353550486146502319079670213211393395948/33052332767027600256941969\ 955975407*c_0101_6^17 - 10006354617959326905949530074067134586812/3\ 3052332767027600256941969955975407*c_0101_6^15 + 7458558938692980233018727404951921592371/33052332767027600256941969\ 955975407*c_0101_6^13 - 3921679457848496415989915907428426173609/33\ 052332767027600256941969955975407*c_0101_6^11 + 1376775130066177524674277326249501887200/33052332767027600256941969\ 955975407*c_0101_6^9 - 227181085218211426010376606987114261767/3305\ 2332767027600256941969955975407*c_0101_6^7 + 1564157188848976364247026363487913054/33052332767027600256941969955\ 975407*c_0101_6^5 - 1274212783661913884298156293341555470/330523327\ 67027600256941969955975407*c_0101_6^3 + 169754164148773269900761251848454547/330523327670276002569419699559\ 75407*c_0101_6, c_0101_3 - 415655945894939909286490109937248821/13220933106811040102776\ 7879823901628*c_0101_6^29 + 12575002063824280280762448368570885803/\ 66104665534055200513883939911950814*c_0101_6^27 - 247347751829252600767496797615658831845/661046655340552005138839399\ 11950814*c_0101_6^25 + 4728479175869408091630299249774519890889/132\ 209331068110401027767879823901628*c_0101_6^23 - 25125657160815371527148413931498439946053/1322093310681104010277678\ 79823901628*c_0101_6^21 + 31370690100935699544522146682892556643891\ /66104665534055200513883939911950814*c_0101_6^19 - 47002453605365194585289990101636701326997/6610466553405520051388393\ 9911950814*c_0101_6^17 + 99132540240782782318021150711815412038731/\ 132209331068110401027767879823901628*c_0101_6^15 - 36181467370926411739157232426713243860399/6610466553405520051388393\ 9911950814*c_0101_6^13 + 37017043276575316327910203160579564208667/\ 132209331068110401027767879823901628*c_0101_6^11 - 3106640795331710789456244862662771911383/33052332767027600256941969\ 955975407*c_0101_6^9 + 438692966941850028340253201735848791066/3305\ 2332767027600256941969955975407*c_0101_6^7 + 12895520849988688719833958094582256846/3305233276702760025694196995\ 5975407*c_0101_6^5 + 11526656666843372087600268463004019335/6610466\ 5534055200513883939911950814*c_0101_6^3 - 1109190707858655757411422424821347575/13220933106811040102776787982\ 3901628*c_0101_6, c_0101_6^30 - 61*c_0101_6^28 + 1220*c_0101_6^26 - 11963*c_0101_6^24 + 66060*c_0101_6^22 - 180769*c_0101_6^20 + 300660*c_0101_6^18 - 350173*c_0101_6^16 + 291927*c_0101_6^14 - 175145*c_0101_6^12 + 73989*c_0101_6^10 - 19056*c_0101_6^8 + 1988*c_0101_6^6 + 2*c_0101_6^4 + 29*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB