Magma V2.19-8 Tue Aug 20 2013 16:16:27 on localhost [Seed = 576962243] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0740 geometric_solution 4.68848058 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 0132 0132 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 -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.397359595114 0.505268686671 0 4 4 0 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.698200542415 0.375431085716 5 3 3 0 0132 3012 2031 0132 0 0 0 0 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 0 0 0 0 0 0 0 0 0 -1 1 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.815094001121 0.635896036002 2 5 0 2 1230 3201 0132 1302 0 0 0 0 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 -1 1 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.815094001121 0.635896036002 1 1 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.467130256457 0.203597726886 2 6 3 6 0132 0132 2310 1023 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 0 0 0 0 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.890892659132 1.151162590170 6 5 6 5 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503283651275 0.460429168478 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : 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' : negation(d['1']), 's_0_6' : 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_1100_6' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0101_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], '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_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 2665578792432379490909821886448211291517/29380027403685043265533376\ 21687074775*c_0101_6^17 + 340643558824014453785926976793855561986/1\ 17520109614740173062133504867482991*c_0101_6^16 + 2147561618283940709828622164937072181908/29380027403685043265533376\ 21687074775*c_0101_6^15 - 36807306154814942511492860868234682771341\ /2938002740368504326553337621687074775*c_0101_6^14 + 72586199145477319199837807147224493232198/2938002740368504326553337\ 621687074775*c_0101_6^13 - 8011575338887953989612742156018176493467\ 2/2938002740368504326553337621687074775*c_0101_6^12 + 199481168659502513899909087523691734149712/293800274036850432655333\ 7621687074775*c_0101_6^11 - 101005174350917666698428986998114498700\ 868/2938002740368504326553337621687074775*c_0101_6^10 - 162687338568809096278185660500718687309094/293800274036850432655333\ 7621687074775*c_0101_6^9 + 2768095757613454420466840941299200135805\ 9/587600548073700865310667524337414955*c_0101_6^8 - 265913304022221140805835513464147061859757/293800274036850432655333\ 7621687074775*c_0101_6^7 - 1143549290540763740516569435580751509127\ 17/2938002740368504326553337621687074775*c_0101_6^6 + 133664536733160675720565534656497893712854/293800274036850432655333\ 7621687074775*c_0101_6^5 + 6649406531807964797713510931597856565284\ 1/2938002740368504326553337621687074775*c_0101_6^4 + 38873830670749955695354419742407089848357/2938002740368504326553337\ 621687074775*c_0101_6^3 + 4642605901698521003292514226833414344382/\ 2938002740368504326553337621687074775*c_0101_6^2 - 2123764261609276950888039298944508494038/58760054807370086531066752\ 4337414955*c_0101_6 - 2722270385032889083781661501475973147732/2938\ 002740368504326553337621687074775, c_0011_0 - 1, c_0011_2 - 67858951160282690594890568172918106/117520109614740173062133\ 504867482991*c_0101_6^17 + 210091903218707498602232538707495465/117\ 520109614740173062133504867482991*c_0101_6^16 + 86250008628728641209832347037698927/1175201096147401730621335048674\ 82991*c_0101_6^15 - 973851600812115017631904970953586738/1175201096\ 14740173062133504867482991*c_0101_6^14 + 1783961666918831805122613586744749722/11752010961474017306213350486\ 7482991*c_0101_6^13 - 1728572353179599508680563402672773402/1175201\ 09614740173062133504867482991*c_0101_6^12 + 4469182504259403864739122263269919020/11752010961474017306213350486\ 7482991*c_0101_6^11 - 1427731629272511235826229390223021896/1175201\ 09614740173062133504867482991*c_0101_6^10 - 5628194743717024229480164098772356660/11752010961474017306213350486\ 7482991*c_0101_6^9 + 4486411882949479879843747194902615239/11752010\ 9614740173062133504867482991*c_0101_6^8 - 6727834691750161074980684242433787161/11752010961474017306213350486\ 7482991*c_0101_6^7 - 4253627770298620652359470926355752030/11752010\ 9614740173062133504867482991*c_0101_6^6 + 4679869434257917851342056821530306512/11752010961474017306213350486\ 7482991*c_0101_6^5 + 1214389396741082395544459126172171253/11752010\ 9614740173062133504867482991*c_0101_6^4 + 973652698014638163471682433408650892/117520109614740173062133504867\ 482991*c_0101_6^3 + 300572750180428960480800014271588361/1175201096\ 14740173062133504867482991*c_0101_6^2 - 238407640519415266509274988487085499/117520109614740173062133504867\ 482991*c_0101_6 - 3184078031326844356485262489620565/11752010961474\ 0173062133504867482991, c_0101_0 + 342897574605801161565561815112866057/11752010961474017306213\ 3504867482991*c_0101_6^17 - 1273948664026595370295664009968076052/1\ 17520109614740173062133504867482991*c_0101_6^16 + 340502481612734709400064182038096684/117520109614740173062133504867\ 482991*c_0101_6^15 + 4701503393812179833088901172350637004/11752010\ 9614740173062133504867482991*c_0101_6^14 - 11741861161937964480358288772405728010/1175201096147401730621335048\ 67482991*c_0101_6^13 + 15801957447440706944611965724078849047/11752\ 0109614740173062133504867482991*c_0101_6^12 - 32667316959382775805539400548882669359/1175201096147401730621335048\ 67482991*c_0101_6^11 + 28615807735092644342934897063098652822/11752\ 0109614740173062133504867482991*c_0101_6^10 + 9546710337781663713327553612509349836/11752010961474017306213350486\ 7482991*c_0101_6^9 - 24411166951232557153727543358038516732/1175201\ 09614740173062133504867482991*c_0101_6^8 + 44438429320451640467892702680360048863/1175201096147401730621335048\ 67482991*c_0101_6^7 - 6383631583007694135799591641887876270/1175201\ 09614740173062133504867482991*c_0101_6^6 - 18700901280340021758316483841973614438/1175201096147401730621335048\ 67482991*c_0101_6^5 - 933880168887118529058317374496981234/11752010\ 9614740173062133504867482991*c_0101_6^4 - 3081182495532502058016264102208773802/11752010961474017306213350486\ 7482991*c_0101_6^3 + 1824817662754882005362087579161299131/11752010\ 9614740173062133504867482991*c_0101_6^2 + 1233091007054384923661103166295825401/11752010961474017306213350486\ 7482991*c_0101_6 + 4993997216398696561128827787917093/1175201096147\ 40173062133504867482991, c_0101_1 - 576857160087478465083768022308670765/11752010961474017306213\ 3504867482991*c_0101_6^17 + 2022927092594722152876648746559466009/1\ 17520109614740173062133504867482991*c_0101_6^16 - 192107057464967363435276387361311410/117520109614740173062133504867\ 482991*c_0101_6^15 - 7831286412929743491147052441194649283/11752010\ 9614740173062133504867482991*c_0101_6^14 + 18195431069832898415231170914338804116/1175201096147401730621335048\ 67482991*c_0101_6^13 - 23357584517900633285984643442689504889/11752\ 0109614740173062133504867482991*c_0101_6^12 + 51056853361514434109146836236635207624/1175201096147401730621335048\ 67482991*c_0101_6^11 - 38379057472464503774676356841392533321/11752\ 0109614740173062133504867482991*c_0101_6^10 - 21502408285884520840912278504121463400/1175201096147401730621335048\ 67482991*c_0101_6^9 + 36279788436057068936069708241478941762/117520\ 109614740173062133504867482991*c_0101_6^8 - 70660282042157294333419865360943175624/1175201096147401730621335048\ 67482991*c_0101_6^7 - 1695262998533551370740034262063300277/1175201\ 09614740173062133504867482991*c_0101_6^6 + 26932489178345032309731092998387779857/1175201096147401730621335048\ 67482991*c_0101_6^5 + 4303294118748641194248436327875602782/1175201\ 09614740173062133504867482991*c_0101_6^4 + 7700868443630871483832744392549676054/11752010961474017306213350486\ 7482991*c_0101_6^3 - 765548393118127579869247646964190142/117520109\ 614740173062133504867482991*c_0101_6^2 - 1380102228357133413487078112109011896/11752010961474017306213350486\ 7482991*c_0101_6 + 22193129975351155968777736717861105/117520109614\ 740173062133504867482991, c_0101_2 + 190247004032188214255474077845004377/11752010961474017306213\ 3504867482991*c_0101_6^17 - 697726583298571101938218696791233606/11\ 7520109614740173062133504867482991*c_0101_6^16 + 159517304004887243493035548215147901/117520109614740173062133504867\ 482991*c_0101_6^15 + 2602356662951393226744035171128849799/11752010\ 9614740173062133504867482991*c_0101_6^14 - 6386681869011805425543841588757017993/11752010961474017306213350486\ 7482991*c_0101_6^13 + 8507352451085610870543889405076109955/1175201\ 09614740173062133504867482991*c_0101_6^12 - 17840983886599017591949826190590704153/1175201096147401730621335048\ 67482991*c_0101_6^11 + 15212625599006652294385552886385508454/11752\ 0109614740173062133504867482991*c_0101_6^10 + 5603524565871007598089613997978921523/11752010961474017306213350486\ 7482991*c_0101_6^9 - 12915179037543547426603935741260821245/1175201\ 09614740173062133504867482991*c_0101_6^8 + 23960053360789935205549930174501114321/1175201096147401730621335048\ 67482991*c_0101_6^7 - 2467881962137004634263039136128843402/1175201\ 09614740173062133504867482991*c_0101_6^6 - 9991057711889918175410115554970722069/11752010961474017306213350486\ 7482991*c_0101_6^5 - 1075526229990121748480270051443229894/11752010\ 9614740173062133504867482991*c_0101_6^4 - 1584122337884072056546476836034053684/11752010961474017306213350486\ 7482991*c_0101_6^3 + 932458523488327809432206217077843973/117520109\ 614740173062133504867482991*c_0101_6^2 + 696398197725753158789054737199569629/117520109614740173062133504867\ 482991*c_0101_6 - 16269223445371295422108841287669153/1175201096147\ 40173062133504867482991, c_0101_4 - 299908317725376289042181420885543359/11752010961474017306213\ 3504867482991*c_0101_6^17 + 1054273042491188378528494403214306333/1\ 17520109614740173062133504867482991*c_0101_6^16 - 129409493145695870947907551524063411/117520109614740173062133504867\ 482991*c_0101_6^15 - 3990742120465748164672356617400957884/11752010\ 9614740173062133504867482991*c_0101_6^14 + 9455513156605797494125740844769724290/11752010961474017306213350486\ 7482991*c_0101_6^13 - 12478631769339648241817656331162847600/117520\ 109614740173062133504867482991*c_0101_6^12 + 27381704768318284684492149230241585674/1175201096147401730621335048\ 67482991*c_0101_6^11 - 21314337437537502967628108107088051203/11752\ 0109614740173062133504867482991*c_0101_6^10 - 8659678348516119579955322626244699853/11752010961474017306213350486\ 7482991*c_0101_6^9 + 16529849840532428635125880580288348264/1175201\ 09614740173062133504867482991*c_0101_6^8 - 36434385256806979387247264183019349069/1175201096147401730621335048\ 67482991*c_0101_6^7 + 123110311682588332866116653586523461/11752010\ 9614740173062133504867482991*c_0101_6^6 + 11394352370191593629624253090241971791/1175201096147401730621335048\ 67482991*c_0101_6^5 + 3169028250282638050390385198894153157/1175201\ 09614740173062133504867482991*c_0101_6^4 + 4221671918091929490406695110869736628/11752010961474017306213350486\ 7482991*c_0101_6^3 - 40009168378375814901274759017410939/1175201096\ 14740173062133504867482991*c_0101_6^2 - 493457444065596550038364283839364158/117520109614740173062133504867\ 482991*c_0101_6 - 78959366584746355445567657653956126/1175201096147\ 40173062133504867482991, c_0101_6^18 - 56/17*c_0101_6^17 - 8/17*c_0101_6^16 + 235/17*c_0101_6^15 - 486/17*c_0101_6^14 + 33*c_0101_6^13 - 1333/17*c_0101_6^12 + 784/17*c_0101_6^11 + 945/17*c_0101_6^10 - 962/17*c_0101_6^9 + 1792/17*c_0101_6^8 + 541/17*c_0101_6^7 - 885/17*c_0101_6^6 - 344/17*c_0101_6^5 - 219/17*c_0101_6^4 - 6/17*c_0101_6^3 + 66/17*c_0101_6^2 + 12/17*c_0101_6 - 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB