Magma V2.19-8 Tue Aug 20 2013 16:17:06 on localhost [Seed = 3802365491] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1357 geometric_solution 5.22493954 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 -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 1.596640347976 0.225032549662 0 2 2 0 3201 0132 1023 0132 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 0 1 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 1.252408617103 0.484129722277 3 1 1 4 0132 0132 1023 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 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.419389890554 0.479512697537 2 4 6 5 0132 2310 0132 0132 0 0 0 0 0 1 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 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.254201999406 0.884887871635 6 5 2 3 2310 2310 0132 3201 0 0 0 0 0 1 -1 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 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.254201999406 0.884887871635 5 5 3 4 1230 3012 0132 3201 0 0 0 0 0 -1 1 0 0 0 1 -1 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 -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.779509618035 1.394472413438 6 6 4 3 1230 3012 3201 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.036722563913 0.737550674463 ==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_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0011_5, c_0011_6, c_0101_0, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 224924573713344151529/877792534895940134*c_0101_2^20 - 148159070169368790269/1755585069791880268*c_0101_2^19 + 8662788183278108567953/1755585069791880268*c_0101_2^18 - 6273685478290374834475/877792534895940134*c_0101_2^17 - 64323594695374892254467/1755585069791880268*c_0101_2^16 + 32355468809270870972986/438896267447970067*c_0101_2^15 + 103810866741715257507837/877792534895940134*c_0101_2^14 - 416299531602029168878499/1755585069791880268*c_0101_2^13 - 234195464822734218866561/877792534895940134*c_0101_2^12 + 600372840200631574646223/1755585069791880268*c_0101_2^11 + 666163921818992603489323/1755585069791880268*c_0101_2^10 - 103952751025652729552679/438896267447970067*c_0101_2^9 - 131292797511554876625737/438896267447970067*c_0101_2^8 + 136997734973521542297207/1755585069791880268*c_0101_2^7 + 218717768149536801877577/1755585069791880268*c_0101_2^6 - 27217072444382266810043/1755585069791880268*c_0101_2^5 - 24956822858856264025189/877792534895940134*c_0101_2^4 + 7238728729439570790405/1755585069791880268*c_0101_2^3 + 1835605083418542820980/438896267447970067*c_0101_2^2 - 1229611205401674240823/1755585069791880268*c_0101_2 - 760324636528951622133/1755585069791880268, c_0011_0 - 1, c_0011_1 - 538846055253847281/438896267447970067*c_0101_2^20 - 437498006949410742/438896267447970067*c_0101_2^19 + 10530371266475862746/438896267447970067*c_0101_2^18 - 10093546755933529926/438896267447970067*c_0101_2^17 - 88838096601352406262/438896267447970067*c_0101_2^16 + 127377493599099702787/438896267447970067*c_0101_2^15 + 351209626158354827370/438896267447970067*c_0101_2^14 - 464083859109284721280/438896267447970067*c_0101_2^13 - 854591973481253144849/438896267447970067*c_0101_2^12 + 694999094797813542569/438896267447970067*c_0101_2^11 + 1227582002085199749983/438896267447970067*c_0101_2^10 - 459650629384026519011/438896267447970067*c_0101_2^9 - 982534216625434917423/438896267447970067*c_0101_2^8 + 121464065108317016811/438896267447970067*c_0101_2^7 + 429286657438064324581/438896267447970067*c_0101_2^6 - 15423595660064714329/438896267447970067*c_0101_2^5 - 106366545477400090850/438896267447970067*c_0101_2^4 + 7993174011717230688/438896267447970067*c_0101_2^3 + 16027336687560227685/438896267447970067*c_0101_2^2 - 2476953198159832860/438896267447970067*c_0101_2 - 1294727639262819480/438896267447970067, c_0011_4 + 540019368566163907/438896267447970067*c_0101_2^20 + 113267527001052793/438896267447970067*c_0101_2^19 - 10455090251321806528/438896267447970067*c_0101_2^18 + 16262649050673193071/438896267447970067*c_0101_2^17 + 76065959066951390963/438896267447970067*c_0101_2^16 - 165001308853821372272/438896267447970067*c_0101_2^15 - 236363142507190747469/438896267447970067*c_0101_2^14 + 535739734001723535206/438896267447970067*c_0101_2^13 + 524461296547828416173/438896267447970067*c_0101_2^12 - 808253792326605671418/438896267447970067*c_0101_2^11 - 757387391321331419592/438896267447970067*c_0101_2^10 + 603629400749197168142/438896267447970067*c_0101_2^9 + 616696481016738019244/438896267447970067*c_0101_2^8 - 216690980886581623480/438896267447970067*c_0101_2^7 - 259616911219489310935/438896267447970067*c_0101_2^6 + 37296592321323857832/438896267447970067*c_0101_2^5 + 53559813098497569567/438896267447970067*c_0101_2^4 - 5646721957739943109/438896267447970067*c_0101_2^3 - 6387866846205053723/438896267447970067*c_0101_2^2 + 647343386529480981/438896267447970067*c_0101_2 + 799162597723733545/438896267447970067, c_0011_5 + 2096675710968319052/438896267447970067*c_0101_2^20 + 871635194671934075/438896267447970067*c_0101_2^19 - 40453107366691711022/438896267447970067*c_0101_2^18 + 55004093196709697351/438896267447970067*c_0101_2^17 + 307426706973260257680/438896267447970067*c_0101_2^16 - 582229479937865744472/438896267447970067*c_0101_2^15 - 1036339275106474161839/438896267447970067*c_0101_2^14 + 1901778322612396192334/438896267447970067*c_0101_2^13 + 2387489276924308183305/438896267447970067*c_0101_2^12 - 2740567438018694673754/438896267447970067*c_0101_2^11 - 3407768106326635443321/438896267447970067*c_0101_2^10 + 1850616399869728830149/438896267447970067*c_0101_2^9 + 2681350516572685642404/438896267447970067*c_0101_2^8 - 566674109220418122423/438896267447970067*c_0101_2^7 - 1112869719222717059161/438896267447970067*c_0101_2^6 + 108822260363256115042/438896267447970067*c_0101_2^5 + 256517163907051390834/438896267447970067*c_0101_2^4 - 36436208625099062761/438896267447970067*c_0101_2^3 - 40014522127766206685/438896267447970067*c_0101_2^2 + 6460780307379093270/438896267447970067*c_0101_2 + 3835317771094835227/438896267447970067, c_0011_6 + 1787127265953903045/438896267447970067*c_0101_2^20 + 912041559985939447/438896267447970067*c_0101_2^19 - 34366880567853795932/438896267447970067*c_0101_2^18 + 43626348855147015884/438896267447970067*c_0101_2^17 + 265709196689500283776/438896267447970067*c_0101_2^16 - 470081550671900844840/438896267447970067*c_0101_2^15 - 925720122347290168243/438896267447970067*c_0101_2^14 + 1526050093266297201107/438896267447970067*c_0101_2^13 + 2180191408807045725032/438896267447970067*c_0101_2^12 - 2121445419217146817351/438896267447970067*c_0101_2^11 - 3111628919032256114788/438896267447970067*c_0101_2^10 + 1297737135447578173140/438896267447970067*c_0101_2^9 + 2424571640905928068205/438896267447970067*c_0101_2^8 - 289377547272236050225/438896267447970067*c_0101_2^7 - 996697836642085317101/438896267447970067*c_0101_2^6 + 23995858497978495242/438896267447970067*c_0101_2^5 + 230535408037311313599/438896267447970067*c_0101_2^4 - 18263765495739585673/438896267447970067*c_0101_2^3 - 35723275681573868320/438896267447970067*c_0101_2^2 + 4254311005529562111/438896267447970067*c_0101_2 + 3019448177139989832/438896267447970067, c_0101_0 + 3458344444587959899/438896267447970067*c_0101_2^20 + 1671217178634056854/438896267447970067*c_0101_2^19 - 66620586007157177528/438896267447970067*c_0101_2^18 + 86242047236673194417/438896267447970067*c_0101_2^17 + 513167106723514527855/438896267447970067*c_0101_2^16 - 926252985605800624485/438896267447970067*c_0101_2^15 - 1774383993865685129611/438896267447970067*c_0101_2^14 + 3024935200212181826936/438896267447970067*c_0101_2^13 + 4152551484747132953051/438896267447970067*c_0101_2^12 - 4282864831116525343624/438896267447970067*c_0101_2^11 - 5929580447783623827521/438896267447970067*c_0101_2^10 + 2751961096795108285292/438896267447970067*c_0101_2^9 + 4647156964799124893241/438896267447970067*c_0101_2^8 - 729982863057827717695/438896267447970067*c_0101_2^7 - 1927421241708646245034/438896267447970067*c_0101_2^6 + 104444969938391663159/438896267447970067*c_0101_2^5 + 446338985965984051022/438896267447970067*c_0101_2^4 - 43784808029561479053/438896267447970067*c_0101_2^3 - 68194845618959411802/438896267447970067*c_0101_2^2 + 8495416392318159195/438896267447970067*c_0101_2 + 6120722328234317586/438896267447970067, c_0101_2^21 + c_0101_2^20 - 19*c_0101_2^19 + 15*c_0101_2^18 + 161*c_0101_2^17 - 191*c_0101_2^16 - 649*c_0101_2^15 + 607*c_0101_2^14 + 1642*c_0101_2^13 - 608*c_0101_2^12 - 2328*c_0101_2^11 - 104*c_0101_2^10 + 1719*c_0101_2^9 + 490*c_0101_2^8 - 641*c_0101_2^7 - 258*c_0101_2^6 + 136*c_0101_2^5 + 54*c_0101_2^4 - 25*c_0101_2^3 - 8*c_0101_2^2 + 3*c_0101_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB