Magma V2.19-8 Tue Aug 20 2013 16:16:49 on localhost [Seed = 2244221267] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1086 geometric_solution 4.95241005 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 0 0 0 0 0 0 -1 1 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 -1 0 1 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 1.310732963005 0.095624137149 2 0 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 0 -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 1.558116241054 0.401404824961 1 3 4 1 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 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 -1 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.000839366747 0.613784872824 4 2 5 4 2310 0132 0132 2031 0 0 0 0 0 0 0 0 -1 0 0 1 -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 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.244997542212 0.730492856266 5 3 3 2 2310 1302 3201 0132 0 0 0 0 0 -1 0 1 -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 -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.244997542212 0.730492856266 6 6 4 3 0132 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 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.325533225318 0.917044314775 5 6 5 6 0132 1302 2310 2031 0 0 0 0 0 1 -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 1 -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.972575289333 1.192907418671 ==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_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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 30*c_0101_3^5 - 102*c_0101_3^4 + 130*c_0101_3^3 + 145*c_0101_3^2 - 40*c_0101_3 - 27, c_0011_0 - 1, c_0011_4 + 3*c_0101_3^5 + 11*c_0101_3^4 - 11*c_0101_3^3 - 20*c_0101_3^2 + 4*c_0101_3 + 6, c_0011_5 + c_0101_3^5 + 4*c_0101_3^4 - 3*c_0101_3^3 - 10*c_0101_3^2 + c_0101_3 + 4, c_0101_0 + c_0101_3, c_0101_1 + c_0101_3^5 + 3*c_0101_3^4 - 6*c_0101_3^3 - 4*c_0101_3^2 + 4*c_0101_3 + 1, c_0101_2 + 3*c_0101_3^5 + 10*c_0101_3^4 - 14*c_0101_3^3 - 15*c_0101_3^2 + 6*c_0101_3 + 4, c_0101_3^6 + 3*c_0101_3^5 - 6*c_0101_3^4 - 4*c_0101_3^3 + 5*c_0101_3^2 + c_0101_3 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 91825747762880924639949275/45693287657823984683*c_0101_3^31 - 141978370485463609896359413/45693287657823984683*c_0101_3^30 - 4380162624172314119065334961/45693287657823984683*c_0101_3^29 + 25835264641977677804965574332/45693287657823984683*c_0101_3^28 - 47047618849148592962628695036/45693287657823984683*c_0101_3^27 - 55489315369252772924128551330/45693287657823984683*c_0101_3^26 + 394702920577041365040993426682/45693287657823984683*c_0101_3^25 - 586577510669607725375743232378/45693287657823984683*c_0101_3^24 - 313536820145088769417654980632/45693287657823984683*c_0101_3^23 + 2296019764622175608516803545456/45693287657823984683*c_0101_3^22 - 2813732073049787098266629431795/45693287657823984683*c_0101_3^21 - 903644102205004433292578057570/45693287657823984683*c_0101_3^20 + 6515724107564931569089077310570/45693287657823984683*c_0101_3^19 - 6763564418634061558688842932692/45693287657823984683*c_0101_3^18 - 1299668140679689516719465248811/45693287657823984683*c_0101_3^17 + 9937551469374106008892196639956/45693287657823984683*c_0101_3^16 - 9003502749816368238789239911143/45693287657823984683*c_0101_3^15 - 734234061964966152501530770362/45693287657823984683*c_0101_3^14 + 8392997475185697196670931658293/45693287657823984683*c_0101_3^13 - 6868581231112268451364104526010/45693287657823984683*c_0101_3^12 + 183285582930112354742238902896/45693287657823984683*c_0101_3^11 + 3836493803671829161727429533339/45693287657823984683*c_0101_3^10 - 2946148893125140895956547920328/45693287657823984683*c_0101_3^9 + 384871287607403862056135356127/45693287657823984683*c_0101_3^8 + 852583050672410567284291680878/45693287657823984683*c_0101_3^7 - 648356812494373216440999455380/45693287657823984683*c_0101_3^6 + 147925182829678960806126795808/45693287657823984683*c_0101_3^5 + 60475089352792428079397335886/45693287657823984683*c_0101_3^4 - 55646982820287116525201207036/45693287657823984683*c_0101_3^3 + 18328400885392574281284706084/45693287657823984683*c_0101_3^2 - 3004310126982132487487569215/45693287657823984683*c_0101_3 + 203389835392509093009251061/45693287657823984683, c_0011_0 - 1, c_0011_4 + 296427072571139754527372842/776785890183007739611*c_0101_3^3\ 1 - 460519161415449014005685975/776785890183007739611*c_0101_3^30 - 14137591846610558507047400893/776785890183007739611*c_0101_3^29 + 83505826923315215354350220511/776785890183007739611*c_0101_3^28 - 152436982179059971212709600656/776785890183007739611*c_0101_3^27 - 178305101224160251863115880510/776785890183007739611*c_0101_3^26 + 1275930668558259865523108913846/776785890183007739611*c_0101_3^25 - 1902046112701458882896318819638/776785890183007739611*c_0101_3^24 - 1002697465600945892048609390430/776785890183007739611*c_0101_3^23 + 7424532865447754672564789914401/776785890183007739611*c_0101_3^22 - 9131316507796938731196856548388/776785890183007739611*c_0101_3^21 - 2875845272188885736394139275381/776785890183007739611*c_0101_3^20 + 21077955210998907653084599623250/776785890183007739611*c_0101_3^19 - 21966162495431223454751201127110/776785890183007739611*c_0101_3^18 - 4105459192897443656324100613747/776785890183007739611*c_0101_3^17 + 32160712686597498877810794092625/776785890183007739611*c_0101_3^16 - 29259605177292746524276253612409/776785890183007739611*c_0101_3^15 - 2260732833958730274448261428649/776785890183007739611*c_0101_3^14 + 27172278003887848533720543279367/776785890183007739611*c_0101_3^13 - 22332250446578280964689514262909/776785890183007739611*c_0101_3^12 + 669151294919137180874975215137/776785890183007739611*c_0101_3^11 + 12423708447438392881335485742557/776785890183007739611*c_0101_3^10 - 9582027731510100830315435868284/776785890183007739611*c_0101_3^9 + 1273905157523202073444593395758/776785890183007739611*c_0101_3^8 + 2760729674778093953862356110487/776785890183007739611*c_0101_3^7 - 2109062377849029219134294450992/776785890183007739611*c_0101_3^6 + 484239733073355333532418374688/776785890183007739611*c_0101_3^5 + 195460310699621431177928079416/776785890183007739611*c_0101_3^4 - 181002117253515012743483884530/776785890183007739611*c_0101_3^3 + 59750027088161814143960918171/776785890183007739611*c_0101_3^2 - 9809149366138745799154704014/776785890183007739611*c_0101_3 + 664842564414336243684979957/776785890183007739611, c_0011_5 + 376032291983426167779682158/776785890183007739611*c_0101_3^3\ 1 - 584671645033042466028876499/776785890183007739611*c_0101_3^30 - 17933694092956607315644927921/776785890183007739611*c_0101_3^29 + 105954390204675073705445032255/776785890183007739611*c_0101_3^28 - 193498967203374159583065962377/776785890183007739611*c_0101_3^27 - 225996672224635308778023438173/776785890183007739611*c_0101_3^26 + 1618953856886411980674440768159/776785890183007739611*c_0101_3^25 - 2414742498855659248264003946590/776785890183007739611*c_0101_3^24 - 1269723876142085540332662102072/776785890183007739611*c_0101_3^23 + 9420993038200594108842687525165/776785890183007739611*c_0101_3^22 - 11594406255767296935874239204833/776785890183007739611*c_0101_3^21 - 3638126736599205321545870427130/776785890183007739611*c_0101_3^20 + 26747464172163058284110064862560/776785890183007739611*c_0101_3^19 - 27895327613230437011803518513559/776785890183007739611*c_0101_3^18 - 5185607470585095104761243999717/776785890183007739611*c_0101_3^17 + 40813864985443512166354241512847/776785890183007739611*c_0101_3^16 - 37162122479406547671872061014043/776785890183007739611*c_0101_3^15 - 2840098983067421136035356251697/776785890183007739611*c_0101_3^14 + 34485140066697691669728881853145/776785890183007739611*c_0101_3^13 - 28366632000411588189773683062849/776785890183007739611*c_0101_3^12 + 868803418512673649003730506093/776785890183007739611*c_0101_3^11 + 15767698804531419936747039279112/776785890183007739611*c_0101_3^10 - 12172041741362547307028523504856/776785890183007739611*c_0101_3^9 + 1624198329571090128485944081646/776785890183007739611*c_0101_3^8 + 3503625149537912199431327229207/776785890183007739611*c_0101_3^7 - 2679255294890291092947124574816/776785890183007739611*c_0101_3^6 + 616034168823495330504066912633/776785890183007739611*c_0101_3^5 + 247930070823787441221230312918/776785890183007739611*c_0101_3^4 - 229934600350960805665095239713/776785890183007739611*c_0101_3^3 + 75947182380499006297690045473/776785890183007739611*c_0101_3^2 - 12474212700519778774527708503/776785890183007739611*c_0101_3 + 845864652695871115980115229/776785890183007739611, c_0101_0 + 106386559237118938053162255/776785890183007739611*c_0101_3^3\ 1 - 167178867721630695508393190/776785890183007739611*c_0101_3^30 - 5071912819403846336301516584/776785890183007739611*c_0101_3^29 + 30061567982940622905430340328/776785890183007739611*c_0101_3^28 - 55199226745161171313352837386/776785890183007739611*c_0101_3^27 - 63258252130701335456142481302/776785890183007739611*c_0101_3^26 + 459436138655884489296274562466/776785890183007739611*c_0101_3^25 - 690078125279225153073848378788/776785890183007739611*c_0101_3^24 - 351354068180574067100519881799/776785890183007739611*c_0101_3^23 + 2675322618940564712926784582752/776785890183007739611*c_0101_3^22 - 3319582261960538388598861403574/776785890183007739611*c_0101_3^21 - 994600417709983589323763521205/776785890183007739611*c_0101_3^20 + 7602083842681850758229254483630/776785890183007739611*c_0101_3^19 - 8000552079190415547347892371156/776785890183007739611*c_0101_3^18 - 1390687453443732836435494005671/776785890183007739611*c_0101_3^17 + 11610401063762197711680705774559/776785890183007739611*c_0101_3^16 - 10674258302369100890234857867668/776785890183007739611*c_0101_3^15 - 709877116495862747004807831504/776785890183007739611*c_0101_3^14 + 9817885058997141516958402330432/776785890183007739611*c_0101_3^13 - 8157200588326306465362126323225/776785890183007739611*c_0101_3^12 + 312453966617037333292215666673/776785890183007739611*c_0101_3^11 + 4491226920516521299591430186652/776785890183007739611*c_0101_3^10 - 3502954731918393436730134836597/776785890183007739611*c_0101_3^9 + 486684603365336736151137772285/776785890183007739611*c_0101_3^8 + 997640452308005235246087991036/776785890183007739611*c_0101_3^7 - 771394397932547001281593854619/776785890183007739611*c_0101_3^6 + 180084250916792311029420619684/776785890183007739611*c_0101_3^5 + 70247174330836615241262016321/776785890183007739611*c_0101_3^4 - 66192258756963583860482820858/776785890183007739611*c_0101_3^3 + 21988558592773650161204820290/776785890183007739611*c_0101_3^2 - 3626734373794713922713244809/776785890183007739611*c_0101_3 + 246767814980899716024513402/776785890183007739611, c_0101_1 + 24096866739202799795202670/776785890183007739611*c_0101_3^31 - 34853340970994820673688371/776785890183007739611*c_0101_3^30 - 1152209765617214880809149930/776785890183007739611*c_0101_3^29 + 6663877350932521328825401723/776785890183007739611*c_0101_3^28 - 11715346110568207010506971338/776785890183007739611*c_0101_3^27 - 15544285929965070993475873274/776785890183007739611*c_0101_3^26 + 101735091198982408004922553949/776785890183007739611*c_0101_3^25 - 144317730554562920474320510946/776785890183007739611*c_0101_3^24 - 93840408049683365361978721552/776785890183007739611*c_0101_3^23 + 589720090533533196960743710858/776785890183007739611*c_0101_3^22 - 683275138832193635939862510767/776785890183007739611*c_0101_3^21 - 289027319831578406459686232837/776785890183007739611*c_0101_3^20 + 1665557914132409143101140504574/776785890183007739611*c_0101_3^19 - 1621631575470579397154338652429/776785890183007739611*c_0101_3^18 - 457526747894481990643616933585/776785890183007739611*c_0101_3^17 + 2527398456690054213513491828293/776785890183007739611*c_0101_3^16 - 2133973498852908182959375052456/776785890183007739611*c_0101_3^15 - 337868915515837044998116608150/776785890183007739611*c_0101_3^14 + 2125371381780538169066289338309/776785890183007739611*c_0101_3^13 - 1612861217644276697755939815029/776785890183007739611*c_0101_3^12 - 56624850680449826843573602659/776785890183007739611*c_0101_3^11 + 969777689668608534233127392705/776785890183007739611*c_0101_3^10 - 687113608780456523189444315401/776785890183007739611*c_0101_3^9 + 57964741333418033498586047395/776785890183007739611*c_0101_3^8 + 216629949457703996573030374358/776785890183007739611*c_0101_3^7 - 150564594915777257599954125901/776785890183007739611*c_0101_3^6 + 29610506106500165048686670836/776785890183007739611*c_0101_3^5 + 16066263117474606852939458969/776785890183007739611*c_0101_3^4 - 12930680336631271813093464900/776785890183007739611*c_0101_3^3 + 4016460751328830348362919942/776785890183007739611*c_0101_3^2 - 625099177133103048598668675/776785890183007739611*c_0101_3 + 40127197693811448915199397/776785890183007739611, c_0101_2 + 368415491843196489157607115/776785890183007739611*c_0101_3^3\ 1 - 572738894842083718836901097/776785890183007739611*c_0101_3^30 - 17570527842278693960152343061/776785890183007739611*c_0101_3^29 + 103803878247618107975151305567/776785890183007739611*c_0101_3^28 - 189556432122800009391327351313/776785890183007739611*c_0101_3^27 - 221453314917032802000406264150/776785890183007739611*c_0101_3^26 + 1586089277284339524985188549005/776785890183007739611*c_0101_3^25 - 2365480520827016851425935147982/776785890183007739611*c_0101_3^24 - 1244401938031553501320214026891/776785890183007739611*c_0101_3^23 + 9229658494667241395172298393175/776785890183007739611*c_0101_3^22 - 11357565693691213787352237031856/776785890183007739611*c_0101_3^21 - 3566183062552062889096973346942/776785890183007739611*c_0101_3^20 + 26203917103922975842847203997320/776785890183007739611*c_0101_3^19 - 27324813838876459932513532838391/776785890183007739611*c_0101_3^18 - 5084423742183480203532840679694/776785890183007739611*c_0101_3^17 + 39983956990620866917851771582001/776785890183007739611*c_0101_3^16 - 36401292851213117812502478268161/776785890183007739611*c_0101_3^15 - 2787300675057133263552077089691/776785890183007739611*c_0101_3^14 + 33783544399490582922617514503329/776785890183007739611*c_0101_3^13 - 27785414190393701838699917398845/776785890183007739611*c_0101_3^12 + 847830729173651587903111539458/776785890183007739611*c_0101_3^11 + 15446811527928897373666759433278/776785890183007739611*c_0101_3^10 - 11922509568243913476080975554783/776785890183007739611*c_0101_3^9 + 1589919916803071578022795530998/776785890183007739611*c_0101_3^8 + 3432345616846781986607403987114/776785890183007739611*c_0101_3^7 - 2624313333451274965820443513825/776785890183007739611*c_0101_3^6 + 603260938781744106970670807576/776785890183007739611*c_0101_3^5 + 242905285429144701540226678239/776785890183007739611*c_0101_3^4 - 225220092841837856613494897139/776785890183007739611*c_0101_3^3 + 74383231190718552619235696917/776785890183007739611*c_0101_3^2 - 12216458968662798030136912526/776785890183007739611*c_0101_3 + 828331664490634099804975298/776785890183007739611, c_0101_3^32 - 2*c_0101_3^31 - 47*c_0101_3^30 + 303*c_0101_3^29 - 640*c_0101_3^28 - 372*c_0101_3^27 + 4573*c_0101_3^26 - 8338*c_0101_3^25 - 519*c_0101_3^24 + 26558*c_0101_3^23 - 41985*c_0101_3^22 + 4045*c_0101_3^21 + 75443*c_0101_3^20 - 105843*c_0101_3^19 + 19217*c_0101_3^18 + 114689*c_0101_3^17 - 147135*c_0101_3^16 + 36417*c_0101_3^15 + 95085*c_0101_3^14 - 116253*c_0101_3^13 + 35872*c_0101_3^12 + 40914*c_0101_3^11 - 51032*c_0101_3^10 + 18720*c_0101_3^9 + 7399*c_0101_3^8 - 11272*c_0101_3^7 + 4808*c_0101_3^6 - 69*c_0101_3^5 - 905*c_0101_3^4 + 474*c_0101_3^3 - 123*c_0101_3^2 + 17*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB