Magma V2.19-8 Wed Aug 21 2013 00:51:19 on localhost [Seed = 2917906647] Type ? for help. Type -D to quit. Loading file "L11a298__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a298 geometric_solution 11.05906806 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 0213 0132 0132 1 0 0 0 0 0 0 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 1 0 -1 3 0 1 -4 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.433126906456 0.692040227204 0 4 0 5 0132 0132 0213 0132 1 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 4 -1 -3 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399656639519 0.265183214298 5 6 7 0 0132 0132 0132 0132 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 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.356685396682 0.669240804841 4 8 0 9 0213 0132 0132 0132 1 0 0 0 0 0 0 0 -1 0 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 -1 1 0 -4 0 4 0 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.537078267677 1.131045563252 3 1 10 6 0213 0132 0132 0132 1 0 0 0 0 -1 1 0 0 0 0 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 -4 4 0 -1 0 1 0 4 0 0 -4 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.500795484738 1.801019401310 2 11 1 7 0132 0132 0132 0321 1 0 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 0 -3 3 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 1.785212038041 1.699768663926 10 2 4 12 0132 0132 0132 0132 1 0 1 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 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.236482789173 0.648287302676 8 5 9 2 2103 0321 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 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.537078267677 1.131045563252 9 3 7 9 0213 0132 2103 0321 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 0 0 0 0 0 0 0 1.152732098634 0.737278273911 8 8 3 7 0213 0321 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.367520060593 0.962490390015 6 11 12 4 0132 1023 0132 0132 1 0 0 1 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 4 0 -4 0 0 1 -1 4 -1 0 -3 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.073172927832 0.579068997358 10 5 12 12 1023 0132 0213 2310 1 1 0 1 0 1 0 -1 -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 3 0 -3 -4 0 0 4 1 0 0 -1 3 1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.269413280353 1.300529227866 11 11 6 10 3201 0213 0132 0132 1 0 1 1 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 1 0 0 -1 3 0 0 -3 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.269413280353 1.300529227866 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_12'], 'c_1001_12' : d['c_1001_11'], 'c_1001_5' : negation(d['c_0101_10']), 'c_1001_4' : negation(d['c_0101_10']), 'c_1001_7' : d['c_1001_3'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_11'], 'c_1001_9' : d['c_0011_7'], 'c_1001_8' : d['c_0011_7'], 'c_1010_12' : d['c_0011_12'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0101_10']), 's_3_11' : 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' : d['c_0101_10'], 'c_0101_11' : d['c_0011_12'], 'c_0101_10' : d['c_0101_10'], '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_0011_11' : d['c_0011_10'], 'c_1100_8' : d['c_0011_7'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : d['c_1100_10'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1100_10'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_1100_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : d['c_1001_11'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_0011_7'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_10']), 'c_1010_0' : d['c_1001_3'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_3'], '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_1100_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' : 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_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), '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' : d['c_0011_10'], 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0011_3'], 'c_0110_12' : d['c_0101_10'], 'c_0110_0' : d['c_0011_0'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0011_9'], '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_0011_9'], 'c_0110_8' : negation(d['c_0011_9']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : negation(d['c_0011_7']), 'c_0110_6' : d['c_0101_10'], '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_12, c_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_10, c_1001_0, c_1001_11, c_1001_3, c_1100_0, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1108844050786839379815019161337/20037775760223597144644948275*c_110\ 0_10^15 + 111601456258357729556425489748777/20037775760223597144644\ 948275*c_1100_10^14 + 890934095236682630028156230620041/40075551520\ 447194289289896550*c_1100_10^13 - 295221643605481940730269020369/80\ 1511030408943885785797931*c_1100_10^12 - 4817474159876587023719554137214317/20037775760223597144644948275*c_\ 1100_10^11 - 15115509829585783090172819465874679/200377757602235971\ 44644948275*c_1100_10^10 - 57533217728330552940826847946362537/4007\ 5551520447194289289896550*c_1100_10^9 - 41379685820627381567602398474802671/20037775760223597144644948275*c\ _1100_10^8 - 46782687139593848872828182736848277/200377757602235971\ 44644948275*c_1100_10^7 - 42236779770728891689475530965134439/20037\ 775760223597144644948275*c_1100_10^6 - 30862281812941461351681944457130486/20037775760223597144644948275*c\ _1100_10^5 - 2571235314720805148077800486770174/2862539394317656734\ 949278325*c_1100_10^4 - 1712159736528129019831689359865182/40075551\ 52044719428928989655*c_1100_10^3 - 3274423601900909231195138905275351/20037775760223597144644948275*c_\ 1100_10^2 - 54558650254265196819429805760883/1145015757727062693979\ 711330*c_1100_10 - 210528720757805289549564573080279/20037775760223\ 597144644948275, c_0011_0 - 1, c_0011_10 + c_1100_10, c_0011_12 + 304580133417123842436/10834129002205237155155*c_1100_10^15 + 220992010814202031909048/75838903015436660086085*c_1100_10^14 + 1526558831165948101784406/75838903015436660086085*c_1100_10^13 + 1036957908889063816164327/15167780603087332017217*c_1100_10^12 + 10450593534720959278183888/75838903015436660086085*c_1100_10^11 + 3209060367573627046606538/15167780603087332017217*c_1100_10^10 + 3929955501926729242208186/15167780603087332017217*c_1100_10^9 + 19500321781687624076032478/75838903015436660086085*c_1100_10^8 + 15918651564291322153442798/75838903015436660086085*c_1100_10^7 + 2163490247089371932658323/15167780603087332017217*c_1100_10^6 + 1218328702116084000778788/15167780603087332017217*c_1100_10^5 + 3112573939118809689487571/75838903015436660086085*c_1100_10^4 + 185360336524538092878202/10834129002205237155155*c_1100_10^3 + 447350046477249884635217/75838903015436660086085*c_1100_10^2 + 68683327850630370233018/75838903015436660086085*c_1100_10 + 5612292538641695699231/10834129002205237155155, c_0011_3 - 3189059401868997849032/75838903015436660086085*c_1100_10^15 - 65998502199368811665620/15167780603087332017217*c_1100_10^14 - 2225584321730136844416332/75838903015436660086085*c_1100_10^13 - 1474915558046550472933820/15167780603087332017217*c_1100_10^12 - 14444015932829547043634398/75838903015436660086085*c_1100_10^11 - 21933225807836255640220573/75838903015436660086085*c_1100_10^10 - 26698603623457085137133102/75838903015436660086085*c_1100_10^9 - 26278810463425246698389171/75838903015436660086085*c_1100_10^8 - 21473698863438223243929188/75838903015436660086085*c_1100_10^7 - 2097069169537950935476099/10834129002205237155155*c_1100_10^6 - 8409921833863087465603582/75838903015436660086085*c_1100_10^5 - 4389501909709926144360174/75838903015436660086085*c_1100_10^4 - 1866677761655128754704962/75838903015436660086085*c_1100_10^3 - 760030173455127291820263/75838903015436660086085*c_1100_10^2 - 255858308536860183137684/75838903015436660086085*c_1100_10 - 8951626133705131641687/10834129002205237155155, c_0011_7 + 2043986066588926987144/75838903015436660086085*c_1100_10^15 + 213358777494592520396103/75838903015436660086085*c_1100_10^14 + 1617765042054796047329303/75838903015436660086085*c_1100_10^13 + 1191866084262006934820783/15167780603087332017217*c_1100_10^12 + 12979389361936113363794306/75838903015436660086085*c_1100_10^11 + 19996103970121721862919048/75838903015436660086085*c_1100_10^10 + 23543741416441053951831762/75838903015436660086085*c_1100_10^9 + 21407952831903116652504299/75838903015436660086085*c_1100_10^8 + 14517487194487658713865156/75838903015436660086085*c_1100_10^7 + 6239756302552799619543158/75838903015436660086085*c_1100_10^6 + 80412592276933017508051/10834129002205237155155*c_1100_10^5 - 273289791100840711506375/15167780603087332017217*c_1100_10^4 - 1297921452866523551691854/75838903015436660086085*c_1100_10^3 - 20727373840756979884809/2166825800441047431031*c_1100_10^2 - 297416393341479479029818/75838903015436660086085*c_1100_10 - 19209654681039361350727/10834129002205237155155, c_0011_9 - 1095841748677112484897/54170645011026185775775*c_1100_10^15 - 803762295616415122946229/379194515077183300430425*c_1100_10^14 - 914500105464331691857603/54170645011026185775775*c_1100_10^13 - 1041287692199911515014311/15167780603087332017217*c_1100_10^12 - 9373716064364678476401923/54170645011026185775775*c_1100_10^11 - 119493544778003469271384887/379194515077183300430425*c_1100_10^10 - 163574446236617737148393693/379194515077183300430425*c_1100_10^9 - 25850078164980375029763289/54170645011026185775775*c_1100_10^8 - 160829407983474619892657741/379194515077183300430425*c_1100_10^7 - 112759282855867598287431417/379194515077183300430425*c_1100_10^6 - 60764965811465799587073983/379194515077183300430425*c_1100_10^5 - 25629920881889967658340124/379194515077183300430425*c_1100_10^4 - 1604925309702360210932342/75838903015436660086085*c_1100_10^3 - 1701966118520135034194718/379194515077183300430425*c_1100_10^2 - 12169371918374008912811/75838903015436660086085*c_1100_10 + 80071045255323721666039/54170645011026185775775, c_0101_0 - 505314893610165594962/9248646709199592693425*c_1100_10^15 - 52451784190338950739692/9248646709199592693425*c_1100_10^14 - 52833372104890575205454/1321235244171370384775*c_1100_10^13 - 52365921993768306901633/369945868367983707737*c_1100_10^12 - 2848733563761350265272758/9248646709199592693425*c_1100_10^11 - 4812413237150630966427456/9248646709199592693425*c_1100_10^10 - 6465227232274377266118084/9248646709199592693425*c_1100_10^9 - 7036777649667225276862714/9248646709199592693425*c_1100_10^8 - 6380004081529590117753048/9248646709199592693425*c_1100_10^7 - 4797060968583026267287396/9248646709199592693425*c_1100_10^6 - 2948119305236214698054954/9248646709199592693425*c_1100_10^5 - 1537803382517099606993317/9248646709199592693425*c_1100_10^4 - 25677691241558462321080/369945868367983707737*c_1100_10^3 - 246257216010066948356694/9248646709199592693425*c_1100_10^2 - 12873018440197856622596/1849729341839918538685*c_1100_10 - 1355007510468070643973/1321235244171370384775, c_0101_10 - 215728860969105463346/54170645011026185775775*c_1100_10^15 - 157192769561619551862682/379194515077183300430425*c_1100_10^14 - 1146008971265310886807733/379194515077183300430425*c_1100_10^13 - 147623782247205442519252/15167780603087332017217*c_1100_10^12 - 6067275627591843709066123/379194515077183300430425*c_1100_10^11 - 5468842698962361171885706/379194515077183300430425*c_1100_10^10 - 2888538738758080238615084/379194515077183300430425*c_1100_10^9 + 1842962374992211155184246/379194515077183300430425*c_1100_10^8 + 6364847584779138119553162/379194515077183300430425*c_1100_10^7 + 7728184192430585395161704/379194515077183300430425*c_1100_10^6 + 6273406486060977893853346/379194515077183300430425*c_1100_10^5 + 3792841519405066807125878/379194515077183300430425*c_1100_10^4 + 48875186670096210120833/10834129002205237155155*c_1100_10^3 + 1312983420195164239043096/379194515077183300430425*c_1100_10^2 + 49321360665580182995721/75838903015436660086085*c_1100_10 + 35466397275484477301947/54170645011026185775775, c_1001_0 - 1, c_1001_11 - 5354728094032512193112/379194515077183300430425*c_1100_10^1\ 5 - 564832021660294290246937/379194515077183300430425*c_1100_10^14 - 4848019138447703625751163/379194515077183300430425*c_1100_10^13 - 792339737675176157624764/15167780603087332017217*c_1100_10^12 - 48425309764193057864560608/379194515077183300430425*c_1100_10^11 - 11808113957163007676860123/54170645011026185775775*c_1100_10^10 - 111811883751687803379050454/379194515077183300430425*c_1100_10^9 - 122898861374186154441160894/379194515077183300430425*c_1100_10^8 - 110262152536940634255687898/379194515077183300430425*c_1100_10^7 - 82072327515035193571719726/379194515077183300430425*c_1100_10^6 - 51318550286653367323064699/379194515077183300430425*c_1100_10^5 - 27374451662734632234841847/379194515077183300430425*c_1100_10^4 - 2603649629426368465688346/75838903015436660086085*c_1100_10^3 - 5002196641752343711203054/379194515077183300430425*c_1100_10^2 - 368096589973317595236993/75838903015436660086085*c_1100_10 - 54902367381956361633483/54170645011026185775775, c_1001_3 - 22228012664800527636864/379194515077183300430425*c_1100_10^1\ 5 - 329673703052216647455722/54170645011026185775775*c_1100_10^14 - 16309186765368905970773031/379194515077183300430425*c_1100_10^13 - 2294626583991706025486205/15167780603087332017217*c_1100_10^12 - 17552193105972457797892743/54170645011026185775775*c_1100_10^11 - 202777785422138230795411402/379194515077183300430425*c_1100_10^10 - 267962855262007548149456528/379194515077183300430425*c_1100_10^9 - 40952131608766289313741004/54170645011026185775775*c_1100_10^8 - 36459331393990579529760258/54170645011026185775775*c_1100_10^7 - 26993045074210498794803076/54170645011026185775775*c_1100_10^6 - 114599485028623824726399768/379194515077183300430425*c_1100_10^5 - 59257097163796017079600119/379194515077183300430425*c_1100_10^4 - 4921800397828811304975569/75838903015436660086085*c_1100_10^3 - 8783562436217580643581358/379194515077183300430425*c_1100_10^2 - 95694479076506387706143/15167780603087332017217*c_1100_10 - 20088910653706419100946/54170645011026185775775, c_1100_0 - 10772681167498969208179/379194515077183300430425*c_1100_10^1\ 5 - 1104923995048207130495194/379194515077183300430425*c_1100_10^14 - 6495021407663907831228491/379194515077183300430425*c_1100_10^13 - 683632466035642916579945/15167780603087332017217*c_1100_10^12 - 19400522754389586318361086/379194515077183300430425*c_1100_10^11 - 7499424211088113379681372/379194515077183300430425*c_1100_10^10 + 19353578859443129816563617/379194515077183300430425*c_1100_10^9 + 52654304463351559600270292/379194515077183300430425*c_1100_10^8 + 74966894256093388564479584/379194515077183300430425*c_1100_10^7 + 74549473673090342548405698/379194515077183300430425*c_1100_10^6 + 55325887653955892495945127/379194515077183300430425*c_1100_10^5 + 4417314955683486358760638/54170645011026185775775*c_1100_10^4 + 2973127779758017820388431/75838903015436660086085*c_1100_10^3 + 5363601835556075503142362/379194515077183300430425*c_1100_10^2 + 11472782423457435717377/2166825800441047431031*c_1100_10 + 73417459039195683729019/54170645011026185775775, c_1100_10^16 + 104*c_1100_10^15 + 752*c_1100_10^14 + 2672*c_1100_10^13 + 5709*c_1100_10^12 + 9180*c_1100_10^11 + 11926*c_1100_10^10 + 12638*c_1100_10^9 + 11140*c_1100_10^8 + 8310*c_1100_10^7 + 5246*c_1100_10^6 + 2912*c_1100_10^5 + 1383*c_1100_10^4 + 562*c_1100_10^3 + 196*c_1100_10^2 + 48*c_1100_10 + 14 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.330 Total time: 0.530 seconds, Total memory usage: 32.09MB