Magma V2.19-8 Tue Aug 20 2013 23:41:10 on localhost [Seed = 1124411332] Type ? for help. Type -D to quit. Loading file "L12a939__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a939 geometric_solution 9.57888282 oriented_manifold CS_known -0.0000000000000008 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 1 0132 0132 0132 2031 0 0 1 0 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 0 1 -1 -2 0 2 0 -2 -1 0 3 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387601059215 1.207478506558 0 0 5 4 0132 1302 0132 0132 0 0 0 1 0 0 0 0 -1 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 0 0 0 0 2 0 -2 0 -1 1 0 0 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758990375613 0.750807910354 4 0 6 3 0132 0132 0132 3120 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 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.384044684167 0.987913118171 2 7 8 0 3120 0132 0132 0132 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 1 0 -1 2 0 0 -2 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.535417544089 0.398303571934 2 6 1 9 0132 3120 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.884375257113 0.537187298129 7 9 10 1 2310 2031 0132 0132 0 0 1 0 0 0 0 0 1 0 0 -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 0 0 0 -2 0 0 2 1 0 0 -1 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.140188341639 0.512902329560 7 4 8 2 3012 3120 0321 0132 0 0 1 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 2 0 0 -2 -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.075430019545 0.542802546007 9 3 5 6 1302 0132 3201 1230 0 1 0 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 -1 3 -2 0 0 -1 1 0 0 0 0 -3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.780466329232 0.878203994957 8 8 6 3 1302 2031 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482951070538 0.635536815879 5 7 4 10 1302 2031 0132 2310 0 0 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 0 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.419656813604 0.235713292828 9 10 10 5 3201 1230 3012 0132 0 0 0 0 0 -1 1 0 -1 0 1 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 3 -3 0 3 0 -3 0 0 3 0 -3 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.014261545706 1.749220783575 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_1001_4']), 'c_1001_1' : d['c_0011_9'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_0011_8'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : negation(d['c_0101_3']), 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : negation(d['c_0011_5']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0101_3']), 'c_1100_10' : d['c_0011_10'], 'c_1010_7' : d['c_0011_8'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : d['c_0011_9'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_0011_8'], 'c_1100_8' : negation(d['c_1001_4']), 's_3_1' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0011_3'], 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0011_9'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_5']), 'c_0101_8' : negation(d['c_0011_8']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_9'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_9'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0011_6'], 'c_0110_6' : negation(d['c_0011_5'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_6, c_0011_8, c_0011_9, c_0101_0, c_0101_10, c_0101_3, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 193998951443040216621417315093863485/179291899830034910117853801622\ 51*c_1001_4^15 + 186433551223845537161108848348618579/2109316468588\ 646001386515313206*c_1001_4^14 + 5907632951125064019659359382213782\ 213/17929189983003491011785380162251*c_1001_4^13 + 14530959465217440093861742072426046626/1792918998300349101178538016\ 2251*c_1001_4^12 + 506835694034902791343386268428947057/30133092408\ 4092285912359330458*c_1001_4^11 + 163175748889324991690687548283284\ 79405/5122625709429568860510108617786*c_1001_4^10 + 89494886131544436932397057960294006761/1792918998300349101178538016\ 2251*c_1001_4^9 + 974035733006746092959155757663822248/158665398079\ 676911608720178427*c_1001_4^8 + 12081776428995762371155102525867349\ 9215/17929189983003491011785380162251*c_1001_4^7 + 140830270624380609433099693744558897494/179291899830034910117853801\ 62251*c_1001_4^6 + 147704673724896939430640016975877186503/17929189\ 983003491011785380162251*c_1001_4^5 + 92133349383686609720267349479131728360/1792918998300349101178538016\ 2251*c_1001_4^4 - 2402172631307614458917701194123599862/17929189983\ 003491011785380162251*c_1001_4^3 - 52384160462143854807205760378658831868/1792918998300349101178538016\ 2251*c_1001_4^2 - 37151880881186897231039305446805327886/1792918998\ 3003491011785380162251*c_1001_4 - 918006681609920902179898587862338\ 0106/17929189983003491011785380162251, c_0011_0 - 1, c_0011_10 + 5240784187005043641602/2175820612737541657579*c_1001_4^15 + 50069254621041177087015/2175820612737541657579*c_1001_4^14 + 206757564852963648343030/2175820612737541657579*c_1001_4^13 + 532147594294373300357633/2175820612737541657579*c_1001_4^12 + 1110668086238244302676660/2175820612737541657579*c_1001_4^11 + 2141002619707606538899346/2175820612737541657579*c_1001_4^10 + 3485641991495258097745188/2175820612737541657579*c_1001_4^9 + 38887007078105556753153/19255049670243731483*c_1001_4^8 + 4771234854801630476042342/2175820612737541657579*c_1001_4^7 + 5542932412389139240319834/2175820612737541657579*c_1001_4^6 + 6090819911754303189009842/2175820612737541657579*c_1001_4^5 + 4149602727275340235767202/2175820612737541657579*c_1001_4^4 + 211858715364588735021778/2175820612737541657579*c_1001_4^3 - 2148039024202406918944400/2175820612737541657579*c_1001_4^2 - 1641936521277378606123690/2175820612737541657579*c_1001_4 - 423048113353275382021951/2175820612737541657579, c_0011_3 - 34356530679679210814386/2175820612737541657579*c_1001_4^15 - 293571339412880859646418/2175820612737541657579*c_1001_4^14 - 1133391443191449885784596/2175820612737541657579*c_1001_4^13 - 2840972039981961530392709/2175820612737541657579*c_1001_4^12 - 5917667167716800619554860/2175820612737541657579*c_1001_4^11 - 11276827106948462842386407/2175820612737541657579*c_1001_4^10 - 17949282562238917250349162/2175820612737541657579*c_1001_4^9 - 197905442055742878659007/19255049670243731483*c_1001_4^8 - 24475052493521053310016806/2175820612737541657579*c_1001_4^7 - 28416970004194578688557310/2175820612737541657579*c_1001_4^6 - 30399435483876980813692434/2175820612737541657579*c_1001_4^5 - 19869184839754504219112848/2175820612737541657579*c_1001_4^4 - 374604981900348388399338/2175820612737541657579*c_1001_4^3 + 10716774328086885255437505/2175820612737541657579*c_1001_4^2 + 7957674416716649031141240/2175820612737541657579*c_1001_4 + 2024365745255370519887751/2175820612737541657579, c_0011_5 - 68071465332861393875436/2175820612737541657579*c_1001_4^15 - 563909479397205397884726/2175820612737541657579*c_1001_4^14 - 2121174580463762997437952/2175820612737541657579*c_1001_4^13 - 5236427064903523426865377/2175820612737541657579*c_1001_4^12 - 10871760749487817263194708/2175820612737541657579*c_1001_4^11 - 20626624200532618368673356/2175820612737541657579*c_1001_4^10 - 32433153525389942386842853/2175820612737541657579*c_1001_4^9 - 353681312769365751495772/19255049670243731483*c_1001_4^8 - 43817898896584948839588903/2175820612737541657579*c_1001_4^7 - 51075182658074596372950053/2175820612737541657579*c_1001_4^6 - 53809053598674149430772205/2175820612737541657579*c_1001_4^5 - 33831391850945198184134813/2175820612737541657579*c_1001_4^4 + 663010723454654623002253/2175820612737541657579*c_1001_4^3 + 19090511726020962538879067/2175820612737541657579*c_1001_4^2 + 13606353116417072423257052/2175820612737541657579*c_1001_4 + 3365614326777917618119643/2175820612737541657579, c_0011_6 - 79794703773878926243724/2175820612737541657579*c_1001_4^15 - 675226206552030967037343/2175820612737541657579*c_1001_4^14 - 2580250865781738116103981/2175820612737541657579*c_1001_4^13 - 6420051068138637149942685/2175820612737541657579*c_1001_4^12 - 13346130598121471253179304/2175820612737541657579*c_1001_4^11 - 25395002320414343748637309/2175820612737541657579*c_1001_4^10 - 40200985700071273527783064/2175820612737541657579*c_1001_4^9 - 440597426193078586744530/19255049670243731483*c_1001_4^8 - 54502850478970669322901753/2175820612737541657579*c_1001_4^7 - 63460279052112804488271861/2175820612737541657579*c_1001_4^6 - 67423336596149333642734557/2175820612737541657579*c_1001_4^5 - 43190836147015642785092855/2175820612737541657579*c_1001_4^4 + 72176967491619244990491/2175820612737541657579*c_1001_4^3 + 23859039956000249400853212/2175820612737541657579*c_1001_4^2 + 17312859568620354240755287/2175820612737541657579*c_1001_4 + 4333636432130760975003895/2175820612737541657579, c_0011_8 - 28995826419534700582704/2175820612737541657579*c_1001_4^15 - 227354522903155346361004/2175820612737541657579*c_1001_4^14 - 812037084558150313442248/2175820612737541657579*c_1001_4^13 - 1936758565233359004643944/2175820612737541657579*c_1001_4^12 - 3985711261092538237903208/2175820612737541657579*c_1001_4^11 - 7488786262882286813945584/2175820612737541657579*c_1001_4^10 - 11439314027359834246536043/2175820612737541657579*c_1001_4^9 - 121087922171128210705746/19255049670243731483*c_1001_4^8 - 15038151768702318446597006/2175820612737541657579*c_1001_4^7 - 17742158790238084780840686/2175820612737541657579*c_1001_4^6 - 17986973020941850697460977/2175820612737541657579*c_1001_4^5 - 10039933182321477094351854/2175820612737541657579*c_1001_4^4 + 1525390866370200915930774/2175820612737541657579*c_1001_4^3 + 6522543411444727909275018/2175820612737541657579*c_1001_4^2 + 4070005823648436875681999/2175820612737541657579*c_1001_4 + 898040821501366120046268/2175820612737541657579, c_0011_9 + 40197388907194671787736/2175820612737541657579*c_1001_4^15 + 331585612518108930303910/2175820612737541657579*c_1001_4^14 + 1240101857737324581976355/2175820612737541657579*c_1001_4^13 + 3046931433862302319192343/2175820612737541657579*c_1001_4^12 + 6317795344166426330947784/2175820612737541657579*c_1001_4^11 + 11977172593758274367351556/2175820612737541657579*c_1001_4^10 + 18766061146337098179688714/2175820612737541657579*c_1001_4^9 + 203804977059230151332370/19255049670243731483*c_1001_4^8 + 25256563130647985536842605/2175820612737541657579*c_1001_4^7 + 29500376635529086559394717/2175820612737541657579*c_1001_4^6 + 30933081200518049640032281/2175820612737541657579*c_1001_4^5 + 19172048579985798330212805/2175820612737541657579*c_1001_4^4 - 658640664756556368411607/2175820612737541657579*c_1001_4^3 - 10994226603710957226471307/2175820612737541657579*c_1001_4^2 - 7713248630626326603490357/2175820612737541657579*c_1001_4 - 1886222573522115073094193/2175820612737541657579, c_0101_0 - 1, c_0101_10 - 27874076425666722087700/2175820612737541657579*c_1001_4^15 - 232323866879096467580816/2175820612737541657579*c_1001_4^14 - 881072722726438415461597/2175820612737541657579*c_1001_4^13 - 2189495631041221107673034/2175820612737541657579*c_1001_4^12 - 4553965405321390932246924/2175820612737541657579*c_1001_4^11 - 8649451606774344001321800/2175820612737541657579*c_1001_4^10 - 13667092379052844207154139/2175820612737541657579*c_1001_4^9 - 149876335710135600163402/19255049670243731483*c_1001_4^8 - 18561335765936963302746298/2175820612737541657579*c_1001_4^7 - 21574806022545509813555336/2175820612737541657579*c_1001_4^6 - 22875972398156099790739924/2175820612737541657579*c_1001_4^5 - 14659343270959399853922008/2175820612737541657579*c_1001_4^4 + 4370058698098254590646/2175820612737541657579*c_1001_4^3 + 8096285122310005312407760/2175820612737541657579*c_1001_4^2 + 5893104485790745819766695/2175820612737541657579*c_1001_4 + 1479391753255802545025450/2175820612737541657579, c_0101_3 + 7571185138425100761297/2175820612737541657579*c_1001_4^15 + 60046165796211735355310/2175820612737541657579*c_1001_4^14 + 218773389819719009600372/2175820612737541657579*c_1001_4^13 + 530708300627228159791374/2175820612737541657579*c_1001_4^12 + 1096635269299399166162964/2175820612737541657579*c_1001_4^11 + 2066760296757574186940372/2175820612737541657579*c_1001_4^10 + 3200786394646265726960876/2175820612737541657579*c_1001_4^9 + 34408206491629226331524/19255049670243731483*c_1001_4^8 + 4265751708418440612209262/2175820612737541657579*c_1001_4^7 + 4995405818869330426840982/2175820612737541657579*c_1001_4^6 + 5163857647050867658257438/2175820612737541657579*c_1001_4^5 + 3068760665563442188602830/2175820612737541657579*c_1001_4^4 - 254740595979847209609263/2175820612737541657579*c_1001_4^3 - 1863141435793643882782976/2175820612737541657579*c_1001_4^2 - 1239267162763158374745354/2175820612737541657579*c_1001_4 - 285142805226197865307492/2175820612737541657579, c_1001_4^16 + 272/29*c_1001_4^15 + 1170/29*c_1001_4^14 + 3242/29*c_1001_4^13 + 7140/29*c_1001_4^12 + 14000/29*c_1001_4^11 + 23724/29*c_1001_4^10 + 32668/29*c_1001_4^9 + 38006/29*c_1001_4^8 + 42946/29*c_1001_4^7 + 47598/29*c_1001_4^6 + 1398*c_1001_4^5 + 16350/29*c_1001_4^4 - 8254/29*c_1001_4^3 - 15046/29*c_1001_4^2 - 8110/29*c_1001_4 - 1666/29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB