Magma V2.19-8 Tue Aug 20 2013 17:56:33 on localhost [Seed = 1899021653] Type ? for help. Type -D to quit. Loading file "9_19__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_19 geometric_solution 10.03254745 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 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 -1 1 -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.453055254314 0.867431041176 0 2 5 5 0132 1302 2103 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 1 0 0 -1 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.617255424224 0.569689604509 3 0 6 1 1302 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.776008559645 0.828579897514 7 2 8 0 0132 2031 0132 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 -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.296950390787 1.361055465241 7 8 0 8 2103 2031 0132 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 1 -1 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.292122293955 0.805099626855 1 9 1 10 2103 0132 0132 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 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.125143529014 0.807439865895 7 7 10 2 1230 2310 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.615987879495 0.474211281231 3 6 4 6 0132 3012 2103 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.019311825920 0.784705646059 4 9 4 3 1302 2031 0132 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 1 0 0 -1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292122293955 0.805099626855 8 5 10 10 1302 0132 0132 3120 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 1 -1 -1 0 2 -1 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.801502618867 1.354293837073 9 6 5 9 3120 3201 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 1 0 1 -2 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.105949294370 0.722863322372 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_6']), 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : d['c_0011_4'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : negation(d['c_0101_6']), 'c_1001_8' : d['c_0011_8'], 'c_1010_10' : negation(d['c_0101_6']), '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' : negation(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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_4'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0101_10']), 'c_1010_7' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0011_8'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0011_10']), 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : negation(d['c_0011_5']), 'c_1100_8' : d['c_1100_0'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(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'], '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' : negation(d['c_0011_5']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0011_8']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_8']), 'c_0101_8' : negation(d['c_0011_4']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_4']), 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_3'])})} 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_4, c_0011_5, c_0011_8, c_0101_0, c_0101_10, c_0101_3, c_0101_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 389049788330188572875242/3917515401415218179311*c_1100_0^19 - 1517068775343394647780030/3917515401415218179311*c_1100_0^18 + 105375538510270968839757/3917515401415218179311*c_1100_0^17 + 6408961451811725609032368/3917515401415218179311*c_1100_0^16 + 518448943606382433311453/559645057345031168473*c_1100_0^15 - 622520075854106216864398/91105009335237632077*c_1100_0^14 - 94753679050346295248540538/3917515401415218179311*c_1100_0^13 - 118218167599609437184310907/3917515401415218179311*c_1100_0^12 + 33041916491345433880929387/559645057345031168473*c_1100_0^11 + 1357596159282317786861653140/3917515401415218179311*c_1100_0^10 + 482923868831298654935775947/559645057345031168473*c_1100_0^9 + 5882647651439974931201644247/3917515401415218179311*c_1100_0^8 + 7867939132258934912705791782/3917515401415218179311*c_1100_0^7 + 8496321996566406735190282089/3917515401415218179311*c_1100_0^6 + 7581772885022727531697769014/3917515401415218179311*c_1100_0^5 + 5552643227131695225763199262/3917515401415218179311*c_1100_0^4 + 3359609952427605627233930512/3917515401415218179311*c_1100_0^3 + 1622399766951970129388399339/3917515401415218179311*c_1100_0^2 + 575205830454544250996638015/3917515401415218179311*c_1100_0 + 153985358678496181996554027/3917515401415218179311, c_0011_0 - 1, c_0011_10 + 554915784861961/18627072037464247*c_1100_0^19 + 2726782702096251/18627072037464247*c_1100_0^18 + 5289737228191806/18627072037464247*c_1100_0^17 + 8074597290593226/18627072037464247*c_1100_0^16 + 2989194940098054/2661010291066321*c_1100_0^15 + 81821812003912466/18627072037464247*c_1100_0^14 + 296396000028789308/18627072037464247*c_1100_0^13 + 809995355528661789/18627072037464247*c_1100_0^12 + 243649038796354885/2661010291066321*c_1100_0^11 + 2885336523299550429/18627072037464247*c_1100_0^10 + 572735032004159382/2661010291066321*c_1100_0^9 + 4668818913449791561/18627072037464247*c_1100_0^8 + 4587280890889395495/18627072037464247*c_1100_0^7 + 3824921576891657729/18627072037464247*c_1100_0^6 + 2748937766640613696/18627072037464247*c_1100_0^5 + 1677817280284071209/18627072037464247*c_1100_0^4 + 903693437632320726/18627072037464247*c_1100_0^3 + 428777344830303923/18627072037464247*c_1100_0^2 + 154172914124385104/18627072037464247*c_1100_0 + 58809370168494661/18627072037464247, c_0011_3 - 589997694859929/18627072037464247*c_1100_0^19 - 3350958163566395/18627072037464247*c_1100_0^18 - 7484620399672212/18627072037464247*c_1100_0^17 - 11366072441029758/18627072037464247*c_1100_0^16 - 3765219175395655/2661010291066321*c_1100_0^15 - 100346429048942333/18627072037464247*c_1100_0^14 - 371272026717203061/18627072037464247*c_1100_0^13 - 1058142276160974944/18627072037464247*c_1100_0^12 - 329955711725879296/2661010291066321*c_1100_0^11 - 4035663879145548022/18627072037464247*c_1100_0^10 - 827053011045224137/2661010291066321*c_1100_0^9 - 6943243177790073241/18627072037464247*c_1100_0^8 - 7069840896773650572/18627072037464247*c_1100_0^7 - 6129380257213087198/18627072037464247*c_1100_0^6 - 4538280741523179837/18627072037464247*c_1100_0^5 - 2858386741667931752/18627072037464247*c_1100_0^4 - 1522669756780758568/18627072037464247*c_1100_0^3 - 699521139924018863/18627072037464247*c_1100_0^2 - 233102310977639763/18627072037464247*c_1100_0 - 76698871728675218/18627072037464247, c_0011_4 + 501255088546388/18627072037464247*c_1100_0^19 + 5484642369433664/18627072037464247*c_1100_0^18 + 23540019654207505/18627072037464247*c_1100_0^17 + 51931556482532751/18627072037464247*c_1100_0^16 + 11607631520452283/2661010291066321*c_1100_0^15 + 205777419998849260/18627072037464247*c_1100_0^14 + 810504542552497259/18627072037464247*c_1100_0^13 + 2798226763263875837/18627072037464247*c_1100_0^12 + 1072228458315645143/2661010291066321*c_1100_0^11 + 15596031061474355539/18627072037464247*c_1100_0^10 + 3684197946543413125/2661010291066321*c_1100_0^9 + 34853940850969710747/18627072037464247*c_1100_0^8 + 39022626557336666829/18627072037464247*c_1100_0^7 + 36537078472942954569/18627072037464247*c_1100_0^6 + 28725599491699301068/18627072037464247*c_1100_0^5 + 18781201309204287550/18627072037464247*c_1100_0^4 + 10098977076348509675/18627072037464247*c_1100_0^3 + 4321104031209092096/18627072037464247*c_1100_0^2 + 1344591119245804071/18627072037464247*c_1100_0 + 283339675858173731/18627072037464247, c_0011_5 + 1727844100505317/18627072037464247*c_1100_0^19 + 9647625293560798/18627072037464247*c_1100_0^18 + 20987210892825405/18627072037464247*c_1100_0^17 + 31346770082439481/18627072037464247*c_1100_0^16 + 10650045627982160/2661010291066321*c_1100_0^15 + 287090427326590819/18627072037464247*c_1100_0^14 + 1059698905403378568/18627072037464247*c_1100_0^13 + 2998578778952669492/18627072037464247*c_1100_0^12 + 926587389296026426/2661010291066321*c_1100_0^11 + 11229213791014244920/18627072037464247*c_1100_0^10 + 2278515841090908179/2661010291066321*c_1100_0^9 + 18923019222793700877/18627072037464247*c_1100_0^8 + 19048120764938885531/18627072037464247*c_1100_0^7 + 16293935871734312140/18627072037464247*c_1100_0^6 + 11899356386832923881/18627072037464247*c_1100_0^5 + 7380419816822272844/18627072037464247*c_1100_0^4 + 3763705482614561017/18627072037464247*c_1100_0^3 + 1567701783044987739/18627072037464247*c_1100_0^2 + 456598358354648572/18627072037464247*c_1100_0 + 96313603786823608/18627072037464247, c_0011_8 + 711057404663304/2661010291066321*c_1100_0^19 + 4426968586174525/2661010291066321*c_1100_0^18 + 11015767570855634/2661010291066321*c_1100_0^17 + 17301118621156196/2661010291066321*c_1100_0^16 + 36076913663547619/2661010291066321*c_1100_0^15 + 133790974112838451/2661010291066321*c_1100_0^14 + 503711407783309976/2661010291066321*c_1100_0^13 + 1480420166399277491/2661010291066321*c_1100_0^12 + 3333727285840467274/2661010291066321*c_1100_0^11 + 5960322088971528707/2661010291066321*c_1100_0^10 + 8699803671007766130/2661010291066321*c_1100_0^9 + 10555858471123410473/2661010291066321*c_1100_0^8 + 10785054988750625974/2661010291066321*c_1100_0^7 + 9314484578429024413/2661010291066321*c_1100_0^6 + 6793414282280507722/2661010291066321*c_1100_0^5 + 4149928703233637826/2661010291066321*c_1100_0^4 + 2076905253362617542/2661010291066321*c_1100_0^3 + 828252846473951160/2661010291066321*c_1100_0^2 + 236785527959971783/2661010291066321*c_1100_0 + 43894644131698287/2661010291066321, c_0101_0 + 1958890116946556/18627072037464247*c_1100_0^19 + 10969670338874592/18627072037464247*c_1100_0^18 + 24096107518087993/18627072037464247*c_1100_0^17 + 36254621964481517/18627072037464247*c_1100_0^16 + 12173784042850059/2661010291066321*c_1100_0^15 + 327302583588212287/18627072037464247*c_1100_0^14 + 1209355582124230486/18627072037464247*c_1100_0^13 + 3429929556575608290/18627072037464247*c_1100_0^12 + 1063258009370958073/2661010291066321*c_1100_0^11 + 12920164279217957420/18627072037464247*c_1100_0^10 + 2628770528241305515/2661010291066321*c_1100_0^9 + 21888424622036580984/18627072037464247*c_1100_0^8 + 22078043846114667766/18627072037464247*c_1100_0^7 + 18925414754953783637/18627072037464247*c_1100_0^6 + 13810974824869901884/18627072037464247*c_1100_0^5 + 8534805724653891521/18627072037464247*c_1100_0^4 + 4356681932606916183/18627072037464247*c_1100_0^3 + 1823855801468912125/18627072037464247*c_1100_0^2 + 565338382180382784/18627072037464247*c_1100_0 + 125235769706099000/18627072037464247, c_0101_10 + 1470496823916691/18627072037464247*c_1100_0^19 + 8369669560468249/18627072037464247*c_1100_0^18 + 19064441600929372/18627072037464247*c_1100_0^17 + 29566164490476598/18627072037464247*c_1100_0^16 + 9575805316041429/2661010291066321*c_1100_0^15 + 252547963552304960/18627072037464247*c_1100_0^14 + 935262346490338166/18627072037464247*c_1100_0^13 + 2679989205804079721/18627072037464247*c_1100_0^12 + 842227751156348344/2661010291066321*c_1100_0^11 + 10369094478383082448/18627072037464247*c_1100_0^10 + 2138735402793295144/2661010291066321*c_1100_0^9 + 18063440741321305297/18627072037464247*c_1100_0^8 + 18480690362689497742/18627072037464247*c_1100_0^7 + 16122884012706011701/18627072037464247*c_1100_0^6 + 11997853112434286074/18627072037464247*c_1100_0^5 + 7556562863639488231/18627072037464247*c_1100_0^4 + 3945061331705822666/18627072037464247*c_1100_0^3 + 1654606239844027556/18627072037464247*c_1100_0^2 + 515877024875587052/18627072037464247*c_1100_0 + 105711848037845612/18627072037464247, c_0101_3 + 2742560479751300/18627072037464247*c_1100_0^19 + 15081694820843127/18627072037464247*c_1100_0^18 + 32306532128647943/18627072037464247*c_1100_0^17 + 47988039652415395/18627072037464247*c_1100_0^16 + 16486654691672767/2661010291066321*c_1100_0^15 + 447865456812555890/18627072037464247*c_1100_0^14 + 1651431406783757974/18627072037464247*c_1100_0^13 + 4649422626314383677/18627072037464247*c_1100_0^12 + 1428966838470091556/2661010291066321*c_1100_0^11 + 17221023078983982255/18627072037464247*c_1100_0^10 + 3473702366625976484/2661010291066321*c_1100_0^9 + 28668963523502811970/18627072037464247*c_1100_0^8 + 28656026185678061603/18627072037464247*c_1100_0^7 + 24312944631143970988/18627072037464247*c_1100_0^6 + 17545857292372555063/18627072037464247*c_1100_0^5 + 10695429726010420121/18627072037464247*c_1100_0^4 + 5359394257374108727/18627072037464247*c_1100_0^3 + 2172192940325957261/18627072037464247*c_1100_0^2 + 638731375903057840/18627072037464247*c_1100_0 + 124371906499634341/18627072037464247, c_0101_6 - 568628404348827/2661010291066321*c_1100_0^19 - 3284427426860166/2661010291066321*c_1100_0^18 - 7083768497235022/2661010291066321*c_1100_0^17 - 9294699976856866/2661010291066321*c_1100_0^16 - 21964413848146791/2661010291066321*c_1100_0^15 - 93849132348130008/2661010291066321*c_1100_0^14 - 352454849404672922/2661010291066321*c_1100_0^13 - 987955036658473734/2661010291066321*c_1100_0^12 - 2079688115981793487/2661010291066321*c_1100_0^11 - 3442908671222228031/2661010291066321*c_1100_0^10 - 4623462986803533321/2661010291066321*c_1100_0^9 - 5129704283795554736/2661010291066321*c_1100_0^8 - 4785580007405133399/2661010291066321*c_1100_0^7 - 3770290951890171287/2661010291066321*c_1100_0^6 - 2505366833260790429/2661010291066321*c_1100_0^5 - 1399782740124670795/2661010291066321*c_1100_0^4 - 634257173474391016/2661010291066321*c_1100_0^3 - 230694716910836066/2661010291066321*c_1100_0^2 - 58623434855223087/2661010291066321*c_1100_0 - 8478239493138347/2661010291066321, c_1100_0^20 + 7*c_1100_0^19 + 20*c_1100_0^18 + 35*c_1100_0^17 + 68*c_1100_0^16 + 226*c_1100_0^15 + 846*c_1100_0^14 + 2594*c_1100_0^13 + 6173*c_1100_0^12 + 11702*c_1100_0^11 + 18185*c_1100_0^10 + 23587*c_1100_0^9 + 25906*c_1100_0^8 + 24290*c_1100_0^7 + 19462*c_1100_0^6 + 13314*c_1100_0^5 + 7684*c_1100_0^4 + 3667*c_1100_0^3 + 1407*c_1100_0^2 + 390*c_1100_0 + 73 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.330 seconds, Total memory usage: 32.09MB