Magma V2.19-8 Wed Aug 21 2013 00:56:44 on localhost [Seed = 1048061182] Type ? for help. Type -D to quit. Loading file "L13n2858__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2858 geometric_solution 11.71244054 oriented_manifold CS_known -0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 0 1 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 0 1 0 0 0 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.253895193029 0.936806159082 0 4 6 5 0132 3012 0132 0132 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 -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.484010335882 0.266529584072 7 0 9 8 0132 0132 0132 0132 1 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 1 -1 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 1.587036795668 0.796432785811 5 10 11 0 0132 0132 0132 0132 1 1 1 1 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 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468694571062 0.478949067696 1 8 0 7 1230 0321 0132 3012 1 1 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 -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.198114850679 1.308322626797 3 9 1 9 0132 2103 0132 1302 0 1 1 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 0 0 0 0 0 0 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 1.038359619521 0.936036683640 12 8 10 1 0132 1023 1230 0132 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 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.486200472036 0.901247127293 2 11 4 12 0132 1230 1230 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582212408741 0.642929858833 6 10 2 4 1023 0213 0132 0321 1 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 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.680810581155 0.593002786651 12 5 5 2 2031 2103 2031 0132 1 0 0 1 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 -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.468694571062 0.478949067696 11 3 8 6 0321 0132 0213 3012 1 0 1 1 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 0 0 0 0 0 0 0 1 0 0 -1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.744061113984 0.800473645961 10 12 7 3 0321 2310 3012 0132 1 1 1 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 0 0 0 0 0 0 0 4 -1 0 -3 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539747455623 1.198427342351 6 7 9 11 0132 1302 1302 3201 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 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.460207378126 0.767297645401 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_0']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_0101_2'], 'c_1001_5' : d['c_0011_9'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0011_0'], 'c_1010_11' : negation(d['c_0101_6']), 'c_1010_10' : negation(d['c_0101_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0011_9']), 'c_0101_11' : d['c_0011_12'], 'c_0101_10' : negation(d['c_0011_12']), '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' : 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_2'], 'c_1100_8' : d['c_1001_2'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : negation(d['c_0011_0']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : negation(d['c_1001_7']), 'c_1100_3' : negation(d['c_1001_7']), 'c_1100_2' : d['c_1001_2'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_7']), 'c_1100_10' : negation(d['c_0101_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_1001_2']), 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_9'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0101_7']), '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' : negation(d['c_0011_11']), '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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_6'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_9']), 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_9']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), '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' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_9']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_9']), 's_2_9' : d['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_12, c_0011_4, c_0011_9, c_0101_0, c_0101_2, c_0101_6, c_0101_7, c_1001_0, c_1001_2, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 120449954316273347974560/143359499901325924801*c_1001_7^15 + 584068348299456245689968/143359499901325924801*c_1001_7^14 + 1910734783796639122464/143359499901325924801*c_1001_7^13 - 1747605647778634101153256/143359499901325924801*c_1001_7^12 - 444483037673840738549372/143359499901325924801*c_1001_7^11 + 78063409306330064496136/11027653838563532677*c_1001_7^10 + 70445742076314652672366/11027653838563532677*c_1001_7^9 + 51254911188020450350137/143359499901325924801*c_1001_7^8 - 170117409111931692233389/143359499901325924801*c_1001_7^7 - 98722258850548197011061/286718999802651849602*c_1001_7^6 - 463091930372380742110531/573437999605303699204*c_1001_7^5 + 293009984637862545707359/573437999605303699204*c_1001_7^4 - 14555522829068462887499/286718999802651849602*c_1001_7^3 + 562222518145604162567/30180947347647563116*c_1001_7^2 + 9589246029952138688727/573437999605303699204*c_1001_7 - 2311212059071568206859/573437999605303699204, c_0011_0 - 1, c_0011_10 - 981795515470894144/44646371816046691*c_1001_7^15 - 5339376138434050432/44646371816046691*c_1001_7^14 - 3315806175608111680/44646371816046691*c_1001_7^13 + 11649209896912568080/44646371816046691*c_1001_7^12 + 11035328262022135232/44646371816046691*c_1001_7^11 + 741038689239495648/44646371816046691*c_1001_7^10 - 7739379006313405652/44646371816046691*c_1001_7^9 - 7314480929599451852/44646371816046691*c_1001_7^8 - 4069069913930686112/44646371816046691*c_1001_7^7 - 1168046287226438953/44646371816046691*c_1001_7^6 + 1340049716041246607/44646371816046691*c_1001_7^5 + 515794519897083765/44646371816046691*c_1001_7^4 + 469011684087632951/44646371816046691*c_1001_7^3 - 96946748824386458/44646371816046691*c_1001_7^2 - 45096184598243537/44646371816046691*c_1001_7 - 35430614396882695/44646371816046691, c_0011_11 + 2969174672222629824/580402833608606983*c_1001_7^15 + 11922155323364531392/580402833608606983*c_1001_7^14 - 10566780643708386816/580402833608606983*c_1001_7^13 - 36880164176149324656/580402833608606983*c_1001_7^12 + 23185643885594239600/580402833608606983*c_1001_7^11 + 17131702064272523376/580402833608606983*c_1001_7^10 + 4495974327939749628/580402833608606983*c_1001_7^9 - 12107028641887246712/580402833608606983*c_1001_7^8 - 246916275140338680/44646371816046691*c_1001_7^7 + 728628739781251815/580402833608606983*c_1001_7^6 + 3044035846113705828/580402833608606983*c_1001_7^5 + 6421989721946137197/580402833608606983*c_1001_7^4 - 1953913764515967606/580402833608606983*c_1001_7^3 + 678083348584055915/580402833608606983*c_1001_7^2 - 1120856878176062175/580402833608606983*c_1001_7 - 395230616197562969/580402833608606983, c_0011_12 + 26824964037511460096/580402833608606983*c_1001_7^15 + 140470068001103615104/580402833608606983*c_1001_7^14 + 60369302779287245440/580402833608606983*c_1001_7^13 - 337154473631251238400/580402833608606983*c_1001_7^12 - 221449510716215813600/580402833608606983*c_1001_7^11 + 53996910703639984160/580402833608606983*c_1001_7^10 + 175331800573753430752/580402833608606983*c_1001_7^9 + 137612139564874005736/580402833608606983*c_1001_7^8 + 6416826526811031440/44646371816046691*c_1001_7^7 + 25546787676231575496/580402833608606983*c_1001_7^6 - 37907060452359940442/580402833608606983*c_1001_7^5 - 2667486446266723564/580402833608606983*c_1001_7^4 - 5314528684452338557/580402833608606983*c_1001_7^3 + 1656732439626440734/580402833608606983*c_1001_7^2 + 2223229219793204893/580402833608606983*c_1001_7 + 539737490608288788/580402833608606983, c_0011_4 - 650176731932461026560/7545236836911890779*c_1001_7^15 - 3537495545822504396224/7545236836911890779*c_1001_7^14 - 2122309173162929308672/7545236836911890779*c_1001_7^13 + 8098006916262773884928/7545236836911890779*c_1001_7^12 + 7310580711646063139632/7545236836911890779*c_1001_7^11 - 538010001259968141472/7545236836911890779*c_1001_7^10 - 5256049005962068953232/7545236836911890779*c_1001_7^9 - 4551613679190130387244/7545236836911890779*c_1001_7^8 - 184382126960046571180/580402833608606983*c_1001_7^7 - 603261235082550485268/7545236836911890779*c_1001_7^6 + 1119857128166361735625/7545236836911890779*c_1001_7^5 + 411498809473912349783/7545236836911890779*c_1001_7^4 + 161628690267620423995/7545236836911890779*c_1001_7^3 - 52818273625737961070/7545236836911890779*c_1001_7^2 - 78791646829314766015/7545236836911890779*c_1001_7 - 30134912434636532542/7545236836911890779, c_0011_9 + 25489965940028531328/580402833608606983*c_1001_7^15 + 133165686202201824192/580402833608606983*c_1001_7^14 + 54782827811551044288/580402833608606983*c_1001_7^13 - 326837344646711729952/580402833608606983*c_1001_7^12 - 213040135698337026992/580402833608606983*c_1001_7^11 + 63520457202013301072/580402833608606983*c_1001_7^10 + 184142170837319638552/580402833608606983*c_1001_7^9 + 133877134580216639492/580402833608606983*c_1001_7^8 + 5345092227756831440/44646371816046691*c_1001_7^7 + 14915905719813045634/580402833608606983*c_1001_7^6 - 42000632072751826419/580402833608606983*c_1001_7^5 - 7117630611956803508/580402833608606983*c_1001_7^4 - 5782666983464584137/580402833608606983*c_1001_7^3 + 1729401481028097150/580402833608606983*c_1001_7^2 + 2270733540951577029/580402833608606983*c_1001_7 + 807081228302669141/580402833608606983, c_0101_0 - 1, c_0101_2 + 70047027319857018944/7545236836911890779*c_1001_7^15 + 409390074132821074368/7545236836911890779*c_1001_7^14 + 324142293212938983552/7545236836911890779*c_1001_7^13 - 1069800530777522334224/7545236836911890779*c_1001_7^12 - 1188252005223908731152/7545236836911890779*c_1001_7^11 + 515465606551805003696/7545236836911890779*c_1001_7^10 + 907245534996168484484/7545236836911890779*c_1001_7^9 + 456230977273403168544/7545236836911890779*c_1001_7^8 + 296032609240845320/580402833608606983*c_1001_7^7 + 14347823960537418849/7545236836911890779*c_1001_7^6 - 151000538730231546674/7545236836911890779*c_1001_7^5 - 97373490035738328845/7545236836911890779*c_1001_7^4 + 34090507928864522646/7545236836911890779*c_1001_7^3 + 7668453239143775011/7545236836911890779*c_1001_7^2 + 20915064284883777301/7545236836911890779*c_1001_7 + 1612224310966242123/7545236836911890779, c_0101_6 - 280948533031034368/44646371816046691*c_1001_7^15 - 1513952483529612416/44646371816046691*c_1001_7^14 - 822563005542862848/44646371816046691*c_1001_7^13 + 3513914150655826752/44646371816046691*c_1001_7^12 + 2418256309554057696/44646371816046691*c_1001_7^11 - 905702103156681856/44646371816046691*c_1001_7^10 - 1087234885225553712/44646371816046691*c_1001_7^9 - 784465368567083608/44646371816046691*c_1001_7^8 - 803961420924101048/44646371816046691*c_1001_7^7 - 836029006560989308/44646371816046691*c_1001_7^6 - 105889378315791018/44646371816046691*c_1001_7^5 - 237791591387876882/44646371816046691*c_1001_7^4 - 110789776127232439/44646371816046691*c_1001_7^3 + 19055383894310298/44646371816046691*c_1001_7^2 - 32642488781158922/44646371816046691*c_1001_7 + 18697926063755300/44646371816046691, c_0101_7 - 9637518545764954816/580402833608606983*c_1001_7^15 - 48722864511734856256/580402833608606983*c_1001_7^14 - 12158745371091877888/580402833608606983*c_1001_7^13 + 127412649433278018736/580402833608606983*c_1001_7^12 + 60844999734704139568/580402833608606983*c_1001_7^11 - 33527058420601902960/580402833608606983*c_1001_7^10 - 63419112959205991596/580402833608606983*c_1001_7^9 - 50871852063453074976/580402833608606983*c_1001_7^8 - 2147613424505708928/44646371816046691*c_1001_7^7 + 3283001922636949853/580402833608606983*c_1001_7^6 + 24495949002322237294/580402833608606983*c_1001_7^5 + 4522550774721377773/580402833608606983*c_1001_7^4 + 3443875312095342776/580402833608606983*c_1001_7^3 - 125094171099987298/580402833608606983*c_1001_7^2 - 1899578576311048051/580402833608606983*c_1001_7 - 81755730712531905/580402833608606983, c_1001_0 - 895000957026047872/44646371816046691*c_1001_7^15 - 4207772219662019840/44646371816046691*c_1001_7^14 + 413749931789701504/44646371816046691*c_1001_7^13 + 11990726008368507488/44646371816046691*c_1001_7^12 + 1643415473375099392/44646371816046691*c_1001_7^11 - 4452597418818422208/44646371816046691*c_1001_7^10 - 5176612842249487480/44646371816046691*c_1001_7^9 - 2462288430882362408/44646371816046691*c_1001_7^8 - 885254094947646256/44646371816046691*c_1001_7^7 + 562891062847407434/44646371816046691*c_1001_7^6 + 1940326029304058002/44646371816046691*c_1001_7^5 - 178340092815095694/44646371816046691*c_1001_7^4 + 455744179429876136/44646371816046691*c_1001_7^3 - 162845479595100278/44646371816046691*c_1001_7^2 - 28506756673980728/44646371816046691*c_1001_7 + 8294412850357853/44646371816046691, c_1001_2 + 2923718037748617728/580402833608606983*c_1001_7^15 + 13535955315931016640/580402833608606983*c_1001_7^14 - 2461400230800520512/580402833608606983*c_1001_7^13 - 40258398250874361088/580402833608606983*c_1001_7^12 - 5255003375382004080/580402833608606983*c_1001_7^11 + 17216115462688230960/580402833608606983*c_1001_7^10 + 24354874164805594736/580402833608606983*c_1001_7^9 + 7478100168144433212/580402833608606983*c_1001_7^8 - 166678670895314472/44646371816046691*c_1001_7^7 - 8796811773545051112/580402833608606983*c_1001_7^6 - 6236416304932222833/580402833608606983*c_1001_7^5 + 1489980221981181696/580402833608606983*c_1001_7^4 - 28576389035355641/580402833608606983*c_1001_7^3 + 1352823649443455130/580402833608606983*c_1001_7^2 + 975633449806169952/580402833608606983*c_1001_7 - 46393354253478591/580402833608606983, c_1001_7^16 + 5*c_1001_7^15 + c_1001_7^14 - 53/4*c_1001_7^13 - 23/4*c_1001_7^12 + 4*c_1001_7^11 + 117/16*c_1001_7^10 + 33/8*c_1001_7^9 + 23/16*c_1001_7^8 - 31/64*c_1001_7^7 - 31/16*c_1001_7^6 + 1/16*c_1001_7^5 - 5/32*c_1001_7^4 + 7/32*c_1001_7^3 + 5/64*c_1001_7^2 - 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.310 Total time: 0.520 seconds, Total memory usage: 32.09MB