Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 1814950066] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1484 geometric_solution 5.29835965 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 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 1 0 -1 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.134658103464 1.249259307652 0 2 5 4 0132 2310 0132 1230 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 -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.233610366503 0.347410299844 6 0 6 1 0132 0132 2310 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 -1 1 0 -1 0 0 1 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.512813205039 2.572211158450 4 5 4 0 1230 2103 2031 0132 0 0 0 0 0 0 1 -1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701177731639 0.597710573566 1 3 0 3 3012 3012 0132 1302 0 0 0 0 0 -1 1 0 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 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 -0.841114760843 0.795466235311 5 3 5 1 2031 2103 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.776144935908 1.526798138382 2 2 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 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.176458656578 0.212667111311 ==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' : negation(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' : 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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], '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_4, c_0011_5, c_0101_2, c_0101_3, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 7749241040017254212445662/90617699553972531032817*c_1001_0^12 - 368183815830812931352438216/996794695093697841360987*c_1001_0^11 + 1312188475783192624677847211/996794695093697841360987*c_1001_0^10 - 157598415122959946669370194/90617699553972531032817*c_1001_0^9 + 868881830457870721137664940/996794695093697841360987*c_1001_0^8 + 4288947816779957766862746881/996794695093697841360987*c_1001_0^7 - 8462431547579233311524724118/996794695093697841360987*c_1001_0^6 + 458211206898982682654449916/996794695093697841360987*c_1001_0^5 + 12004121904277706698334773069/996794695093697841360987*c_1001_0^4 - 2449835014892516355280712864/332264898364565947120329*c_1001_0^3 - 4434353462601233978816118049/996794695093697841360987*c_1001_0^2 + 6249267094851661251867565027/996794695093697841360987*c_1001_0 - 509916145179505452072381838/332264898364565947120329, c_0011_0 - 1, c_0011_3 - 40233764087522920519/89102949413935625401*c_1001_0^12 + 180650854847339872101/89102949413935625401*c_1001_0^11 - 646454433000202844959/89102949413935625401*c_1001_0^10 + 913282656016957098439/89102949413935625401*c_1001_0^9 - 514448351713041578137/89102949413935625401*c_1001_0^8 - 1992780067180819165717/89102949413935625401*c_1001_0^7 + 4327800520284450075720/89102949413935625401*c_1001_0^6 - 740302921756349607844/89102949413935625401*c_1001_0^5 - 5891072431133964690823/89102949413935625401*c_1001_0^4 + 4327624290343566510139/89102949413935625401*c_1001_0^3 + 1950803504208016021675/89102949413935625401*c_1001_0^2 - 3414001032573684586822/89102949413935625401*c_1001_0 + 970414234730853708310/89102949413935625401, c_0011_4 - 8275407157401576772382/30205899851324177010939*c_1001_0^12 + 35132406189075066708797/30205899851324177010939*c_1001_0^11 - 125910559633335303571267/30205899851324177010939*c_1001_0^10 + 163216973458084871861156/30205899851324177010939*c_1001_0^9 - 87109630839576649741147/30205899851324177010939*c_1001_0^8 - 408137538353640471070183/30205899851324177010939*c_1001_0^7 + 788097451248014024079266/30205899851324177010939*c_1001_0^6 - 42443911802736348909034/30205899851324177010939*c_1001_0^5 - 1088336560663762393206674/30205899851324177010939*c_1001_0^4 + 223170917861929968857629/10068633283774725670313*c_1001_0^3 + 351986889991669207819814/30205899851324177010939*c_1001_0^2 - 561477216492342625520321/30205899851324177010939*c_1001_0 + 56018694719056414398836/10068633283774725670313, c_0011_5 - 468913675682369684536/10068633283774725670313*c_1001_0^12 + 2745310238201816369795/10068633283774725670313*c_1001_0^11 - 10023355455756810166178/10068633283774725670313*c_1001_0^10 + 19413781123628567985047/10068633283774725670313*c_1001_0^9 - 15222452924995623770665/10068633283774725670313*c_1001_0^8 - 20730919088196669847473/10068633283774725670313*c_1001_0^7 + 83707649336019913869972/10068633283774725670313*c_1001_0^6 - 58257969332332417899396/10068633283774725670313*c_1001_0^5 - 85972518492769527990783/10068633283774725670313*c_1001_0^4 + 132012277584369587724646/10068633283774725670313*c_1001_0^3 + 1508294509436046849634/10068633283774725670313*c_1001_0^2 - 82794108430527865581777/10068633283774725670313*c_1001_0 + 34742325956703579200960/10068633283774725670313, c_0101_2 - 2109987223904329/3862677170669001*c_1001_0^12 + 9380266389554344/3862677170669001*c_1001_0^11 - 33501328676927771/3862677170669001*c_1001_0^10 + 46475388794143246/3862677170669001*c_1001_0^9 - 25013319787424117/3862677170669001*c_1001_0^8 - 105742645543601021/3862677170669001*c_1001_0^7 + 223817191379414743/3862677170669001*c_1001_0^6 - 31064731895600486/3862677170669001*c_1001_0^5 - 307142903531506321/3862677170669001*c_1001_0^4 + 72522151643833389/1287559056889667*c_1001_0^3 + 105312864470819449/3862677170669001*c_1001_0^2 - 176109518555672878/3862677170669001*c_1001_0 + 15794215951859462/1287559056889667, c_0101_3 + 3020759742740924197871/30205899851324177010939*c_1001_0^12 - 14168067228584228046971/30205899851324177010939*c_1001_0^11 + 50101892878002877828300/30205899851324177010939*c_1001_0^10 - 74877997469188116150611/30205899851324177010939*c_1001_0^9 + 40078215322024240415386/30205899851324177010939*c_1001_0^8 + 146034576000536829423817/30205899851324177010939*c_1001_0^7 - 351347437556977416031121/30205899851324177010939*c_1001_0^6 + 61248000142252256918533/30205899851324177010939*c_1001_0^5 + 468183172781520529124225/30205899851324177010939*c_1001_0^4 - 109935616749006519320437/10068633283774725670313*c_1001_0^3 - 176443870925161664036858/30205899851324177010939*c_1001_0^2 + 240661143049417100689499/30205899851324177010939*c_1001_0 - 24164999678662256725529/10068633283774725670313, c_1001_0^13 - 53/11*c_1001_0^12 + 193/11*c_1001_0^11 - 28*c_1001_0^10 + 223/11*c_1001_0^9 + 499/11*c_1001_0^8 - 1370/11*c_1001_0^7 + 604/11*c_1001_0^6 + 1523/11*c_1001_0^5 - 1725/11*c_1001_0^4 - 101/11*c_1001_0^3 + 1097/11*c_1001_0^2 - 603/11*c_1001_0 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB