Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 442205944] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0557 geometric_solution 4.57529065 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 1302 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 1 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.166151322252 0.671527230963 0 4 4 3 0132 0132 1023 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 1 0 0 -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 1.202276852651 0.835762363309 3 0 5 5 0132 0132 3201 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 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.250578567010 0.446876033508 2 1 0 0 0132 2310 2031 0132 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 1 0 -1 1 0 0 -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.166151322252 0.671527230963 4 1 1 4 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.360540154783 0.226497442344 2 6 2 6 2310 0132 0132 2310 0 0 0 0 0 -1 1 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 -1 1 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.877296881689 2.084354994302 5 5 6 6 3201 0132 2031 1302 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 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.368532785350 0.099210784001 ==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' : d['c_0101_0'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], '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_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_3'])})} 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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 42192489161126842765310632/8676812390195829589457713*c_0110_6^19 + 1019063874557691953936299122/8676812390195829589457713*c_0110_6^18 - 867024221635551028467554039/8676812390195829589457713*c_0110_6^17 - 15392429880619854814743043916/8676812390195829589457713*c_0110_6^16 + 11648356586955899917401045868/8676812390195829589457713*c_0110_6^\ 15 + 1472981684017090890332346512/201786334655716967196691*c_0110_6\ ^14 - 39120590249319682127888689643/8676812390195829589457713*c_011\ 0_6^13 - 107399967863559516436856835397/8676812390195829589457713*c\ _0110_6^12 + 38269944215007911168321542560/867681239019582958945771\ 3*c_0110_6^11 + 78961161432587757882204809127/867681239019582958945\ 7713*c_0110_6^10 + 11615202090353926875343995530/867681239019582958\ 9457713*c_0110_6^9 - 16544179810681462661485643275/8676812390195829\ 589457713*c_0110_6^8 - 31741796080561870893567110282/86768123901958\ 29589457713*c_0110_6^7 - 6945550671157768348026171555/8676812390195\ 829589457713*c_0110_6^6 + 8558435676786939487226915499/867681239019\ 5829589457713*c_0110_6^5 + 392419551750074374224704372/123954462717\ 0832798493959*c_0110_6^4 + 1853746763747502036080106947/86768123901\ 95829589457713*c_0110_6^3 + 130999848195512723188002292/86768123901\ 95829589457713*c_0110_6^2 - 11176748542483932992135927/123954462717\ 0832798493959*c_0110_6 - 37063815317423915033101190/867681239019582\ 9589457713, c_0011_0 - 1, c_0011_5 + 484395768925170350019683/1239544627170832798493959*c_0110_6^\ 19 + 11855855468421708404617685/1239544627170832798493959*c_0110_6^\ 18 - 5955743599217644924094625/1239544627170832798493959*c_0110_6^1\ 7 - 174398384692673182433756388/1239544627170832798493959*c_0110_6^\ 16 + 76680113731553401024985777/1239544627170832798493959*c_0110_6^\ 15 + 16021880242531667011181147/28826619236530995313813*c_0110_6^14 - 219061293039041420840855605/1239544627170832798493959*c_0110_6^13 - 1041484947379254716189173516/1239544627170832798493959*c_0110_6^1\ 2 + 93246296702580989658381181/1239544627170832798493959*c_0110_6^1\ 1 + 515191103627448249582383107/1239544627170832798493959*c_0110_6^\ 10 + 248842780894034960551855147/1239544627170832798493959*c_0110_6\ ^9 + 98101592885784131269417138/1239544627170832798493959*c_0110_6^\ 8 - 213122290655658482884100569/1239544627170832798493959*c_0110_6^\ 7 - 69501882130514984675009258/1239544627170832798493959*c_0110_6^6 + 8017042998384591865917577/1239544627170832798493959*c_0110_6^5 - 19780938380714240435071029/1239544627170832798493959*c_0110_6^4 + 12295319772066923975384744/1239544627170832798493959*c_0110_6^3 - 7658540662740603265144971/1239544627170832798493959*c_0110_6^2 + 1184315299149536466913801/1239544627170832798493959*c_0110_6 - 81288539966390298353117/1239544627170832798493959, c_0101_0 + 153032033285406922980651/1239544627170832798493959*c_0110_6^\ 19 + 3441798744970236338179844/1239544627170832798493959*c_0110_6^1\ 8 - 9474832318442312276091826/1239544627170832798493959*c_0110_6^17 - 55372228494463597618986969/1239544627170832798493959*c_0110_6^16 + 132608665683150296085056287/1239544627170832798493959*c_0110_6^15 + 5315013269718231463735160/28826619236530995313813*c_0110_6^14 - 483871216120854579701941945/1239544627170832798493959*c_0110_6^13 - 439986987927174664198757552/1239544627170832798493959*c_0110_6^12 + 594107619029530180668293844/1239544627170832798493959*c_0110_6^11 + 501997364870375238040054278/1239544627170832798493959*c_0110_6^10 - 48255049258383264961347130/1239544627170832798493959*c_0110_6^9 - 297816851086123725610424585/1239544627170832798493959*c_0110_6^8 - 310767584035277677512754595/1239544627170832798493959*c_0110_6^7 - 792085352802616349528206/1239544627170832798493959*c_0110_6^6 + 87438893864320444826993193/1239544627170832798493959*c_0110_6^5 + 53186406456929205171890726/1239544627170832798493959*c_0110_6^4 + 34522927846574821054585608/1239544627170832798493959*c_0110_6^3 + 3015730318934291765016347/1239544627170832798493959*c_0110_6^2 + 2898437685190143649358776/1239544627170832798493959*c_0110_6 + 101727014912738228271062/1239544627170832798493959, c_0101_1 - 824806055093476279592790/1239544627170832798493959*c_0110_6^\ 19 - 19927531502618494780823342/1239544627170832798493959*c_0110_6^\ 18 + 16740751129185166326863143/1239544627170832798493959*c_0110_6^\ 17 + 299767560122736157650450018/1239544627170832798493959*c_0110_6\ ^16 - 220481152672968000523382533/1239544627170832798493959*c_0110_\ 6^15 - 28305354874630228736007943/28826619236530995313813*c_0110_6^\ 14 + 685147613280890239331166741/1239544627170832798493959*c_0110_6\ ^13 + 1993848297648323578997263911/1239544627170832798493959*c_0110\ _6^12 - 458246240504279846224135460/1239544627170832798493959*c_011\ 0_6^11 - 1287735338816957477610570760/1239544627170832798493959*c_0\ 110_6^10 - 623214838182853383846571486/1239544627170832798493959*c_\ 0110_6^9 - 8685481000483859391061022/1239544627170832798493959*c_01\ 10_6^8 + 724709830850457884833359323/1239544627170832798493959*c_01\ 10_6^7 + 327341160034248663044658079/1239544627170832798493959*c_01\ 10_6^6 - 12645753036377671049909642/1239544627170832798493959*c_011\ 0_6^5 - 54231374603216006709492059/1239544627170832798493959*c_0110\ _6^4 - 100031566000639401756871864/1239544627170832798493959*c_0110\ _6^3 - 27969020176602875208825136/1239544627170832798493959*c_0110_\ 6^2 - 11551967017579033742011306/1239544627170832798493959*c_0110_6 - 2561602921713143204825421/1239544627170832798493959, c_0101_3 + 496027112043746817254286/1239544627170832798493959*c_0110_6^\ 19 + 12256860277600029893526165/1239544627170832798493959*c_0110_6^\ 18 - 3103389413686479592848996/1239544627170832798493959*c_0110_6^1\ 7 - 176404790977332909751203663/1239544627170832798493959*c_0110_6^\ 16 + 34391241953956323518160779/1239544627170832798493959*c_0110_6^\ 15 + 15621696731040084982577500/28826619236530995313813*c_0110_6^14 - 29957192957116231136485726/1239544627170832798493959*c_0110_6^13 - 924995989019201851799015038/1239544627170832798493959*c_0110_6^12 - 229089681097525943246421864/1239544627170832798493959*c_0110_6^11 + 279560772410764488129147237/1239544627170832798493959*c_0110_6^10 + 389930369455327973247159273/1239544627170832798493959*c_0110_6^9 + 283744794409079463356747633/1239544627170832798493959*c_0110_6^8 - 95167627424128036205941359/1239544627170832798493959*c_0110_6^7 - 101076936864777184625515878/1239544627170832798493959*c_0110_6^6 - 64976803994108755465906912/1239544627170832798493959*c_0110_6^5 - 39610165769145299359339102/1239544627170832798493959*c_0110_6^4 - 937519339003563475706053/1239544627170832798493959*c_0110_6^3 - 3786201900300943361816708/1239544627170832798493959*c_0110_6^2 + 3243656161013155639244015/1239544627170832798493959*c_0110_6 - 56454455426383641064544/1239544627170832798493959, c_0101_4 + 1094202406854666604561542/1239544627170832798493959*c_0110_6\ ^19 + 25391245676419773869215214/1239544627170832798493959*c_0110_6\ ^18 - 47755036426643705143033301/1239544627170832798493959*c_0110_6\ ^17 - 383994357142940976167112612/1239544627170832798493959*c_0110_\ 6^16 + 671010350803055133299595403/1239544627170832798493959*c_0110\ _6^15 + 33481298820287683734557430/28826619236530995313813*c_0110_6\ ^14 - 2430093917697803954990696311/1239544627170832798493959*c_0110\ _6^13 - 2148336096849319928153543804/1239544627170832798493959*c_01\ 10_6^12 + 3016465693970361733987478140/1239544627170832798493959*c_\ 0110_6^11 + 1512704631678884518990468386/1239544627170832798493959*\ c_0110_6^10 - 569660189910994573759912668/1239544627170832798493959\ *c_0110_6^9 - 604789949336805177635963089/1239544627170832798493959\ *c_0110_6^8 - 1043750374892719471324685492/123954462717083279849395\ 9*c_0110_6^7 + 111818354458708406238887572/123954462717083279849395\ 9*c_0110_6^6 + 265007291765270487645273162/123954462717083279849395\ 9*c_0110_6^5 + 34178897979897858340925501/1239544627170832798493959\ *c_0110_6^4 + 128283648040054156786400597/1239544627170832798493959\ *c_0110_6^3 + 2155997430570478143660460/1239544627170832798493959*c\ _0110_6^2 + 11302112880314697934696204/1239544627170832798493959*c_\ 0110_6 + 1044461532995688438070820/1239544627170832798493959, c_0110_6^20 + 24*c_0110_6^19 - 24*c_0110_6^18 - 356*c_0110_6^17 + 325*c_0110_6^16 + 1372*c_0110_6^15 - 1063*c_0110_6^14 - 2044*c_0110_6^13 + 962*c_0110_6^12 + 1116*c_0110_6^11 + 377*c_0110_6^10 + 33*c_0110_6^9 - 695*c_0110_6^8 - 163*c_0110_6^7 + 13*c_0110_6^6 + 5*c_0110_6^5 + 90*c_0110_6^4 + 9*c_0110_6^3 + 17*c_0110_6^2 + c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB