Magma V2.19-8 Wed Aug 21 2013 01:03:09 on localhost [Seed = 3667706566] Type ? for help. Type -D to quit. Loading file "L14n17686__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n17686 geometric_solution 11.68063052 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 1 1 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 0 -1 1 0 0 0 0 0 -1 0 1 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.048303443886 0.701567363152 0 3 6 5 0132 0132 0132 0132 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 0 0 0 -0.463075850901 0.714641105554 3 0 6 7 0132 0132 1302 0132 0 0 1 1 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 0 0 0 0 0 9 0 -9 -9 1 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.343532241702 1.369984528532 2 1 8 0 0132 0132 0132 0132 0 0 1 1 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 0 -1 1 0 0 0 0 9 0 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.807555496795 0.863547612545 9 10 0 11 0132 0132 0132 0132 0 0 1 1 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 -1 0 -1 0 0 1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.170159297024 0.883143762121 11 10 1 12 0132 1023 0132 0132 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 0 0 0 0.070567089905 0.588670754555 2 7 12 1 2031 0132 0132 0132 0 0 1 0 0 0 0 0 0 0 0 0 1 -1 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 -8 8 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.089581575421 1.698301069102 11 6 2 8 3012 0132 0132 3012 0 0 0 1 0 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 0 -1 -8 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622909508640 0.939403470267 9 12 7 3 2031 2031 1230 0132 0 0 1 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 -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.780490111552 0.719964150705 4 11 8 10 0132 0132 1302 1023 0 0 1 1 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 1 0 0 -1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499255247523 1.591658694367 5 4 12 9 1023 0132 0213 1023 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 -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.202883198151 0.775575755898 5 9 4 7 0132 0132 0132 1230 0 0 1 1 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 -1 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.904858376521 1.071366850473 8 10 5 6 1302 0213 0132 0132 0 0 0 1 0 0 0 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 0 0 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.112419650575 0.975159049351 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_10'], 'c_1001_10' : d['c_0110_10'], 'c_1001_12' : d['c_0110_10'], 'c_1001_5' : d['c_0011_12'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_0101_3'], 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_12' : negation(d['c_0101_8']), 'c_1010_11' : d['c_0101_3'], 'c_1010_10' : d['c_0101_1'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_8']), 'c_0101_10' : d['c_0011_12'], 's_2_0' : negation(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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_0110_7'], 'c_1100_7' : d['c_0101_6'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0110_7'], 'c_1100_3' : d['c_0110_7'], 'c_1100_2' : d['c_0101_6'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_7'], 'c_1100_10' : negation(d['c_0101_8']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_0110_10'], 'c_1010_4' : d['c_0110_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_12'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0110_10'], 'c_1010_8' : d['c_0011_12'], 'c_1100_8' : d['c_0110_7'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_1'], 's_1_7' : 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' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_6']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : negation(d['c_0011_8']), 'c_0011_11' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_6']), 'c_0101_9' : negation(d['c_0011_8']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : negation(d['c_0011_6']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_6, c_0011_8, c_0101_1, c_0101_3, c_0101_6, c_0101_8, c_0110_10, c_0110_7, c_1001_0, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 2642313267744593272914185468/125783478019343889476789175*c_1100_1^9 - 109105964282423052331082052842/377350434058031668430367525*c_1100\ _1^8 - 33875650581606826982940703048/15094017362321266737214701*c_1\ 100_1^7 - 668998097217551153018439126134/75470086811606333686073505\ *c_1100_1^6 - 1246326846896008370700428855468/419278260064479631589\ 29725*c_1100_1^5 - 25991392861698365194545371701174/377350434058031\ 668430367525*c_1100_1^4 - 36909866881779526752692544581173/37735043\ 4058031668430367525*c_1100_1^3 - 3391839856365506873224752256148/41\ 927826006447963158929725*c_1100_1^2 - 15307025722910009164112055498986/377350434058031668430367525*c_1100\ _1 - 3632583400930700483096512452782/377350434058031668430367525, c_0011_0 - 1, c_0011_10 + 473638705720902946/4439254916806290025*c_1100_1^9 + 3917146897900411754/2663552950083774015*c_1100_1^8 + 152182871596747336754/13317764750418870075*c_1100_1^7 + 602382646269793887944/13317764750418870075*c_1100_1^6 + 673499814328210556916/4439254916806290025*c_1100_1^5 + 187543815948882261869/532710590016754803*c_1100_1^4 + 6674299183904174768129/13317764750418870075*c_1100_1^3 + 1837519360629273460343/4439254916806290025*c_1100_1^2 + 541079317460969606657/2663552950083774015*c_1100_1 + 599732034268561945636/13317764750418870075, c_0011_12 - 56693159769016086/887850983361258005*c_1100_1^9 - 776138966409004349/887850983361258005*c_1100_1^8 - 6001159909934248709/887850983361258005*c_1100_1^7 - 23498895805730710824/887850983361258005*c_1100_1^6 - 78621954756669701922/887850983361258005*c_1100_1^5 - 180525442556250958673/887850983361258005*c_1100_1^4 - 50426409310315418204/177570196672251601*c_1100_1^3 - 202673348896012962748/887850983361258005*c_1100_1^2 - 97316770621202588447/887850983361258005*c_1100_1 - 4112753623081165442/177570196672251601, c_0011_6 + 1, c_0011_8 - 11862411834781899/4439254916806290025*c_1100_1^9 - 31893021780133689/887850983361258005*c_1100_1^8 - 1224541098931566307/4439254916806290025*c_1100_1^7 - 4707204814284366152/4439254916806290025*c_1100_1^6 - 15917141635607972769/4439254916806290025*c_1100_1^5 - 7107035536206725144/887850983361258005*c_1100_1^4 - 50188485313430650922/4439254916806290025*c_1100_1^3 - 39069565776834935542/4439254916806290025*c_1100_1^2 - 3207522449669262362/887850983361258005*c_1100_1 - 1341118401996529348/4439254916806290025, c_0101_1 + 36442912157571186/4439254916806290025*c_1100_1^9 + 105658206968961294/887850983361258005*c_1100_1^8 + 4242074782806607533/4439254916806290025*c_1100_1^7 + 17983312753887673888/4439254916806290025*c_1100_1^6 + 60978804366723515176/4439254916806290025*c_1100_1^5 + 30097360471490537677/887850983361258005*c_1100_1^4 + 234753268660667031703/4439254916806290025*c_1100_1^3 + 217013825375247592838/4439254916806290025*c_1100_1^2 + 22705928738209760517/887850983361258005*c_1100_1 + 29010531025975084502/4439254916806290025, c_0101_3 - 82006881946394643/4439254916806290025*c_1100_1^9 - 225148561266554703/887850983361258005*c_1100_1^8 - 8724356875752286124/4439254916806290025*c_1100_1^7 - 34338150385951746064/4439254916806290025*c_1100_1^6 - 115166463353802081183/4439254916806290025*c_1100_1^5 - 53196316074444235203/887850983361258005*c_1100_1^4 - 376446650255362542579/4439254916806290025*c_1100_1^3 - 310590760854050300219/4439254916806290025*c_1100_1^2 - 30963443163655593774/887850983361258005*c_1100_1 - 37086186591777975536/4439254916806290025, c_0101_6 + 132154772814795303/4439254916806290025*c_1100_1^9 + 359889093230114031/887850983361258005*c_1100_1^8 + 13861873881876274489/4439254916806290025*c_1100_1^7 + 53826662410252147929/4439254916806290025*c_1100_1^6 + 179832249363778971503/4439254916806290025*c_1100_1^5 + 81866017316582890814/887850983361258005*c_1100_1^4 + 563261230484734460104/4439254916806290025*c_1100_1^3 + 441081712633022612449/4439254916806290025*c_1100_1^2 + 40327599822885289518/887850983361258005*c_1100_1 + 39360029860881520686/4439254916806290025, c_0101_8 + 35949636942420006/4439254916806290025*c_1100_1^9 + 102421700639517492/887850983361258005*c_1100_1^8 + 4069022710421691178/4439254916806290025*c_1100_1^7 + 16896975959323463033/4439254916806290025*c_1100_1^6 + 57299641852979210906/4439254916806290025*c_1100_1^5 + 27903383279137361828/887850983361258005*c_1100_1^4 + 214556265043521374083/4439254916806290025*c_1100_1^3 + 200447988037928176448/4439254916806290025*c_1100_1^2 + 23169132607865013486/887850983361258005*c_1100_1 + 30332830027722539547/4439254916806290025, c_0110_10 - 69905355069073581/887850983361258005*c_1100_1^9 - 962240758625989497/887850983361258005*c_1100_1^8 - 7468281806052470986/887850983361258005*c_1100_1^7 - 29490259195356755156/887850983361258005*c_1100_1^6 - 98827848692315396149/887850983361258005*c_1100_1^5 - 228834334544264669569/887850983361258005*c_1100_1^4 - 324113439346051069174/887850983361258005*c_1100_1^3 - 265815122570086623153/887850983361258005*c_1100_1^2 - 129886568921510908601/887850983361258005*c_1100_1 - 28441170818757686031/887850983361258005, c_0110_7 - 154496608661685348/4439254916806290025*c_1100_1^9 - 422284440160253043/887850983361258005*c_1100_1^8 - 16308575703331176989/4439254916806290025*c_1100_1^7 - 63710322812611991529/4439254916806290025*c_1100_1^6 - 213180737292849722763/4439254916806290025*c_1100_1^5 - 97680102812971174828/887850983361258005*c_1100_1^4 - 680444866526028782569/4439254916806290025*c_1100_1^3 - 545856804256167667234/4439254916806290025*c_1100_1^2 - 52805397039931016314/887850983361258005*c_1100_1 - 54398163264576328221/4439254916806290025, c_1001_0 + 241087411687657194/4439254916806290025*c_1100_1^9 + 132536635818554733/177570196672251601*c_1100_1^8 + 25688167492261772887/4439254916806290025*c_1100_1^7 + 101182147590800067282/4439254916806290025*c_1100_1^6 + 338825327669550128259/4439254916806290025*c_1100_1^5 + 156447164526600368116/887850983361258005*c_1100_1^4 + 1102012715416067731797/4439254916806290025*c_1100_1^3 + 893361581410387572302/4439254916806290025*c_1100_1^2 + 16975096487474094515/177570196672251601*c_1100_1 + 90121792476461247898/4439254916806290025, c_1100_1^10 + 43/3*c_1100_1^9 + 344/3*c_1100_1^8 + 1448/3*c_1100_1^7 + 1654*c_1100_1^6 + 12233/3*c_1100_1^5 + 19499/3*c_1100_1^4 + 6436*c_1100_1^3 + 12019/3*c_1100_1^2 + 4351/3*c_1100_1 + 227 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.400 Total time: 0.620 seconds, Total memory usage: 32.09MB