Magma V2.19-8 Tue Aug 20 2013 16:17:36 on localhost [Seed = 2017059999] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1846 geometric_solution 5.49179542 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 1 -1 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 -1 0 1 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.294556216737 0.309947834862 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 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 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.094359359882 1.385321524379 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 1 0 0 -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 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.225342739182 0.836414608994 5 4 2 1 3201 3201 2310 0132 0 0 0 0 0 -1 0 1 1 0 -1 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 -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.225342739182 0.836414608994 4 4 3 2 1302 2031 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313860034920 0.485922090503 6 6 2 3 0132 2310 0132 2310 0 0 0 0 0 0 1 -1 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 -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.108603581167 2.301233898872 5 6 6 5 0132 1230 3012 3201 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 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.100054808934 0.361286820391 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_4'], '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_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_4']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_4, c_0011_5, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 44373982390710630801489957638180333/5942060507490045105936349035271\ 139*c_0101_1^20 - 18393700711435283527118867638217774/5942060507490\ 045105936349035271139*c_0101_1^19 + 187792381464483367282035736198367933/594206050749004510593634903527\ 1139*c_0101_1^18 + 954600639712879556556775669817212658/59420605074\ 90045105936349035271139*c_0101_1^17 + 463823027652369349639050857235838635/594206050749004510593634903527\ 1139*c_0101_1^16 - 3899276222096442459972684522837902287/5942060507\ 490045105936349035271139*c_0101_1^15 - 6183301039025401208465078470143967792/59420605074900451059363490352\ 71139*c_0101_1^14 + 7792844939051139209135343323891227340/594206050\ 7490045105936349035271139*c_0101_1^13 + 26460164268354503636304694164846916175/5942060507490045105936349035\ 271139*c_0101_1^12 - 869966309351534984041707362378051829/594206050\ 7490045105936349035271139*c_0101_1^11 - 51520900097432083523116946227104109750/5942060507490045105936349035\ 271139*c_0101_1^10 - 21589140002195345709308770017153735287/5942060\ 507490045105936349035271139*c_0101_1^9 + 55287894411803716663527439399034007473/5942060507490045105936349035\ 271139*c_0101_1^8 + 39070842017865109670175636830853481536/59420605\ 07490045105936349035271139*c_0101_1^7 - 51411599294189471146830332990121132357/5942060507490045105936349035\ 271139*c_0101_1^6 - 64785533038326432209913359027076592539/59420605\ 07490045105936349035271139*c_0101_1^5 + 3859565803028371691073249954008748949/59420605074900451059363490352\ 71139*c_0101_1^4 + 21422284559818560921955368869576486956/594206050\ 7490045105936349035271139*c_0101_1^3 - 3384513199548551441727214736510166747/59420605074900451059363490352\ 71139*c_0101_1^2 - 103719295102207261625930740522705928/14492830506\ 0732807461862171591979*c_0101_1 - 145167807943391668360203240977278\ 00/5942060507490045105936349035271139, c_0011_0 - 1, c_0011_1 - 8458534855073135945/878432748041091583667*c_0101_1^20 - 32662041974192995312/878432748041091583667*c_0101_1^19 + 32599214080512919432/878432748041091583667*c_0101_1^18 + 301044145426244486769/878432748041091583667*c_0101_1^17 + 682252929310779632804/878432748041091583667*c_0101_1^16 - 599246270170465028455/878432748041091583667*c_0101_1^15 - 3689782915551513560677/878432748041091583667*c_0101_1^14 - 1850635781173524658976/878432748041091583667*c_0101_1^13 + 10738830594250333966406/878432748041091583667*c_0101_1^12 + 15155854670692924739811/878432748041091583667*c_0101_1^11 - 13773489448057165478232/878432748041091583667*c_0101_1^10 - 34769678137629396331651/878432748041091583667*c_0101_1^9 + 3612092972647388581428/878432748041091583667*c_0101_1^8 + 41419085161862217041908/878432748041091583667*c_0101_1^7 + 7122762659183563810227/878432748041091583667*c_0101_1^6 - 45888923739157935007496/878432748041091583667*c_0101_1^5 - 32036345510740651895958/878432748041091583667*c_0101_1^4 + 10437377693257479854604/878432748041091583667*c_0101_1^3 + 9161505559948369851932/878432748041091583667*c_0101_1^2 - 2896514975255266050911/878432748041091583667*c_0101_1 - 1381208777231401680307/878432748041091583667, c_0011_3 - 109683000361280617510377405918/20412437332497578515755235435\ 49*c_0101_1^20 - 27885611593212550954240164760/20412437332497578515\ 75523543549*c_0101_1^19 + 441619501944556456100177308458/2041243733\ 249757851575523543549*c_0101_1^18 + 2288498330228753139666311894881/2041243733249757851575523543549*c_0\ 101_1^17 + 876292941387614447645793797185/2041243733249757851575523\ 543549*c_0101_1^16 - 9227867931369381995217432020450/20412437332497\ 57851575523543549*c_0101_1^15 - 13686319142183393405597955619684/20\ 41243733249757851575523543549*c_0101_1^14 + 19368358321986758669694353357797/2041243733249757851575523543549*c_\ 0101_1^13 + 59308810104776522671385549079294/2041243733249757851575\ 523543549*c_0101_1^12 - 7016440723853185493875756156503/20412437332\ 49757851575523543549*c_0101_1^11 - 113324920055897822593191289332018/2041243733249757851575523543549*c\ _0101_1^10 - 37484878105878798156338882586497/204124373324975785157\ 5523543549*c_0101_1^9 + 118914904345044704622399211318183/204124373\ 3249757851575523543549*c_0101_1^8 + 69962134944120147221811727707943/2041243733249757851575523543549*c_\ 0101_1^7 - 113761885542901039064997917693929/2041243733249757851575\ 523543549*c_0101_1^6 - 128362599007087249308660586343126/2041243733\ 249757851575523543549*c_0101_1^5 + 5714399619149254058331100334328/2041243733249757851575523543549*c_0\ 101_1^4 + 26152273723019783714260957490193/204124373324975785157552\ 3543549*c_0101_1^3 - 11687081670739090703751338885734/2041243733249\ 757851575523543549*c_0101_1^2 - 5644011523858837249149438506860/204\ 1243733249757851575523543549*c_0101_1 - 2251737280419919896871571290676/2041243733249757851575523543549, c_0011_4 - 555410471217018845394187406875/20412437332497578515755235435\ 49*c_0101_1^20 - 235865479523300977761328048169/2041243733249757851\ 575523543549*c_0101_1^19 + 2321571725287538407239626950947/20412437\ 33249757851575523543549*c_0101_1^18 + 12010700987716387528803414314723/2041243733249757851575523543549*c_\ 0101_1^17 + 6006987338737043229025623667052/20412437332497578515755\ 23543549*c_0101_1^16 - 48343725055660382975033533896082/20412437332\ 49757851575523543549*c_0101_1^15 - 78494609883911167131831301975555/2041243733249757851575523543549*c_\ 0101_1^14 + 94818133660532484690267114335124/2041243733249757851575\ 523543549*c_0101_1^13 + 332280392377730970173282525162024/204124373\ 3249757851575523543549*c_0101_1^12 - 49914526767993067720321461683/2041243733249757851575523543549*c_010\ 1_1^11 - 640289159288221544489931325212644/204124373324975785157552\ 3543549*c_0101_1^10 - 294151478036308244103284622052279/20412437332\ 49757851575523543549*c_0101_1^9 + 676250151223152275863732624104850\ /2041243733249757851575523543549*c_0101_1^8 + 518242099193675065795805391786039/2041243733249757851575523543549*c\ _0101_1^7 - 618448270012256061995265418997442/204124373324975785157\ 5523543549*c_0101_1^6 - 835008144418172752823609109722854/204124373\ 3249757851575523543549*c_0101_1^5 + 12259956596616896437199521497888/2041243733249757851575523543549*c_\ 0101_1^4 + 277638776193740547207427063369194/2041243733249757851575\ 523543549*c_0101_1^3 - 21194589330688074397032915839393/20412437332\ 49757851575523543549*c_0101_1^2 - 57646478677363762859567612084044/\ 2041243733249757851575523543549*c_0101_1 - 1343541992777574034543131164564/2041243733249757851575523543549, c_0011_5 + 359986395631210180352640865321/20412437332497578515755235435\ 49*c_0101_1^20 + 172987569290033940696807777769/2041243733249757851\ 575523543549*c_0101_1^19 - 1551166118566421410834912024584/20412437\ 33249757851575523543549*c_0101_1^18 - 7842451156184589166752832417116/2041243733249757851575523543549*c_0\ 101_1^17 - 4122858924180756418493958742207/204124373324975785157552\ 3543549*c_0101_1^16 + 32118758319932749109124551465722/204124373324\ 9757851575523543549*c_0101_1^15 + 52318162964563514216014302073383/\ 2041243733249757851575523543549*c_0101_1^14 - 63104596208880282010695659065615/2041243733249757851575523543549*c_\ 0101_1^13 - 222491540124706111573320053284193/204124373324975785157\ 5523543549*c_0101_1^12 + 684373884869403082203797438290/20412437332\ 49757851575523543549*c_0101_1^11 + 436315928169577345939031739181055/2041243733249757851575523543549*c\ _0101_1^10 + 194605483334019182834221904158460/20412437332497578515\ 75523543549*c_0101_1^9 - 473232337095884266570968400537782/20412437\ 33249757851575523543549*c_0101_1^8 - 348172411811374009584164296715906/2041243733249757851575523543549*c\ _0101_1^7 + 437118241284416577857506536371511/204124373324975785157\ 5523543549*c_0101_1^6 + 564633019715533137554006788062528/204124373\ 3249757851575523543549*c_0101_1^5 - 38331662942091410213176629129778/2041243733249757851575523543549*c_\ 0101_1^4 - 207092702644846307619331177708806/2041243733249757851575\ 523543549*c_0101_1^3 + 27075289431232557613191376953765/20412437332\ 49757851575523543549*c_0101_1^2 + 42166349861600242397984745067099/\ 2041243733249757851575523543549*c_0101_1 - 3045467903070439029167890451702/2041243733249757851575523543549, c_0101_0 + 338304143227676256175626712985/20412437332497578515755235435\ 49*c_0101_1^20 + 90672423843945880416187926755/20412437332497578515\ 75523543549*c_0101_1^19 - 1426249481023096068360618652166/204124373\ 3249757851575523543549*c_0101_1^18 - 7088072554545956446006897124609/2041243733249757851575523543549*c_0\ 101_1^17 - 2558876476276384102089747732299/204124373324975785157552\ 3543549*c_0101_1^16 + 29797326001809118685169307956695/204124373324\ 9757851575523543549*c_0101_1^15 + 43049881018454003450262460699887/\ 2041243733249757851575523543549*c_0101_1^14 - 64311177870084323765102449926998/2041243733249757851575523543549*c_\ 0101_1^13 - 191869257278029532312524958958950/204124373324975785157\ 5523543549*c_0101_1^12 + 30100288073107049874472906053547/204124373\ 3249757851575523543549*c_0101_1^11 + 383627752238720253061684529227911/2041243733249757851575523543549*c\ _0101_1^10 + 117953020203741527514990532946381/20412437332497578515\ 75523543549*c_0101_1^9 - 428331899630690767463261988282464/20412437\ 33249757851575523543549*c_0101_1^8 - 245769165433047107781155405941610/2041243733249757851575523543549*c\ _0101_1^7 + 414411989671293464151449352527884/204124373324975785157\ 5523543549*c_0101_1^6 + 440855774985403715232160912124461/204124373\ 3249757851575523543549*c_0101_1^5 - 76776486974148908792101525933241/2041243733249757851575523543549*c_\ 0101_1^4 - 152694763041880146845292225809778/2041243733249757851575\ 523543549*c_0101_1^3 + 39675911721343374345390248821969/20412437332\ 49757851575523543549*c_0101_1^2 + 29300888967365170291966281069004/\ 2041243733249757851575523543549*c_0101_1 - 3819737236490684846116066155332/2041243733249757851575523543549, c_0101_1^21 + c_0101_1^20 - 4*c_0101_1^19 - 24*c_0101_1^18 - 23*c_0101_1^17 + 82*c_0101_1^16 + 191*c_0101_1^15 - 95*c_0101_1^14 - 701*c_0101_1^13 - 328*c_0101_1^12 + 1180*c_0101_1^11 + 1168*c_0101_1^10 - 975*c_0101_1^9 - 1619*c_0101_1^8 + 657*c_0101_1^7 + 2152*c_0101_1^6 + 756*c_0101_1^5 - 554*c_0101_1^4 - 208*c_0101_1^3 + 147*c_0101_1^2 + 56*c_0101_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB