Magma V2.19-8 Tue Aug 20 2013 23:47:46 on localhost [Seed = 728580422] Type ? for help. Type -D to quit. Loading file "L11n164__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L11n164 geometric_solution 10.93229173 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 2031 0 0 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 1 -1 1 0 0 -1 0 -1 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.874937408655 1.070689953206 0 0 5 4 0132 1302 0132 0132 0 0 0 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 -2 1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542371009959 0.560015787514 6 0 8 7 0132 0132 0132 0132 0 1 0 1 0 0 0 0 0 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 -1 0 0 1 0 2 0 -2 5 1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.924060580113 0.892854764270 7 9 8 0 0321 0132 0321 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 1 0 -1 1 0 -1 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.299342205638 0.728177119705 7 10 1 5 1302 0132 0132 1302 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 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.514478557603 1.245943232979 10 9 4 1 2310 0213 2031 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 -1 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.418709625925 0.963879604217 2 8 10 9 0132 3120 0132 3120 0 1 1 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 1 0 -1 0 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821830231122 0.813989086670 3 4 2 11 0321 2031 0132 0132 0 1 0 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 -5 0 -1 6 0 0 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634862507899 1.030788900098 11 6 3 2 0213 3120 0321 0132 0 1 1 0 0 0 0 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 0 0 0 0 0 0 0 -6 0 0 6 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.210816654906 0.671961178242 6 3 5 11 3120 0132 0213 0213 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 0 0 0 0 0 -1 1 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751349468438 0.892664699397 11 4 5 6 1230 0132 3201 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 0 0 0 0 0 -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.462579956134 0.605914380294 8 10 7 9 0213 3012 0132 0213 0 1 1 0 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 6 0 -6 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.471223040388 0.460698092648 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0101_5']), 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0110_4']), 'c_1001_6' : d['c_1001_4'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0110_4']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0110_4']), 'c_1001_8' : negation(d['c_1001_4']), 'c_1010_11' : d['c_0101_1'], 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_3']), 'c_0101_10' : negation(d['c_0101_1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : 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' : negation(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' : negation(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_0101_1'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : d['c_1001_3'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_3'], 'c_1100_10' : negation(d['c_0011_5']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0110_4']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0011_0']), 'c_1100_8' : d['c_1001_3'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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'], 's_1_7' : negation(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' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), '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_0110_11' : negation(d['c_0101_2']), 'c_0110_10' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_7']), 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_7']), 'c_0101_9' : d['c_0011_5'], 'c_0101_8' : d['c_0011_11'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : negation(d['c_0011_7']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_7']), 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0011_7, c_0101_1, c_0101_2, c_0101_5, c_0110_4, c_1001_3, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 9514245953549192706925/13216637716031204*c_1001_4^10 - 39409584831195396758263/6608318858015602*c_1001_4^9 - 58833323743461641063545/3304159429007801*c_1001_4^8 - 55085135092665370467923/1888091102290172*c_1001_4^7 - 413384859497741194449691/13216637716031204*c_1001_4^6 - 309163264041562916734335/13216637716031204*c_1001_4^5 - 78099637787316337290083/6608318858015602*c_1001_4^4 - 48386842098892356817893/13216637716031204*c_1001_4^3 - 8383224105922198996453/13216637716031204*c_1001_4^2 - 1331956650350782860709/13216637716031204*c_1001_4 - 171182633180582798909/6608318858015602, c_0011_0 - 1, c_0011_10 - 8183696167418323/36309444274811*c_1001_4^10 - 67937490264943334/36309444274811*c_1001_4^9 - 203391380106703730/36309444274811*c_1001_4^8 - 333818662110795729/36309444274811*c_1001_4^7 - 358547175877308231/36309444274811*c_1001_4^6 - 268878713079872859/36309444274811*c_1001_4^5 - 136357732591323878/36309444274811*c_1001_4^4 - 42639916795000783/36309444274811*c_1001_4^3 - 7539044374858528/36309444274811*c_1001_4^2 - 1147351422915996/36309444274811*c_1001_4 - 281433697546407/36309444274811, c_0011_11 + 102650770218868197/72618888549622*c_1001_4^10 + 420830396151998496/36309444274811*c_1001_4^9 + 1236653395256544624/36309444274811*c_1001_4^8 + 3994026821431759105/72618888549622*c_1001_4^7 + 4232204237829040261/72618888549622*c_1001_4^6 + 3128539777748147461/72618888549622*c_1001_4^5 + 778555501839460014/36309444274811*c_1001_4^4 + 474035939122846453/72618888549622*c_1001_4^3 + 81018678465832713/72618888549622*c_1001_4^2 + 13099044475788287/72618888549622*c_1001_4 + 1666348660983830/36309444274811, c_0011_3 + 117039264962517479/72618888549622*c_1001_4^10 + 481944225189847680/36309444274811*c_1001_4^9 + 1426079970252259710/36309444274811*c_1001_4^8 + 4635652988652747423/72618888549622*c_1001_4^7 + 4937474890005153589/72618888549622*c_1001_4^6 + 3669741913945029515/72618888549622*c_1001_4^5 + 920287739457574848/36309444274811*c_1001_4^4 + 566150447718804823/72618888549622*c_1001_4^3 + 98519969562515899/72618888549622*c_1001_4^2 + 16094977003462385/72618888549622*c_1001_4 + 1958398033931615/36309444274811, c_0011_5 + 13543098932663302/36309444274811*c_1001_4^10 + 113861701932262454/36309444274811*c_1001_4^9 + 347382741826796362/36309444274811*c_1001_4^8 + 579692305734512665/36309444274811*c_1001_4^7 + 630453809523946697/36309444274811*c_1001_4^6 + 478339837503254375/36309444274811*c_1001_4^5 + 246320255490753451/36309444274811*c_1001_4^4 + 78279781151074089/36309444274811*c_1001_4^3 + 14167794921235003/36309444274811*c_1001_4^2 + 2345760399946995/36309444274811*c_1001_4 + 572696151861629/36309444274811, c_0011_7 + 1, c_0101_1 + 2337994459270967/72618888549622*c_1001_4^10 + 8494630226283573/36309444274811*c_1001_4^9 + 19689177374576407/36309444274811*c_1001_4^8 + 46179222977855219/72618888549622*c_1001_4^7 + 34390437191281143/72618888549622*c_1001_4^6 + 15887190901904793/72618888549622*c_1001_4^5 + 1178568791205705/36309444274811*c_1001_4^4 - 239943270045049/72618888549622*c_1001_4^3 + 577700113253189/72618888549622*c_1001_4^2 + 239263569571199/72618888549622*c_1001_4 - 22850782237669/36309444274811, c_0101_2 - 172121739703485797/72618888549622*c_1001_4^10 - 713283979149126305/36309444274811*c_1001_4^9 - 2130471687141841055/36309444274811*c_1001_4^8 - 6978733155261396143/72618888549622*c_1001_4^7 - 7475203083547073809/72618888549622*c_1001_4^6 - 5583799253493081767/72618888549622*c_1001_4^5 - 1407214344956820175/36309444274811*c_1001_4^4 - 867763627843638215/72618888549622*c_1001_4^3 - 148579958051659035/72618888549622*c_1001_4^2 - 23635474093661679/72618888549622*c_1001_4 - 3059038013950847/36309444274811, c_0101_5 + 1492651055077649/72618888549622*c_1001_4^10 + 6742433651042622/36309444274811*c_1001_4^9 + 22547911069701243/36309444274811*c_1001_4^8 + 79837658011348251/72618888549622*c_1001_4^7 + 88761204414855649/72618888549622*c_1001_4^6 + 67307982734816947/72618888549622*c_1001_4^5 + 16802896827353397/36309444274811*c_1001_4^4 + 9105650944796939/72618888549622*c_1001_4^3 + 789591169076891/72618888549622*c_1001_4^2 + 93789269227945/72618888549622*c_1001_4 + 48973625358015/36309444274811, c_0110_4 - 15098904196490017/72618888549622*c_1001_4^10 - 63358424382820214/36309444274811*c_1001_4^9 - 192798273583909656/36309444274811*c_1001_4^8 - 641774603701026619/72618888549622*c_1001_4^7 - 695551982958633773/72618888549622*c_1001_4^6 - 525485174209484799/72618888549622*c_1001_4^5 - 134473460950554507/36309444274811*c_1001_4^4 - 84596774840079175/72618888549622*c_1001_4^3 - 15204398250350539/72618888549622*c_1001_4^2 - 2601672467609521/72618888549622*c_1001_4 - 319030694925492/36309444274811, c_1001_3 - 23080541415413671/72618888549622*c_1001_4^10 - 94811551132405974/36309444274811*c_1001_4^9 - 280073915672070978/36309444274811*c_1001_4^8 - 913282430676584795/72618888549622*c_1001_4^7 - 978020436938548983/72618888549622*c_1001_4^6 - 730576163890859667/72618888549622*c_1001_4^5 - 184652641165391217/36309444274811*c_1001_4^4 - 114850505958357583/72618888549622*c_1001_4^3 - 19672675901599583/72618888549622*c_1001_4^2 - 2951961665426597/72618888549622*c_1001_4 - 381051451325529/36309444274811, c_1001_4^11 + 1594/179*c_1001_4^10 + 5348/179*c_1001_4^9 + 10003/179*c_1001_4^8 + 12281/179*c_1001_4^7 + 10645/179*c_1001_4^6 + 6550/179*c_1001_4^5 + 2735/179*c_1001_4^4 + 723/179*c_1001_4^3 + 123/179*c_1001_4^2 + 22/179*c_1001_4 + 4/179 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB