Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 1048552183] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1576 geometric_solution 5.35701539 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 1023 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 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.847262354244 0.489146955246 0 1 0 1 0132 2310 1023 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.760759805936 0.211892255936 4 0 5 3 0132 0132 0132 1230 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 -1 1 0 0 0 0 0 0 0 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415252575005 1.444840099645 2 5 0 6 3012 3120 0132 0132 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 -2 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 1.055837513099 0.547938362372 2 4 6 4 0132 1302 0132 2031 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 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.533378762762 0.432715338688 6 3 6 2 1023 3120 1302 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 1 0 -1 0 0 0 0 2 0 0 -2 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.121270623174 0.717395367484 5 5 3 4 2031 1023 0132 0132 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 0 -1 1 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.869326565577 0.917283874575 ==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' : 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_0']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_0011_6' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], '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_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 17533754209484848628556424064/117797889144532677344685659*c_0101_6^\ 23 + 37466966751712955282595345029/16828269877790382477812237*c_010\ 1_6^22 + 1864003968600747261936121250240/11779788914453267734468565\ 9*c_0101_6^21 + 8111989520955537577982038245203/1177978891445326773\ 44685659*c_0101_6^20 + 22786503063277040348657014500103/11779788914\ 4532677344685659*c_0101_6^19 + 37640718675595107580178810506628/117\ 797889144532677344685659*c_0101_6^18 + 12758013477541761273050141202314/117797889144532677344685659*c_0101\ _6^17 - 105336647309662690914823763343009/1177978891445326773446856\ 59*c_0101_6^16 - 281305394222474256855155706371904/1177978891445326\ 77344685659*c_0101_6^15 - 311507807848347303021762128815700/1177978\ 89144532677344685659*c_0101_6^14 - 4105408061399602123332532585720/117797889144532677344685659*c_0101_\ 6^13 + 479277010230141398666109802805796/11779788914453267734468565\ 9*c_0101_6^12 + 670189097800855836395755448134559/11779788914453267\ 7344685659*c_0101_6^11 + 48688447341946196450451005059044/168282698\ 77790382477812237*c_0101_6^10 - 187256434931036631394712847642853/1\ 17797889144532677344685659*c_0101_6^9 - 440994540722285065125563613041379/117797889144532677344685659*c_010\ 1_6^8 - 45582028978750823813937374948756/16828269877790382477812237\ *c_0101_6^7 - 10443192972779128300364333414151/16828269877790382477\ 812237*c_0101_6^6 + 66498672427634406189143071453880/11779788914453\ 2677344685659*c_0101_6^5 + 75929155593836064967729169962181/1177978\ 89144532677344685659*c_0101_6^4 + 38485480551788403037829234524833/\ 117797889144532677344685659*c_0101_6^3 + 11386184175577940377353684642728/117797889144532677344685659*c_0101\ _6^2 + 1857635403987602745706946087320/117797889144532677344685659*\ c_0101_6 + 121802862544928912686562422025/1177978891445326773446856\ 59, c_0011_0 - 1, c_0011_3 + 5020427370863148106094783/16828269877790382477812237*c_0101_\ 6^23 + 75479248928488555448293016/16828269877790382477812237*c_0101\ _6^22 + 537323247047132588211621531/16828269877790382477812237*c_01\ 01_6^21 + 2334000063146993456377462790/16828269877790382477812237*c\ _0101_6^20 + 6509601495949540336183072976/1682826987779038247781223\ 7*c_0101_6^19 + 10520033607842548616725648154/168282698777903824778\ 12237*c_0101_6^18 + 2639487069065722634922627551/168282698777903824\ 77812237*c_0101_6^17 - 32087007669989565346013364639/16828269877790\ 382477812237*c_0101_6^16 - 81229878518614592541375528875/1682826987\ 7790382477812237*c_0101_6^15 - 83638694584959049005791541808/168282\ 69877790382477812237*c_0101_6^14 + 12183761361565611523619637917/16828269877790382477812237*c_0101_6^1\ 3 + 147768952578195213588646329678/16828269877790382477812237*c_010\ 1_6^12 + 183738008941299273349761041454/16828269877790382477812237*\ c_0101_6^11 + 71866584006754767902625992551/16828269877790382477812\ 237*c_0101_6^10 - 74678633869362800289696640532/1682826987779038247\ 7812237*c_0101_6^9 - 125165893837030950095848419347/168282698777903\ 82477812237*c_0101_6^8 - 74650210664284091583477058427/168282698777\ 90382477812237*c_0101_6^7 - 6623371676454006498001842547/1682826987\ 7790382477812237*c_0101_6^6 + 22673052270816147719455675892/1682826\ 9877790382477812237*c_0101_6^5 + 18917006762862809218892700319/1682\ 8269877790382477812237*c_0101_6^4 + 7878146226340960565191005509/16828269877790382477812237*c_0101_6^3 + 1892337966265498742920811295/16828269877790382477812237*c_0101_6^2 + 252115661422121399341117858/16828269877790382477812237*c_0101_6 + 28713143168729577490107728/16828269877790382477812237, c_0011_5 - 202270669960910673936368359/16828269877790382477812237*c_010\ 1_6^23 - 2965930839582829163500288483/16828269877790382477812237*c_\ 0101_6^22 - 20646503481247071797560256366/1682826987779038247781223\ 7*c_0101_6^21 - 87744746168784094353460734783/168282698777903824778\ 12237*c_0101_6^20 - 238700966490688805292825841597/1682826987779038\ 2477812237*c_0101_6^19 - 370877217217316536812654946809/16828269877\ 790382477812237*c_0101_6^18 - 56176000824046046065395519114/1682826\ 9877790382477812237*c_0101_6^17 + 1205551079429086032603415139112/1\ 6828269877790382477812237*c_0101_6^16 + 2892902258894867614822016957347/16828269877790382477812237*c_0101_6\ ^15 + 2842739141046989289765767288148/16828269877790382477812237*c_\ 0101_6^14 - 574553741585994732786760006520/168282698777903824778122\ 37*c_0101_6^13 - 5181388835527784636048607717165/168282698777903824\ 77812237*c_0101_6^12 - 6303754532208490753472321412223/168282698777\ 90382477812237*c_0101_6^11 - 2482194410873187966249183534116/168282\ 69877790382477812237*c_0101_6^10 + 2475452498585104497232827066343/16828269877790382477812237*c_0101_6\ ^9 + 4263404552268929888048852579330/16828269877790382477812237*c_0\ 101_6^8 + 2657013579706532715983820027497/1682826987779038247781223\ 7*c_0101_6^7 + 354669676917811405051057240684/168282698777903824778\ 12237*c_0101_6^6 - 727883831102243389470612395591/16828269877790382\ 477812237*c_0101_6^5 - 670279156513618754268365488526/1682826987779\ 0382477812237*c_0101_6^4 - 305401616312325244540086236468/168282698\ 77790382477812237*c_0101_6^3 - 81896295043409156118419094193/168282\ 69877790382477812237*c_0101_6^2 - 11963373484872167192467340051/168\ 28269877790382477812237*c_0101_6 - 710027719864774616973976588/16828269877790382477812237, c_0101_0 - 4204502496069869026147201/16828269877790382477812237*c_0101_\ 6^23 - 72041363748385681578255496/16828269877790382477812237*c_0101\ _6^22 - 581433804944543305668957224/16828269877790382477812237*c_01\ 01_6^21 - 2881059132666966290850653693/16828269877790382477812237*c\ _0101_6^20 - 9431141292187341917391048669/1682826987779038247781223\ 7*c_0101_6^19 - 19747221620777649345865757144/168282698777903824778\ 12237*c_0101_6^18 - 19400739390939863670128748151/16828269877790382\ 477812237*c_0101_6^17 + 24016817888357780154095722105/1682826987779\ 0382477812237*c_0101_6^16 + 123938778634414482181067735522/16828269\ 877790382477812237*c_0101_6^15 + 205197423763534095182266481194/168\ 28269877790382477812237*c_0101_6^14 + 121627851704307147539151076101/16828269877790382477812237*c_0101_6^\ 13 - 156187462912344349684964828615/16828269877790382477812237*c_01\ 01_6^12 - 403977863273511882776304753639/16828269877790382477812237\ *c_0101_6^11 - 353519076684860402015756255517/168282698777903824778\ 12237*c_0101_6^10 - 37554668075191058996622767686/16828269877790382\ 477812237*c_0101_6^9 + 237964727588764650784611369633/1682826987779\ 0382477812237*c_0101_6^8 + 264319768994289346018628560401/168282698\ 77790382477812237*c_0101_6^7 + 118317724985596005491112843265/16828\ 269877790382477812237*c_0101_6^6 - 14200176915679502390200637899/16828269877790382477812237*c_0101_6^5 - 53716780410193758914024164798/16828269877790382477812237*c_0101_6\ ^4 - 36207355747319953702118139842/16828269877790382477812237*c_010\ 1_6^3 - 13432835450684338582188822487/16828269877790382477812237*c_\ 0101_6^2 - 2865562067850367606231308755/16828269877790382477812237*\ c_0101_6 - 264026163379953636635581588/16828269877790382477812237, c_0101_1 + 290188542207131023218057952/16828269877790382477812237*c_010\ 1_6^23 + 4287573240877825298892115234/16828269877790382477812237*c_\ 0101_6^22 + 30089594296118296248331642761/1682826987779038247781223\ 7*c_0101_6^21 + 129092102393432981653765391832/16828269877790382477\ 812237*c_0101_6^20 + 355803026823129826162644809960/168282698777903\ 82477812237*c_0101_6^19 + 567277871716718133959061786083/1682826987\ 7790382477812237*c_0101_6^18 + 131675958513332376169588830572/16828\ 269877790382477812237*c_0101_6^17 - 1733527496639794487373685350988/16828269877790382477812237*c_0101_6\ ^16 - 4345310707478451756249396834707/16828269877790382477812237*c_\ 0101_6^15 - 4499117854261876302178038063306/16828269877790382477812\ 237*c_0101_6^14 + 470863470367359634438239583717/168282698777903824\ 77812237*c_0101_6^13 + 7624505172886994510587370775941/168282698777\ 90382477812237*c_0101_6^12 + 9849483257550159210630326278010/168282\ 69877790382477812237*c_0101_6^11 + 4382382522393081708401439496338/16828269877790382477812237*c_0101_6\ ^10 - 3377468807505338633829536586418/16828269877790382477812237*c_\ 0101_6^9 - 6590950178062374312509611268082/168282698777903824778122\ 37*c_0101_6^8 - 4391945599085837478194928697187/1682826987779038247\ 7812237*c_0101_6^7 - 777265538469671009518432372154/168282698777903\ 82477812237*c_0101_6^6 + 1073650872317058806290037302211/1682826987\ 7790382477812237*c_0101_6^5 + 1078956356950617368147370922816/16828\ 269877790382477812237*c_0101_6^4 + 514401403998360240830723082109/16828269877790382477812237*c_0101_6^\ 3 + 143895330966783041647440520155/16828269877790382477812237*c_010\ 1_6^2 + 22089460598530185169754910858/16828269877790382477812237*c_\ 0101_6 + 1387455770185816077553642074/16828269877790382477812237, c_0101_2 - 122214185382069015055496244/16828269877790382477812237*c_010\ 1_6^23 - 1794425642915619402205366236/16828269877790382477812237*c_\ 0101_6^22 - 12507660605503360477144478180/1682826987779038247781223\ 7*c_0101_6^21 - 53230939453562654626850472181/168282698777903824778\ 12237*c_0101_6^20 - 145075402069662906580118210617/1682826987779038\ 2477812237*c_0101_6^19 - 226187691554028180691879200015/16828269877\ 790382477812237*c_0101_6^18 - 36620381811382143440424224307/1682826\ 9877790382477812237*c_0101_6^17 + 729647889389084353185111603446/16\ 828269877790382477812237*c_0101_6^16 + 1760242861954846668754897336404/16828269877790382477812237*c_0101_6\ ^15 + 1740509056023518404258128197027/16828269877790382477812237*c_\ 0101_6^14 - 331626867355070628802320982248/168282698777903824778122\ 37*c_0101_6^13 - 3144783818861209642186942910546/168282698777903824\ 77812237*c_0101_6^12 - 3850264698048927538636967673110/168282698777\ 90382477812237*c_0101_6^11 - 1538336328824213299650278037934/168282\ 69877790382477812237*c_0101_6^10 + 1487130467722078420966002236213/16828269877790382477812237*c_0101_6\ ^9 + 2596480506539816837362005027048/16828269877790382477812237*c_0\ 101_6^8 + 1633361368154006599829254333598/1682826987779038247781223\ 7*c_0101_6^7 + 230633148335752655247311369097/168282698777903824778\ 12237*c_0101_6^6 - 438313907839482195997416957124/16828269877790382\ 477812237*c_0101_6^5 - 410442349372515776288644274229/1682826987779\ 0382477812237*c_0101_6^4 - 189258460422990755962723724651/168282698\ 77790382477812237*c_0101_6^3 - 51489669069776016462270561853/168282\ 69877790382477812237*c_0101_6^2 - 7662542088192163943507772876/1682\ 8269877790382477812237*c_0101_6 - 464182277715714141476437650/16828\ 269877790382477812237, c_0101_6^24 + 15*c_0101_6^23 + 107*c_0101_6^22 + 468*c_0101_6^21 + 1325*c_0101_6^20 + 2226*c_0101_6^19 + 882*c_0101_6^18 - 5886*c_0101_6^17 - 16309*c_0101_6^16 - 18800*c_0101_6^15 - 1736*c_0101_6^14 + 26712*c_0101_6^13 + 39738*c_0101_6^12 + 22479*c_0101_6^11 - 8427*c_0101_6^10 - 25301*c_0101_6^9 - 20080*c_0101_6^8 - 5950*c_0101_6^7 + 3133*c_0101_6^6 + 4528*c_0101_6^5 + 2581*c_0101_6^4 + 880*c_0101_6^3 + 183*c_0101_6^2 + 21*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB