Magma V2.19-8 Tue Aug 20 2013 16:18:48 on localhost [Seed = 3633923495] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2958 geometric_solution 6.14433634 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 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 1 0 -1 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.635602894189 0.499250368571 0 3 5 4 0132 0132 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 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.632044502019 0.530087256865 4 5 3 0 0132 1023 0132 0132 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 1 0 0 -1 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.632044502019 0.530087256865 3 1 3 2 2310 0132 3201 0132 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.306632447509 1.138624226016 2 6 1 6 0132 0132 0132 1023 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 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 1.718889143271 0.680645640678 2 5 5 1 1023 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.723247055206 0.618390706453 6 4 6 4 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 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.615495842269 0.536753729103 ==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' : negation(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' : negation(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' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_2']), '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_2'], 'c_0011_4' : negation(d['c_0011_2']), '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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_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_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 779031885056461636036813995/794855999987425609078468832*c_0101_6^19 - 12512367333185896236412515701/794855999987425609078468832*c_0101_\ 6^18 - 198398400596136530511714743/24839249999607050283702151*c_010\ 1_6^17 + 4204497017783884418842839786/24839249999607050283702151*c_\ 0101_6^16 + 103663420743714635548158425437/794855999987425609078468\ 832*c_0101_6^15 - 428055805450282223332465727195/794855999987425609\ 078468832*c_0101_6^14 - 67757760113551041322244707005/3974279999937\ 12804539234416*c_0101_6^13 + 487128562088803795455766081605/7948559\ 99987425609078468832*c_0101_6^12 - 249086927104533410615755994405/397427999993712804539234416*c_0101_6\ ^11 + 9336957929810571011778685244/24839249999607050283702151*c_010\ 1_6^10 + 1371837911130968022592611125697/79485599998742560907846883\ 2*c_0101_6^9 - 1062964189002049173547699771413/79485599998742560907\ 8468832*c_0101_6^8 - 324904378662621896289214707865/198713999996856\ 402269617208*c_0101_6^7 + 10935402333667369292398346087/17279478260\ 596208893010192*c_0101_6^6 + 399051229835156587368682929737/3974279\ 99993712804539234416*c_0101_6^5 + 280461155397266928894081493/34558\ 956521192417786020384*c_0101_6^4 - 90556316279682255849656068903/397427999993712804539234416*c_0101_6^\ 3 - 70591220049972443190457703551/794855999987425609078468832*c_010\ 1_6^2 - 11493146906929396423087069417/794855999987425609078468832*c\ _0101_6 - 3009255654338744703834296901/794855999987425609078468832, c_0011_0 - 1, c_0011_2 - 315907417611447961013986/2258113636327913662154741*c_0101_6^\ 19 - 11117014667214281205942373/4516227272655827324309482*c_0101_6^\ 18 - 21655799532588329197450009/4516227272655827324309482*c_0101_6^\ 17 + 85384770093745892671998833/4516227272655827324309482*c_0101_6^\ 16 + 115770569792510964667563522/2258113636327913662154741*c_0101_6\ ^15 - 35490764132631076785294140/2258113636327913662154741*c_0101_6\ ^14 - 200146439193357858493031952/2258113636327913662154741*c_0101_\ 6^13 - 95459021625109471649162347/4516227272655827324309482*c_0101_\ 6^12 - 115605269829957413798327101/2258113636327913662154741*c_0101\ _6^11 - 98115806447314446223763027/2258113636327913662154741*c_0101\ _6^10 + 511380806112051146255962684/2258113636327913662154741*c_010\ 1_6^9 + 935022517922327575303946887/4516227272655827324309482*c_010\ 1_6^8 - 648416137447052750025225749/4516227272655827324309482*c_010\ 1_6^7 - 44863663328914343712014405/196357707506775101056934*c_0101_\ 6^6 - 11589346117782538792108664/2258113636327913662154741*c_0101_6\ ^5 + 14556672216966951827820617/196357707506775101056934*c_0101_6^4 + 58944516647033505504461806/2258113636327913662154741*c_0101_6^3 - 2474672353124058039332596/2258113636327913662154741*c_0101_6^2 - 1550220714523139357451579/4516227272655827324309482*c_0101_6 - 2160986752535228669572361/4516227272655827324309482, c_0101_0 + 1457815928384720571058731/2258113636327913662154741*c_0101_6\ ^19 + 23117006002833645255530824/2258113636327913662154741*c_0101_6\ ^18 + 7208275630292672356466232/2258113636327913662154741*c_0101_6^\ 17 - 252663707427019977323726751/2258113636327913662154741*c_0101_6\ ^16 - 145230778426406846157225312/2258113636327913662154741*c_0101_\ 6^15 + 813563279156544496112315650/2258113636327913662154741*c_0101\ _6^14 + 98869382407573656600237302/2258113636327913662154741*c_0101\ _6^13 - 823255905879699482029052539/2258113636327913662154741*c_010\ 1_6^12 + 1138590249529971790088203329/2258113636327913662154741*c_0\ 101_6^11 - 919809461484882873134018147/2258113636327913662154741*c_\ 0101_6^10 - 2386195360246177751929368590/2258113636327913662154741*\ c_0101_6^9 + 2351252079039252121488951959/2258113636327913662154741\ *c_0101_6^8 + 1657935835987635723126292576/225811363632791366215474\ 1*c_0101_6^7 - 42877546315639813296727591/98178853753387550528467*c\ _0101_6^6 - 870155937899261253726753838/2258113636327913662154741*c\ _0101_6^5 + 3418484012995877836273392/98178853753387550528467*c_010\ 1_6^4 + 148806593063036186746737608/2258113636327913662154741*c_010\ 1_6^3 + 60946092574787748713109801/2258113636327913662154741*c_0101\ _6^2 - 270119879066986316593086/2258113636327913662154741*c_0101_6 + 1297392722473514032411227/2258113636327913662154741, c_0101_1 - 83302419155058163917559/4516227272655827324309482*c_0101_6^1\ 9 - 2383974299667668078915021/4516227272655827324309482*c_0101_6^18 - 18984278895403246230743255/4516227272655827324309482*c_0101_6^17 - 9746909184658991968370995/2258113636327913662154741*c_0101_6^16 + 79599097437731234695693933/2258113636327913662154741*c_0101_6^15 + 161497952234873182785199668/2258113636327913662154741*c_0101_6^14 - 209775847762244603930986349/4516227272655827324309482*c_0101_6^13 - 301614964979194663998919885/2258113636327913662154741*c_0101_6^12 + 4021622143015356444968164/2258113636327913662154741*c_0101_6^11 - 175369696007813445705404136/2258113636327913662154741*c_0101_6^10 - 298701897174278723529862095/4516227272655827324309482*c_0101_6^9 + 1815191404271396924603176523/4516227272655827324309482*c_0101_6^8 + 1012868180919101317688373531/4516227272655827324309482*c_0101_6^7 - 33719689110788663218199364/98178853753387550528467*c_0101_6^6 - 974994013680750724142416755/4516227272655827324309482*c_0101_6^5 + 7636861431350989628656683/98178853753387550528467*c_0101_6^4 + 148211427650157039603380473/2258113636327913662154741*c_0101_6^3 + 29537969857605453362266705/4516227272655827324309482*c_0101_6^2 + 10595532183637996715311509/4516227272655827324309482*c_0101_6 + 1504605418130206269063273/2258113636327913662154741, c_0101_2 + 983251723477150236296368/2258113636327913662154741*c_0101_6^\ 19 + 16552364879115704072502176/2258113636327913662154741*c_0101_6^\ 18 + 20864826892476099779353209/2258113636327913662154741*c_0101_6^\ 17 - 152572111079028951144002368/2258113636327913662154741*c_0101_6\ ^16 - 245649959867208042161553743/2258113636327913662154741*c_0101_\ 6^15 + 339570934856069564949120356/2258113636327913662154741*c_0101\ _6^14 + 393328106437791864797164870/2258113636327913662154741*c_010\ 1_6^13 - 285482701049799687622006426/2258113636327913662154741*c_01\ 01_6^12 + 537029835650753602470129721/2258113636327913662154741*c_0\ 101_6^11 + 13310613998689957046131847/2258113636327913662154741*c_0\ 101_6^10 - 1782832021218157452164496444/2258113636327913662154741*c\ _0101_6^9 + 65528757625719222201885247/2258113636327913662154741*c_\ 0101_6^8 + 1398032896478226217915203408/2258113636327913662154741*c\ _0101_6^7 + 9461966698867319964084425/98178853753387550528467*c_010\ 1_6^6 - 409046995674316461039319380/2258113636327913662154741*c_010\ 1_6^5 - 6023682621195257456388178/98178853753387550528467*c_0101_6^\ 4 + 2308198698318657195865749/2258113636327913662154741*c_0101_6^3 + 14880683063888217707929804/2258113636327913662154741*c_0101_6^2 + 6416550112488717932534797/2258113636327913662154741*c_0101_6 + 90931320999308051874239/2258113636327913662154741, c_0101_5 - 51386871833681825530182/2258113636327913662154741*c_0101_6^1\ 9 - 789331376021370176396624/2258113636327913662154741*c_0101_6^18 + 21662514691939926263000/2258113636327913662154741*c_0101_6^17 + 6867315326580601801714191/2258113636327913662154741*c_0101_6^16 - 1930165208225915086518886/2258113636327913662154741*c_0101_6^15 - 11035781290846631265312989/2258113636327913662154741*c_0101_6^14 + 42458003037629538568858553/2258113636327913662154741*c_0101_6^13 - 14964357941103449326694224/2258113636327913662154741*c_0101_6^12 - 108188471428881078667862852/2258113636327913662154741*c_0101_6^11 + 87360078561747846135903536/2258113636327913662154741*c_0101_6^10 + 3199895842220969551142898/2258113636327913662154741*c_0101_6^9 - 120633595643057921149157700/2258113636327913662154741*c_0101_6^8 + 215695428292520473749005660/2258113636327913662154741*c_0101_6^7 + 2801681891046397249384122/98178853753387550528467*c_0101_6^6 - 179323381987625561999905667/2258113636327913662154741*c_0101_6^5 - 2866315129232947941522788/98178853753387550528467*c_0101_6^4 + 55244428667524255794654160/2258113636327913662154741*c_0101_6^3 + 22875009045179938164555911/2258113636327913662154741*c_0101_6^2 + 2449938231914804992078645/2258113636327913662154741*c_0101_6 + 663405240924016431010162/2258113636327913662154741, c_0101_6^20 + 16*c_0101_6^19 + 7*c_0101_6^18 - 176*c_0101_6^17 - 127*c_0101_6^16 + 578*c_0101_6^15 + 183*c_0101_6^14 - 649*c_0101_6^13 + 655*c_0101_6^12 - 434*c_0101_6^11 - 1875*c_0101_6^10 + 1452*c_0101_6^9 + 1731*c_0101_6^8 - 698*c_0101_6^7 - 932*c_0101_6^6 + 25*c_0101_6^5 + 177*c_0101_6^4 + 55*c_0101_6^3 + 8*c_0101_6^2 + 2*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB