Magma V2.19-8 Tue Aug 20 2013 23:55:41 on localhost [Seed = 2968967420] Type ? for help. Type -D to quit. Loading file "L14n1256__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n1256 geometric_solution 10.64769471 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 1 1 1 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 -1 1 0 0 -1 1 0 0 0 0 -16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.189302742362 0.972618217303 0 5 7 6 0132 0132 0132 0132 0 1 1 1 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 16 -15 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.192807652920 0.990626090910 5 0 7 8 0132 0132 3201 0132 0 1 1 1 0 -1 1 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 -16 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.192807652920 0.990626090910 5 6 8 0 2310 0132 2310 0132 0 1 1 0 0 0 -1 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 0 0 -1 1 15 0 -16 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.301541170577 0.684345592374 5 9 0 10 3201 0132 0132 0132 0 1 0 1 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 -1 1 1 0 -1 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 1.460817249741 1.223671507004 2 1 3 4 0132 0132 3201 2310 0 1 1 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 0 0 0 0 0 0 1 0 -1 0 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.189302742362 0.972618217303 8 3 1 10 0321 0132 0132 2103 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 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.221180025244 1.148292714158 2 9 10 1 2310 0321 2103 0132 0 1 1 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 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.087743404548 0.544960734551 6 3 2 9 0321 3201 0132 1230 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 -1 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 0 -1 0 1 0 -1 0 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.221180025244 1.148292714158 8 4 11 7 3012 0132 0132 0321 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 0 0 0 0 -1 1 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.323313142895 0.394942472977 7 11 4 6 2103 0132 0132 2103 0 1 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 1 -1 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.323313142895 0.394942472977 11 10 11 9 2310 0132 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 -1 1 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.126952351043 1.406351581459 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_10']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_10']), 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : d['c_0101_11'], 'c_1001_2' : negation(d['c_0101_10']), 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : negation(d['c_0101_3']), 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : negation(d['c_0101_11']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], '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' : negation(d['1']), 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : negation(d['c_0110_10']), 'c_1100_6' : negation(d['c_0110_10']), 'c_1100_1' : negation(d['c_0110_10']), 'c_1100_0' : d['c_0011_8'], 'c_1100_3' : d['c_0011_8'], 'c_1100_2' : negation(d['c_0011_7']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0011_8'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : negation(d['c_0101_10']), 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : negation(d['c_0101_11']), 'c_1100_8' : negation(d['c_0011_7']), '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' : 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' : d['c_0011_3'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_3']), '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_11']), 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : negation(d['c_0101_0']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_8'])})} 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_3, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0110_10, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 1945570479727436809009288261573448537/98823620306181117019613684867\ 098512686000*c_1001_10^11 + 1509741116210786452386621260761645944/6\ 176476269136319813725855304193657042875*c_1001_10^10 - 8634733294018725831941451851371031437/79058896244944893615690947893\ 67881014880*c_1001_10^9 + 161854161295174244903395041405707466007/4\ 9411810153090558509806842433549256343000*c_1001_10^8 - 33554321467791136124371101032887710792873/1581177924898897872313818\ 957873576202976000*c_1001_10^7 + 2314253095481983961660206861422869\ 8266731/197647240612362234039227369734197025372000*c_1001_10^6 - 287065718503282543725464323179146324642921/790588962449448936156909\ 478936788101488000*c_1001_10^5 + 1130167743148129669380812763783607\ 47293083/197647240612362234039227369734197025372000*c_1001_10^4 - 145809086203801826979121544887818816535021/197647240612362234039227\ 369734197025372000*c_1001_10^3 + 4084920954251614936847853667621930\ 2950591/49411810153090558509806842433549256343000*c_1001_10^2 - 57996995376917609095436759218898856513983/4941181015309055850980684\ 2433549256343000*c_1001_10 - 32170050729371615027377705378728897071\ 23/6176476269136319813725855304193657042875, c_0011_0 - 1, c_0011_10 - 9285501551686708258857330950/164306222036679275462397640519\ 8991*c_1001_10^11 + 69915283159081163021727037756/16430622203667927\ 54623976405198991*c_1001_10^10 + 26543897746909465523939922393/1643\ 062220366792754623976405198991*c_1001_10^9 - 644912148014331125031584381918/1643062220366792754623976405198991*c\ _1001_10^8 - 32987010389033767146370901995475/131444977629343420369\ 91811241591928*c_1001_10^7 + 39396236108061504478206674682419/65722\ 48881467171018495905620795964*c_1001_10^6 + 319921627204328509603482589641741/657224888146717101849590562079596\ 4*c_1001_10^5 - 410349812309433088532462629423913/16430622203667927\ 54623976405198991*c_1001_10^4 + 1802021607302502798644685130050711/\ 6572248881467171018495905620795964*c_1001_10^3 - 1073922066978478908132922042743762/16430622203667927546239764051989\ 91*c_1001_10^2 + 2391529178299639964336169011473490/164306222036679\ 2754623976405198991*c_1001_10 - 2380622381792102157393003120549904/\ 1643062220366792754623976405198991, c_0011_3 - 87559853415259978871367101943/131444977629343420369918112415\ 91928*c_1001_10^11 + 116885185761907734136354615440/164306222036679\ 2754623976405198991*c_1001_10^10 - 6648416148781862383455833098015/26288995525868684073983622483183856\ *c_1001_10^9 + 5171058016562234740391273529705/65722488814671710184\ 95905620795964*c_1001_10^8 - 1386245329980439117310159938945015/210\ 311964206949472591868979865470848*c_1001_10^7 + 813267137281058355595444640521437/262889955258686840739836224831838\ 56*c_1001_10^6 - 2116749630244374238551366657540863/262889955258686\ 84073983622483183856*c_1001_10^5 + 3307242166635855388406020631579271/26288995525868684073983622483183\ 856*c_1001_10^4 - 2276592830368807762080009868484501/65722488814671\ 71018495905620795964*c_1001_10^3 + 2712591818167774164943964019557525/65722488814671710184959056207959\ 64*c_1001_10^2 - 1454085745134083018046556902724571/328612444073358\ 5509247952810397982*c_1001_10 + 172632374494779863308423059241703/1\ 643062220366792754623976405198991, c_0011_7 + 50417847208513145835937778143/131444977629343420369918112415\ 91928*c_1001_10^11 - 81927544182367152625491096562/1643062220366792\ 754623976405198991*c_1001_10^10 + 6860767330757138107647352477159/2\ 6288995525868684073983622483183856*c_1001_10^9 - 6460882312590896990454442293541/6572248881467171018495905620795964*\ c_1001_10^8 + 1122349246868168980139192722981215/210311964206949472\ 591868979865470848*c_1001_10^7 - 734474665064935346639031291156599/\ 26288995525868684073983622483183856*c_1001_10^6 + 2756592884653031257758331836824345/26288995525868684073983622483183\ 856*c_1001_10^5 - 6590040665111320096665721666970575/26288995525868\ 684073983622483183856*c_1001_10^4 + 6355207268040118322804704867019713/13144497762934342036991811241591\ 928*c_1001_10^3 - 4860435952124731981209808105045049/65722488814671\ 71018495905620795964*c_1001_10^2 + 2744338571900257868503351159698526/16430622203667927546239764051989\ 91*c_1001_10 - 1362943565390830942004924619516655/16430622203667927\ 54623976405198991, c_0011_8 + 87559853415259978871367101943/131444977629343420369918112415\ 91928*c_1001_10^11 - 116885185761907734136354615440/164306222036679\ 2754623976405198991*c_1001_10^10 + 6648416148781862383455833098015/26288995525868684073983622483183856\ *c_1001_10^9 - 5171058016562234740391273529705/65722488814671710184\ 95905620795964*c_1001_10^8 + 1386245329980439117310159938945015/210\ 311964206949472591868979865470848*c_1001_10^7 - 813267137281058355595444640521437/262889955258686840739836224831838\ 56*c_1001_10^6 + 2116749630244374238551366657540863/262889955258686\ 84073983622483183856*c_1001_10^5 - 3307242166635855388406020631579271/26288995525868684073983622483183\ 856*c_1001_10^4 + 2276592830368807762080009868484501/65722488814671\ 71018495905620795964*c_1001_10^3 - 2712591818167774164943964019557525/65722488814671710184959056207959\ 64*c_1001_10^2 + 1454085745134083018046556902724571/328612444073358\ 5509247952810397982*c_1001_10 - 172632374494779863308423059241703/1\ 643062220366792754623976405198991, c_0101_0 + 67289528516834139285836958447/131444977629343420369918112415\ 91928*c_1001_10^11 - 243960440557182789305469408655/328612444073358\ 5509247952810397982*c_1001_10^10 + 10415870919098388974096458422147/2628899552586868407398362248318385\ 6*c_1001_10^9 - 1996218521841976968858202827077/1643062220366792754\ 623976405198991*c_1001_10^8 + 1376900217770998484664865219516959/21\ 0311964206949472591868979865470848*c_1001_10^7 - 2125876947828059069468160250645433/52577991051737368147967244966367\ 712*c_1001_10^6 + 14635988834355344907278821038042903/1051559821034\ 74736295934489932735424*c_1001_10^5 - 410769914955129722629408102024625/164306222036679275462397640519899\ 1*c_1001_10^4 + 8705742657561228798092248119094157/2628899552586868\ 4073983622483183856*c_1001_10^3 - 371530161544383627594656867991786\ 7/6572248881467171018495905620795964*c_1001_10^2 + 3296707136585007529508117695998871/65722488814671710184959056207959\ 64*c_1001_10 + 427464459354186888826643583400767/164306222036679275\ 4623976405198991, c_0101_1 + 68988850311886562353652440043/131444977629343420369918112415\ 91928*c_1001_10^11 - 99406364972137443380922856001/1643062220366792\ 754623976405198991*c_1001_10^10 + 6754591739769500245551592787587/2\ 6288995525868684073983622483183856*c_1001_10^9 - 5815970164576565865422857911623/6572248881467171018495905620795964*\ c_1001_10^8 + 1254297288424304048724676330963115/210311964206949472\ 591868979865470848*c_1001_10^7 - 386935450586498425558618982919509/\ 13144497762934342036991811241591928*c_1001_10^6 + 609167814362175687038712311795651/657224888146717101849590562079596\ 4*c_1001_10^5 - 4948641415873587742535871149274923/2628899552586868\ 4073983622483183856*c_1001_10^4 + 109083929287777338469647246039887\ 15/26288995525868684073983622483183856*c_1001_10^3 - 3786513885146253073076886062301287/65722488814671710184959056207959\ 64*c_1001_10^2 + 6942762888934598755053259222121623/657224888146717\ 1018495905620795964*c_1001_10 - 767787969942805402656673839379179/1\ 643062220366792754623976405198991, c_0101_10 + 219563220068879/26275530388525613176*c_1001_10^11 - 1393242223784487/13137765194262806588*c_1001_10^10 + 27864138635587911/52551060777051226352*c_1001_10^9 - 51697628988880481/26275530388525613176*c_1001_10^8 + 4681732878997502607/420408486216409810816*c_1001_10^7 - 11918713931249658043/210204243108204905408*c_1001_10^6 + 5383549737404108079/26275530388525613176*c_1001_10^5 - 25372842785999873691/52551060777051226352*c_1001_10^4 + 5878853094543504011/6568882597131403294*c_1001_10^3 - 7365936592599007561/6568882597131403294*c_1001_10^2 + 5329713951540611820/3284441298565701647*c_1001_10 - 3188395362916259071/3284441298565701647, c_0101_11 - 9254884360223384601888850/869805304588032162320792167919*c_\ 1001_10^11 + 83635065654893310415363776/869805304588032162320792167\ 919*c_1001_10^10 - 136704197414744678019921408/86980530458803216232\ 0792167919*c_1001_10^9 - 22050410797584661000099132/869805304588032\ 162320792167919*c_1001_10^8 - 44574798400567961701519347525/6958442\ 436704257298566337343352*c_1001_10^7 + 22671061433971464865888270381/869805304588032162320792167919*c_1001\ _10^6 + 70242648606276442075510932945/13916884873408514597132674686\ 704*c_1001_10^5 - 219363973898646582420823449976/869805304588032162\ 320792167919*c_1001_10^4 + 351242056144830924369357760841/869805304\ 588032162320792167919*c_1001_10^3 - 744527803386706557579842441064/869805304588032162320792167919*c_100\ 1_10^2 + 1012345082719922160206966733491/86980530458803216232079216\ 7919*c_1001_10 - 1593342406998411857540968948824/869805304588032162\ 320792167919, c_0101_3 + 1, c_0110_10 + 50417847208513145835937778143/13144497762934342036991811241\ 591928*c_1001_10^11 - 81927544182367152625491096562/164306222036679\ 2754623976405198991*c_1001_10^10 + 6860767330757138107647352477159/26288995525868684073983622483183856\ *c_1001_10^9 - 6460882312590896990454442293541/65722488814671710184\ 95905620795964*c_1001_10^8 + 1122349246868168980139192722981215/210\ 311964206949472591868979865470848*c_1001_10^7 - 734474665064935346639031291156599/262889955258686840739836224831838\ 56*c_1001_10^6 + 2756592884653031257758331836824345/262889955258686\ 84073983622483183856*c_1001_10^5 - 6590040665111320096665721666970575/26288995525868684073983622483183\ 856*c_1001_10^4 + 6355207268040118322804704867019713/13144497762934\ 342036991811241591928*c_1001_10^3 - 4860435952124731981209808105045049/65722488814671710184959056207959\ 64*c_1001_10^2 + 2744338571900257868503351159698526/164306222036679\ 2754623976405198991*c_1001_10 - 1362943565390830942004924619516655/\ 1643062220366792754623976405198991, c_1001_10^12 - 12*c_1001_10^11 + 105/2*c_1001_10^10 - 172*c_1001_10^9 + 18369/16*c_1001_10^8 - 23721/4*c_1001_10^7 + 18481*c_1001_10^6 - 35812*c_1001_10^5 + 74244*c_1001_10^4 - 115216*c_1001_10^3 + 158688*c_1001_10^2 - 74496*c_1001_10 + 165920 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.320 seconds, Total memory usage: 32.09MB