Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 711702025] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s357 geometric_solution 4.57322508 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 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.563609866476 0.441712870032 3 2 2 0 0132 3012 2031 0132 0 0 0 0 0 0 1 -1 -1 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 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.682840582643 0.661683369056 1 3 0 1 1230 3201 0132 1302 0 0 0 0 0 0 1 -1 0 0 0 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 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.682840582643 0.661683369056 1 4 2 4 0132 0132 2310 2310 0 0 0 0 0 0 0 0 1 0 0 -1 -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 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 1.914085183783 1.245127663544 3 3 5 5 3201 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 0 0 -1 1 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.163417106489 0.316513192047 4 5 4 5 2310 1302 0132 2031 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 1 0 -1 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 -2.101763192239 2.653730636000 ==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_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_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_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_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' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 206167791489888387337263969/669871379632467931941138277*c_0101_5^16 - 164693828363751016951956032/669871379632467931941138277*c_0101_5^\ 15 + 6330433958044494863368126024/669871379632467931941138277*c_010\ 1_5^14 - 2579700915597101664925108015/669871379632467931941138277*c\ _0101_5^13 - 14934128440145992645556209160/669871379632467931941138\ 277*c_0101_5^12 + 35695472417857950926602771010/6698713796324679319\ 41138277*c_0101_5^11 - 230997196925093792233753205333/6698713796324\ 67931941138277*c_0101_5^10 + 74468719715409581310343926195/66987137\ 9632467931941138277*c_0101_5^9 + 812870233328086538180542530435/669\ 871379632467931941138277*c_0101_5^8 - 484132479178287453045927142833/669871379632467931941138277*c_0101_5\ ^7 - 112835323936689967914858819880/95695911376066847420162611*c_01\ 01_5^6 + 426176794665565570063124267400/669871379632467931941138277\ *c_0101_5^5 + 313519480493716443496540663539/6698713796324679319411\ 38277*c_0101_5^4 - 6984456219054842746367107779/6698713796324679319\ 41138277*c_0101_5^3 - 201388005082993354812720995084/66987137963246\ 7931941138277*c_0101_5^2 - 324152358764865829215448885/669871379632\ 467931941138277*c_0101_5 + 52836196087457286442335627777/6698713796\ 32467931941138277, c_0011_0 - 1, c_0011_1 - 1371055728368321410190902/95695911376066847420162611*c_0101_\ 5^16 - 9851554002344326901810682/95695911376066847420162611*c_0101_\ 5^15 + 12632236890346325353518249/95695911376066847420162611*c_0101\ _5^14 + 179368447124114309818938435/95695911376066847420162611*c_01\ 01_5^13 + 312373614981073534843069747/95695911376066847420162611*c_\ 0101_5^12 + 606788510181275892723791228/95695911376066847420162611*\ c_0101_5^11 + 646870112231219275928108369/9569591137606684742016261\ 1*c_0101_5^10 - 4144734426715841546218635166/9569591137606684742016\ 2611*c_0101_5^9 - 4484888997754062848787848025/95695911376066847420\ 162611*c_0101_5^8 + 6081185410025989165897921870/956959113760668474\ 20162611*c_0101_5^7 + 4508960088548146483067615849/9569591137606684\ 7420162611*c_0101_5^6 - 2457590645823084427576829519/95695911376066\ 847420162611*c_0101_5^5 - 1479744965632807339396322668/956959113760\ 66847420162611*c_0101_5^4 - 163127419956407116675000229/95695911376\ 066847420162611*c_0101_5^3 + 1039088441342421829280892361/956959113\ 76066847420162611*c_0101_5^2 + 41880808450545577140920641/956959113\ 76066847420162611*c_0101_5 + 17621855162549332074200022/95695911376\ 066847420162611, c_0011_5 + 578935192639847199627692/95695911376066847420162611*c_0101_5\ ^16 - 2018292860559821966730063/95695911376066847420162611*c_0101_5\ ^15 - 27407368398478822827225427/95695911376066847420162611*c_0101_\ 5^14 + 57210666637781584372583478/95695911376066847420162611*c_0101\ _5^13 + 181987861946152416239161635/95695911376066847420162611*c_01\ 01_5^12 + 92971175057205230618736030/95695911376066847420162611*c_0\ 101_5^11 + 1398922906130010957600622441/95695911376066847420162611*\ c_0101_5^10 - 1099670827094344400667724924/956959113760668474201626\ 11*c_0101_5^9 - 5340486392903187717516066661/9569591137606684742016\ 2611*c_0101_5^8 + 2061251054957772977647223581/95695911376066847420\ 162611*c_0101_5^7 + 4690285548147729226124102756/956959113760668474\ 20162611*c_0101_5^6 - 639295836653146653667202354/95695911376066847\ 420162611*c_0101_5^5 - 1235476038145036523885901246/956959113760668\ 47420162611*c_0101_5^4 - 726092225081675969988206512/95695911376066\ 847420162611*c_0101_5^3 + 783889959592656361918153867/9569591137606\ 6847420162611*c_0101_5^2 + 124834083516081417972087008/956959113760\ 66847420162611*c_0101_5 + 28584811916827607056896912/95695911376066\ 847420162611, c_0101_0 - 2648711545543836072822531/95695911376066847420162611*c_0101_\ 5^16 - 14404498847185347266912722/95695911376066847420162611*c_0101\ _5^15 + 39211083431206445419732862/95695911376066847420162611*c_010\ 1_5^14 + 240579731780774777137681327/95695911376066847420162611*c_0\ 101_5^13 + 404089416475436962596882831/95695911376066847420162611*c\ _0101_5^12 + 999512058320439731007162692/95695911376066847420162611\ *c_0101_5^11 + 117860764670055770217937972/956959113760668474201626\ 11*c_0101_5^10 - 5353744313270989937563771616/956959113760668474201\ 62611*c_0101_5^9 - 3908074219322010258551962147/9569591137606684742\ 0162611*c_0101_5^8 + 6445434962535707958484866923/95695911376066847\ 420162611*c_0101_5^7 + 4699369840033755343813775479/956959113760668\ 47420162611*c_0101_5^6 - 2152401058004691905440314798/9569591137606\ 6847420162611*c_0101_5^5 - 1964044191397284549058096735/95695911376\ 066847420162611*c_0101_5^4 - 149447728280571644216038585/9569591137\ 6066847420162611*c_0101_5^3 + 1288316469878390002953181554/95695911\ 376066847420162611*c_0101_5^2 + 268992784677382698624670036/9569591\ 1376066847420162611*c_0101_5 + 4351661096524089444725144/9569591137\ 6066847420162611, c_0101_1 + 7514343586120395977286458/95695911376066847420162611*c_0101_\ 5^16 + 27022225585660754462608871/95695911376066847420162611*c_0101\ _5^15 - 160449841839462832309937373/95695911376066847420162611*c_01\ 01_5^14 - 383338037255793150210168843/95695911376066847420162611*c_\ 0101_5^13 - 447651718035386524775895283/95695911376066847420162611*\ c_0101_5^12 - 2076064852620335155948234017/956959113760668474201626\ 11*c_0101_5^11 + 3392175176057917659855508275/956959113760668474201\ 62611*c_0101_5^10 + 8731591676412809774646679874/956959113760668474\ 20162611*c_0101_5^9 - 5083900616477689244474393502/9569591137606684\ 7420162611*c_0101_5^8 - 7293349389259297324422968969/95695911376066\ 847420162611*c_0101_5^7 + 1273948001707165612045883681/956959113760\ 66847420162611*c_0101_5^6 + 1389536101083505261793252909/9569591137\ 6066847420162611*c_0101_5^5 + 1225356761071571936298414925/95695911\ 376066847420162611*c_0101_5^4 - 1316058930339550542372031803/956959\ 11376066847420162611*c_0101_5^3 - 128725229268214583978046137/95695\ 911376066847420162611*c_0101_5^2 - 135044989550547414116720890/95695911376066847420162611*c_0101_5 - 27330690666343814899484405/95695911376066847420162611, c_0101_5^17 + 4*c_0101_5^16 - 20*c_0101_5^15 - 60*c_0101_5^14 - 78*c_0101_5^13 - 295*c_0101_5^12 + 345*c_0101_5^11 + 1369*c_0101_5^10 - 257*c_0101_5^9 - 1378*c_0101_5^8 - 148*c_0101_5^7 + 412*c_0101_5^6 + 230*c_0101_5^5 - 161*c_0101_5^4 - 117*c_0101_5^3 - 12*c_0101_5^2 - 3*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB