Magma V2.19-8 Tue Aug 20 2013 16:16:27 on localhost [Seed = 795784142] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0740 geometric_solution 4.68848058 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 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 -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 0 0 0 0 0 0.397359595114 0.505268686671 0 4 4 0 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.698200542415 0.375431085716 5 3 3 0 0132 3012 2031 0132 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 -1 1 0 0 -1 1 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.815094001121 0.635896036002 2 5 0 2 1230 3201 0132 1302 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 -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.815094001121 0.635896036002 1 1 4 4 2310 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 0 0 0 0 0 0 0 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.467130256457 0.203597726886 2 6 3 6 0132 0132 2310 1023 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 0 0 0 0 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.890892659132 1.151162590170 6 5 6 5 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503283651275 0.460429168478 ==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' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0101_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 189069040738536402195510549694480784221/503400845842287671082020923\ 1526400305*c_0101_6^17 - 64594358071992897777193867605271371548/100\ 6801691684575342164041846305280061*c_0101_6^16 + 10271601134171385096722321876359205959432/5034008458422876710820209\ 231526400305*c_0101_6^15 - 724004062986481635813549696013200810113/\ 1006801691684575342164041846305280061*c_0101_6^14 - 8665833944108729803099136669279096810984/33560056389485844738801394\ 8768426687*c_0101_6^13 + 25995167641779520432749018909334413056726/\ 1006801691684575342164041846305280061*c_0101_6^12 + 434647881048774781709551896891222064810258/503400845842287671082020\ 9231526400305*c_0101_6^11 - 633018431528405925224647540843692806174\ 236/5034008458422876710820209231526400305*c_0101_6^10 - 16765548594766904918946326453124072018388/5593342731580974123133565\ 81280711145*c_0101_6^9 + 688890467701793631998348471959879114323907\ /5034008458422876710820209231526400305*c_0101_6^8 - 92315593130353109072475841243134723796531/1006801691684575342164041\ 846305280061*c_0101_6^7 - 26389576962808688418054620077424834757271\ /5034008458422876710820209231526400305*c_0101_6^6 + 12158549145332294148747438231360017275402/1006801691684575342164041\ 846305280061*c_0101_6^5 + 6925236672017128449852727690134624177937/\ 1678002819474292236940069743842133435*c_0101_6^4 + 2398530000132579890474465461776296811701/50340084584228767108202092\ 31526400305*c_0101_6^3 + 9435095121143908320019154668335780508724/5\ 034008458422876710820209231526400305*c_0101_6^2 - 296515856786108494419622335414730206656/503400845842287671082020923\ 1526400305*c_0101_6 + 391071530146600940796396732077378751044/16780\ 02819474292236940069743842133435, c_0011_0 - 1, c_0011_2 - 7645173702693876101674536842752760354/1678002819474292236940\ 069743842133435*c_0101_6^17 - 3927638758087944129997035025456271761\ /335600563894858447388013948768426687*c_0101_6^16 + 402808101678469040168209465346340068903/167800281947429223694006974\ 3842133435*c_0101_6^15 + 42530957168213276861964167169173037608/335\ 600563894858447388013948768426687*c_0101_6^14 - 353332022105261565663447406510257125796/111866854631619482462671316\ 256142229*c_0101_6^13 + 102018525802366828765056607736604737344/335\ 600563894858447388013948768426687*c_0101_6^12 + 21002780265022047734848054395848198114912/1678002819474292236940069\ 743842133435*c_0101_6^11 - 6977082064266521137915755172203627588344\ /1678002819474292236940069743842133435*c_0101_6^10 - 8041917123691343154533492600968224520976/55933427315809741231335658\ 1280711145*c_0101_6^9 + 7737598348309454227187747248771869266333/16\ 78002819474292236940069743842133435*c_0101_6^8 + 534270366738127632204289564473687717103/335600563894858447388013948\ 768426687*c_0101_6^7 + 739513271873155785950683698672527759866/1678\ 002819474292236940069743842133435*c_0101_6^6 + 111339031453360909913968204169222277776/335600563894858447388013948\ 768426687*c_0101_6^5 + 122747340466480587538788473153146145673/5593\ 34273158097412313356581280711145*c_0101_6^4 - 17027542999904844697397462093949507986/1678002819474292236940069743\ 842133435*c_0101_6^3 + 57783952218852226468124556555444370681/16780\ 02819474292236940069743842133435*c_0101_6^2 - 13112282187746532196515495542662516369/1678002819474292236940069743\ 842133435*c_0101_6 + 462539061617318601172124274466801641/559334273\ 158097412313356581280711145, c_0101_0 - 7975032903554376724787473093011525451/1678002819474292236940\ 069743842133435*c_0101_6^17 - 3962327781613204440088016134143609544\ /335600563894858447388013948768426687*c_0101_6^16 + 140750641563369222229392378779952368804/559334273158097412313356581\ 280711145*c_0101_6^15 + 12473463963750615788192425524905376628/1118\ 66854631619482462671316256142229*c_0101_6^14 - 1113035737940996848639527191760503535182/33560056389485844738801394\ 8768426687*c_0101_6^13 + 198827598754954992378186097384394281031/33\ 5600563894858447388013948768426687*c_0101_6^12 + 22098180571534945611297701164143308666093/1678002819474292236940069\ 743842133435*c_0101_6^11 - 3068847564899081364777329047289268562282\ /559334273158097412313356581280711145*c_0101_6^10 - 25474068365136873798521673709495614209992/1678002819474292236940069\ 743842133435*c_0101_6^9 + 10725470647555815482854531218920720089972\ /1678002819474292236940069743842133435*c_0101_6^8 + 626256901638888846358375040264442165331/335600563894858447388013948\ 768426687*c_0101_6^7 - 27693362457285232354195059694797127202/55933\ 4273158097412313356581280711145*c_0101_6^6 + 85047680460343950250481088150207984926/3356005638948584473880139487\ 68426687*c_0101_6^5 + 366263261912021978073194451979660668146/16780\ 02819474292236940069743842133435*c_0101_6^4 - 56004650597174179915433982302463603814/1678002819474292236940069743\ 842133435*c_0101_6^3 + 50118351571858953773128340400445555099/16780\ 02819474292236940069743842133435*c_0101_6^2 - 5662062479009120704451161459791805397/55933427315809741231335658128\ 0711145*c_0101_6 + 706115015350251943312764366841286197/16780028194\ 74292236940069743842133435, c_0101_1 - 260367650524916483344832517301694923/55933427315809741231335\ 6581280711145*c_0101_6^17 - 538453213333190919391943239675080031/33\ 5600563894858447388013948768426687*c_0101_6^16 + 39504598569147097488560885128074660058/1678002819474292236940069743\ 842133435*c_0101_6^15 + 11639918541130742420906073042305559973/3356\ 00563894858447388013948768426687*c_0101_6^14 - 105629310951655535863023548899843348588/335600563894858447388013948\ 768426687*c_0101_6^13 - 28602589847820513162262695431474313715/1118\ 66854631619482462671316256142229*c_0101_6^12 + 2266217237653170461747145580026922985792/16780028194742922369400697\ 43842133435*c_0101_6^11 + 1198344077510213934365345576027537579351/\ 1678002819474292236940069743842133435*c_0101_6^10 - 3382454663055292859488873175637928989428/16780028194742922369400697\ 43842133435*c_0101_6^9 - 472049872229146007673875077022202288414/55\ 9334273158097412313356581280711145*c_0101_6^8 + 258155491498346443862768631171326011252/335600563894858447388013948\ 768426687*c_0101_6^7 + 402156950486485309472060751523940902811/1678\ 002819474292236940069743842133435*c_0101_6^6 + 24676129200267422325226251153514295477/3356005638948584473880139487\ 68426687*c_0101_6^5 + 10522589863384370762845331791085762734/167800\ 2819474292236940069743842133435*c_0101_6^4 + 108873895481974735462686716653976358/559334273158097412313356581280\ 711145*c_0101_6^3 - 2882425380616058465729849386896444434/167800281\ 9474292236940069743842133435*c_0101_6^2 + 2460106694646425901272212815265334476/16780028194742922369400697438\ 42133435*c_0101_6 - 1306335173374725836945896878394154227/167800281\ 9474292236940069743842133435, c_0101_2 - 2560327071431321296247276808398875557/5593342731580974123133\ 56581280711145*c_0101_6^17 - 3925734676201766388884498272141959158/\ 335600563894858447388013948768426687*c_0101_6^16 + 405159949635616209684950535280233585917/167800281947429223694006974\ 3842133435*c_0101_6^15 + 41759380879020985643902094822647575995/335\ 600563894858447388013948768426687*c_0101_6^14 - 1067699428579888060275621007056041212745/33560056389485844738801394\ 8768426687*c_0101_6^13 + 38584895027386903870067044915544086081/111\ 866854631619482462671316256142229*c_0101_6^12 + 21237789025098043898180642710166942367463/1678002819474292236940069\ 743842133435*c_0101_6^11 - 7323545280252125304904582071448001657906\ /1678002819474292236940069743842133435*c_0101_6^10 - 24715906203447503517347795226655238134237/1678002819474292236940069\ 743842133435*c_0101_6^9 + 2789060839864112700814620867492053536109/\ 559334273158097412313356581280711145*c_0101_6^8 + 647570477163920130128562147821657605685/335600563894858447388013948\ 768426687*c_0101_6^7 + 391181657584148597832753827890819471714/1678\ 002819474292236940069743842133435*c_0101_6^6 + 92608178785401474640954547200785548407/3356005638948584473880139487\ 68426687*c_0101_6^5 + 365258033621484382771916172371169322706/16780\ 02819474292236940069743842133435*c_0101_6^4 - 9669954062734497718627385856398528908/55933427315809741231335658128\ 0711145*c_0101_6^3 + 53325884098507989603211759639617690629/1678002\ 819474292236940069743842133435*c_0101_6^2 - 8786381339132498142488977735836203011/16780028194742922369400697438\ 42133435*c_0101_6 + 583736982031846697531634700009476547/1678002819\ 474292236940069743842133435, c_0101_4 - 2024910686478470168397327001945025579/5593342731580974123133\ 56581280711145*c_0101_6^17 - 1089408194349091799776767256665420839/\ 111866854631619482462671316256142229*c_0101_6^16 + 106169252025887418261891435614279215893/559334273158097412313356581\ 280711145*c_0101_6^15 + 13917733337417471849427215138217375724/1118\ 66854631619482462671316256142229*c_0101_6^14 - 280548598084952400088234817255952773166/111866854631619482462671316\ 256142229*c_0101_6^13 - 8028545604970319891437187143265632648/11186\ 6854631619482462671316256142229*c_0101_6^12 + 5656182748469426685418836603619792125922/55933427315809741231335658\ 1280711145*c_0101_6^11 - 1156366888157914096593166591810306791719/5\ 59334273158097412313356581280711145*c_0101_6^10 - 6928186556382782261525119436424093105333/55933427315809741231335658\ 1280711145*c_0101_6^9 + 1280937035548973746900144044798508729488/55\ 9334273158097412313356581280711145*c_0101_6^8 + 271433780606866060269783053414133303431/111866854631619482462671316\ 256142229*c_0101_6^7 + 274996216118010423684339903039699115121/5593\ 34273158097412313356581280711145*c_0101_6^6 + 15909889681881900886739783874423199127/1118668546316194824626713162\ 56142229*c_0101_6^5 + 95010035216010574968028109673827936149/559334\ 273158097412313356581280711145*c_0101_6^4 - 3903032004244782755387050921060183216/55933427315809741231335658128\ 0711145*c_0101_6^3 + 8140036552201892848524544927204815321/55933427\ 3158097412313356581280711145*c_0101_6^2 - 1974981834016007059315615465606816514/55933427315809741231335658128\ 0711145*c_0101_6 - 369170599512815773526157639211628862/55933427315\ 8097412313356581280711145, c_0101_6^18 + 12/7*c_0101_6^17 - 384/7*c_0101_6^16 + 121/7*c_0101_6^15 + 5010/7*c_0101_6^14 - 4625/7*c_0101_6^13 - 2673*c_0101_6^12 + 22896/7*c_0101_6^11 + 16131/7*c_0101_6^10 - 26150/7*c_0101_6^9 + 4296/7*c_0101_6^8 + 1647/7*c_0101_6^7 - 143/7*c_0101_6^6 + 4*c_0101_6^5 + 291/7*c_0101_6^4 - 90/7*c_0101_6^3 + 54/7*c_0101_6^2 - 12/7*c_0101_6 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB