Magma V2.19-8 Wed Aug 21 2013 00:51:17 on localhost [Seed = 1074156856] Type ? for help. Type -D to quit. Loading file "L11a273__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a273 geometric_solution 11.71823354 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 0 0 2 0132 1230 3012 0132 0 0 0 0 0 0 -1 1 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 -1 2 -1 -1 0 1 0 0 -2 0 2 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.454867079568 1.445012605963 0 3 5 4 0132 0132 0132 0132 1 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 -1 0 1 1 0 -1 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.018230727296 0.653513272589 6 7 0 3 0132 0132 0132 2310 0 0 1 0 0 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522781335313 0.748964022430 2 1 8 8 3201 0132 0132 0321 1 1 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 1 -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 0.598130236307 0.393157197826 7 5 1 6 3012 0132 0132 0132 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 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.580505064532 0.853698291467 9 4 10 1 0132 0132 0132 0132 1 0 0 1 0 0 0 0 -1 0 1 0 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 0 0 0 1 0 -2 1 -1 0 0 1 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.244155430679 0.662030026552 2 11 4 10 0132 0132 0132 0132 1 0 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 0 0 0 0 1 -1 0 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 1.092253636059 1.519402413258 9 2 8 4 1230 0132 2103 1230 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 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.345371823898 0.411272726949 7 3 11 3 2103 0321 1230 0132 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 0 0 0 0 0 0 0 -1 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.167465264580 0.767387007245 5 7 12 10 0132 3012 0132 0321 1 0 1 0 0 0 0 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 0 0 0 -1 0 0 1 -4 -1 0 5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.101142769441 0.948247007359 12 9 6 5 0132 0321 0132 0132 1 0 1 0 0 0 0 0 1 0 0 -1 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 0 0 0 -2 0 0 2 1 -5 0 4 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701893867698 0.875497703924 12 6 12 8 1302 0132 0321 3012 1 1 1 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 -1 1 0 0 0 -1 1 -1 0 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165169658691 0.829246930736 10 11 11 9 0132 2031 0321 0132 1 0 0 1 0 0 0 0 -1 0 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 1 -1 0 2 0 -2 0 -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.768971347050 1.159897059119 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0110_11']), 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_0110_11'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0101_7']), 'c_1010_10' : negation(d['c_0101_7']), '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' : d['c_0011_10'], 'c_0101_10' : d['c_0101_1'], '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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_10'], 'c_1100_8' : d['c_0110_11'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0110_11'], 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_11']), 'c_1100_10' : d['c_1100_1'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_0'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0011_8'], 'c_1010_1' : d['c_1001_1'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_1001_1'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_10'], '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' : 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_4'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_11']), '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' : d['c_0011_11'], 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0101_1'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_8']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0011_4'], '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_11, c_0011_4, c_0011_8, c_0101_0, c_0101_1, c_0101_3, c_0101_7, c_0110_11, c_1001_1, c_1001_10, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 748399302545224881/74396198318686036*c_1100_1^18 + 10118641142379924923/148792396637372072*c_1100_1^17 + 19874996328944411001/148792396637372072*c_1100_1^16 - 6564548334547483697/74396198318686036*c_1100_1^15 - 11358266913853968800/18599049579671509*c_1100_1^14 - 14980889233912808105/37198099159343018*c_1100_1^13 + 18235429888699093037/18599049579671509*c_1100_1^12 + 53878961893532643611/37198099159343018*c_1100_1^11 - 42098920192421755121/74396198318686036*c_1100_1^10 - 360538859245514657893/148792396637372072*c_1100_1^9 - 123409717464826736727/148792396637372072*c_1100_1^8 + 71257783615528520979/37198099159343018*c_1100_1^7 + 136249585881116845097/74396198318686036*c_1100_1^6 - 30501376989229076547/148792396637372072*c_1100_1^5 - 151587168351261641775/148792396637372072*c_1100_1^4 - 18590469878895895577/74396198318686036*c_1100_1^3 + 4766009507784846506/18599049579671509*c_1100_1^2 + 22570288164657221163/148792396637372072*c_1100_1 - 2052329035786337929/148792396637372072, c_0011_0 - 1, c_0011_10 - 286001899260/1790608412407*c_1100_1^18 - 4077961501609/3581216824814*c_1100_1^17 - 8891203425337/3581216824814*c_1100_1^16 + 1568301210027/1790608412407*c_1100_1^15 + 19174435145306/1790608412407*c_1100_1^14 + 16915273731511/1790608412407*c_1100_1^13 - 28596703266841/1790608412407*c_1100_1^12 - 53640743479947/1790608412407*c_1100_1^11 + 10754646087182/1790608412407*c_1100_1^10 + 170622307186207/3581216824814*c_1100_1^9 + 78905190970893/3581216824814*c_1100_1^8 - 65627431551142/1790608412407*c_1100_1^7 - 71692675242396/1790608412407*c_1100_1^6 + 13263495685591/3581216824814*c_1100_1^5 + 79577655721125/3581216824814*c_1100_1^4 + 10720520146489/1790608412407*c_1100_1^3 - 11476146396275/1790608412407*c_1100_1^2 - 11821173134701/3581216824814*c_1100_1 - 881818094491/3581216824814, c_0011_11 + 207525350691/3581216824814*c_1100_1^18 + 739194591769/1790608412407*c_1100_1^17 + 3361491236605/3581216824814*c_1100_1^16 - 81169005424/1790608412407*c_1100_1^15 - 5982310994298/1790608412407*c_1100_1^14 - 6847819233850/1790608412407*c_1100_1^13 + 5811194603277/1790608412407*c_1100_1^12 + 16906207629678/1790608412407*c_1100_1^11 + 7692775431483/3581216824814*c_1100_1^10 - 21189708264967/1790608412407*c_1100_1^9 - 39591764828625/3581216824814*c_1100_1^8 + 7098909856092/1790608412407*c_1100_1^7 + 45478557763177/3581216824814*c_1100_1^6 + 11111617307061/1790608412407*c_1100_1^5 - 12958742191819/3581216824814*c_1100_1^4 - 5159548325694/1790608412407*c_1100_1^3 - 1023887272431/3581216824814*c_1100_1^2 + 2492207458233/1790608412407*c_1100_1 - 1555089361037/3581216824814, c_0011_4 + 791812997557/3581216824814*c_1100_1^18 + 5392948252097/3581216824814*c_1100_1^17 + 5405517696249/1790608412407*c_1100_1^16 - 3015215535354/1790608412407*c_1100_1^15 - 23436536360530/1790608412407*c_1100_1^14 - 16402148126271/1790608412407*c_1100_1^13 + 35214979456359/1790608412407*c_1100_1^12 + 53662599046618/1790608412407*c_1100_1^11 - 35097998771361/3581216824814*c_1100_1^10 - 169430325475561/3581216824814*c_1100_1^9 - 33215763065344/1790608412407*c_1100_1^8 + 59834732573238/1790608412407*c_1100_1^7 + 124783837481131/3581216824814*c_1100_1^6 + 4983790986203/3581216824814*c_1100_1^5 - 26652502153644/1790608412407*c_1100_1^4 - 7805409270477/1790608412407*c_1100_1^3 + 9756387059677/3581216824814*c_1100_1^2 + 7346088071175/3581216824814*c_1100_1 - 188818521224/1790608412407, c_0011_8 - 1065550457489/3581216824814*c_1100_1^18 - 6799102553253/3581216824814*c_1100_1^17 - 5787628700064/1790608412407*c_1100_1^16 + 6788034971554/1790608412407*c_1100_1^15 + 29404624310655/1790608412407*c_1100_1^14 + 9821531442242/1790608412407*c_1100_1^13 - 54750205152702/1790608412407*c_1100_1^12 - 54258874264912/1790608412407*c_1100_1^11 + 100153338383415/3581216824814*c_1100_1^10 + 214124922852643/3581216824814*c_1100_1^9 + 1640341760465/1790608412407*c_1100_1^8 - 102082256505570/1790608412407*c_1100_1^7 - 108075612313611/3581216824814*c_1100_1^6 + 70636263194973/3581216824814*c_1100_1^5 + 39867545275253/1790608412407*c_1100_1^4 - 7040703969473/1790608412407*c_1100_1^3 - 26814494852637/3581216824814*c_1100_1^2 + 423361065385/3581216824814*c_1100_1 + 1031897121174/1790608412407, c_0101_0 - 28339816703/3581216824814*c_1100_1^18 + 69241675683/3581216824814*c_1100_1^17 + 638040379164/1790608412407*c_1100_1^16 + 1593358482242/1790608412407*c_1100_1^15 - 377178454952/1790608412407*c_1100_1^14 - 6029600215514/1790608412407*c_1100_1^13 - 5021063862099/1790608412407*c_1100_1^12 + 8074992048910/1790608412407*c_1100_1^11 + 29287047065525/3581216824814*c_1100_1^10 - 4103491544089/3581216824814*c_1100_1^9 - 21648552010805/1790608412407*c_1100_1^8 - 11054769839708/1790608412407*c_1100_1^7 + 25178399605815/3581216824814*c_1100_1^6 + 36122322628055/3581216824814*c_1100_1^5 + 2862467008854/1790608412407*c_1100_1^4 - 5538200369101/1790608412407*c_1100_1^3 - 7636953569089/3581216824814*c_1100_1^2 - 2082563079913/3581216824814*c_1100_1 + 926981362211/1790608412407, c_0101_1 - 28339816703/3581216824814*c_1100_1^18 + 69241675683/3581216824814*c_1100_1^17 + 638040379164/1790608412407*c_1100_1^16 + 1593358482242/1790608412407*c_1100_1^15 - 377178454952/1790608412407*c_1100_1^14 - 6029600215514/1790608412407*c_1100_1^13 - 5021063862099/1790608412407*c_1100_1^12 + 8074992048910/1790608412407*c_1100_1^11 + 29287047065525/3581216824814*c_1100_1^10 - 4103491544089/3581216824814*c_1100_1^9 - 21648552010805/1790608412407*c_1100_1^8 - 11054769839708/1790608412407*c_1100_1^7 + 25178399605815/3581216824814*c_1100_1^6 + 36122322628055/3581216824814*c_1100_1^5 + 2862467008854/1790608412407*c_1100_1^4 - 5538200369101/1790608412407*c_1100_1^3 - 7636953569089/3581216824814*c_1100_1^2 + 1498653744901/3581216824814*c_1100_1 + 926981362211/1790608412407, c_0101_3 - 55950930550/1790608412407*c_1100_1^18 - 429388015002/1790608412407*c_1100_1^17 - 1085984155074/1790608412407*c_1100_1^16 - 119632097135/1790608412407*c_1100_1^15 + 4162351035674/1790608412407*c_1100_1^14 + 5692908112018/1790608412407*c_1100_1^13 - 4257121120457/1790608412407*c_1100_1^12 - 15243335643482/1790608412407*c_1100_1^11 - 4489385385350/1790608412407*c_1100_1^10 + 20489869773765/1790608412407*c_1100_1^9 + 21376949183013/1790608412407*c_1100_1^8 - 9654892747643/1790608412407*c_1100_1^7 - 29222113923078/1790608412407*c_1100_1^6 - 9206193402283/1790608412407*c_1100_1^5 + 14506431955299/1790608412407*c_1100_1^4 + 12182797761402/1790608412407*c_1100_1^3 - 2779315182238/1790608412407*c_1100_1^2 - 6007340393234/1790608412407*c_1100_1 - 439786703114/1790608412407, c_0101_7 - 2244688263/3581216824814*c_1100_1^18 + 444389119579/3581216824814*c_1100_1^17 + 1592757573830/1790608412407*c_1100_1^16 + 3365229278252/1790608412407*c_1100_1^15 - 1618347971009/1790608412407*c_1100_1^14 - 14949232838268/1790608412407*c_1100_1^13 - 11316642526539/1790608412407*c_1100_1^12 + 24151028332292/1790608412407*c_1100_1^11 + 76828485996875/3581216824814*c_1100_1^10 - 29920156814525/3581216824814*c_1100_1^9 - 64656299232008/1790608412407*c_1100_1^8 - 18263077772394/1790608412407*c_1100_1^7 + 111426554618245/3581216824814*c_1100_1^6 + 84889494808587/3581216824814*c_1100_1^5 - 15717850423008/1790608412407*c_1100_1^4 - 25234135107609/1790608412407*c_1100_1^3 + 2872927399777/3581216824814*c_1100_1^2 + 17351013351077/3581216824814*c_1100_1 - 97876170015/1790608412407, c_0110_11 - 1177452318589/3581216824814*c_1100_1^18 - 7657878583257/3581216824814*c_1100_1^17 - 6873612855138/1790608412407*c_1100_1^16 + 6668402874419/1790608412407*c_1100_1^15 + 33566975346329/1790608412407*c_1100_1^14 + 15514439554260/1790608412407*c_1100_1^13 - 59007326273159/1790608412407*c_1100_1^12 - 69502209908394/1790608412407*c_1100_1^11 + 91174567612715/3581216824814*c_1100_1^10 + 255104662400173/3581216824814*c_1100_1^9 + 23017290943478/1790608412407*c_1100_1^8 - 111737149253213/1790608412407*c_1100_1^7 - 166519840159767/3581216824814*c_1100_1^6 + 52223876390407/3581216824814*c_1100_1^5 + 54373977230552/1790608412407*c_1100_1^4 + 5142093791929/1790608412407*c_1100_1^3 - 32373125217113/3581216824814*c_1100_1^2 - 11591319721083/3581216824814*c_1100_1 + 592110418060/1790608412407, c_1001_1 - 1, c_1001_10 - 95455653249/3581216824814*c_1100_1^18 - 365945000391/1790608412407*c_1100_1^17 - 1871694298499/3581216824814*c_1100_1^16 - 217404314781/1790608412407*c_1100_1^15 + 3160535650859/1790608412407*c_1100_1^14 + 4615311397979/1790608412407*c_1100_1^13 - 2406398580716/1790608412407*c_1100_1^12 - 10801395267046/1790608412407*c_1100_1^11 - 8971437081913/3581216824814*c_1100_1^10 + 12749824827089/1790608412407*c_1100_1^9 + 30344498590675/3581216824814*c_1100_1^8 - 3339362492454/1790608412407*c_1100_1^7 - 33311443012819/3581216824814*c_1100_1^6 - 9516471391342/1790608412407*c_1100_1^5 + 7772473759379/3581216824814*c_1100_1^4 + 7342256688684/1790608412407*c_1100_1^3 + 1165374656093/3581216824814*c_1100_1^2 - 2612119395019/1790608412407*c_1100_1 - 3341936248913/3581216824814, c_1100_1^19 + 7*c_1100_1^18 + 15*c_1100_1^17 - 5*c_1100_1^16 - 62*c_1100_1^15 - 56*c_1100_1^14 + 84*c_1100_1^13 + 168*c_1100_1^12 - 15*c_1100_1^11 - 253*c_1100_1^10 - 147*c_1100_1^9 + 167*c_1100_1^8 + 231*c_1100_1^7 + 23*c_1100_1^6 - 107*c_1100_1^5 - 43*c_1100_1^4 + 23*c_1100_1^3 + 19*c_1100_1^2 + c_1100_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.430 seconds, Total memory usage: 32.09MB