Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 4021187367] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1570 geometric_solution 5.35173457 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 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 0 0 0 0 0 0 0 0 0 1.507944263099 0.261629441926 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 -1 1 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 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.114072338818 0.365362361273 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 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 1 -1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653050063797 0.391095471133 2 5 4 6 0132 0132 3201 0132 0 0 0 0 0 1 0 -1 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.360388821549 1.002999759094 3 6 2 5 2310 0132 0132 1023 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 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.360388821549 1.002999759094 5 3 5 4 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535531714486 0.387138673750 6 4 3 6 3201 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.317274788550 0.883008898873 ==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' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_1_1' : negation(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_1'], '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' : d['c_0101_2'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_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_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 47968312229472361335204/115457040462315124829*c_0110_5^24 - 1426543644581160418979163/115457040462315124829*c_0110_5^22 + 27018034655880108032242349/115457040462315124829*c_0110_5^20 - 269830449479288517890366774/115457040462315124829*c_0110_5^18 + 1133391884991775189176433662/115457040462315124829*c_0110_5^16 - 2603745343994100810970775849/115457040462315124829*c_0110_5^14 + 3614980079298346977552278504/115457040462315124829*c_0110_5^12 - 3125807790967824497231768089/115457040462315124829*c_0110_5^10 + 1686545994808199863450504616/115457040462315124829*c_0110_5^8 - 551824574853908164975805122/115457040462315124829*c_0110_5^6 + 100911201676470562695157026/115457040462315124829*c_0110_5^4 - 8559229041799730462385646/115457040462315124829*c_0110_5^2 + 182900438705119075147415/115457040462315124829, c_0011_0 - 1, c_0011_1 - 213469428357559926203/115457040462315124829*c_0110_5^24 + 6365878075624129299801/115457040462315124829*c_0110_5^22 - 120747290536237521103663/115457040462315124829*c_0110_5^20 + 1210405900906888417930086/115457040462315124829*c_0110_5^18 - 5137752556293505928648999/115457040462315124829*c_0110_5^16 + 11958264930295187527282175/115457040462315124829*c_0110_5^14 - 16874203903285371980731648/115457040462315124829*c_0110_5^12 + 14892408052076711054016623/115457040462315124829*c_0110_5^10 - 8238473902023822738457695/115457040462315124829*c_0110_5^8 + 2779846821884871140098533/115457040462315124829*c_0110_5^6 - 529417260836720199637234/115457040462315124829*c_0110_5^4 + 47713241733080634774364/115457040462315124829*c_0110_5^2 - 1132580183952448838028/115457040462315124829, c_0011_4 + 1536767135165809607320/115457040462315124829*c_0110_5^25 - 45638975507037302810917/115457040462315124829*c_0110_5^23 + 863719067136162044027663/115457040462315124829*c_0110_5^21 - 8609590708102693202033349/115457040462315124829*c_0110_5^19 + 35967230235464330403763610/115457040462315124829*c_0110_5^17 - 82047912939276145442285796/115457040462315124829*c_0110_5^15 + 112884869766340828010164775/115457040462315124829*c_0110_5^13 - 96454747888088503568015614/115457040462315124829*c_0110_5^11 + 51266763994561485041420741/115457040462315124829*c_0110_5^9 - 16471657464059644621997173/115457040462315124829*c_0110_5^7 + 2953163717320709467738007/115457040462315124829*c_0110_5^5 - 249152769264149248731780/115457040462315124829*c_0110_5^3 + 6097101512569930698319/115457040462315124829*c_0110_5, c_0101_0 - 4495371416887563178359/115457040462315124829*c_0110_5^25 + 133662996743384092209568/115457040462315124829*c_0110_5^23 - 2531240148901139561112219/115457040462315124829*c_0110_5^21 + 25272873263895263888269015/115457040462315124829*c_0110_5^19 - 106075372037165580883602085/115457040462315124829*c_0110_5^17 + 243453932427885523186258275/115457040462315124829*c_0110_5^15 - 337599849842617161479353778/115457040462315124829*c_0110_5^13 + 291472392085480016467428508/115457040462315124829*c_0110_5^11 - 156977596632807375079167935/115457040462315124829*c_0110_5^9 + 51252580379727311058553914/115457040462315124829*c_0110_5^7 - 9349183765526162754239205/115457040462315124829*c_0110_5^5 + 790440283025312601855886/115457040462315124829*c_0110_5^3 - 16727225030453351149475/115457040462315124829*c_0110_5, c_0101_2 + 2415203633603744174339/115457040462315124829*c_0110_5^25 - 71805523053744995181760/115457040462315124829*c_0110_5^23 + 1359734151366621471312654/115457040462315124829*c_0110_5^21 - 13574142613626277589760085/115457040462315124829*c_0110_5^19 + 56948020905150607946422761/115457040462315124829*c_0110_5^17 - 130599668032571116901010928/115457040462315124829*c_0110_5^15 + 180870442129969968111982306/115457040462315124829*c_0110_5^13 - 155816497847100370831118939/115457040462315124829*c_0110_5^11 + 83606749986574907626319982/115457040462315124829*c_0110_5^9 - 27127878579934595524460017/115457040462315124829*c_0110_5^7 + 4895211651457709945788543/115457040462315124829*c_0110_5^5 - 405521084236033673047846/115457040462315124829*c_0110_5^3 + 8065529697418470967193/115457040462315124829*c_0110_5, c_0101_3 - 466102719248426001832/115457040462315124829*c_0110_5^24 + 13891808157264132580375/115457040462315124829*c_0110_5^22 - 263417723438739698295582/115457040462315124829*c_0110_5^20 + 2638568998964369689290647/115457040462315124829*c_0110_5^18 - 11176075554474629623094497/115457040462315124829*c_0110_5^16 + 25945655969599756375563318/115457040462315124829*c_0110_5^14 - 36495947642069793580265795/115457040462315124829*c_0110_5^12 + 32080874103640508701817262/115457040462315124829*c_0110_5^10 - 17656626746517725695816869/115457040462315124829*c_0110_5^8 + 5915365142419455634874623/115457040462315124829*c_0110_5^6 - 1113517709120436826875176/115457040462315124829*c_0110_5^4 + 97860311146928728245455/115457040462315124829*c_0110_5^2 - 2218866372360914836682/115457040462315124829, c_0110_5^26 - 30*c_0110_5^24 + 571*c_0110_5^22 - 5772*c_0110_5^20 + 25094*c_0110_5^18 - 60436*c_0110_5^16 + 89495*c_0110_5^14 - 84772*c_0110_5^12 + 52098*c_0110_5^10 - 20632*c_0110_5^8 + 5086*c_0110_5^6 - 723*c_0110_5^4 + 50*c_0110_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB