Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 4189611413] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s799 geometric_solution 5.34774059 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327737928426 0.606740200007 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 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 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.678970338992 1.042180149910 1 3 0 4 1230 0132 0132 2310 0 0 0 0 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 1 0 -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.678970338992 1.042180149910 1 2 3 3 0132 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 -1 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 0 0 0 0.961620156637 0.967376526688 2 5 5 1 3201 0132 3201 0132 0 0 0 0 0 1 0 -1 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 0 0 0 1 0 0 -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.177340857439 0.540385737639 4 4 5 5 2310 0132 2031 1302 0 0 0 0 0 -1 1 0 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 0 0 0 0 0 0 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.190822794313 1.896477696031 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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' : 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_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 234482347039512180075165051531153023/554381734868248245765128773703\ 40341*c_0101_5^23 + 1091261350156991132524080930844450823/554381734\ 86824824576512877370340341*c_0101_5^22 - 392937662394945726229684250730321162/554381734868248245765128773703\ 40341*c_0101_5^21 - 395065810978547153302560919542859252/7919739069\ 546403510930411052905763*c_0101_5^20 - 3564836411162180069054290703255009028/55438173486824824576512877370\ 340341*c_0101_5^19 - 21390170673392356634548694446154250875/5543817\ 3486824824576512877370340341*c_0101_5^18 + 9817828633425048192505198259249833826/79197390695464035109304110529\ 05763*c_0101_5^17 + 11957696868792022205550918773219108845/55438173\ 486824824576512877370340341*c_0101_5^16 - 165743133732584515786392865921650305990/554381734868248245765128773\ 70340341*c_0101_5^15 + 84419971929103633795893694302666339521/55438\ 173486824824576512877370340341*c_0101_5^14 + 99226440273967594195994534753966070088/5543817348682482457651287737\ 0340341*c_0101_5^13 + 59632398672693070207162919157674557750/554381\ 73486824824576512877370340341*c_0101_5^12 - 383704122221958562007934046297774951396/554381734868248245765128773\ 70340341*c_0101_5^11 + 59008458799363767178882310750046923621/79197\ 39069546403510930411052905763*c_0101_5^10 - 168015231765865579373749125363740684425/554381734868248245765128773\ 70340341*c_0101_5^9 + 3105092727706314489900499255430409853/7919739\ 069546403510930411052905763*c_0101_5^8 - 16700239592858186186447432270612599893/5543817348682482457651287737\ 0340341*c_0101_5^7 - 8493242614798400597738172072662447239/55438173\ 486824824576512877370340341*c_0101_5^6 + 6092548564281816736662944415813328160/55438173486824824576512877370\ 340341*c_0101_5^5 + 9942885465058408673934021040688789881/554381734\ 86824824576512877370340341*c_0101_5^4 - 7107183583973225663080161213125751615/55438173486824824576512877370\ 340341*c_0101_5^3 - 6773661171597417387989879130535361541/554381734\ 86824824576512877370340341*c_0101_5^2 - 477752792654829714444533404045381943/554381734868248245765128773703\ 40341*c_0101_5 + 1063032055509551904850030210516773100/554381734868\ 24824576512877370340341, c_0011_0 - 1, c_0011_1 - 277022996778201551944285340963553/79197390695464035109304110\ 52905763*c_0101_5^23 - 1338216400013891452697030458858032/791973906\ 9546403510930411052905763*c_0101_5^22 + 670033062390797128551163307914511/791973906954640351093041105290576\ 3*c_0101_5^21 + 5491097687222385788382420029203659/7919739069546403\ 510930411052905763*c_0101_5^20 + 4803971650305617342409324585057225\ /7919739069546403510930411052905763*c_0101_5^19 + 21705687111267913773994360013075451/7919739069546403510930411052905\ 763*c_0101_5^18 - 83744875884609234001770941293879037/7919739069546\ 403510930411052905763*c_0101_5^17 - 70878433173765727292049318774472035/7919739069546403510930411052905\ 763*c_0101_5^16 + 305458835743947767803788673195118522/791973906954\ 6403510930411052905763*c_0101_5^15 - 26498734401332819442578265795881649/7919739069546403510930411052905\ 763*c_0101_5^14 - 412137725697915853468002052082952142/791973906954\ 6403510930411052905763*c_0101_5^13 + 25825555237129413592177262591389991/7919739069546403510930411052905\ 763*c_0101_5^12 + 591235344048801186323480965386384622/791973906954\ 6403510930411052905763*c_0101_5^11 - 290658772216779790524060637875013968/791973906954640351093041105290\ 5763*c_0101_5^10 - 497511282751837941578594565312362954/79197390695\ 46403510930411052905763*c_0101_5^9 + 667039736615736916824950270869999106/791973906954640351093041105290\ 5763*c_0101_5^8 - 252920584744652764656840624197247962/791973906954\ 6403510930411052905763*c_0101_5^7 + 7260278763711964265200566392801264/79197390695464035109304110529057\ 63*c_0101_5^6 + 63828867907851708514420031300601495/791973906954640\ 3510930411052905763*c_0101_5^5 - 7733534842428052339547526380416865\ 9/7919739069546403510930411052905763*c_0101_5^4 + 28466556622114859495864732804033071/7919739069546403510930411052905\ 763*c_0101_5^3 + 21874453725381986206349043686876629/79197390695464\ 03510930411052905763*c_0101_5^2 - 633945492887132648251412856104021\ /7919739069546403510930411052905763*c_0101_5 - 5786080894671422093106851608496306/79197390695464035109304110529057\ 63, c_0011_4 - 636274363138937275693414005691988/79197390695464035109304110\ 52905763*c_0101_5^23 - 3332703063742067508020267781067605/791973906\ 9546403510930411052905763*c_0101_5^22 - 1068529657097849244376774790256799/79197390695464035109304110529057\ 63*c_0101_5^21 + 6002107814614747028637673115108869/791973906954640\ 3510930411052905763*c_0101_5^20 + 133240465666887276656225173117327\ 00/7919739069546403510930411052905763*c_0101_5^19 + 67103829170774307021911487996317847/7919739069546403510930411052905\ 763*c_0101_5^18 - 145072428709285517990401855920121120/791973906954\ 6403510930411052905763*c_0101_5^17 - 99080895544422333789333791596671597/7919739069546403510930411052905\ 763*c_0101_5^16 + 339624695047366366655150226625223647/791973906954\ 6403510930411052905763*c_0101_5^15 - 21056680672710035737719839970221270/7919739069546403510930411052905\ 763*c_0101_5^14 - 179649118915737277598228939478060356/791973906954\ 6403510930411052905763*c_0101_5^13 - 358488955188775852975553647155794452/791973906954640351093041105290\ 5763*c_0101_5^12 + 828792903819211185207165166295038976/79197390695\ 46403510930411052905763*c_0101_5^11 - 700646491400433161075992812828092765/791973906954640351093041105290\ 5763*c_0101_5^10 + 332846918252552488069360936370663254/79197390695\ 46403510930411052905763*c_0101_5^9 - 262168728587664533980760671559005367/791973906954640351093041105290\ 5763*c_0101_5^8 + 211126632028755771836225766931842440/791973906954\ 6403510930411052905763*c_0101_5^7 - 69816982633150985830586299202424738/7919739069546403510930411052905\ 763*c_0101_5^6 + 58522246812425225661700923292093268/79197390695464\ 03510930411052905763*c_0101_5^5 - 296414704851674014644325513801200\ 48/7919739069546403510930411052905763*c_0101_5^4 - 6741813969075559434150431658527946/79197390695464035109304110529057\ 63*c_0101_5^3 + 5824933371516902056882174397700690/7919739069546403\ 510930411052905763*c_0101_5^2 + 19363304112389016395737212216557961\ /7919739069546403510930411052905763*c_0101_5 + 552957117351506471163144896252381/791973906954640351093041105290576\ 3, c_0101_0 + 2612511149569208864380982430207103/7919739069546403510930411\ 052905763*c_0101_5^23 + 12108619642077869287055842799779812/7919739\ 069546403510930411052905763*c_0101_5^22 - 4294867927769343644919878572898363/79197390695464035109304110529057\ 63*c_0101_5^21 - 29284712517846350756236076326814810/79197390695464\ 03510930411052905763*c_0101_5^20 - 39763084345178438038778001257627621/7919739069546403510930411052905\ 763*c_0101_5^19 - 241232137035242825147497480328009328/791973906954\ 6403510930411052905763*c_0101_5^18 + 765901516424598869203915321466964275/791973906954640351093041105290\ 5763*c_0101_5^17 + 90455452615693873010420246515029283/791973906954\ 6403510930411052905763*c_0101_5^16 - 1755304902173755387917392219052009483/79197390695464035109304110529\ 05763*c_0101_5^15 + 984773047579954666937637427957541547/7919739069\ 546403510930411052905763*c_0101_5^14 + 859053323948153591204897670124666208/791973906954640351093041105290\ 5763*c_0101_5^13 + 776060996472740604815435824224696088/79197390695\ 46403510930411052905763*c_0101_5^12 - 4144684694797202305217953430472653471/79197390695464035109304110529\ 05763*c_0101_5^11 + 4739335251995292269918415259891547290/791973906\ 9546403510930411052905763*c_0101_5^10 - 2503034444780601637590261782379803073/79197390695464035109304110529\ 05763*c_0101_5^9 + 884129550068428006562131664822462875/79197390695\ 46403510930411052905763*c_0101_5^8 - 417420131209496701607344918358699118/791973906954640351093041105290\ 5763*c_0101_5^7 - 78869572010577177868067673050894192/7919739069546\ 403510930411052905763*c_0101_5^6 + 35561457989653407470705875154734008/7919739069546403510930411052905\ 763*c_0101_5^5 + 133214448773510189349549808004781003/7919739069546\ 403510930411052905763*c_0101_5^4 - 87043319387307164412978202039781865/7919739069546403510930411052905\ 763*c_0101_5^3 - 63191696832131107732604019915145766/79197390695464\ 03510930411052905763*c_0101_5^2 - 137310774527276887190043508228019\ 12/7919739069546403510930411052905763*c_0101_5 - 1233923473480198663531326262721900/79197390695464035109304110529057\ 63, c_0101_1 + 2247493937227876063018431788175622/7919739069546403510930411\ 052905763*c_0101_5^23 + 10712238499777125924975236670771717/7919739\ 069546403510930411052905763*c_0101_5^22 - 2137692894435381866959703096966492/79197390695464035109304110529057\ 63*c_0101_5^21 - 24701610661802580354605283925064367/79197390695464\ 03510930411052905763*c_0101_5^20 - 37091272084471120000678863785925257/7919739069546403510930411052905\ 763*c_0101_5^19 - 213039538340980954532329786304863067/791973906954\ 6403510930411052905763*c_0101_5^18 + 627938345366980478719292723779881890/791973906954640351093041105290\ 5763*c_0101_5^17 + 143365699649342253519672119832274520/79197390695\ 46403510930411052905763*c_0101_5^16 - 1458814224109373420426655547135159378/79197390695464035109304110529\ 05763*c_0101_5^15 + 661493331713418970069546237461672453/7919739069\ 546403510930411052905763*c_0101_5^14 + 783552020298949567749449568319516562/791973906954640351093041105290\ 5763*c_0101_5^13 + 795888552332182027431163774528863292/79197390695\ 46403510930411052905763*c_0101_5^12 - 3518182090046452888258191309711537046/79197390695464035109304110529\ 05763*c_0101_5^11 + 3733458673675700349841515902941078928/791973906\ 9546403510930411052905763*c_0101_5^10 - 1802201059580993875006943247995855934/79197390695464035109304110529\ 05763*c_0101_5^9 + 733409226281861678136655272230688841/79197390695\ 46403510930411052905763*c_0101_5^8 - 566537101360237534534950143244635015/791973906954640351093041105290\ 5763*c_0101_5^7 + 153650902828018652726810729540551800/791973906954\ 6403510930411052905763*c_0101_5^6 - 79025539403525615522190888398568009/7919739069546403510930411052905\ 763*c_0101_5^5 + 94407701333095867978697984528126744/79197390695464\ 03510930411052905763*c_0101_5^4 - 485402566458683586248810359112414\ 72/7919739069546403510930411052905763*c_0101_5^3 - 56607262030020779882704165603964699/7919739069546403510930411052905\ 763*c_0101_5^2 - 18816110752436662384355138374162044/79197390695464\ 03510930411052905763*c_0101_5 + 1072143813071464923933197990991026/\ 7919739069546403510930411052905763, c_0101_5^24 + 5*c_0101_5^23 - 12*c_0101_5^21 - 19*c_0101_5^20 - 97*c_0101_5^19 + 260*c_0101_5^18 + 145*c_0101_5^17 - 678*c_0101_5^16 + 132*c_0101_5^15 + 516*c_0101_5^14 + 389*c_0101_5^13 - 1524*c_0101_5^12 + 1233*c_0101_5^11 - 179*c_0101_5^10 - 120*c_0101_5^9 - 27*c_0101_5^8 - 65*c_0101_5^7 + 11*c_0101_5^6 + 51*c_0101_5^5 - 18*c_0101_5^4 - 37*c_0101_5^3 - 11*c_0101_5^2 + 2*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB