Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 3852761379] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0308 geometric_solution 4.34704051 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 2310 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 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.566958173733 0.396994832943 0 0 4 4 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.381774266571 0.110485855304 5 0 3 3 0132 0132 2310 1230 0 0 0 0 0 0 0 0 1 0 -1 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 -1 1 0 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.238993131449 1.583188354532 2 2 0 5 3012 3201 0132 3201 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 1 -1 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.238993131449 1.583188354532 1 4 1 4 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.185241288231 0.740449516424 2 3 6 6 0132 2310 0132 2310 0 0 0 0 0 0 0 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 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.735138565980 1.912369422141 5 6 6 5 3201 3201 2310 0132 0 0 0 0 0 -1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.395573432096 0.575857632010 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : 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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], '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' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 3204882219877383519293727947/1203774435774746664622666*c_0101_2^22 - 1742410627000957330215556786909/6018872178873733323113330*c_0101_2^\ 21 - 10854430722500491009136815724573/6018872178873733323113330*c_0\ 101_2^20 - 22688826963672260104141854353861/60188721788737333231133\ 30*c_0101_2^19 + 1568160219332758013633127538238/300943608943686666\ 1556665*c_0101_2^18 + 98570885071062188159451303468981/601887217887\ 3733323113330*c_0101_2^17 + 34831574735278406130099502787023/120377\ 4435774746664622666*c_0101_2^16 + 58035513353876012541254731653163/\ 6018872178873733323113330*c_0101_2^15 - 240779327046145779258753627618967/6018872178873733323113330*c_0101_\ 2^14 - 86374392464693436393155833580179/1203774435774746664622666*c\ _0101_2^13 - 26966724884407988687850565141243/601887217887373332311\ 333*c_0101_2^12 + 116550114710207885533495331593997/601887217887373\ 3323113330*c_0101_2^11 + 186817099641919912749947245395857/30094360\ 89436866661556665*c_0101_2^10 + 164715714851141584473392015836328/3\ 009436089436866661556665*c_0101_2^9 + 57343478526819474006091080470723/3009436089436866661556665*c_0101_2\ ^8 - 58499564305036131623106703430277/6018872178873733323113330*c_0\ 101_2^7 - 53747571397843734501417240052718/300943608943686666155666\ 5*c_0101_2^6 - 77602635597483910990741189519969/6018872178873733323\ 113330*c_0101_2^5 - 35893771887207388463231404888067/60188721788737\ 33323113330*c_0101_2^4 - 5709672424960944423665044169879/3009436089\ 436866661556665*c_0101_2^3 - 1228783897724884812900218244598/300943\ 6089436866661556665*c_0101_2^2 - 32722989326796842322419231264/6018\ 87217887373332311333*c_0101_2 - 10330013836165958655348575979/30094\ 36089436866661556665, c_0011_0 - 1, c_0011_3 + 470361272958370410149742165/2407548871549493329245332*c_0101\ _2^22 + 50620583989516340836028640581/2407548871549493329245332*c_0\ 101_2^21 + 131078137353722055228697890847/1203774435774746664622666\ *c_0101_2^20 + 368125488526621633713114727633/240754887154949332924\ 5332*c_0101_2^19 - 527985040468129978031918333635/24075488715494933\ 29245332*c_0101_2^18 - 1163454329595760568919352566031/120377443577\ 4746664622666*c_0101_2^17 - 2437322384497315330482698966177/2407548\ 871549493329245332*c_0101_2^16 + 1222584090427518449912169860845/24\ 07548871549493329245332*c_0101_2^15 + 5812235855971786181744187469909/2407548871549493329245332*c_0101_2^\ 14 + 1484433080128603823405427140820/601887217887373332311333*c_010\ 1_2^13 + 803261485353505103471768099657/2407548871549493329245332*c\ _0101_2^12 - 2289293175433317908664622772715/1203774435774746664622\ 666*c_0101_2^11 - 2829534834118851892181816778415/12037744357747466\ 64622666*c_0101_2^10 - 1464512977448394979418817127411/120377443577\ 4746664622666*c_0101_2^9 + 189250355916643403115984836981/240754887\ 1549493329245332*c_0101_2^8 + 383745624034641627649170616564/601887\ 217887373332311333*c_0101_2^7 + 333380286966143430582472146966/6018\ 87217887373332311333*c_0101_2^6 + 171337792892466144150143693103/60\ 1887217887373332311333*c_0101_2^5 + 59279396434972252844367488299/601887217887373332311333*c_0101_2^4 + 27641069160833933504386825251/1203774435774746664622666*c_0101_2^3 + 4012500329932914098976381677/1203774435774746664622666*c_0101_2^2 + 140387773843411347077918537/601887217887373332311333*c_0101_2 - 776914084681224438590965/2407548871549493329245332, c_0011_4 - 6489256785903834870169495415/1203774435774746664622666*c_010\ 1_2^22 - 350485519506615445832478480288/601887217887373332311333*c_\ 0101_2^21 - 3895934143307852511271306227287/12037744357747466646226\ 66*c_0101_2^20 - 3266131715897836128337363277134/601887217887373332\ 311333*c_0101_2^19 + 5218094982798539175908917927583/12037744357747\ 46664622666*c_0101_2^18 + 34983023553554347815197425729543/12037744\ 35774746664622666*c_0101_2^17 + 46573886211358062466685638754801/12\ 03774435774746664622666*c_0101_2^16 - 3127196094624005842789452527907/1203774435774746664622666*c_0101_2^\ 15 - 43391530473925172812327855357917/601887217887373332311333*c_01\ 01_2^14 - 57181324058384775306970889939516/601887217887373332311333\ *c_0101_2^13 - 44541221986968576548654202289629/1203774435774746664\ 622666*c_0101_2^12 + 58398129760151414545635987947663/1203774435774\ 746664622666*c_0101_2^11 + 51838872949220690678494064988270/6018872\ 17887373332311333*c_0101_2^10 + 72260513260043786054180788830121/12\ 03774435774746664622666*c_0101_2^9 + 13917841883807290072570504080261/1203774435774746664622666*c_0101_2\ ^8 - 22239174157891741983299756422201/1203774435774746664622666*c_0\ 101_2^7 - 27050343805164734997889341536339/120377443577474666462266\ 6*c_0101_2^6 - 8477111603685265818317620976898/60188721788737333231\ 1333*c_0101_2^5 - 7107543762771090326187873691527/12037744357747466\ 64622666*c_0101_2^4 - 1040210071851258096050219899427/6018872178873\ 73332311333*c_0101_2^3 - 207436728160132796204311150191/60188721788\ 7373332311333*c_0101_2^2 - 51393110709265165739344493675/1203774435\ 774746664622666*c_0101_2 - 1515409865317977365922594812/60188721788\ 7373332311333, c_0011_6 + 42428226259994585417404645/2407548871549493329245332*c_0101_\ 2^22 + 4732821532748285890106998903/2407548871549493329245332*c_010\ 1_2^21 + 20785304440738100398088450541/1203774435774746664622666*c_\ 0101_2^20 + 124624152510686374403695073443/240754887154949332924533\ 2*c_0101_2^19 + 75835202659375512777914800481/240754887154949332924\ 5332*c_0101_2^18 - 101070752733495801920594841792/60188721788737333\ 2311333*c_0101_2^17 - 1024589446644404362824476327707/2407548871549\ 493329245332*c_0101_2^16 - 693828128368584772428290622765/240754887\ 1549493329245332*c_0101_2^15 + 997825074417498194798574035987/24075\ 48871549493329245332*c_0101_2^14 + 633271223969668651596199386484/601887217887373332311333*c_0101_2^13 + 2032621986664568476610174231405/2407548871549493329245332*c_0101_\ 2^12 - 56088022620298727724225038577/601887217887373332311333*c_010\ 1_2^11 - 523657790003698872210613854689/601887217887373332311333*c_\ 0101_2^10 - 1073431010175917134549407764807/12037744357747466646226\ 66*c_0101_2^9 - 921869458216956345828569698569/24075488715494933292\ 45332*c_0101_2^8 + 115220895010082679104590272525/12037744357747466\ 64622666*c_0101_2^7 + 319586847680224758570659430185/12037744357747\ 46664622666*c_0101_2^6 + 250877202414693249336487308301/12037744357\ 74746664622666*c_0101_2^5 + 61104571904420724024081263089/601887217\ 887373332311333*c_0101_2^4 + 20320076993675516612005873976/60188721\ 7887373332311333*c_0101_2^3 + 9155153324739177782517205993/12037744\ 35774746664622666*c_0101_2^2 + 642451560858766423947621658/60188721\ 7887373332311333*c_0101_2 + 173816985267041931226370821/24075488715\ 49493329245332, c_0101_0 + 2609455679181530707511260085/1203774435774746664622666*c_010\ 1_2^22 + 281881075244886313563867347579/1203774435774746664622666*c\ _0101_2^21 + 783686608471603944747324373200/60188721788737333231133\ 3*c_0101_2^20 + 1314425296357242973529323736565/6018872178873733323\ 11333*c_0101_2^19 - 2100691960633970667741394138661/120377443577474\ 6664622666*c_0101_2^18 - 7040679688554482265339183736310/6018872178\ 87373332311333*c_0101_2^17 - 18737590754297364848476785703093/12037\ 74435774746664622666*c_0101_2^16 + 641532405053847176293019407524/601887217887373332311333*c_0101_2^15 + 17472605384854605270020382404115/601887217887373332311333*c_0101_\ 2^14 + 22998841354571434695735632108638/601887217887373332311333*c_\ 0101_2^13 + 17857114348721618138326176202685/1203774435774746664622\ 666*c_0101_2^12 - 11774683603163433292761170915826/6018872178873733\ 32311333*c_0101_2^11 - 20853448328262956642257308469263/60188721788\ 7373332311333*c_0101_2^10 - 29020572776978184505103876436249/120377\ 4435774746664622666*c_0101_2^9 - 2775834338135107253735335547948/60\ 1887217887373332311333*c_0101_2^8 + 8962841376983224036591553654539/1203774435774746664622666*c_0101_2^\ 7 + 5436876198010489579025945278630/601887217887373332311333*c_0101\ _2^6 + 3403296847136481994536568392391/601887217887373332311333*c_0\ 101_2^5 + 2850306215932063724685827865913/1203774435774746664622666\ *c_0101_2^4 + 833358804197401112282480575113/1203774435774746664622\ 666*c_0101_2^3 + 165981396105454435315294386721/1203774435774746664\ 622666*c_0101_2^2 + 10265912978305435797436251046/60188721788737333\ 2311333*c_0101_2 + 604968286760556225271219807/60188721788737333231\ 1333, c_0101_1 + 237122921690888266171348495/1203774435774746664622666*c_0101\ _2^22 + 12878008174092983722973671444/601887217887373332311333*c_01\ 01_2^21 + 157634211083266569033992823515/1203774435774746664622666*\ c_0101_2^20 + 317541157681655514988282041031/1203774435774746664622\ 666*c_0101_2^19 - 80736212790653283126659224671/1203774435774746664\ 622666*c_0101_2^18 - 1438488741258357460268785822911/12037744357747\ 46664622666*c_0101_2^17 - 2400049418118157278488916589697/120377443\ 5774746664622666*c_0101_2^16 - 305922862995415827750212846498/60188\ 7217887373332311333*c_0101_2^15 + 3543584208712562767164308276227/1\ 203774435774746664622666*c_0101_2^14 + 2959548440757129160346961856906/601887217887373332311333*c_0101_2^1\ 3 + 3397131460042044275362733089081/1203774435774746664622666*c_010\ 1_2^12 - 1899697220385319864094732066219/1203774435774746664622666*\ c_0101_2^11 - 2578187356718322007757331853825/601887217887373332311\ 333*c_0101_2^10 - 2163843318802887263671372754198/60188721788737333\ 2311333*c_0101_2^9 - 691309739526393421674117073929/601887217887373\ 332311333*c_0101_2^8 + 433485875299910134492653943693/6018872178873\ 73332311333*c_0101_2^7 + 1444857476171553511274490790275/1203774435\ 774746664622666*c_0101_2^6 + 508836501421504745481586545534/6018872\ 17887373332311333*c_0101_2^5 + 232688442277198541347794694092/60188\ 7217887373332311333*c_0101_2^4 + 147679106448011490524198999209/120\ 3774435774746664622666*c_0101_2^3 + 32031926650006603904957006883/1203774435774746664622666*c_0101_2^2 + 4360090488902322094851041741/1203774435774746664622666*c_0101_2 + 287767774448953714103155759/1203774435774746664622666, c_0101_2^23 + 542/5*c_0101_2^22 + 3207/5*c_0101_2^21 + 6179/5*c_0101_2^20 - 2076/5*c_0101_2^19 - 5685*c_0101_2^18 - 46167/5*c_0101_2^17 - 11524/5*c_0101_2^16 + 13476*c_0101_2^15 + 113559/5*c_0101_2^14 + 13713*c_0101_2^13 - 30981/5*c_0101_2^12 - 96656/5*c_0101_2^11 - 86596/5*c_0101_2^10 - 6555*c_0101_2^9 + 12499/5*c_0101_2^8 + 27302/5*c_0101_2^7 + 21204/5*c_0101_2^6 + 10664/5*c_0101_2^5 + 3808/5*c_0101_2^4 + 974/5*c_0101_2^3 + 172/5*c_0101_2^2 + 19/5*c_0101_2 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB