Magma V2.19-8 Tue Aug 20 2013 23:39:12 on localhost [Seed = 3398217371] Type ? for help. Type -D to quit. Loading file "L11a365__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a365 geometric_solution 8.79071278 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 0 0 0 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 0.206799853355 1.360779096302 0 5 2 4 0132 0132 1023 1230 0 0 1 1 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 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.402211800879 0.380865250419 6 0 1 7 0132 0132 1023 0132 0 0 1 1 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 -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.536071862534 1.099817916967 4 5 4 0 1230 1230 2031 0132 0 0 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 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624605118753 0.811688688000 1 3 0 3 3012 3012 0132 1302 0 0 0 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 0 0 0 -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.975360752371 1.017806690691 8 1 3 7 0132 0132 3012 1023 0 0 1 1 0 -1 1 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 1 -1 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.536071862534 1.099817916967 2 9 8 7 0132 0132 3120 3120 1 0 1 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 -1 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.733825932780 0.512834663856 6 8 2 5 3120 1302 0132 1023 0 0 1 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 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.258706279138 0.837107851736 5 9 6 7 0132 1023 3120 2031 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 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.733825932780 0.512834663856 8 6 9 9 1023 0132 2031 1302 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.869838458437 0.662112927397 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_9']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : d['c_0101_9'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : 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_0101_9'], 'c_1100_8' : negation(d['c_0101_6']), 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : negation(d['c_0110_4']), 'c_1100_6' : negation(d['c_0101_6']), 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0110_4']), 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : d['c_0011_7'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0011_4'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_6'], 'c_0110_9' : d['c_0011_7'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_7, c_0101_2, c_0101_3, c_0101_5, c_0101_6, c_0101_9, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 2362325754032075091176502/38970015899436218686291*c_0110_4^11 + 461110216310227632172718059/155880063597744874745164*c_0110_4^10 - 375304531039794421363461256/38970015899436218686291*c_0110_4^9 + 3191977589677702319364819545/77940031798872437372582*c_0110_4^8 - 10451824559645726396420208823/155880063597744874745164*c_0110_4^7 + 4761147633703300979958590211/38970015899436218686291*c_0110_4^6 - 11169522222913557698018310435/155880063597744874745164*c_0110_4^5 + 1628130943520165892462626561/77940031798872437372582*c_0110_4^4 + 3575166231529175452629790891/155880063597744874745164*c_0110_4^3 + 844304284121843512992308679/38970015899436218686291*c_0110_4^2 + 240032280761475679007792092/38970015899436218686291*c_0110_4 + 30997353621833230093652063/155880063597744874745164, c_0011_0 - 1, c_0011_3 + 21490751402365849319/1343793651704697196079*c_0110_4^11 + 1054192678591279161801/1343793651704697196079*c_0110_4^10 - 3144460176014518271481/1343793651704697196079*c_0110_4^9 + 13765797753689146854697/1343793651704697196079*c_0110_4^8 - 20402208587667154821027/1343793651704697196079*c_0110_4^7 + 38714546285941229459109/1343793651704697196079*c_0110_4^6 - 16392105000785217345849/1343793651704697196079*c_0110_4^5 + 4788712992380546985489/1343793651704697196079*c_0110_4^4 + 8701444254904364681623/1343793651704697196079*c_0110_4^3 + 10187217348505095926525/1343793651704697196079*c_0110_4^2 + 4392662094376266837950/1343793651704697196079*c_0110_4 + 1681098945559048415138/1343793651704697196079, c_0011_4 - 1, c_0011_7 - 720483012152189647978/1343793651704697196079*c_0110_4^11 - 35267335571692114827358/1343793651704697196079*c_0110_4^10 + 109124405781504340783638/1343793651704697196079*c_0110_4^9 - 470506565158453108475216/1343793651704697196079*c_0110_4^8 + 727182648530074160431657/1343793651704697196079*c_0110_4^7 - 1347690439920315943754024/1343793651704697196079*c_0110_4^6 + 662053989718172681834522/1343793651704697196079*c_0110_4^5 - 173436562003247290942161/1343793651704697196079*c_0110_4^4 - 265541279773714262228827/1343793651704697196079*c_0110_4^3 - 319035238872315534490292/1343793651704697196079*c_0110_4^2 - 113994117873266014957366/1343793651704697196079*c_0110_4 - 20329429535721107769796/1343793651704697196079, c_0101_2 - 43029898577150247166/1343793651704697196079*c_0110_4^11 - 2108988816022041785519/1343793651704697196079*c_0110_4^10 + 6385646936112838846255/1343793651704697196079*c_0110_4^9 - 27682677678167332234960/1343793651704697196079*c_0110_4^8 + 41664301762643940352010/1343793651704697196079*c_0110_4^7 - 77710589164201643145054/1343793651704697196079*c_0110_4^6 + 34566528132334421840607/1343793651704697196079*c_0110_4^5 - 7851467217152307702020/1343793651704697196079*c_0110_4^4 - 16255651609153047144808/1343793651704697196079*c_0110_4^3 - 19811825576325305857204/1343793651704697196079*c_0110_4^2 - 9497980762576390532448/1343793651704697196079*c_0110_4 - 2022249622501730576148/1343793651704697196079, c_0101_3 - 43029898577150247166/1343793651704697196079*c_0110_4^11 - 2108988816022041785519/1343793651704697196079*c_0110_4^10 + 6385646936112838846255/1343793651704697196079*c_0110_4^9 - 27682677678167332234960/1343793651704697196079*c_0110_4^8 + 41664301762643940352010/1343793651704697196079*c_0110_4^7 - 77710589164201643145054/1343793651704697196079*c_0110_4^6 + 34566528132334421840607/1343793651704697196079*c_0110_4^5 - 7851467217152307702020/1343793651704697196079*c_0110_4^4 - 16255651609153047144808/1343793651704697196079*c_0110_4^3 - 19811825576325305857204/1343793651704697196079*c_0110_4^2 - 8154187110871693336369/1343793651704697196079*c_0110_4 - 678455970797033380069/1343793651704697196079, c_0101_5 - 43029898577150247166/1343793651704697196079*c_0110_4^11 - 2108988816022041785519/1343793651704697196079*c_0110_4^10 + 6385646936112838846255/1343793651704697196079*c_0110_4^9 - 27682677678167332234960/1343793651704697196079*c_0110_4^8 + 41664301762643940352010/1343793651704697196079*c_0110_4^7 - 77710589164201643145054/1343793651704697196079*c_0110_4^6 + 34566528132334421840607/1343793651704697196079*c_0110_4^5 - 7851467217152307702020/1343793651704697196079*c_0110_4^4 - 16255651609153047144808/1343793651704697196079*c_0110_4^3 - 19811825576325305857204/1343793651704697196079*c_0110_4^2 - 9497980762576390532448/1343793651704697196079*c_0110_4 - 2022249622501730576148/1343793651704697196079, c_0101_6 - 66416634226670397976/1343793651704697196079*c_0110_4^11 - 3257548495670877906816/1343793651704697196079*c_0110_4^10 + 9741527152878938331013/1343793651704697196079*c_0110_4^9 - 42420817159063562748385/1343793651704697196079*c_0110_4^8 + 62920581499442667741644/1343793651704697196079*c_0110_4^7 - 118206179049469153993856/1343793651704697196079*c_0110_4^6 + 50009617867401829384722/1343793651704697196079*c_0110_4^5 - 12132849108509460190264/1343793651704697196079*c_0110_4^4 - 23352472402429975032645/1343793651704697196079*c_0110_4^3 - 33484059349121000602870/1343793651704697196079*c_0110_4^2 - 11806329223762615059852/1343793651704697196079*c_0110_4 - 2315902943645258677256/1343793651704697196079, c_0101_9 - 814459391772789661734/1343793651704697196079*c_0110_4^11 - 39885192163413072383584/1343793651704697196079*c_0110_4^10 + 122501650968238658103857/1343793651704697196079*c_0110_4^9 - 528576914229384812569960/1343793651704697196079*c_0110_4^8 + 808325777856560200866249/1343793651704697196079*c_0110_4^7 - 1496897839469735898102108/1343793651704697196079*c_0110_4^6 + 700216365043098638935148/1343793651704697196079*c_0110_4^5 - 154084184558322846202777/1343793651704697196079*c_0110_4^4 - 321294100656565607576831/1343793651704697196079*c_0110_4^3 - 365637769224997747985492/1343793651704697196079*c_0110_4^2 - 131647351193532429958419/1343793651704697196079*c_0110_4 - 21606317933858041444794/1343793651704697196079, c_0110_4^12 + 49*c_0110_4^11 - 149*c_0110_4^10 + 645*c_0110_4^9 - 975*c_0110_4^8 + 1814*c_0110_4^7 - 815*c_0110_4^6 + 178*c_0110_4^5 + 391*c_0110_4^4 + 461*c_0110_4^3 + 177*c_0110_4^2 + 33*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB