Magma V2.19-8 Tue Aug 20 2013 23:40:34 on localhost [Seed = 1679950066] Type ? for help. Type -D to quit. Loading file "K12n322__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n322 geometric_solution 10.87206898 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 1302 0132 0132 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 -1 0 1 1 0 -1 0 0 0 0 0 -3 4 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656906537697 0.810097111385 0 4 5 0 0132 0132 0132 2031 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 0 0 0 -1 0 0 1 3 1 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443290129024 1.046677050087 6 7 8 0 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 0 0 0 0 -1 1 -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.438965668076 0.532963899494 4 9 0 10 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 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.806229389169 0.478711375426 3 1 9 11 0132 0132 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 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.654378998171 1.279266656500 11 7 8 1 0132 2031 3201 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.556725135809 0.750054352653 2 11 7 10 0132 2103 1023 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.345621097299 0.541382431868 5 2 6 9 1302 0132 1023 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.205967300060 0.577798420972 5 9 10 2 2310 1302 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 -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.830806970262 0.652960841689 4 3 7 8 2103 0132 2031 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 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.577178093241 0.560906821004 6 8 3 11 3120 3201 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.829708082388 0.849814296990 5 6 4 10 0132 2103 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.383904898973 1.012324765975 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_2']), 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0011_8'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : d['c_0110_9'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0110_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], '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_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_11'], 'c_1100_8' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_8']), 'c_1100_4' : negation(d['c_0110_9']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0011_8']), 'c_1100_0' : d['c_0011_10'], 'c_1100_3' : d['c_0011_10'], 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_9']), 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0101_8']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_0011_8'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : d['c_1001_2'], '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'], '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_0'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0101_2']), 'c_0110_10' : d['c_0101_2'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_10'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_2']), 'c_0110_3' : d['c_0101_10'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_8'], '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_2, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_8, c_0110_9, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 31914799287053/478797704433125*c_1001_2^11 + 26077789694163/478797704433125*c_1001_2^10 + 89089336080643/95759540886625*c_1001_2^9 - 215226548141439/478797704433125*c_1001_2^8 + 4922314687239491/478797704433125*c_1001_2^7 - 993796935725493/478797704433125*c_1001_2^6 + 773491778293961/13679934412375*c_1001_2^5 - 5459980095716313/478797704433125*c_1001_2^4 - 22191926009259933/478797704433125*c_1001_2^3 + 21939352720428758/478797704433125*c_1001_2^2 + 70949788668197/13679934412375*c_1001_2 - 257492412864326/68399672061875, c_0011_0 - 1, c_0011_10 + 1782973614/1121306099375*c_1001_2^11 + 3502481744/1121306099375*c_1001_2^10 + 5474255984/224261219875*c_1001_2^9 + 18019675293/1121306099375*c_1001_2^8 + 275086391933/1121306099375*c_1001_2^7 + 269886948691/1121306099375*c_1001_2^6 + 320212892786/224261219875*c_1001_2^5 + 1541707358106/1121306099375*c_1001_2^4 - 87990533947/160186585625*c_1001_2^3 + 504868768829/1121306099375*c_1001_2^2 + 562947470222/224261219875*c_1001_2 + 35975110262/160186585625, c_0011_11 - 337248/345548875*c_1001_2^11 + 689302/345548875*c_1001_2^10 - 135552/13821955*c_1001_2^9 + 16057894/345548875*c_1001_2^8 - 50922126/345548875*c_1001_2^7 + 154010973/345548875*c_1001_2^6 - 45884658/69109775*c_1001_2^5 + 839146293/345548875*c_1001_2^4 + 575210148/345548875*c_1001_2^3 - 1152476653/345548875*c_1001_2^2 + 110065338/69109775*c_1001_2 + 53143206/49364125, c_0011_2 - 797482347/224261219875*c_1001_2^11 - 740181702/224261219875*c_1001_2^10 - 2157909429/44852243975*c_1001_2^9 + 3853062981/224261219875*c_1001_2^8 - 16718807472/32037317125*c_1001_2^7 - 1031532858/224261219875*c_1001_2^6 - 120977411019/44852243975*c_1001_2^5 - 60511711278/224261219875*c_1001_2^4 + 964315609637/224261219875*c_1001_2^3 - 171257485581/32037317125*c_1001_2^2 - 32745431199/44852243975*c_1001_2 + 22866867489/32037317125, c_0011_8 + 11651998366/1121306099375*c_1001_2^11 - 3831308464/1121306099375*c_1001_2^10 + 32541444461/224261219875*c_1001_2^9 - 266251397008/1121306099375*c_1001_2^8 + 291864423361/160186585625*c_1001_2^7 - 2645698406621/1121306099375*c_1001_2^6 + 2445132886494/224261219875*c_1001_2^5 - 15502882797286/1121306099375*c_1001_2^4 + 5809058142974/1121306099375*c_1001_2^3 + 4011278616601/1121306099375*c_1001_2^2 - 340775393762/224261219875*c_1001_2 - 79363480597/160186585625, c_0101_0 + 8931701348/1121306099375*c_1001_2^11 + 8717867558/1121306099375*c_1001_2^10 + 3634965734/32037317125*c_1001_2^9 - 38849872624/1121306099375*c_1001_2^8 + 1391426664006/1121306099375*c_1001_2^7 - 60491900913/1121306099375*c_1001_2^6 + 1558549729932/224261219875*c_1001_2^5 - 330838076983/1121306099375*c_1001_2^4 - 677972844754/160186585625*c_1001_2^3 + 5051870016778/1121306099375*c_1001_2^2 + 671653292874/224261219875*c_1001_2 - 123324351641/160186585625, c_0101_1 + 30809184/14562416875*c_1001_2^11 - 328330302/101936918125*c_1001_2^10 + 617462168/20387383625*c_1001_2^9 - 1211843042/14562416875*c_1001_2^8 + 43565542336/101936918125*c_1001_2^7 - 93552260903/101936918125*c_1001_2^6 + 56518122947/20387383625*c_1001_2^5 - 549596644648/101936918125*c_1001_2^4 + 432388310082/101936918125*c_1001_2^3 - 20444733282/101936918125*c_1001_2^2 - 4043915108/2912483375*c_1001_2 + 10320050329/14562416875, c_0101_10 + 12238829236/1121306099375*c_1001_2^11 + 8208616281/1121306099375*c_1001_2^10 + 4970924538/32037317125*c_1001_2^9 - 104763108993/1121306099375*c_1001_2^8 + 281294457931/160186585625*c_1001_2^7 - 697664572866/1121306099375*c_1001_2^6 + 2248740751944/224261219875*c_1001_2^5 - 3965932272756/1121306099375*c_1001_2^4 - 3309286913921/1121306099375*c_1001_2^3 + 1079872788653/160186585625*c_1001_2^2 + 61753586514/32037317125*c_1001_2 - 75759587962/160186585625, c_0101_2 - 171536026/160186585625*c_1001_2^11 - 8467634697/1121306099375*c_1001_2^10 - 522778756/32037317125*c_1001_2^9 - 99391238609/1121306099375*c_1001_2^8 - 72103486904/1121306099375*c_1001_2^7 - 1244204919733/1121306099375*c_1001_2^6 + 4955502212/224261219875*c_1001_2^5 - 7438908335853/1121306099375*c_1001_2^4 + 994129937686/160186585625*c_1001_2^3 - 3255231354427/1121306099375*c_1001_2^2 - 688530763691/224261219875*c_1001_2 + 85669060494/160186585625, c_0101_8 - 11038077054/1121306099375*c_1001_2^11 + 259018416/1121306099375*c_1001_2^10 - 4448145782/32037317125*c_1001_2^9 + 204154347602/1121306099375*c_1001_2^8 - 1896957718613/1121306099375*c_1001_2^7 + 1941869492599/1121306099375*c_1001_2^6 - 2253696254156/224261219875*c_1001_2^5 + 1629262944087/160186585625*c_1001_2^4 - 3649622649881/1121306099375*c_1001_2^3 - 4303878166144/1121306099375*c_1001_2^2 + 31994438218/224261219875*c_1001_2 - 9909472532/160186585625, c_0110_9 + 9527565759/1121306099375*c_1001_2^11 - 1468852236/1121306099375*c_1001_2^10 + 3776473267/32037317125*c_1001_2^9 - 27634725681/160186585625*c_1001_2^8 + 232644173789/160186585625*c_1001_2^7 - 1850278460454/1121306099375*c_1001_2^6 + 1909200284366/224261219875*c_1001_2^5 - 10689745371189/1121306099375*c_1001_2^4 + 2078654749301/1121306099375*c_1001_2^3 + 5651757864349/1121306099375*c_1001_2^2 - 344912276413/224261219875*c_1001_2 - 112686097628/160186585625, c_1001_2^12 + 14*c_1001_2^10 - 18*c_1001_2^9 + 170*c_1001_2^8 - 168*c_1001_2^7 + 996*c_1001_2^6 - 966*c_1001_2^5 + 180*c_1001_2^4 + 642*c_1001_2^3 - 191*c_1001_2^2 - 84*c_1001_2 + 49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.770 Total time: 0.970 seconds, Total memory usage: 32.09MB