Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 1343343759] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1478 geometric_solution 5.29103080 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 1 -1 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 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.842672565371 1.176307010998 0 4 2 3 0132 1302 3120 2031 0 0 0 0 0 0 1 -1 -1 0 0 1 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 1 0 0 -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.597538216412 0.561806135797 2 0 1 2 3201 0132 3120 2310 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 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.926673261935 0.855475333357 5 1 5 0 0132 1302 1023 0132 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 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.610260881064 0.483734616331 6 6 0 1 0132 2310 0132 2031 0 0 0 0 0 0 -1 1 -1 0 1 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 1 0 -1 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.799787973531 0.730016901977 3 5 3 5 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562237585547 0.111791084403 4 6 6 4 0132 3201 2310 3201 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 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.347425040618 0.895977885997 ==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_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_6'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0011_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_6'])})} 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_3, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 468922690182183933/20002165993407397*c_0101_6^22 + 3942123544627846857/20002165993407397*c_0101_6^21 + 6545436189329567073/20002165993407397*c_0101_6^20 - 30289749962010646005/20002165993407397*c_0101_6^19 - 29509514247180143473/20002165993407397*c_0101_6^18 + 100473527667881989913/20002165993407397*c_0101_6^17 + 63042444291548634569/20002165993407397*c_0101_6^16 - 204312613197585352374/20002165993407397*c_0101_6^15 - 83785709483135861590/20002165993407397*c_0101_6^14 + 289880360908012136523/20002165993407397*c_0101_6^13 + 85917894436594358268/20002165993407397*c_0101_6^12 - 304134347355816968561/20002165993407397*c_0101_6^11 - 76251722405350346439/20002165993407397*c_0101_6^10 + 250879401837177672450/20002165993407397*c_0101_6^9 + 75623515784581099403/20002165993407397*c_0101_6^8 - 152412805933350293159/20002165993407397*c_0101_6^7 - 71370582818599164190/20002165993407397*c_0101_6^6 + 50257135708885006027/20002165993407397*c_0101_6^5 + 38455293072637228250/20002165993407397*c_0101_6^4 - 3394311787120482938/20002165993407397*c_0101_6^3 - 9640499942271288878/20002165993407397*c_0101_6^2 - 1487839882404632697/20002165993407397*c_0101_6 + 1083249237663566701/20002165993407397, c_0011_0 - 1, c_0011_3 + 10812917274/3285271295*c_0101_6^22 - 93280843644/3285271295*c_0101_6^21 - 131845635088/3285271295*c_0101_6^20 + 737041109078/3285271295*c_0101_6^19 + 559516488033/3285271295*c_0101_6^18 - 2499988756569/3285271295*c_0101_6^17 - 1136014193091/3285271295*c_0101_6^16 + 5134704405801/3285271295*c_0101_6^15 + 1392599780489/3285271295*c_0101_6^14 - 7355284793706/3285271295*c_0101_6^13 - 1311390188551/3285271295*c_0101_6^12 + 7832676927048/3285271295*c_0101_6^11 + 1160735373242/3285271295*c_0101_6^10 - 1312953984811/657054259*c_0101_6^9 - 1337002312481/3285271295*c_0101_6^8 + 4200621952711/3285271295*c_0101_6^7 + 1552888331024/3285271295*c_0101_6^6 - 1599129998663/3285271295*c_0101_6^5 - 1016405542272/3285271295*c_0101_6^4 + 37729316790/657054259*c_0101_6^3 + 58938979004/657054259*c_0101_6^2 + 33174832081/3285271295*c_0101_6 - 34578376528/3285271295, c_0011_4 + 7610113829/3285271295*c_0101_6^22 - 64916322454/3285271295*c_0101_6^21 - 98877967293/3285271295*c_0101_6^20 + 508962194148/3285271295*c_0101_6^19 + 428444514793/3285271295*c_0101_6^18 - 1714170566594/3285271295*c_0101_6^17 - 872924871151/3285271295*c_0101_6^16 + 3498654772196/3285271295*c_0101_6^15 + 1074365249939/3285271295*c_0101_6^14 - 4963893568236/3285271295*c_0101_6^13 - 1018009931956/3285271295*c_0101_6^12 + 5224508903688/3285271295*c_0101_6^11 + 876589149627/3285271295*c_0101_6^10 - 866191560227/657054259*c_0101_6^9 - 948999036221/3285271295*c_0101_6^8 + 2698590260946/3285271295*c_0101_6^7 + 1035163743304/3285271295*c_0101_6^6 - 958197323118/3285271295*c_0101_6^5 - 623443931657/3285271295*c_0101_6^4 + 18127601688/657054259*c_0101_6^3 + 32880747096/657054259*c_0101_6^2 + 20690716781/3285271295*c_0101_6 - 18423031103/3285271295, c_0101_0 + 470855465047646/224743438128173*c_0101_6^22 - 4096840800003111/224743438128173*c_0101_6^21 - 5562768853570718/224743438128173*c_0101_6^20 + 33672314908140114/224743438128173*c_0101_6^19 + 22484285162444314/224743438128173*c_0101_6^18 - 118744106821700561/224743438128173*c_0101_6^17 - 40538307768452860/224743438128173*c_0101_6^16 + 249970076446165448/224743438128173*c_0101_6^15 + 36181772999198767/224743438128173*c_0101_6^14 - 361529730121869724/224743438128173*c_0101_6^13 - 15787978402985998/224743438128173*c_0101_6^12 + 387081665228185840/224743438128173*c_0101_6^11 + 3204656888781251/224743438128173*c_0101_6^10 - 325720117226840822/224743438128173*c_0101_6^9 - 17589725660580560/224743438128173*c_0101_6^8 + 212253254173033003/224743438128173*c_0101_6^7 + 44429726560370494/224743438128173*c_0101_6^6 - 87728466294569553/224743438128173*c_0101_6^5 - 39319080787420672/224743438128173*c_0101_6^4 + 14032235920601973/224743438128173*c_0101_6^3 + 13774480921830604/224743438128173*c_0101_6^2 + 1101461171872936/224743438128173*c_0101_6 - 1677232155427178/224743438128173, c_0101_2 + 12955714251/4862198105*c_0101_6^22 - 109388413396/4862198105*c_0101_6^21 - 179984396132/4862198105*c_0101_6^20 + 869239224452/4862198105*c_0101_6^19 + 829999110092/4862198105*c_0101_6^18 - 2985944332771/4862198105*c_0101_6^17 - 1832928174149/4862198105*c_0101_6^16 + 6246129999964/4862198105*c_0101_6^15 + 2476812694561/4862198105*c_0101_6^14 - 9087552618454/4862198105*c_0101_6^13 - 2532516688729/4862198105*c_0101_6^12 + 9760724767347/4862198105*c_0101_6^11 + 2255361781978/4862198105*c_0101_6^10 - 1640917167627/972439621*c_0101_6^9 - 2231210534634/4862198105*c_0101_6^8 + 5194583776359/4862198105*c_0101_6^7 + 2209823973611/4862198105*c_0101_6^6 - 1892972164047/4862198105*c_0101_6^5 - 1308710705083/4862198105*c_0101_6^4 + 36985491942/972439621*c_0101_6^3 + 70239696552/972439621*c_0101_6^2 + 44637918529/4862198105*c_0101_6 - 40989267722/4862198105, c_0101_3 - 964059232721554/1123717190640865*c_0101_6^22 + 8666615509456944/1123717190640865*c_0101_6^21 + 8683450873486363/1123717190640865*c_0101_6^20 - 69135622139354643/1123717190640865*c_0101_6^19 - 29072230055199608/1123717190640865*c_0101_6^18 + 236508607205262159/1123717190640865*c_0101_6^17 + 43243042559706281/1123717190640865*c_0101_6^16 - 490135201957806246/1123717190640865*c_0101_6^15 - 22275834893779819/1123717190640865*c_0101_6^14 + 715213274327650866/1123717190640865*c_0101_6^13 - 22871379640030919/1123717190640865*c_0101_6^12 - 781260136200705883/1123717190640865*c_0101_6^11 + 49505092795750793/1123717190640865*c_0101_6^10 + 133680734765215483/224743438128173*c_0101_6^9 - 14667669046160864/1123717190640865*c_0101_6^8 - 446834838444646951/1123717190640865*c_0101_6^7 - 55295126573503344/1123717190640865*c_0101_6^6 + 195372978889546953/1123717190640865*c_0101_6^5 + 68126536524823012/1123717190640865*c_0101_6^4 - 7094361343380834/224743438128173*c_0101_6^3 - 5428314216005679/224743438128173*c_0101_6^2 - 2407970855066226/1123717190640865*c_0101_6 + 3723575629594458/1123717190640865, c_0101_6^23 - 9*c_0101_6^22 - 9*c_0101_6^21 + 73*c_0101_6^20 + 26*c_0101_6^19 - 252*c_0101_6^18 - 16*c_0101_6^17 + 516*c_0101_6^16 - 56*c_0101_6^15 - 727*c_0101_6^14 + 143*c_0101_6^13 + 764*c_0101_6^12 - 173*c_0101_6^11 - 639*c_0101_6^10 + 111*c_0101_6^9 + 426*c_0101_6^8 - 6*c_0101_6^7 - 195*c_0101_6^6 - 37*c_0101_6^5 + 49*c_0101_6^4 + 20*c_0101_6^3 - 6*c_0101_6^2 - 4*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB