Magma V2.19-8 Wed Aug 21 2013 01:02:36 on localhost [Seed = 1208898487] Type ? for help. Type -D to quit. Loading file "L14n15351__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n15351 geometric_solution 12.63346383 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 0 0 0 1 -1 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 11 -12 0 0 0 0 11 -11 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.352135171305 0.899530126099 0 5 7 6 0132 0132 0132 0132 1 1 0 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 -1 0 0 1 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.274422097006 0.659333324401 8 0 10 9 0132 0132 0132 0132 1 1 0 1 0 0 0 0 0 0 1 -1 -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 1 0 0 0 12 -12 1 0 0 -1 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.995384522313 1.205481947744 8 11 7 0 2031 0132 3012 0132 1 1 0 1 0 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 11 -11 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.876821565956 0.856546544720 10 11 0 6 2031 0321 0132 2103 1 1 1 1 0 0 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 12 -12 -1 0 0 1 -1 0 0 1 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.352135171305 0.899530126099 12 1 11 8 0132 0132 2103 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636166195313 0.994085314990 12 9 1 4 3012 1023 0132 2103 1 1 1 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 1 0 -1 1 0 0 -1 0 -12 0 12 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.164491248345 1.143823685536 9 3 10 1 3012 1230 3012 0132 1 1 1 1 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 11 0 0 -11 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.560794084230 1.142676032828 2 12 3 5 0132 0132 1302 0213 1 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.293075458242 0.762490417180 6 11 2 7 1023 0213 0132 1230 1 1 1 0 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 12 -11 12 -12 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.293075458242 0.762490417180 12 7 4 2 2310 1230 1302 0132 1 1 1 1 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 0 1 -1 0 0 12 -12 0 -11 0 11 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592719369970 0.493246013134 5 3 9 4 2103 0132 0213 0321 1 1 1 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 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.754879513025 0.685959725056 5 8 10 6 0132 0132 3201 1230 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 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.653873227883 0.705269149479 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : d['c_0110_4'], 'c_1001_12' : d['c_0011_4'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_0101_7'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_7']), 'c_1001_2' : d['c_0101_7'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_0'], 'c_1010_12' : d['c_0101_0'], 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : d['c_0101_7'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_6'], 'c_0101_10' : negation(d['c_0011_4']), '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_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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : negation(d['c_0110_4']), 'c_1100_6' : negation(d['c_0110_4']), 'c_1100_1' : negation(d['c_0110_4']), 'c_1100_0' : d['c_0011_10'], 'c_1100_3' : d['c_0011_10'], 'c_1100_2' : d['c_0101_1'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : d['c_0101_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_3'], 'c_1010_6' : d['c_0011_7'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : d['c_0101_7'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : d['c_0011_4'], 'c_1100_8' : d['c_0101_3'], 's_3_1' : negation(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' : negation(d['c_0011_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_6'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_4']), 'c_0110_10' : negation(d['c_0101_12']), 'c_0110_12' : d['c_0011_6'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_12']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_7'], 'c_0110_8' : negation(d['c_0101_12']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_10'])})} 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_4, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_0101_7, c_0110_4, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 34966472070047032613232371967088/321607886473053507344414626791*c_1\ 001_0^13 - 225734022267541183426848061424056/3216078864730535073444\ 14626791*c_1001_0^12 + 219882347150089046487920975266196/3216078864\ 73053507344414626791*c_1001_0^11 - 476326652507515660456704987959164/321607886473053507344414626791*c_\ 1001_0^10 + 12188461352568873669797075652815/7479253173791942031265\ 456437*c_1001_0^9 - 253846673908261805471981382414778/1072026288243\ 51169114804875597*c_1001_0^8 + 1622238071571289936940805858425899/3\ 21607886473053507344414626791*c_1001_0^7 - 381924106982466430229041997904934/107202628824351169114804875597*c_\ 1001_0^6 + 229126183310147772536761231399310/3216078864730535073444\ 14626791*c_1001_0^5 + 209981806454315050206488027079004/10720262882\ 4351169114804875597*c_1001_0^4 + 27167761704048025310782922139799/1\ 07202628824351169114804875597*c_1001_0^3 - 9511118775616991493067033776886/18918110969003147490847919223*c_100\ 1_0^2 + 52322278212476541045203022511577/32160788647305350734441462\ 6791*c_1001_0 + 26262597350346592216120379788940/107202628824351169\ 114804875597, c_0011_0 - 1, c_0011_10 - 244086668877963784/666755710245269991*c_1001_0^13 - 582614473792135720/222251903415089997*c_1001_0^12 + 433518256317234158/666755710245269991*c_1001_0^11 - 723024478409512865/222251903415089997*c_1001_0^10 + 1378511681515754291/666755710245269991*c_1001_0^9 - 2343817061478061688/666755710245269991*c_1001_0^8 + 2529080853152587382/222251903415089997*c_1001_0^7 + 36905898503489194/74083967805029999*c_1001_0^6 - 4209898440430450333/666755710245269991*c_1001_0^5 + 4996911385808167288/666755710245269991*c_1001_0^4 + 3101979830105079485/666755710245269991*c_1001_0^3 - 1599324396382338190/666755710245269991*c_1001_0^2 + 122493309549364223/222251903415089997*c_1001_0 + 74482070447420725/74083967805029999, c_0011_11 - 168267709890830184/74083967805029999*c_1001_0^13 - 9727905803246962672/666755710245269991*c_1001_0^12 + 3291803772755543978/222251903415089997*c_1001_0^11 - 20694714132262732237/666755710245269991*c_1001_0^10 + 7698468218483098954/222251903415089997*c_1001_0^9 - 33290715435136853617/666755710245269991*c_1001_0^8 + 70674521593042982167/666755710245269991*c_1001_0^7 - 17024052802655205658/222251903415089997*c_1001_0^6 + 1099560782579316773/74083967805029999*c_1001_0^5 + 28404128300232825647/666755710245269991*c_1001_0^4 + 2909036176933608040/666755710245269991*c_1001_0^3 - 7491566696340109438/666755710245269991*c_1001_0^2 + 2636697283350288635/666755710245269991*c_1001_0 + 1145875363280297408/222251903415089997, c_0011_4 + 248907692438030600/222251903415089997*c_1001_0^13 + 1623761235496510096/222251903415089997*c_1001_0^12 - 1425295846371387542/222251903415089997*c_1001_0^11 + 3501070673038053185/222251903415089997*c_1001_0^10 - 1196803027893172242/74083967805029999*c_1001_0^9 + 5456054113142968783/222251903415089997*c_1001_0^8 - 11488480027257266863/222251903415089997*c_1001_0^7 + 7691631877340765155/222251903415089997*c_1001_0^6 - 2237466517777359701/222251903415089997*c_1001_0^5 - 1460486433327028296/74083967805029999*c_1001_0^4 - 615820869271282645/222251903415089997*c_1001_0^3 + 310679556267228820/74083967805029999*c_1001_0^2 - 171202256065581582/74083967805029999*c_1001_0 - 124525470990031521/74083967805029999, c_0011_6 - 115318819511378216/666755710245269991*c_1001_0^13 - 221271836697808328/222251903415089997*c_1001_0^12 + 1211850235507768846/666755710245269991*c_1001_0^11 - 762923366005176085/222251903415089997*c_1001_0^10 + 3084079547336403409/666755710245269991*c_1001_0^9 - 4336141631625002875/666755710245269991*c_1001_0^8 + 2566934279550705748/222251903415089997*c_1001_0^7 - 953444395858078209/74083967805029999*c_1001_0^6 + 5148551596841728009/666755710245269991*c_1001_0^5 - 334484603349183910/666755710245269991*c_1001_0^4 - 252221327731642538/666755710245269991*c_1001_0^3 + 70741839266550571/666755710245269991*c_1001_0^2 + 191524975934333419/222251903415089997*c_1001_0 + 24568123354475557/74083967805029999, c_0011_7 - 530800293546021112/666755710245269991*c_1001_0^13 - 1163360153933799880/222251903415089997*c_1001_0^12 + 2785392773735710034/666755710245269991*c_1001_0^11 - 2629753026533901451/222251903415089997*c_1001_0^10 + 7030141633650667643/666755710245269991*c_1001_0^9 - 12491008564416152168/666755710245269991*c_1001_0^8 + 8061115937224422764/222251903415089997*c_1001_0^7 - 5543399010629008310/222251903415089997*c_1001_0^6 + 6888420077297621366/666755710245269991*c_1001_0^5 + 10020409625411073487/666755710245269991*c_1001_0^4 + 3742341677434854971/666755710245269991*c_1001_0^3 - 827618960276753239/666755710245269991*c_1001_0^2 + 474500246368398226/222251903415089997*c_1001_0 + 165142039724395198/74083967805029999, c_0101_0 + 462426140463954424/222251903415089997*c_1001_0^13 + 9014024620722583160/666755710245269991*c_1001_0^12 - 927042976764164102/74083967805029999*c_1001_0^11 + 18553968050231135279/666755710245269991*c_1001_0^10 - 6701997812907609865/222251903415089997*c_1001_0^9 + 29475680869950266168/666755710245269991*c_1001_0^8 - 63296643131734853318/666755710245269991*c_1001_0^7 + 14409874854190611134/222251903415089997*c_1001_0^6 - 2541543556429728989/222251903415089997*c_1001_0^5 - 24439684950120139624/666755710245269991*c_1001_0^4 - 4554573117113677955/666755710245269991*c_1001_0^3 + 6568630306622029490/666755710245269991*c_1001_0^2 - 1956471730411689040/666755710245269991*c_1001_0 - 993584762555769535/222251903415089997, c_0101_1 - 1, c_0101_12 - 258416435730023336/666755710245269991*c_1001_0^13 - 1919117823619533280/666755710245269991*c_1001_0^12 + 48768741866837182/666755710245269991*c_1001_0^11 - 1510714722145025641/666755710245269991*c_1001_0^10 + 1276406025094699528/666755710245269991*c_1001_0^9 - 1543453101625367957/666755710245269991*c_1001_0^8 + 7578075162294279151/666755710245269991*c_1001_0^7 + 904770816728685886/222251903415089997*c_1001_0^6 - 6495544080813878633/666755710245269991*c_1001_0^5 + 1700546366022648580/666755710245269991*c_1001_0^4 + 6062743677226862315/666755710245269991*c_1001_0^3 - 462153996993081041/222251903415089997*c_1001_0^2 - 1987503034169273029/666755710245269991*c_1001_0 + 102265634168525435/222251903415089997, c_0101_3 + 1136912190669032000/666755710245269991*c_1001_0^13 + 813241923978398256/74083967805029999*c_1001_0^12 - 7249701656168639656/666755710245269991*c_1001_0^11 + 5300777406932625148/222251903415089997*c_1001_0^10 - 16960289578155621904/666755710245269991*c_1001_0^9 + 25079742653424125881/666755710245269991*c_1001_0^8 - 17574073152052529402/222251903415089997*c_1001_0^7 + 12487659376861248536/222251903415089997*c_1001_0^6 - 7889230433967240436/666755710245269991*c_1001_0^5 - 23122145452696302371/666755710245269991*c_1001_0^4 - 268794118168767142/666755710245269991*c_1001_0^3 + 4822133934788399948/666755710245269991*c_1001_0^2 - 505371663704771750/222251903415089997*c_1001_0 - 275999871337388484/74083967805029999, c_0101_7 + 1117406774539919552/666755710245269991*c_1001_0^13 + 7324174082198860928/666755710245269991*c_1001_0^12 - 6385337108331562432/666755710245269991*c_1001_0^11 + 14013028097962290104/666755710245269991*c_1001_0^10 - 15176802704774745052/666755710245269991*c_1001_0^9 + 7192519363821286022/222251903415089997*c_1001_0^8 - 48306539815154823440/666755710245269991*c_1001_0^7 + 10034231985437989792/222251903415089997*c_1001_0^6 - 326258918911730608/666755710245269991*c_1001_0^5 - 7365188113788822154/222251903415089997*c_1001_0^4 - 863425696555719374/222251903415089997*c_1001_0^3 + 3316975125821646424/666755710245269991*c_1001_0^2 - 1080897871420865242/666755710245269991*c_1001_0 - 460856381377323961/222251903415089997, c_0110_4 + 330786610770822152/222251903415089997*c_1001_0^13 + 6387223302190851824/666755710245269991*c_1001_0^12 - 2162759665600580182/222251903415089997*c_1001_0^11 + 12846426429662830955/666755710245269991*c_1001_0^10 - 4752286033705708102/222251903415089997*c_1001_0^9 + 20500234027167938987/666755710245269991*c_1001_0^8 - 44199250081549120664/666755710245269991*c_1001_0^7 + 10319802684820453864/222251903415089997*c_1001_0^6 - 105514983745620241/74083967805029999*c_1001_0^5 - 22237412077596672751/666755710245269991*c_1001_0^4 - 1750921785002995037/666755710245269991*c_1001_0^3 + 6035271297210246809/666755710245269991*c_1001_0^2 - 1542105923964313867/666755710245269991*c_1001_0 - 884781641890379275/222251903415089997, c_1001_0^14 + 7*c_1001_0^13 - 11/4*c_1001_0^12 + 83/8*c_1001_0^11 - 61/8*c_1001_0^10 + 111/8*c_1001_0^9 - 139/4*c_1001_0^8 + 63/8*c_1001_0^7 + 83/8*c_1001_0^6 - 171/8*c_1001_0^5 - 12*c_1001_0^4 + 25/8*c_1001_0^3 + 5/8*c_1001_0^2 - 3*c_1001_0 - 9/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.530 seconds, Total memory usage: 32.09MB