Magma V2.19-8 Tue Aug 20 2013 16:17:11 on localhost [Seed = 4139215399] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1419 geometric_solution 5.25540392 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 -1 -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.434632261050 0.176020358183 0 2 0 3 0132 0132 2310 0132 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 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.687042549582 1.563540737721 3 1 4 5 3201 0132 0132 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 -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.187952147263 0.834163218917 5 4 1 2 3201 3201 0132 2310 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 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.187952147263 0.834163218917 6 6 3 2 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.211929865445 2.113958215212 5 5 2 3 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 -1 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332718926392 0.551110862858 4 6 4 6 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.460290445822 0.508743084567 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : 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' : negation(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' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_5'], '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_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_4']), '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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 102329601139988474398483/14883401612993551647040*c_0101_4^19 + 765563070538713550540013/7441700806496775823520*c_0101_4^18 + 970521266756115102167947/2976680322598710329408*c_0101_4^17 + 2501054890623303218697247/7441700806496775823520*c_0101_4^16 + 2489518008883064213213347/3720850403248387911760*c_0101_4^15 + 26081225748401888049916769/14883401612993551647040*c_0101_4^14 + 19859946671793836058366071/7441700806496775823520*c_0101_4^13 + 10182236855735468196663429/3720850403248387911760*c_0101_4^12 + 1933240369521297821745251/480109729451404891840*c_0101_4^11 + 5399374008076843547155681/930212600812096977940*c_0101_4^10 + 19500468391349707129854447/2976680322598710329408*c_0101_4^9 + 95183377392327640109454099/14883401612993551647040*c_0101_4^8 + 6127409874415399369975871/930212600812096977940*c_0101_4^7 + 21270425465200321321093951/3720850403248387911760*c_0101_4^6 + 62155658674589700973862869/14883401612993551647040*c_0101_4^5 + 9941062025547910707790393/3720850403248387911760*c_0101_4^4 + 22005736597578872469584051/14883401612993551647040*c_0101_4^3 + 8922712445174628310130803/14883401612993551647040*c_0101_4^2 + 567681740050316801155159/3720850403248387911760*c_0101_4 + 288488446272153241339299/14883401612993551647040, c_0011_0 - 1, c_0011_3 - 336074159092773652569/480109729451404891840*c_0101_4^19 + 2523055425486748734899/240054864725702445920*c_0101_4^18 + 15716224235922439830541/480109729451404891840*c_0101_4^17 + 1499280171293497250849/48010972945140489184*c_0101_4^16 + 7397481288627559132433/120027432362851222960*c_0101_4^15 + 81337508034173719516483/480109729451404891840*c_0101_4^14 + 61071975269118834538177/240054864725702445920*c_0101_4^13 + 28929331749709293184017/120027432362851222960*c_0101_4^12 + 170697579012028146960703/480109729451404891840*c_0101_4^11 + 15966221539843810633011/30006858090712805740*c_0101_4^10 + 282299197985880454096993/480109729451404891840*c_0101_4^9 + 257651739026035817560129/480109729451404891840*c_0101_4^8 + 8175628202538284240611/15003429045356402870*c_0101_4^7 + 11237599021892876411581/24005486472570244592*c_0101_4^6 + 150971811275154777742287/480109729451404891840*c_0101_4^5 + 21267779927731320552333/120027432362851222960*c_0101_4^4 + 8597197980872475137133/96021945890280978368*c_0101_4^3 + 13135755653742827896713/480109729451404891840*c_0101_4^2 - 273837224019722456477/120027432362851222960*c_0101_4 - 1159524110945548001887/480109729451404891840, c_0011_4 - 41061194550241099107/96021945890280978368*c_0101_4^19 + 1585696746645734205301/240054864725702445920*c_0101_4^18 + 8211139376351120965499/480109729451404891840*c_0101_4^17 + 588483117350360789031/48010972945140489184*c_0101_4^16 + 4136577761792119171719/120027432362851222960*c_0101_4^15 + 43631991641898708507669/480109729451404891840*c_0101_4^14 + 28646814408433725218487/240054864725702445920*c_0101_4^13 + 2537612943463378780835/24005486472570244592*c_0101_4^12 + 90502187791447073141401/480109729451404891840*c_0101_4^11 + 1549673136218335510489/6001371618142561148*c_0101_4^10 + 127772127432899883148903/480109729451404891840*c_0101_4^9 + 117673191875554756973799/480109729451404891840*c_0101_4^8 + 3949355651757818697869/15003429045356402870*c_0101_4^7 + 24217879657898743494791/120027432362851222960*c_0101_4^6 + 64278848960692230674217/480109729451404891840*c_0101_4^5 + 9053344761022789234963/120027432362851222960*c_0101_4^4 + 17568478217652763269959/480109729451404891840*c_0101_4^3 + 851630266813196200243/96021945890280978368*c_0101_4^2 - 196430498626499273539/120027432362851222960*c_0101_4 - 277985303602240462457/480109729451404891840, c_0011_5 - 74883481208761670999/240054864725702445920*c_0101_4^19 + 566356008916439640619/120027432362851222960*c_0101_4^18 + 3377702551353831226839/240054864725702445920*c_0101_4^17 + 1466063168294537031887/120027432362851222960*c_0101_4^16 + 1545250416904035985179/60013716181425611480*c_0101_4^15 + 17369968856161015402221/240054864725702445920*c_0101_4^14 + 12579800840448522331269/120027432362851222960*c_0101_4^13 + 1410997378719801773583/15003429045356402870*c_0101_4^12 + 34868358180633844308533/240054864725702445920*c_0101_4^11 + 658498739074453571309/3000685809071280574*c_0101_4^10 + 56405729548808577850927/240054864725702445920*c_0101_4^9 + 9976269701767156599831/48010972945140489184*c_0101_4^8 + 6412901490261614532913/30006858090712805740*c_0101_4^7 + 10927315537940995683601/60013716181425611480*c_0101_4^6 + 27746000781925792278297/240054864725702445920*c_0101_4^5 + 92743184349412428442/1500342904535640287*c_0101_4^4 + 7192187405087306291731/240054864725702445920*c_0101_4^3 + 390130024852866572771/48010972945140489184*c_0101_4^2 - 25304229923133456703/7501714522678201435*c_0101_4 - 264797934107440818709/240054864725702445920, c_0101_0 - 50237072451323375915/96021945890280978368*c_0101_4^19 + 1949921851917036460641/240054864725702445920*c_0101_4^18 + 9782243281466908689979/480109729451404891840*c_0101_4^17 + 575342233296871797223/48010972945140489184*c_0101_4^16 + 4589934623534669150519/120027432362851222960*c_0101_4^15 + 51382616410624021538189/480109729451404891840*c_0101_4^14 + 31482193185182683760707/240054864725702445920*c_0101_4^13 + 2468947707223176906673/24005486472570244592*c_0101_4^12 + 98481573008828379549001/480109729451404891840*c_0101_4^11 + 1718295125993820753289/6001371618142561148*c_0101_4^10 + 129922749254298814471183/480109729451404891840*c_0101_4^9 + 114980170384006296916519/480109729451404891840*c_0101_4^8 + 8026277865360719620953/30006858090712805740*c_0101_4^7 + 22953412043286960273371/120027432362851222960*c_0101_4^6 + 53160112407366000692497/480109729451404891840*c_0101_4^5 + 7324320824585590053113/120027432362851222960*c_0101_4^4 + 11837102920297037487879/480109729451404891840*c_0101_4^3 - 182696117111846739861/96021945890280978368*c_0101_4^2 - 565546042938269273849/120027432362851222960*c_0101_4 - 221916618437261090217/480109729451404891840, c_0101_1 + 613683175975793800529/480109729451404891840*c_0101_4^19 - 948946661954728554623/48010972945140489184*c_0101_4^18 - 24530024185938621832677/480109729451404891840*c_0101_4^17 - 7484676766342011337053/240054864725702445920*c_0101_4^16 - 11337706386499045720921/120027432362851222960*c_0101_4^15 - 129237883777066614301099/480109729451404891840*c_0101_4^14 - 79726088683044789660217/240054864725702445920*c_0101_4^13 - 31863017077457581496137/120027432362851222960*c_0101_4^12 - 249114178139373915832199/480109729451404891840*c_0101_4^11 - 22044757145421436996787/30006858090712805740*c_0101_4^10 - 331223507447791290131737/480109729451404891840*c_0101_4^9 - 301797605095723541330937/480109729451404891840*c_0101_4^8 - 10434501899125397947639/15003429045356402870*c_0101_4^7 - 12273826977407995888533/24005486472570244592*c_0101_4^6 - 143307952468264332249879/480109729451404891840*c_0101_4^5 - 21911978643753149834469/120027432362851222960*c_0101_4^4 - 35094192274073425992153/480109729451404891840*c_0101_4^3 - 2805965481629031987841/480109729451404891840*c_0101_4^2 + 808263466799438362549/120027432362851222960*c_0101_4 + 411449173103929888487/480109729451404891840, c_0101_4^20 - 15*c_0101_4^19 - 47*c_0101_4^18 - 45*c_0101_4^17 - 90*c_0101_4^16 - 247*c_0101_4^15 - 367*c_0101_4^14 - 354*c_0101_4^13 - 531*c_0101_4^12 - 785*c_0101_4^11 - 857*c_0101_4^10 - 808*c_0101_4^9 - 831*c_0101_4^8 - 708*c_0101_4^7 - 483*c_0101_4^6 - 293*c_0101_4^5 - 149*c_0101_4^4 - 48*c_0101_4^3 - 3*c_0101_4^2 + 3*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB