Magma V2.19-8 Wed Aug 21 2013 01:07:21 on localhost [Seed = 71441678] Type ? for help. Type -D to quit. Loading file "L14n33063__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n33063 geometric_solution 12.04908681 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 0 0 4 -4 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.677099252943 1.381679044384 0 5 7 6 0132 0132 0132 0132 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 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.012893287480 0.909926626815 8 0 10 9 0132 0132 0132 0132 0 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 0 1 1 0 -1 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516348468315 0.306791040799 5 4 11 0 3120 3012 0132 0132 0 0 0 1 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 0 0 0 4 0 0 -4 -1 4 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584343760995 0.637407092838 3 12 0 5 1230 0132 0132 1302 0 0 1 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 3 1 -4 -4 0 4 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.558640642130 1.070566231005 11 1 4 3 2031 0132 2031 3120 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 0 0 0 0 0 0 0 -1 1 0 0 0 4 -4 -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.340241148844 1.310611029335 11 7 1 12 1023 0132 0132 1230 1 0 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 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.387360494043 0.986102031333 9 6 10 1 1302 0132 3201 0132 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.024502135838 0.705901454942 2 11 12 9 0132 2031 3120 2103 1 1 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 0 -1 1 -1 0 1 0 0 1 0 -1 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622115290195 0.703393454835 10 7 2 8 2310 2031 0132 2103 0 1 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 -1 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.762579615954 0.822303354611 7 12 9 2 2310 0321 3201 0132 0 1 0 1 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 -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.870057811321 1.065794751912 8 6 5 3 1302 1023 1302 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345289696311 0.845462069200 6 4 8 10 3012 0132 3120 0321 0 1 0 1 0 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 -3 3 0 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.441313134821 0.805342090059 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_0'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : d['c_0101_3'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_1']), 'c_1001_8' : negation(d['c_0101_3']), 'c_1010_12' : d['c_1001_2'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_1001_2'], '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'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_0']), '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' : negation(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' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0011_9']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_9']), 'c_1100_11' : d['c_0101_5'], 'c_1100_10' : negation(d['c_0011_9']), 's_0_11' : negation(d['1']), 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_0011_11'], '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' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_8']), '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_12']), 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0011_9'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : negation(d['c_0101_10']), 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_9'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0011_9'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_12']})} 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_3, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_5, c_0101_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 96428246930580239120002933165/43194444500883313910914831*c_1001_2^1\ 3 + 1783339599536026146212199161583/86388889001766627821829662*c_10\ 01_2^12 + 3719056581385262548052539552259/8638888900176662782182966\ 2*c_1001_2^11 - 57902242814627315070509375426627/863888890017666278\ 21829662*c_1001_2^10 + 16475081878690935031244363605938/43194444500\ 883313910914831*c_1001_2^9 + 336363719494473035816059925670657/8638\ 8889001766627821829662*c_1001_2^8 - 535403412549500394299332295990393/86388889001766627821829662*c_1001\ _2^7 - 2969597214487788405774797200284/814989518884590828507827*c_1\ 001_2^6 + 25144129680684511285732089289653/162997903776918165701565\ 4*c_1001_2^5 - 1146083468173417636910960958438245/86388889001766627\ 821829662*c_1001_2^4 + 218348361790952877621191980997032/4319444450\ 0883313910914831*c_1001_2^3 - 7684158379452501728939610847367/61706\ 34928697616272987833*c_1001_2^2 + 6661994809470410618883232976303/4\ 3194444500883313910914831*c_1001_2 - 791023092533721556308525166843/86388889001766627821829662, c_0011_0 - 1, c_0011_10 - 10917973376401168850/23659230669857776541*c_1001_2^13 - 97697898458081952860/23659230669857776541*c_1001_2^12 - 179019567319095068847/23659230669857776541*c_1001_2^11 + 3354816267481758664893/23659230669857776541*c_1001_2^10 - 2804432428771953483946/23659230669857776541*c_1001_2^9 - 18857479315179721415335/23659230669857776541*c_1001_2^8 + 35897797847556280305917/23659230669857776541*c_1001_2^7 + 10986760571309024875587/23659230669857776541*c_1001_2^6 - 82582109387933118262253/23659230669857776541*c_1001_2^5 + 84015369199381735416359/23659230669857776541*c_1001_2^4 - 38014695361515575572209/23659230669857776541*c_1001_2^3 + 9996785237269806780897/23659230669857776541*c_1001_2^2 - 1486954061588616088702/23659230669857776541*c_1001_2 + 85803735521549120487/23659230669857776541, c_0011_11 - 98796567099263930472/165614614689004435787*c_1001_2^13 - 918148232306677914463/165614614689004435787*c_1001_2^12 - 1947000284218227719150/165614614689004435787*c_1001_2^11 + 29578747088220708182163/165614614689004435787*c_1001_2^10 - 15495567062501839481419/165614614689004435787*c_1001_2^9 - 173257088464339615192392/165614614689004435787*c_1001_2^8 + 266418744742107215729775/165614614689004435787*c_1001_2^7 + 174885708393019253060881/165614614689004435787*c_1001_2^6 - 676968525668004718042479/165614614689004435787*c_1001_2^5 + 554844594454230231985009/165614614689004435787*c_1001_2^4 - 192212387423060941862332/165614614689004435787*c_1001_2^3 + 5833063922559674416778/23659230669857776541*c_1001_2^2 - 3021829142404860286309/165614614689004435787*c_1001_2 - 106625012761303458810/165614614689004435787, c_0011_12 - 66237048430076362362/165614614689004435787*c_1001_2^13 - 595277336645639883565/165614614689004435787*c_1001_2^12 - 1119365588749776134481/165614614689004435787*c_1001_2^11 + 20203576135952528806976/165614614689004435787*c_1001_2^10 - 16547151756396909901040/165614614689004435787*c_1001_2^9 - 112326416904825990613251/165614614689004435787*c_1001_2^8 + 214670357053180363368364/165614614689004435787*c_1001_2^7 + 58625470843892273584486/165614614689004435787*c_1001_2^6 - 488211061453419442774571/165614614689004435787*c_1001_2^5 + 518234938551845286133659/165614614689004435787*c_1001_2^4 - 250899102108445635181249/165614614689004435787*c_1001_2^3 + 9872670007149600017663/23659230669857776541*c_1001_2^2 - 10921378009267854381985/165614614689004435787*c_1001_2 + 701368260183694898968/165614614689004435787, c_0011_3 + 1, c_0011_9 + 106514543878/1665377986567*c_1001_2^13 + 918863575097/1665377986567*c_1001_2^12 + 1424355320905/1665377986567*c_1001_2^11 - 33431138968869/1665377986567*c_1001_2^10 + 37631897858040/1665377986567*c_1001_2^9 + 180012343954985/1665377986567*c_1001_2^8 - 412640835929664/1665377986567*c_1001_2^7 - 23527399292689/1665377986567*c_1001_2^6 + 886303005872703/1665377986567*c_1001_2^5 - 1048944195974401/1665377986567*c_1001_2^4 + 518595257340080/1665377986567*c_1001_2^3 - 125564006539819/1665377986567*c_1001_2^2 + 17134014663391/1665377986567*c_1001_2 - 443159377804/1665377986567, c_0101_0 - 75569714409760804257/165614614689004435787*c_1001_2^13 - 677221054645051644347/165614614689004435787*c_1001_2^12 - 1251860606454427195363/165614614689004435787*c_1001_2^11 + 23164638981344109531901/165614614689004435787*c_1001_2^10 - 19221987478239696260749/165614614689004435787*c_1001_2^9 - 129754212468332580633915/165614614689004435787*c_1001_2^8 + 247183570913503920569091/165614614689004435787*c_1001_2^7 + 73154034763322245670206/165614614689004435787*c_1001_2^6 - 566487010605340637409050/165614614689004435787*c_1001_2^5 + 584272672931411344343524/165614614689004435787*c_1001_2^4 - 270848486480096972915452/165614614689004435787*c_1001_2^3 + 10385850089745217675838/23659230669857776541*c_1001_2^2 - 11263902802657225767335/165614614689004435787*c_1001_2 + 832477811769924641558/165614614689004435787, c_0101_1 - 856099225047377693/165614614689004435787*c_1001_2^13 - 6664234561522025673/165614614689004435787*c_1001_2^12 - 1276364779238286566/165614614689004435787*c_1001_2^11 + 319074891028201122350/165614614689004435787*c_1001_2^10 - 409039523163978126873/165614614689004435787*c_1001_2^9 - 2248142737925469273430/165614614689004435787*c_1001_2^8 + 4101014019390041572328/165614614689004435787*c_1001_2^7 + 3753289235840928458903/165614614689004435787*c_1001_2^6 - 11587755110191190426721/165614614689004435787*c_1001_2^5 + 3834911464260803570989/165614614689004435787*c_1001_2^4 + 4745618949487943909989/165614614689004435787*c_1001_2^3 - 389064852475410894941/23659230669857776541*c_1001_2^2 + 855224371536913146421/165614614689004435787*c_1001_2 - 231851663119080798149/165614614689004435787, c_0101_10 - 149045644446247123009/165614614689004435787*c_1001_2^13 - 1372567850505485248733/165614614689004435787*c_1001_2^12 - 2823413615428432816523/165614614689004435787*c_1001_2^11 + 44839694866956890828516/165614614689004435787*c_1001_2^10 - 27236771420340010237817/165614614689004435787*c_1001_2^9 - 258687354782257857639098/165614614689004435787*c_1001_2^8 + 424459177950940995186595/165614614689004435787*c_1001_2^7 + 225854462983242312679853/165614614689004435787*c_1001_2^6 - 1041407074429982626248703/165614614689004435787*c_1001_2^5 + 929497351631047951498702/165614614689004435787*c_1001_2^4 - 369725478128963517381279/165614614689004435787*c_1001_2^3 + 13136412586941564142869/23659230669857776541*c_1001_2^2 - 12569523531734928311332/165614614689004435787*c_1001_2 + 667484704537505486473/165614614689004435787, c_0101_3 - 77466472098712555514/165614614689004435787*c_1001_2^13 - 697162611253140804235/165614614689004435787*c_1001_2^12 - 1311101598622416407914/165614614689004435787*c_1001_2^11 + 23683009085399681246339/165614614689004435787*c_1001_2^10 - 18839965144508841947678/165614614689004435787*c_1001_2^9 - 133357859010921151218222/165614614689004435787*c_1001_2^8 + 248342021663172900357787/165614614689004435787*c_1001_2^7 + 82233569377357844109228/165614614689004435787*c_1001_2^6 - 575361374207405239433003/165614614689004435787*c_1001_2^5 + 580168715336757485209634/165614614689004435787*c_1001_2^4 - 262424862927353326613181/165614614689004435787*c_1001_2^3 + 9825757319186138582759/23659230669857776541*c_1001_2^2 - 9993234069586232455425/165614614689004435787*c_1001_2 + 599770049425796465716/165614614689004435787, c_0101_5 + 1896757688951751257/165614614689004435787*c_1001_2^13 + 19941556608089159888/165614614689004435787*c_1001_2^12 + 59240992167989212551/165614614689004435787*c_1001_2^11 - 518370104055571714438/165614614689004435787*c_1001_2^10 - 382022333730854313071/165614614689004435787*c_1001_2^9 + 3603646542588570584307/165614614689004435787*c_1001_2^8 - 1158450749668979788696/165614614689004435787*c_1001_2^7 - 9079534614035598439022/165614614689004435787*c_1001_2^6 + 8874363602064602023953/165614614689004435787*c_1001_2^5 + 4103957594653859133890/165614614689004435787*c_1001_2^4 - 8423623552743646302271/165614614689004435787*c_1001_2^3 + 560092770559079093079/23659230669857776541*c_1001_2^2 - 1270668733070993311910/165614614689004435787*c_1001_2 + 232707762344128175842/165614614689004435787, c_0101_8 + 24573326673454276716/165614614689004435787*c_1001_2^13 + 213617053821519409959/165614614689004435787*c_1001_2^12 + 342171739938263121196/165614614689004435787*c_1001_2^11 - 7698818746700286889080/165614614689004435787*c_1001_2^10 + 8125077879112390333852/165614614689004435787*c_1001_2^9 + 42144390322425701923748/165614614689004435787*c_1001_2^8 - 91717430132977735806059/165614614689004435787*c_1001_2^7 - 11960066153464081377702/165614614689004435787*c_1001_2^6 + 200723224958537783359728/165614614689004435787*c_1001_2^5 - 225736033125084583118730/165614614689004435787*c_1001_2^4 + 108741622584301745194869/165614614689004435787*c_1001_2^3 - 4029131763661435591149/23659230669857776541*c_1001_2^2 + 4482823363944474770817/165614614689004435787*c_1001_2 - 251612421245787523771/165614614689004435787, c_1001_2^14 + 9*c_1001_2^13 + 17*c_1001_2^12 - 305*c_1001_2^11 + 245*c_1001_2^10 + 1702*c_1001_2^9 - 3207*c_1001_2^8 - 947*c_1001_2^7 + 7314*c_1001_2^6 - 7649*c_1001_2^5 + 3730*c_1001_2^4 - 1115*c_1001_2^3 + 206*c_1001_2^2 - 21*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.420 seconds, Total memory usage: 32.09MB