Magma V2.19-8 Tue Aug 20 2013 16:14:30 on localhost [Seed = 3448525261] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s494 geometric_solution 4.87555036 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 1 1 -2 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.339266419891 0.190373947454 2 0 3 0 0132 2310 0132 0132 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 0 1 -1 0 0 0 0 1 0 0 -1 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.419042158788 1.067515486425 1 4 5 4 0132 0132 0132 1023 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 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.810301846948 1.952444057235 4 5 4 1 2310 1023 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 1 0 -1 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.810301846948 1.952444057235 3 2 3 2 2310 0132 3201 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227588039351 0.373500550361 3 5 5 2 1023 3201 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 1 0 -1 0 1 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.084480988976 0.710287943117 ==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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(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_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), '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_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], '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_3'], 'c_0011_4' : d['c_0011_1'], '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_0101_1']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], '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_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), '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_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 1967254019978758953724320716719658293/10444285284989435280098644330\ 56246786048*c_0101_3^18 + 2350080244982016099945293814782714387/104\ 4428528498943528009864433056246786048*c_0101_3^17 + 239070533299853938857330525219862579/338002760032020559226493344031\ 1478272*c_0101_3^16 + 201679463855352278837516827641876371/14346545\ 72113933417595967627824514816*c_0101_3^15 + 883408046208484509686736758068609972409/104442852849894352800986443\ 3056246786048*c_0101_3^14 + 39505216774692833547217720690398411845/\ 74602037749924537714990316646874770432*c_0101_3^13 + 73811644762658445486060198366413896979/4351785535412264700041101804\ 4010282752*c_0101_3^12 - 1927659753650079046185896492224545089135/5\ 22214264249471764004932216528123393024*c_0101_3^11 - 13504893896274437209762339330378659553/1147723657691146734076774102\ 2596118528*c_0101_3^10 - 192283913504464710593468583559029582791/15\ 359243066160934235439182839062452736*c_0101_3^9 + 182249573025774111633184949845986762349/435178553541226470004110180\ 44010282752*c_0101_3^8 + 364918948685618290575421523879021964241/43\ 517855354122647000411018044010282752*c_0101_3^7 + 3558464473853002519790253903867078022195/65276783031183970500616527\ 066015424128*c_0101_3^6 - 6489270758432281032630062062342002482/509\ 974867431124769536066617703245501*c_0101_3^5 - 74800420423017052220533945926280822853/1165656839842570901796723697\ 607418288*c_0101_3^4 - 25614879219909133453939516501286536388/50997\ 4867431124769536066617703245501*c_0101_3^3 + 26172997669299284507674972187556449357/1019949734862249539072133235\ 406491002*c_0101_3^2 + 4617371879835457622691368391604577701/971380\ 69986880908483060308133951524*c_0101_3 + 8509689057249462386257017433144375689/33998324495408317969071107846\ 8830334, c_0011_0 - 1, c_0011_1 + 30533365976356144615798866216407/146278505392008897480373169\ 8958328832*c_0101_3^18 - 40588806229042540717743992383841/146278505\ 3920088974803731698958328832*c_0101_3^17 - 10638964204154577825366937119507/1420179664000086383304593882483814\ 4*c_0101_3^16 - 5145851290921341836389487922329/3516310225769444650\ 970508891726752*c_0101_3^15 - 15087084986446090676621710408179531/1\ 462785053920088974803731698958328832*c_0101_3^14 - 5807298360027801519098543428247821/73139252696004448740186584947916\ 4416*c_0101_3^13 - 6631207929309847505094271050193965/1828481317400\ 11121850466462369791104*c_0101_3^12 + 12046553805497564089750783853495233/7313925269600444874018658494791\ 64416*c_0101_3^11 - 6609090318232401332979717425056179/112521927224\ 622228831056284535256064*c_0101_3^10 + 45886847499002206419444032084910949/3656962634800222437009329247395\ 82208*c_0101_3^9 - 13801743698987351579235054915000745/182848131740\ 011121850466462369791104*c_0101_3^8 + 12110122263118125913015566071169847/9142406587000556092523323118489\ 5552*c_0101_3^7 - 33882695920949323977670245097656185/9142406587000\ 5560925233231184895552*c_0101_3^6 + 16584287556279605407680556003569353/4571203293500278046261661559244\ 7776*c_0101_3^5 + 4526141890488366031818395165710251/22856016467501\ 390231308307796223888*c_0101_3^4 - 1036639126887279477941109850488035/28570020584376737789135384745279\ 86*c_0101_3^3 - 2085767316774844378646316351721065/5714004116875347\ 557827076949055972*c_0101_3^2 - 61572354121433792627293564065348/14\ 28501029218836889456769237263993*c_0101_3 + 984235890393115010015368356666951/142850102921883688945676923726399\ 3, c_0011_3 + 45658498354718168832211778723597/146278505392008897480373169\ 8958328832*c_0101_3^18 - 21072623329655447525002793650229/146278505\ 3920088974803731698958328832*c_0101_3^17 - 15828599395014051876537117056755/1420179664000086383304593882483814\ 4*c_0101_3^16 - 182432250726101233548807034047635/56260963612311114\ 415528142267628032*c_0101_3^15 - 2765174678664919900126574394234746\ 1/1462785053920088974803731698958328832*c_0101_3^14 - 9918563176184790219557552416223993/36569626348002224370093292473958\ 2208*c_0101_3^13 - 14396495766392059473773879763239349/182848131740\ 011121850466462369791104*c_0101_3^12 - 10490468188177677832962293788564061/7313925269600444874018658494791\ 64416*c_0101_3^11 - 7597433287393696223235165054406205/112521927224\ 622228831056284535256064*c_0101_3^10 + 189052962656783082443496599579953087/731392526960044487401865849479\ 164416*c_0101_3^9 + 31456687042657699407986919320238717/36569626348\ 0022243700932924739582208*c_0101_3^8 + 59763475160072125327819671473483919/1828481317400111218504664623697\ 91104*c_0101_3^7 - 8556950315685348058844663357272227/1142800823375\ 0695115654153898111944*c_0101_3^6 - 11754890721607505458459351677643301/2285601646750139023130830779622\ 3888*c_0101_3^5 - 16828361161883429171091857937274167/2285601646750\ 1390231308307796223888*c_0101_3^4 + 4003885999902646698000110655693555/57140041168753475578270769490559\ 72*c_0101_3^3 + 1936241362076383013592815998145415/1428501029218836\ 889456769237263993*c_0101_3^2 + 287449297955921518598966977780781/1\ 428501029218836889456769237263993*c_0101_3 - 82692802525891038341247337720758/1428501029218836889456769237263993\ , c_0101_0 - 85985438541385353589185863048491/146278505392008897480373169\ 8958328832*c_0101_3^18 + 89738626353767706024388601264699/146278505\ 3920088974803731698958328832*c_0101_3^17 + 31237015106058667968369447168949/1420179664000086383304593882483814\ 4*c_0101_3^16 + 265595022473017663055162436668733/56260963612311114\ 415528142267628032*c_0101_3^15 + 4060306263814360708116483831771308\ 3/1462785053920088974803731698958328832*c_0101_3^14 + 8306031718838623215699624564704985/36569626348002224370093292473958\ 2208*c_0101_3^13 + 6034512776514984146107678721721935/9142406587000\ 5560925233231184895552*c_0101_3^12 - 66320443940166831901103826977800229/7313925269600444874018658494791\ 64416*c_0101_3^11 - 2495316196148485001319086183415045/112521927224\ 622228831056284535256064*c_0101_3^10 - 299021827994858547227103443635755421/731392526960044487401865849479\ 164416*c_0101_3^9 + 12126045838446307298089560583110667/36569626348\ 0022243700932924739582208*c_0101_3^8 + 10968574999348006139127444689789245/1828481317400111218504664623697\ 91104*c_0101_3^7 + 141916813744435519808426585209108469/91424065870\ 005560925233231184895552*c_0101_3^6 - 4122661709828901301663112685843385/11428008233750695115654153898111\ 944*c_0101_3^5 - 33922938645601591451859946225741545/22856016467501\ 390231308307796223888*c_0101_3^4 - 18024707796641572870430526016178527/1142800823375069511565415389811\ 1944*c_0101_3^3 + 3818745388651819002461429367168717/57140041168753\ 47557827076949055972*c_0101_3^2 + 124549024016695584621303384823589\ 3/1428501029218836889456769237263993*c_0101_3 + 221908982959539330130532268716316/142850102921883688945676923726399\ 3, c_0101_1 - 52814536748268479908615943597375/146278505392008897480373169\ 8958328832*c_0101_3^18 + 114922249885294823603556893772667/14627850\ 53920088974803731698958328832*c_0101_3^17 + 18567415110396320788832113941245/1420179664000086383304593882483814\ 4*c_0101_3^16 + 75695903437216689776144398412311/562609636123111144\ 15528142267628032*c_0101_3^15 + 20250862783636739930474047350028319\ /1462785053920088974803731698958328832*c_0101_3^14 - 399588060817569576938404814309283/914240658700055609252332311848955\ 52*c_0101_3^13 + 2430868297148415060490100684919995/914240658700055\ 60925233231184895552*c_0101_3^12 - 65559280523144665700347971389531653/7313925269600444874018658494791\ 64416*c_0101_3^11 + 6301614176288183259616192011366599/112521927224\ 622228831056284535256064*c_0101_3^10 - 146001533481048649526227504874842823/731392526960044487401865849479\ 164416*c_0101_3^9 + 101384267108621272154794456817734265/3656962634\ 80022243700932924739582208*c_0101_3^8 + 7551840843986638834281475343324629/91424065870005560925233231184895\ 552*c_0101_3^7 + 70641256374905717770358017808601491/91424065870005\ 560925233231184895552*c_0101_3^6 - 50993085905532233481568471320805137/4571203293500278046261661559244\ 7776*c_0101_3^5 - 16948275399146088231189445750536249/2285601646750\ 1390231308307796223888*c_0101_3^4 + 2559830064380100157100719238570015/28570020584376737789135384745279\ 86*c_0101_3^3 + 1175618708259012729216491370519047/1428501029218836\ 889456769237263993*c_0101_3^2 + 191228820817609159150118685349657/1\ 428501029218836889456769237263993*c_0101_3 - 251759229978313377166411356229465/142850102921883688945676923726399\ 3, c_0101_3^19 - c_0101_3^18 - 37*c_0101_3^17 - 82*c_0101_3^16 - 493*c_0101_3^15 - 460*c_0101_3^14 - 1412*c_0101_3^13 + 1046*c_0101_3^12 - 573*c_0101_3^11 + 6486*c_0101_3^10 - 968*c_0101_3^9 + 360*c_0101_3^8 - 25904*c_0101_3^7 + 3168*c_0101_3^6 + 14848*c_0101_3^5 + 17536*c_0101_3^4 - 2560*c_0101_3^3 - 512*c_0101_3^2 - 3072*c_0101_3 + 2048 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB