Magma V2.19-8 Tue Aug 20 2013 23:39:25 on localhost [Seed = 3069235951] Type ? for help. Type -D to quit. Loading file "K13n3875__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3875 geometric_solution 9.63573192 oriented_manifold CS_known -0.0000000000000002 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 -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 1 0 -1 1 0 -1 0 -12 12 0 0 1 -13 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642102771409 0.888358572143 0 4 6 5 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 0 0 0 -1 0 1 0 -1 1 0 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431417187554 0.388643465227 7 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 -1 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 13 0 -13 13 -12 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.652746019858 1.224720964322 7 9 8 0 2031 0132 2031 0132 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 -1 1 0 12 0 -12 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465572113967 0.739388793959 9 8 0 1 0132 2031 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 1 -1 0 0 0 0 -12 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465572113967 0.739388793959 7 8 1 10 1023 0132 0132 0132 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 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472823499539 0.577193080645 7 10 10 1 3120 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 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.225097350335 0.470445035334 2 5 3 6 0132 1023 1302 3120 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 1 -1 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.815645660278 0.574116718456 4 5 2 3 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 -1 1 0 0 0 0 0 0 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.652746019858 1.224720964322 4 3 10 2 0132 0132 0213 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 0 0 0 0 0 0 0 0 -1 0 1 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642102771409 0.888358572143 6 9 5 6 1302 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.552738470281 1.669717889566 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0110_8']), 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0110_8']), 'c_1001_2' : negation(d['c_0110_8']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : d['c_0101_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_6']), 's_2_0' : negation(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' : 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' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_3'], 'c_1100_8' : d['c_0101_3'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : d['c_0101_3'], 'c_1100_10' : d['c_1100_1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0110_8']), 'c_1010_9' : negation(d['c_0110_8']), 'c_1010_8' : d['c_1001_5'], 's_3_1' : d['1'], 's_3_0' : 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' : 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_0']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : negation(d['c_0101_3']), 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1']})} 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_6, c_0101_0, c_0101_1, c_0101_3, c_0110_8, c_1001_0, c_1001_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 1/8*c_1001_5 + 1/8, c_0011_0 - 1, c_0011_10 + 1, c_0011_3 + c_1001_5, c_0011_6 + c_1001_5, c_0101_0 - 1, c_0101_1 - c_1001_5 - 1, c_0101_3 - 1, c_0110_8 - 1, c_1001_0 + c_1001_5 + 1, c_1001_5^2 + c_1001_5 + 2, c_1100_1 - 1 ], 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_6, c_0101_0, c_0101_1, c_0101_3, c_0110_8, c_1001_0, c_1001_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 1085843/646*c_1001_5*c_1100_1^2 + 4843603/323*c_1001_5*c_1100_1 - 13791695/646*c_1001_5 + 2040545/646*c_1100_1^2 + 9102113/323*c_1100_1 - 12960023/323, c_0011_0 - 1, c_0011_10 - 3/17*c_1001_5*c_1100_1^2 - 25/17*c_1001_5*c_1100_1 + 13/17*c_1001_5 + 1/17*c_1100_1^2 - 3/17*c_1100_1 + 7/17, c_0011_3 + 1/17*c_1001_5*c_1100_1^2 + 14/17*c_1001_5*c_1100_1 - 10/17*c_1001_5 + 1/17*c_1100_1^2 - 3/17*c_1100_1 - 10/17, c_0011_6 - 1/17*c_1001_5*c_1100_1^2 - 14/17*c_1001_5*c_1100_1 - 7/17*c_1001_5 - 1/17*c_1100_1^2 + 3/17*c_1100_1 + 10/17, c_0101_0 - 3/17*c_1001_5*c_1100_1^2 - 25/17*c_1001_5*c_1100_1 + 13/17*c_1001_5 + 2/17*c_1100_1^2 + 11/17*c_1100_1 - 3/17, c_0101_1 - c_1001_5 + 2/17*c_1100_1^2 + 11/17*c_1100_1 - 3/17, c_0101_3 + 2/17*c_1100_1^2 + 11/17*c_1100_1 - 3/17, c_0110_8 - 1/17*c_1100_1^2 - 14/17*c_1100_1 + 10/17, c_1001_0 + 1/17*c_1001_5*c_1100_1^2 + 14/17*c_1001_5*c_1100_1 - 10/17*c_1001_5 + 1/17*c_1100_1^2 - 3/17*c_1100_1 + 7/17, c_1001_5^2 - 2/17*c_1001_5*c_1100_1^2 - 11/17*c_1001_5*c_1100_1 + 3/17*c_1001_5 - c_1100_1, c_1100_1^3 + 9*c_1100_1^2 - 12*c_1100_1 - 1 ], 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_6, c_0101_0, c_0101_1, c_0101_3, c_0110_8, c_1001_0, c_1001_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 13802164358241716967694239/30473444478102880693888*c_1100_1^13 - 150739841431112077375918545/30473444478102880693888*c_1100_1^12 - 857709952127708694577350441/30473444478102880693888*c_1100_1^11 - 1084358047526747933763579497/15236722239051440346944*c_1100_1^10 - 2137334440172496745174346681/15236722239051440346944*c_1100_1^9 - 738056483425387531536536635/3809180559762860086736*c_1100_1^8 - 3316830917923419849826178397/15236722239051440346944*c_1100_1^7 - 4530809151516558466841520271/15236722239051440346944*c_1100_1^6 - 2347660523675001203145469957/3809180559762860086736*c_1100_1^5 - 2335312177772746975763579215/3809180559762860086736*c_1100_1^4 - 2783553375266298829783771867/7618361119525720173472*c_1100_1^3 - 616587346580815714237202415/3809180559762860086736*c_1100_1^2 - 24917522437659405784883283587/30473444478102880693888*c_1100_1 - 1439552249809464344085182415/3809180559762860086736, c_0011_0 - 1, c_0011_10 - 374937758149138943369/243787555824823045551104*c_1100_1^13 - 2509285358287327792763/243787555824823045551104*c_1100_1^12 - 3391255873523438466687/243787555824823045551104*c_1100_1^11 + 34933999554680758724883/121893777912411522775552*c_1100_1^10 + 157758975896639848478943/121893777912411522775552*c_1100_1^9 + 214203692546367725037211/60946888956205761387776*c_1100_1^8 + 784308089741894163182343/121893777912411522775552*c_1100_1^7 + 971349433449114544771893/121893777912411522775552*c_1100_1^6 + 421269695288645811975795/60946888956205761387776*c_1100_1^5 + 539489091935078869077939/60946888956205761387776*c_1100_1^4 + 197461273091154686257985/15236722239051440346944*c_1100_1^3 + 833787297121070520474415/60946888956205761387776*c_1100_1^2 + 964964704353275511695535/243787555824823045551104*c_1100_1 + 16272837002181962337387/30473444478102880693888, c_0011_3 + 1591223894003971467267/243787555824823045551104*c_1100_1^13 + 18446944446693628317865/243787555824823045551104*c_1100_1^12 + 110135362957454395947349/243787555824823045551104*c_1100_1^11 + 154846515050571976669647/121893777912411522775552*c_1100_1^10 + 304042137070355299952267/121893777912411522775552*c_1100_1^9 + 194146248366786745968887/60946888956205761387776*c_1100_1^8 + 273151295488424895596499/121893777912411522775552*c_1100_1^7 + 69219571209651125302809/121893777912411522775552*c_1100_1^6 + 171885115825750412588719/60946888956205761387776*c_1100_1^5 + 271342614353228760066543/60946888956205761387776*c_1100_1^4 + 15954082587381507714837/15236722239051440346944*c_1100_1^3 - 415546921800887358375653/60946888956205761387776*c_1100_1^2 - 714882394545601313888101/243787555824823045551104*c_1100_1 - 20996912344062041688441/30473444478102880693888, c_0011_6 + 504794729169914785349/243787555824823045551104*c_1100_1^13 + 5013363698292222685487/243787555824823045551104*c_1100_1^12 + 24846780937550619616419/243787555824823045551104*c_1100_1^11 + 17594306312019518085017/121893777912411522775552*c_1100_1^10 - 1786197328675292601219/121893777912411522775552*c_1100_1^9 - 47304133580270253907151/60946888956205761387776*c_1100_1^8 - 242126838337406006368267/121893777912411522775552*c_1100_1^7 - 328002660668516192124353/121893777912411522775552*c_1100_1^6 - 79160020737877732989255/60946888956205761387776*c_1100_1^5 - 105420356914609323580551/60946888956205761387776*c_1100_1^4 - 68477186786559537309405/15236722239051440346944*c_1100_1^3 - 380387997423187014938515/60946888956205761387776*c_1100_1^2 + 63456829273850669506541/243787555824823045551104*c_1100_1 + 19785729214900569581601/30473444478102880693888, c_0101_0 + 374937758149138943369/243787555824823045551104*c_1100_1^13 + 2509285358287327792763/243787555824823045551104*c_1100_1^12 + 3391255873523438466687/243787555824823045551104*c_1100_1^11 - 34933999554680758724883/121893777912411522775552*c_1100_1^10 - 157758975896639848478943/121893777912411522775552*c_1100_1^9 - 214203692546367725037211/60946888956205761387776*c_1100_1^8 - 784308089741894163182343/121893777912411522775552*c_1100_1^7 - 971349433449114544771893/121893777912411522775552*c_1100_1^6 - 421269695288645811975795/60946888956205761387776*c_1100_1^5 - 539489091935078869077939/60946888956205761387776*c_1100_1^4 - 197461273091154686257985/15236722239051440346944*c_1100_1^3 - 833787297121070520474415/60946888956205761387776*c_1100_1^2 - 964964704353275511695535/243787555824823045551104*c_1100_1 - 16272837002181962337387/30473444478102880693888, c_0101_1 - 768291705412670467471/243787555824823045551104*c_1100_1^13 - 10143546062489096709069/243787555824823045551104*c_1100_1^12 - 69043347200808936463657/243787555824823045551104*c_1100_1^11 - 127012512682552256460939/121893777912411522775552*c_1100_1^10 - 327149129820945689941047/121893777912411522775552*c_1100_1^9 - 308804210474181965544275/60946888956205761387776*c_1100_1^8 - 871961377461694087418527/121893777912411522775552*c_1100_1^7 - 967242095387875277780733/121893777912411522775552*c_1100_1^6 - 531117063076516176820715/60946888956205761387776*c_1100_1^5 - 660835195653828871051819/60946888956205761387776*c_1100_1^4 - 190652685410698512937321/15236722239051440346944*c_1100_1^3 - 543928761950846328965383/60946888956205761387776*c_1100_1^2 - 840924308262208162002055/243787555824823045551104*c_1100_1 - 10607550634239933126563/30473444478102880693888, c_0101_3 + 150216649727807209877/121893777912411522775552*c_1100_1^13 + 1981181212713937170719/121893777912411522775552*c_1100_1^12 + 13109894930707183585747/121893777912411522775552*c_1100_1^11 + 22524217750557962517801/60946888956205761387776*c_1100_1^10 + 49715324622918182507597/60946888956205761387776*c_1100_1^9 + 38070155196194231839041/30473444478102880693888*c_1100_1^8 + 73512853262340846280005/60946888956205761387776*c_1100_1^7 + 37127637735066920523823/60946888956205761387776*c_1100_1^6 + 20164681235476318534089/30473444478102880693888*c_1100_1^5 + 53425081536401670250249/30473444478102880693888*c_1100_1^4 + 9551948855158528901907/7618361119525720173472*c_1100_1^3 - 54767647596588826382019/30473444478102880693888*c_1100_1^2 - 297579763938998951640643/121893777912411522775552*c_1100_1 - 6639482715258584450703/15236722239051440346944, c_0110_8 - 589081331029673860347/243787555824823045551104*c_1100_1^13 - 6587964738160307210385/243787555824823045551104*c_1100_1^12 - 37080236096161632499229/243787555824823045551104*c_1100_1^11 - 43236422650811769680551/121893777912411522775552*c_1100_1^10 - 51496514632271270307011/121893777912411522775552*c_1100_1^9 + 15135935035780770632689/60946888956205761387776*c_1100_1^8 + 253991160989280220917941/121893777912411522775552*c_1100_1^7 + 505279784534014007499903/121893777912411522775552*c_1100_1^6 + 229808386630203891151225/60946888956205761387776*c_1100_1^5 + 175308661253049718084409/60946888956205761387776*c_1100_1^4 + 83792205064555155835747/15236722239051440346944*c_1100_1^3 + 639034117654680424576813/60946888956205761387776*c_1100_1^2 + 1829864285093140521282221/243787555824823045551104*c_1100_1 + 35385228886249290393697/30473444478102880693888, c_1001_0 - 1591223894003971467267/243787555824823045551104*c_1100_1^13 - 18446944446693628317865/243787555824823045551104*c_1100_1^12 - 110135362957454395947349/243787555824823045551104*c_1100_1^11 - 154846515050571976669647/121893777912411522775552*c_1100_1^10 - 304042137070355299952267/121893777912411522775552*c_1100_1^9 - 194146248366786745968887/60946888956205761387776*c_1100_1^8 - 273151295488424895596499/121893777912411522775552*c_1100_1^7 - 69219571209651125302809/121893777912411522775552*c_1100_1^6 - 171885115825750412588719/60946888956205761387776*c_1100_1^5 - 271342614353228760066543/60946888956205761387776*c_1100_1^4 - 15954082587381507714837/15236722239051440346944*c_1100_1^3 + 415546921800887358375653/60946888956205761387776*c_1100_1^2 + 714882394545601313888101/243787555824823045551104*c_1100_1 + 20996912344062041688441/30473444478102880693888, c_1001_5 + 768291705412670467471/243787555824823045551104*c_1100_1^13 + 10143546062489096709069/243787555824823045551104*c_1100_1^12 + 69043347200808936463657/243787555824823045551104*c_1100_1^11 + 127012512682552256460939/121893777912411522775552*c_1100_1^10 + 327149129820945689941047/121893777912411522775552*c_1100_1^9 + 308804210474181965544275/60946888956205761387776*c_1100_1^8 + 871961377461694087418527/121893777912411522775552*c_1100_1^7 + 967242095387875277780733/121893777912411522775552*c_1100_1^6 + 531117063076516176820715/60946888956205761387776*c_1100_1^5 + 660835195653828871051819/60946888956205761387776*c_1100_1^4 + 190652685410698512937321/15236722239051440346944*c_1100_1^3 + 543928761950846328965383/60946888956205761387776*c_1100_1^2 + 840924308262208162002055/243787555824823045551104*c_1100_1 + 10607550634239933126563/30473444478102880693888, c_1100_1^14 + 11*c_1100_1^13 + 63*c_1100_1^12 + 162*c_1100_1^11 + 322*c_1100_1^10 + 452*c_1100_1^9 + 514*c_1100_1^8 + 694*c_1100_1^7 + 1412*c_1100_1^6 + 1460*c_1100_1^5 + 912*c_1100_1^4 + 420*c_1100_1^3 + 1833*c_1100_1^2 + 976*c_1100_1 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.290 Total time: 0.500 seconds, Total memory usage: 32.09MB