Magma V2.19-8 Tue Aug 20 2013 16:17:01 on localhost [Seed = 1031578092] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1270 geometric_solution 5.16782323 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 1 -1 0 0 0 1 -1 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.822644740095 0.130911201093 0 2 0 2 0132 0132 1023 1023 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 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.815590343382 0.258685410812 3 1 4 1 0132 0132 0132 1023 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 0 -1 1 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 1.191125619664 0.595452743809 2 5 4 6 0132 0132 3012 0132 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 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 1.244965855799 0.796364413446 6 3 5 2 1023 1230 1023 0132 0 0 0 0 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 0 0 0 0 -1 0 1 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 1.244965855799 0.796364413446 5 3 4 5 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427040516999 0.508060718000 6 4 3 6 3012 1023 0132 1230 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 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.947865175439 0.710999751721 ==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' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_4'], '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_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_3'], '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_3'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 20091732060787640814017668851/660153065405138600795889664*c_0101_4^\ 15 + 86501848376441298755125089911/660153065405138600795889664*c_01\ 01_4^14 - 13199153410830203444213672417/20629783293910581274871552*\ c_0101_4^13 + 1897454365067558826695289258615/660153065405138600795\ 889664*c_0101_4^12 + 275012534738477356585838614859/330076532702569\ 300397944832*c_0101_4^11 - 28664846656163391344655177945/4320373464\ 69331545023488*c_0101_4^10 + 208472642657363390718657187465731/6601\ 53065405138600795889664*c_0101_4^9 - 118858883451617439802317636828667/165038266351284650198972416*c_010\ 1_4^8 + 231328508146754867466423026172829/3300765327025693003979448\ 32*c_0101_4^7 + 313079781272739883678761772828815/66015306540513860\ 0795889664*c_0101_4^6 - 141090245854414706316139258723595/600139150\ 36830781890535424*c_0101_4^5 + 537334716822760153628461368635079/16\ 5038266351284650198972416*c_0101_4^4 - 1616544061755455773748750119707175/660153065405138600795889664*c_01\ 01_4^3 + 21780149990329009137447325252011/2062978329391058127487155\ 2*c_0101_4^2 - 9986808459630639284707628858787/41259566587821162549\ 743104*c_0101_4 + 232289562996681850846470603201/103148916469552906\ 37435776, c_0011_0 - 1, c_0011_4 - 6172199663918181/6145220900304736*c_0101_4^15 + 26752344831452053/6145220900304736*c_0101_4^14 - 32565188660308953/1536305225076184*c_0101_4^13 + 585817269965807873/6145220900304736*c_0101_4^12 + 78317170663838267/3072610450152368*c_0101_4^11 - 842498167728115453/384076306269046*c_0101_4^10 + 64403537299632587029/6145220900304736*c_0101_4^9 - 18420887232399719209/768152612538092*c_0101_4^8 + 72118108695764503091/3072610450152368*c_0101_4^7 + 95867284614405640049/6145220900304736*c_0101_4^6 - 481146625888796389555/6145220900304736*c_0101_4^5 + 20868682789178123224/192038153134523*c_0101_4^4 - 502280967004580002881/6145220900304736*c_0101_4^3 + 54029112113508034409/1536305225076184*c_0101_4^2 - 3086996850661590461/384076306269046*c_0101_4 + 143563959457589859/192038153134523, c_0101_0 + 80209261608201867604185/468858711225240483519808*c_0101_4^15 - 397096093603548679785705/468858711225240483519808*c_0101_4^14 + 470250571083367761996065/117214677806310120879952*c_0101_4^13 - 8555131197919492818089493/468858711225240483519808*c_0101_4^12 + 1077672375923263829583385/234429355612620241759904*c_0101_4^11 + 14616362026502587519177/38355588287405144267*c_0101_4^10 - 943205306953074340869736073/468858711225240483519808*c_0101_4^9 + 296832563773723258810718817/58607338903155060439976*c_0101_4^8 - 1404373987167633178911211031/234429355612620241759904*c_0101_4^7 - 596387249830823559495301941/468858711225240483519808*c_0101_4^6 + 7383030706713529253623486687/468858711225240483519808*c_0101_4^5 - 746007646226625593771269001/29303669451577530219988*c_0101_4^4 + 10112501503911673315207526613/468858711225240483519808*c_0101_4^3 - 1217516043228242404653438213/117214677806310120879952*c_0101_4^2 + 19356086842633044297845922/7325917362894382554997*c_0101_4 - 1989999294285303098318468/7325917362894382554997, c_0101_1 - 2900346438199090234559807/644680727934705664839736*c_0101_4^\ 15 + 24986904356404499930270357/1289361455869411329679472*c_0101_4^\ 14 - 122003969808964802263706147/1289361455869411329679472*c_0101_4\ ^13 + 274054160175935167696197635/644680727934705664839736*c_0101_4\ ^12 + 157478538969184279480649593/1289361455869411329679472*c_0101_\ 4^11 - 33103085788067969016767233/3375291769291652695496*c_0101_4^1\ 0 + 30108277127344325120015517203/644680727934705664839736*c_0101_4\ ^9 - 137408386901092928192316517911/1289361455869411329679472*c_010\ 1_4^8 + 8370699534036969086533023127/80585090991838208104967*c_0101\ _4^7 + 22495362819039801602786930889/322340363967352832419868*c_010\ 1_4^6 - 40745096007244875058882581247/117214677806310120879952*c_01\ 01_4^5 + 621673066642057124047482326405/1289361455869411329679472*c\ _0101_4^4 - 234249194885024257162174651249/644680727934705664839736\ *c_0101_4^3 + 202679490184713756607531376483/1289361455869411329679\ 472*c_0101_4^2 - 2923326773279353217439425556/805850909918382081049\ 67*c_0101_4 + 275618698448437878204700499/80585090991838208104967, c_0101_2 + 903465408572296238960745/1289361455869411329679472*c_0101_4^\ 15 - 3919441782588133420148045/1289361455869411329679472*c_0101_4^1\ 4 + 2385366048441066622633917/161170181983676416209934*c_0101_4^13 - 85825939862291645545318069/1289361455869411329679472*c_0101_4^12 - 11292288103466591835123437/644680727934705664839736*c_0101_4^11 + 1291363607231250514439649/843822942322913173874*c_0101_4^10 - 9434939702424395913919092745/1289361455869411329679472*c_0101_4^9 + 5402244011061662740992438347/322340363967352832419868*c_0101_4^8 - 10600492943198758653110631879/644680727934705664839736*c_0101_4^7 - 13944048827053999141668355421/1289361455869411329679472*c_0101_4^6 + 6407583491779532162895751817/117214677806310120879952*c_0101_4^5 - 24510095349777698654852366735/322340363967352832419868*c_0101_4^4 + 73928215738521571758561301589/1289361455869411329679472*c_0101_4^3 - 3992088139390531123565987437/161170181983676416209934*c_0101_4^2 + 459456396210455795458725692/80585090991838208104967*c_0101_4 - 43286940910994953304800367/80585090991838208104967, c_0101_3 - 11896047209925510065354363/5157445823477645318717888*c_0101_\ 4^15 + 51638192400184942969044187/5157445823477645318717888*c_0101_\ 4^14 - 62849803963949161915918955/1289361455869411329679472*c_0101_\ 4^13 + 1130704888913801019975990047/5157445823477645318717888*c_010\ 1_4^12 + 147272672305377771207566669/2578722911738822659358944*c_01\ 01_4^11 - 8502130297757865899131653/1687645884645826347748*c_0101_4\ ^10 + 124298792918672661105365969963/5157445823477645318717888*c_01\ 01_4^9 - 35605429735427907761288862497/644680727934705664839736*c_0\ 101_4^8 + 139922516205502226208313825741/2578722911738822659358944*\ c_0101_4^7 + 183037548563345793739567018031/51574458234776453187178\ 88*c_0101_4^6 - 84435735303258952708697827287/468858711225240483519\ 808*c_0101_4^5 + 80835714963692163116443675059/32234036396735283241\ 9868*c_0101_4^4 - 976237741030985940500984084799/515744582347764531\ 8717888*c_0101_4^3 + 105511496137784711832002871419/128936145586941\ 1329679472*c_0101_4^2 - 6069111563803042735997339839/32234036396735\ 2832419868*c_0101_4 + 142430539470861419460320263/80585090991838208\ 104967, c_0101_4^16 - 5*c_0101_4^15 + 24*c_0101_4^14 - 109*c_0101_4^13 + 38*c_0101_4^12 + 2200*c_0101_4^11 - 11889*c_0101_4^10 + 30844*c_0101_4^9 - 39358*c_0101_4^8 + 219*c_0101_4^7 + 88155*c_0101_4^6 - 160316*c_0101_4^5 + 154077*c_0101_4^4 - 89944*c_0101_4^3 + 31760*c_0101_4^2 - 6208*c_0101_4 + 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB