Magma V2.19-8 Wed Aug 21 2013 00:57:15 on localhost [Seed = 1393904011] Type ? for help. Type -D to quit. Loading file "L13n4189__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4189 geometric_solution 11.91846510 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 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 0 0 0 0 0 0 0 1 0 -1 -2 0 2 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.878920587040 1.007482176899 0 5 7 6 0132 0132 0132 0132 1 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 0 0 0 0 0 0 0 2 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.443578151489 1.031756182763 8 0 5 9 0132 0132 0321 0132 1 1 1 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 0 0 0 0 0 0 0 -1 0 1 0 0 4 -4 -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.941380153478 0.989685145832 8 10 11 0 3012 0132 0132 0132 1 0 1 1 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 0 0 0 1 0 1 -2 4 -4 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.362961227692 0.437919230244 11 10 0 7 0132 1230 0132 0132 1 0 1 1 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 0 0 0 4 1 -5 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 0 0 0.539865989635 0.777891456250 12 1 2 9 0132 0132 0321 1230 1 1 1 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 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.398258602449 0.677119985621 8 12 1 11 2031 1230 0132 0132 1 0 1 1 0 0 0 0 0 0 -1 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 0 0 0 0 0 1 -1 1 -1 0 0 -4 5 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.875992943602 0.772468603280 8 12 4 1 1023 0132 0132 0132 1 0 1 1 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 -5 5 0 -1 0 0 1 -1 1 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.398265900172 0.555830313985 2 7 6 3 0132 1023 1302 1230 0 1 1 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 0 0 0 0 0 0 0 1 0 -1 0 0 4 -4 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.365491569316 0.423783350040 5 11 2 10 3012 2103 0132 2103 1 1 1 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 0 0 0 0 0 0 0 0 -1 1 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522322804008 0.818164722262 12 3 4 9 3012 0132 3012 2103 1 1 1 1 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 0 0 0 0 0 -4 4 0 1 0 -1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.416040912423 1.282193575743 4 9 6 3 0132 2103 0132 0132 1 0 1 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 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 1.132531758281 1.055934521331 5 7 6 10 0132 0132 3012 1230 1 1 1 1 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 0 0 0 0 0 5 -5 0 0 0 0 0 -4 4 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.332028280993 0.925562026289 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : d['c_0011_11'], 'c_1001_12' : negation(d['c_0011_6']), 'c_1001_5' : negation(d['c_0110_10']), 'c_1001_4' : d['c_0110_9'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : negation(d['c_0110_10']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : d['c_0011_11'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0110_9'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_0101_11'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_9'], 'c_0101_11' : d['c_0101_11'], '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_11'], 'c_1100_8' : d['c_0101_0'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0110_9'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0110_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : negation(d['c_0110_9']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_0011_9'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_0011_11'], 'c_1010_2' : d['c_0011_11'], 'c_1010_1' : negation(d['c_0110_10']), 'c_1010_0' : d['c_0110_9'], 'c_1010_9' : negation(d['c_1001_3']), 'c_1010_8' : d['c_0101_1'], '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_0110_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' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : negation(d['c_0011_6']), '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_0110_9'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0110_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0011_9'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11'], '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_11, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0110_10, c_0110_9, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 1531599439997601/593588059900*c_1100_0^12 + 57263808262841/11871761198*c_1100_0^11 - 1667021056172927/593588059900*c_1100_0^10 - 5509171238454327/593588059900*c_1100_0^9 - 4137474678831873/296794029950*c_1100_0^8 - 1542762678460903/593588059900*c_1100_0^7 + 3742627478642183/593588059900*c_1100_0^6 + 263414851395956/29679402995*c_1100_0^5 + 894850879477487/296794029950*c_1100_0^4 - 874903391520467/148397014975*c_1100_0^3 - 528600638255759/53962550900*c_1100_0^2 - 970267281840816/148397014975*c_1100_0 - 1736440825397161/593588059900, c_0011_0 - 1, c_0011_10 + 507237679/857052279*c_1100_0^12 - 7958275391/857052279*c_1100_0^11 + 1460546563/857052279*c_1100_0^10 + 3016014827/857052279*c_1100_0^9 + 17577819214/857052279*c_1100_0^8 + 7242838285/857052279*c_1100_0^7 - 2671356083/857052279*c_1100_0^6 - 1117775303/95228031*c_1100_0^5 - 2508971735/285684093*c_1100_0^4 + 1964520349/857052279*c_1100_0^3 + 11227405934/857052279*c_1100_0^2 + 7802946844/857052279*c_1100_0 + 5755671010/857052279, c_0011_11 - 26251538378/857052279*c_1100_0^12 - 7528650533/857052279*c_1100_0^11 + 17598874417/857052279*c_1100_0^10 + 67441157750/857052279*c_1100_0^9 + 52403403439/857052279*c_1100_0^8 - 914002022/857052279*c_1100_0^7 - 39714717089/857052279*c_1100_0^6 - 4613170697/95228031*c_1100_0^5 - 243937880/285684093*c_1100_0^4 + 40727483065/857052279*c_1100_0^3 + 44790773732/857052279*c_1100_0^2 + 30302792254/857052279*c_1100_0 + 8303200339/857052279, c_0011_6 - 978624140/857052279*c_1100_0^12 - 6524235314/857052279*c_1100_0^11 + 1569707323/857052279*c_1100_0^10 + 5817112436/857052279*c_1100_0^9 + 17178477508/857052279*c_1100_0^8 + 5331524947/857052279*c_1100_0^7 - 3114782723/857052279*c_1100_0^6 - 1174946264/95228031*c_1100_0^5 - 1685739878/285684093*c_1100_0^4 + 3343469140/857052279*c_1100_0^3 + 10521412001/857052279*c_1100_0^2 + 8300918494/857052279*c_1100_0 + 4763252173/857052279, c_0011_9 - 4570452263/857052279*c_1100_0^12 - 3140034458/857052279*c_1100_0^11 + 3988785448/857052279*c_1100_0^10 + 13623021980/857052279*c_1100_0^9 + 11209361206/857052279*c_1100_0^8 + 665300170/857052279*c_1100_0^7 - 9900690452/857052279*c_1100_0^6 - 791405285/95228031*c_1100_0^5 - 281635691/285684093*c_1100_0^4 + 8952231883/857052279*c_1100_0^3 + 9656323646/857052279*c_1100_0^2 + 6056482540/857052279*c_1100_0 + 1980843847/857052279, c_0101_0 - 1, c_0101_1 + 58869291/31742677*c_1100_0^12 + 335381111/31742677*c_1100_0^11 - 136507509/31742677*c_1100_0^10 - 311777949/31742677*c_1100_0^9 - 818635464/31742677*c_1100_0^8 - 226381654/31742677*c_1100_0^7 + 216681802/31742677*c_1100_0^6 + 478735528/31742677*c_1100_0^5 + 274050961/31742677*c_1100_0^4 - 236599370/31742677*c_1100_0^3 - 507341541/31742677*c_1100_0^2 - 357311835/31742677*c_1100_0 - 197536791/31742677, c_0101_10 - 17534649652/857052279*c_1100_0^12 - 1195019617/857052279*c_1100_0^11 + 11013088976/857052279*c_1100_0^10 + 42998998573/857052279*c_1100_0^9 + 25070899316/857052279*c_1100_0^8 - 2760273838/857052279*c_1100_0^7 - 24880293973/857052279*c_1100_0^6 - 2300556325/95228031*c_1100_0^5 + 503777831/285684093*c_1100_0^4 + 24785595563/857052279*c_1100_0^3 + 24122417485/857052279*c_1100_0^2 + 16240382861/857052279*c_1100_0 + 4034300897/857052279, c_0101_11 + 377911417/31742677*c_1100_0^12 - 296161396/31742677*c_1100_0^11 - 189626537/31742677*c_1100_0^10 - 759781083/31742677*c_1100_0^9 + 236986226/31742677*c_1100_0^8 + 408377689/31742677*c_1100_0^7 + 394724088/31742677*c_1100_0^6 - 27169597/31742677*c_1100_0^5 - 371267703/31742677*c_1100_0^4 - 407801306/31742677*c_1100_0^3 - 21063403/31742677*c_1100_0^2 + 6936565/31742677*c_1100_0 + 134787309/31742677, c_0110_10 - 4443325211/857052279*c_1100_0^12 - 9019099580/857052279*c_1100_0^11 + 5161725343/857052279*c_1100_0^10 + 15125365259/857052279*c_1100_0^9 + 26804367895/857052279*c_1100_0^8 + 5257026694/857052279*c_1100_0^7 - 9839820320/857052279*c_1100_0^6 - 1857051674/95228031*c_1100_0^5 - 2510170106/285684093*c_1100_0^4 + 10512455161/857052279*c_1100_0^3 + 17571501455/857052279*c_1100_0^2 + 13399407652/857052279*c_1100_0 + 6311733226/857052279, c_0110_9 - 14964744626/857052279*c_1100_0^12 - 6262908689/857052279*c_1100_0^11 + 9109409593/857052279*c_1100_0^10 + 39980284709/857052279*c_1100_0^9 + 34971413839/857052279*c_1100_0^8 + 4293730624/857052279*c_1100_0^7 - 23358717113/857052279*c_1100_0^6 - 2900777663/95228031*c_1100_0^5 - 1251210899/285684093*c_1100_0^4 + 23642794033/857052279*c_1100_0^3 + 29116103105/857052279*c_1100_0^2 + 19853217520/857052279*c_1100_0 + 7161797782/857052279, c_1001_3 - 2568679048/95228031*c_1100_0^12 - 529260427/95228031*c_1100_0^11 + 1503342512/95228031*c_1100_0^10 + 6538411918/95228031*c_1100_0^9 + 4772844389/95228031*c_1100_0^8 + 119568731/95228031*c_1100_0^7 - 3821572435/95228031*c_1100_0^6 - 1263041984/31742677*c_1100_0^5 - 46031718/31742677*c_1100_0^4 + 3991521512/95228031*c_1100_0^3 + 4219171510/95228031*c_1100_0^2 + 2997019832/95228031*c_1100_0 + 817432133/95228031, c_1100_0^13 + 5/13*c_1100_0^12 - 1/13*c_1100_0^11 - 36/13*c_1100_0^10 - 33/13*c_1100_0^9 - 19/13*c_1100_0^8 + 14/13*c_1100_0^7 + 25/13*c_1100_0^6 + 12/13*c_1100_0^5 - 14/13*c_1100_0^4 - 27/13*c_1100_0^3 - 27/13*c_1100_0^2 - c_1100_0 - 5/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.420 Total time: 0.630 seconds, Total memory usage: 32.09MB