Magma V2.19-8 Tue Aug 20 2013 23:41:02 on localhost [Seed = 1613104259] Type ? for help. Type -D to quit. Loading file "L13a2998__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a2998 geometric_solution 8.71309271 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 10 1 2 2 3 0132 0132 1023 0132 0 0 0 0 0 -1 0 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 3 0 -3 -1 0 -3 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.541224764540 0.508774646635 0 4 6 5 0132 0132 0132 0132 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 -4 4 0 1 0 -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.342935080951 0.625656694427 2 0 0 2 3012 0132 1023 1230 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 -3 3 0 0 0 0 0 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.686071401601 0.671990961648 7 6 0 8 0132 0213 0132 0132 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 0 0 0 0 -4 3 1 4 0 -4 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.726941578819 1.169202557697 8 1 9 9 3201 0132 0132 3120 0 1 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 4 -4 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 0 1.054859537130 0.964240010274 9 8 1 8 2310 1023 0132 0321 0 0 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 0 0 0 0 0 0 0 -1 15 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.054859537130 0.964240010274 7 9 3 1 2031 3120 0213 0132 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 4 -4 0 0 -1 1 1 0 0 -1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.198137945892 1.348830388177 3 7 6 7 0132 2310 1302 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.202764402377 0.974223433120 5 5 3 4 1023 0321 0132 2310 0 0 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 0 0 0 0 -1 1 0 0 0 0 -15 14 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.518439335148 0.528916038926 4 6 5 4 3120 3120 3201 0132 0 1 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 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.058813676703 1.033740042208 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0101_0']), 'c_1001_8' : d['c_1001_8'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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_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_1100_9' : negation(d['c_0011_5']), 'c_1100_8' : d['c_0011_0'], 'c_1100_5' : d['c_1001_8'], 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_1001_8'], 'c_1100_1' : d['c_1001_8'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_1010_7' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0011_9']), 'c_1010_3' : d['c_1001_8'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : negation(d['c_0101_4']), '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'], '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_9'], 'c_0011_8' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), '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_0101_7' : negation(d['c_0011_6']), 'c_0101_6' : d['c_0011_3'], '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_0101_9' : d['c_0011_5'], 'c_0101_8' : negation(d['c_0011_6']), 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : negation(d['c_0011_5']), 'c_0110_4' : d['c_0101_4'], '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 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 5456132011823470926128597666115587792995608967/86068537607138928409\ 55665471286171075358265344*c_1001_8^14 + 16484084518274916326526732321752418467915894771/8606853760713892840\ 955665471286171075358265344*c_1001_8^13 + 50221606583304818981135753510321232504874459/9961636297122561158513\ 501702877512818701696*c_1001_8^12 - 541247112425659059575281873581930875609749543565/860685376071389284\ 0955665471286171075358265344*c_1001_8^11 + 21725524083753345177281554424247579161382347173/2151713440178473210\ 238916367821542768839566336*c_1001_8^10 + 4856734485698906202152997316527158870561257254937/86068537607138928\ 40955665471286171075358265344*c_1001_8^9 - 2740966150059671399486918155726090751489003882587/86068537607138928\ 40955665471286171075358265344*c_1001_8^8 - 801170089972980292374199526104995307729833858233/478158542261882935\ 608648081738120615297681408*c_1001_8^7 + 8894505389197803805894958493239908286474522020531/43034268803569464\ 20477832735643085537679132672*c_1001_8^6 + 189030863677531632964026836451231347711176136503/159386180753960978\ 536216027246040205099227136*c_1001_8^5 - 49902770029294906065974747837950480820486583005357/8606853760713892\ 840955665471286171075358265344*c_1001_8^4 - 2828699255761951830418657352766882083905643397503/28689512535712976\ 13651888490428723691786088448*c_1001_8^3 + 10719998918842426812872168992671540468473352893371/1434475626785648\ 806825944245214361845893044224*c_1001_8^2 - 20051789874744891028064461392396418929780182889959/2868951253571297\ 613651888490428723691786088448*c_1001_8 - 62537575084913932202401471856455421709018825597893/8606853760713892\ 840955665471286171075358265344, c_0011_0 - 1, c_0011_3 - 2394698883733739216475137853/5130455512445983770811635795827\ *c_1001_8^14 + 3613236428758416118167278143/51304555124459837708116\ 35795827*c_1001_8^13 + 43355601205094929321892610579/10260911024891\ 967541623271591654*c_1001_8^12 - 406299597687916393098611528501/102\ 60911024891967541623271591654*c_1001_8^11 - 10575099827672041240281288621/223063283149825381339636338949*c_1001\ _8^10 + 1552372487653915326906710595530/513045551244598377081163579\ 5827*c_1001_8^9 + 654396911858979208073127909539/513045551244598377\ 0811635795827*c_1001_8^8 - 8111013738595695908958077239897/10260911\ 024891967541623271591654*c_1001_8^7 + 3789415494011005511820774953801/5130455512445983770811635795827*c_1\ 001_8^6 + 7322084771941069240350019845877/5130455512445983770811635\ 795827*c_1001_8^5 - 9424345221518405604738793900195/513045551244598\ 3770811635795827*c_1001_8^4 - 9294881537520452154397929682931/10260\ 911024891967541623271591654*c_1001_8^3 + 42040665343309588262473927592027/10260911024891967541623271591654*c\ _1001_8^2 - 1780186772982942710277836266167/10260911024891967541623\ 271591654*c_1001_8 - 560785062664002944836853596490/223063283149825\ 381339636338949, c_0011_5 + 18744716916965744847425061/10260911024891967541623271591654*\ c_1001_8^14 + 2276309076489719560939514841/102609110248919675416232\ 71591654*c_1001_8^13 - 3148761038601808512859057985/102609110248919\ 67541623271591654*c_1001_8^12 - 8688603894177516804929611202/513045\ 5512445983770811635795827*c_1001_8^11 + 8142628734481066403893819039/446126566299650762679272677898*c_1001_\ 8^10 + 242972882109230815406827680023/10260911024891967541623271591\ 654*c_1001_8^9 - 607580429155043922936953884606/5130455512445983770\ 811635795827*c_1001_8^8 - 776107242004678027588264829091/1026091102\ 4891967541623271591654*c_1001_8^7 + 1874420858390062198169599387121/10260911024891967541623271591654*c_\ 1001_8^6 - 2840894734548057717976665287955/102609110248919675416232\ 71591654*c_1001_8^5 - 3216307912764732848985525953335/1026091102489\ 1967541623271591654*c_1001_8^4 + 1218335482059848520274361510683/51\ 30455512445983770811635795827*c_1001_8^3 + 1099665261867561979612841894787/5130455512445983770811635795827*c_1\ 001_8^2 - 5504843498233247941074143725368/5130455512445983770811635\ 795827*c_1001_8 + 64686202889966120796341648743/4461265662996507626\ 79272677898, c_0011_6 + 18744716916965744847425061/10260911024891967541623271591654*\ c_1001_8^14 + 2276309076489719560939514841/102609110248919675416232\ 71591654*c_1001_8^13 - 3148761038601808512859057985/102609110248919\ 67541623271591654*c_1001_8^12 - 8688603894177516804929611202/513045\ 5512445983770811635795827*c_1001_8^11 + 8142628734481066403893819039/446126566299650762679272677898*c_1001_\ 8^10 + 242972882109230815406827680023/10260911024891967541623271591\ 654*c_1001_8^9 - 607580429155043922936953884606/5130455512445983770\ 811635795827*c_1001_8^8 - 776107242004678027588264829091/1026091102\ 4891967541623271591654*c_1001_8^7 + 1874420858390062198169599387121/10260911024891967541623271591654*c_\ 1001_8^6 - 2840894734548057717976665287955/102609110248919675416232\ 71591654*c_1001_8^5 - 3216307912764732848985525953335/1026091102489\ 1967541623271591654*c_1001_8^4 + 1218335482059848520274361510683/51\ 30455512445983770811635795827*c_1001_8^3 + 1099665261867561979612841894787/5130455512445983770811635795827*c_1\ 001_8^2 - 374387985787264170262507929541/51304555124459837708116357\ 95827*c_1001_8 + 64686202889966120796341648743/44612656629965076267\ 9272677898, c_0011_9 + 18744716916965744847425061/5130455512445983770811635795827*c\ _1001_8^14 + 2276309076489719560939514841/5130455512445983770811635\ 795827*c_1001_8^13 - 3148761038601808512859057985/51304555124459837\ 70811635795827*c_1001_8^12 - 17377207788355033609859222404/51304555\ 12445983770811635795827*c_1001_8^11 + 8142628734481066403893819039/223063283149825381339636338949*c_1001_\ 8^10 + 242972882109230815406827680023/51304555124459837708116357958\ 27*c_1001_8^9 - 1215160858310087845873907769212/5130455512445983770\ 811635795827*c_1001_8^8 - 776107242004678027588264829091/5130455512\ 445983770811635795827*c_1001_8^7 + 1874420858390062198169599387121/5130455512445983770811635795827*c_1\ 001_8^6 - 2840894734548057717976665287955/5130455512445983770811635\ 795827*c_1001_8^5 - 3216307912764732848985525953335/513045551244598\ 3770811635795827*c_1001_8^4 + 2436670964119697040548723021366/51304\ 55512445983770811635795827*c_1001_8^3 + 2199330523735123959225683789574/5130455512445983770811635795827*c_1\ 001_8^2 - 5879231484020512111336651654909/5130455512445983770811635\ 795827*c_1001_8 + 64686202889966120796341648743/2230632831498253813\ 39636338949, c_0101_0 - 828203157882161819956251761/5130455512445983770811635795827*\ c_1001_8^14 + 1325621954524371840252237497/513045551244598377081163\ 5795827*c_1001_8^13 + 6578433988052870043752415827/5130455512445983\ 770811635795827*c_1001_8^12 - 70527126294700920179417712414/5130455\ 512445983770811635795827*c_1001_8^11 - 2990288099723719509862672306/223063283149825381339636338949*c_1001_\ 8^10 + 477862696055885061001244573667/51304555124459837708116357958\ 27*c_1001_8^9 + 38991462041800186296231251739/513045551244598377081\ 1635795827*c_1001_8^8 - 930862343482538951961673650000/513045551244\ 5983770811635795827*c_1001_8^7 + 1785696539016684405038730688500/51\ 30455512445983770811635795827*c_1001_8^6 + 1140190944135696662104788367730/5130455512445983770811635795827*c_1\ 001_8^5 - 1467471907632581508761331316038/5130455512445983770811635\ 795827*c_1001_8^4 + 1612679611268314635465382177980/513045551244598\ 3770811635795827*c_1001_8^3 + 4469728608590167050989816186485/51304\ 55512445983770811635795827*c_1001_8^2 - 2584808987169651426335037055340/5130455512445983770811635795827*c_1\ 001_8 + 41940010186598853835013816023/22306328314982538133963633894\ 9, c_0101_1 - 2091488839240066365638737340/5130455512445983770811635795827\ *c_1001_8^14 + 7152704197677797000948897423/10260911024891967541623\ 271591654*c_1001_8^13 + 34934812442458086421301331187/1026091102489\ 1967541623271591654*c_1001_8^12 - 361677804184858063426083157223/10\ 260911024891967541623271591654*c_1001_8^11 - 7257823390939849445454556786/223063283149825381339636338949*c_1001_\ 8^10 + 1330002064292695683522286445071/5130455512445983770811635795\ 827*c_1001_8^9 + 303457626580598105524033046327/1026091102489196754\ 1623271591654*c_1001_8^8 - 3119025632568598868032618526566/51304555\ 12445983770811635795827*c_1001_8^7 + 8973900284564845112167154719731/10260911024891967541623271591654*c_\ 1001_8^6 + 9357551327026270654667461491339/102609110248919675416232\ 71591654*c_1001_8^5 - 7928263730224762695983984098321/5130455512445\ 983770811635795827*c_1001_8^4 - 1676811844339204876175652176647/513\ 0455512445983770811635795827*c_1001_8^3 + 36156538645726865152648308700215/10260911024891967541623271591654*c\ _1001_8^2 - 13250123295148664138036774570543/1026091102489196754162\ 3271591654*c_1001_8 - 310990331503640079036277408389/22306328314982\ 5381339636338949, c_0101_2 + 712878401342758963284622965/10260911024891967541623271591654\ *c_1001_8^14 - 325721597106924299289115429/513045551244598377081163\ 5795827*c_1001_8^13 - 8918032261471625578789949343/1026091102489196\ 7541623271591654*c_1001_8^12 + 29593749179857555748666580436/513045\ 5512445983770811635795827*c_1001_8^11 + 2715073551788690864658061336/223063283149825381339636338949*c_1001_\ 8^10 - 286183245565854164591083835665/51304555124459837708116357958\ 27*c_1001_8^9 - 334361673092112608362233358572/51304555124459837708\ 11635795827*c_1001_8^8 + 2243342831346002703869052325181/1026091102\ 4891967541623271591654*c_1001_8^7 + 104844556000984404604615885653/10260911024891967541623271591654*c_1\ 001_8^6 - 2900888410599114805490565418061/5130455512445983770811635\ 795827*c_1001_8^5 + 2575676276246907010638682037931/513045551244598\ 3770811635795827*c_1001_8^4 + 8888160242164246279674005189855/10260\ 911024891967541623271591654*c_1001_8^3 - 10720924418777268072337963070899/10260911024891967541623271591654*c\ _1001_8^2 - 4869939509342432481897652106071/10260911024891967541623\ 271591654*c_1001_8 + 322075409806753031897568543999/446126566299650\ 762679272677898, c_0101_4 - 1, c_1001_8^15 - 4*c_1001_8^14 - 5*c_1001_8^13 + 107*c_1001_8^12 - 113*c_1001_8^11 - 875*c_1001_8^10 + 1374*c_1001_8^9 + 2155*c_1001_8^8 - 5852*c_1001_8^7 + 1312*c_1001_8^6 + 10997*c_1001_8^5 - 7402*c_1001_8^4 - 13347*c_1001_8^3 + 22581*c_1001_8^2 + 710*c_1001_8 - 11293 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB