Magma V2.19-8 Tue Aug 20 2013 16:18:48 on localhost [Seed = 728413780] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2956 geometric_solution 6.14373422 oriented_manifold CS_known 0.0000000000000003 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.734807749517 0.484316911084 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.604769912302 0.630516589692 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.604769912302 0.630516589692 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.334210140834 0.906816864118 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 2.101028076963 0.716943921411 2 5 5 1 1023 3201 2310 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.275640913583 0.618430884346 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.499707420707 0.574595724088 ==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_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_0101_5']), '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: 18 Groebner basis: [ t + 79782002074329382240/683590497052675111*c_0101_6^17 + 782101251349709231868/7519495467579426221*c_0101_6^16 - 3155913703494310304531/7519495467579426221*c_0101_6^15 - 6809125734893198601204/7519495467579426221*c_0101_6^14 - 8002851460255876964104/7519495467579426221*c_0101_6^13 - 863057185070298683630/683590497052675111*c_0101_6^12 - 4161333741023772699876/7519495467579426221*c_0101_6^11 + 4282167268386739667027/7519495467579426221*c_0101_6^10 + 6631092996484436722291/7519495467579426221*c_0101_6^9 + 3138842550047169866126/7519495467579426221*c_0101_6^8 - 1140643543799471234135/7519495467579426221*c_0101_6^7 - 3358207607877842688981/7519495467579426221*c_0101_6^6 - 2381607760721428479723/7519495467579426221*c_0101_6^5 - 413119175780711430246/7519495467579426221*c_0101_6^4 + 365110703466777164108/7519495467579426221*c_0101_6^3 + 54606243111483430076/683590497052675111*c_0101_6^2 + 244440993070245325568/7519495467579426221*c_0101_6 + 97355528223272667021/7519495467579426221, c_0011_0 - 1, c_0011_2 + 16487583989147590/574928929396699*c_0101_6^17 + 16504750808597356/574928929396699*c_0101_6^16 - 60491469622854866/574928929396699*c_0101_6^15 - 136828781206716306/574928929396699*c_0101_6^14 - 153544092172347401/574928929396699*c_0101_6^13 - 173063061776083024/574928929396699*c_0101_6^12 - 75355280473651572/574928929396699*c_0101_6^11 + 97052085733587349/574928929396699*c_0101_6^10 + 140935044417111362/574928929396699*c_0101_6^9 + 52319508623046637/574928929396699*c_0101_6^8 - 38080836774048831/574928929396699*c_0101_6^7 - 72150096725588981/574928929396699*c_0101_6^6 - 45014884628788266/574928929396699*c_0101_6^5 - 1758394514676757/574928929396699*c_0101_6^4 + 12314180999268782/574928929396699*c_0101_6^3 + 11254617368099934/574928929396699*c_0101_6^2 + 4324046909294417/574928929396699*c_0101_6 + 737497153178447/574928929396699, c_0101_0 - 1671729882033453/574928929396699*c_0101_6^17 - 3281734556479742/574928929396699*c_0101_6^16 + 6249503173678655/574928929396699*c_0101_6^15 + 19096485552253096/574928929396699*c_0101_6^14 + 22070463723357738/574928929396699*c_0101_6^13 + 28335809270144639/574928929396699*c_0101_6^12 + 20796837106639553/574928929396699*c_0101_6^11 - 11579463852406545/574928929396699*c_0101_6^10 - 18738365033430049/574928929396699*c_0101_6^9 - 12766662727742592/574928929396699*c_0101_6^8 - 4511558904107425/574928929396699*c_0101_6^7 + 8698367103394764/574928929396699*c_0101_6^6 + 10796378398769199/574928929396699*c_0101_6^5 + 2364602226872311/574928929396699*c_0101_6^4 - 158445669185672/574928929396699*c_0101_6^3 - 1129299800116293/574928929396699*c_0101_6^2 - 2696084169227434/574928929396699*c_0101_6 - 99726767687929/574928929396699, c_0101_1 - 3030240591231865/574928929396699*c_0101_6^17 - 6086060869076582/574928929396699*c_0101_6^16 + 4214728688798073/574928929396699*c_0101_6^15 + 33160865394034317/574928929396699*c_0101_6^14 + 69053802922456741/574928929396699*c_0101_6^13 + 90689737131315030/574928929396699*c_0101_6^12 + 72948882349890659/574928929396699*c_0101_6^11 + 23177022927866552/574928929396699*c_0101_6^10 - 38398947428096055/574928929396699*c_0101_6^9 - 66370421944117008/574928929396699*c_0101_6^8 - 33965163698013541/574928929396699*c_0101_6^7 + 21097190355025630/574928929396699*c_0101_6^6 + 39210181051056163/574928929396699*c_0101_6^5 + 22146598911470436/574928929396699*c_0101_6^4 + 643394681749442/574928929396699*c_0101_6^3 - 7910945788165177/574928929396699*c_0101_6^2 - 5893266569349105/574928929396699*c_0101_6 - 2298060931899564/574928929396699, c_0101_2 - 3648654960860558/574928929396699*c_0101_6^17 - 10110802908222636/574928929396699*c_0101_6^16 + 8791797015085038/574928929396699*c_0101_6^15 + 56469242387247234/574928929396699*c_0101_6^14 + 80338960600889287/574928929396699*c_0101_6^13 + 79535149445139311/574928929396699*c_0101_6^12 + 65949977633500608/574928929396699*c_0101_6^11 - 8686449517263028/574928929396699*c_0101_6^10 - 76139422741630175/574928929396699*c_0101_6^9 - 49657342820708317/574928929396699*c_0101_6^8 + 11294299281575629/574928929396699*c_0101_6^7 + 34541540064874835/574928929396699*c_0101_6^6 + 28243157000731132/574928929396699*c_0101_6^5 + 7869320690444629/574928929396699*c_0101_6^4 - 5927211138175344/574928929396699*c_0101_6^3 - 5707307182257668/574928929396699*c_0101_6^2 - 2873454598412470/574928929396699*c_0101_6 - 893388887968028/574928929396699, c_0101_5 - 2967244785822691/574928929396699*c_0101_6^17 + 1244381960214772/574928929396699*c_0101_6^16 + 12696678359167186/574928929396699*c_0101_6^15 + 7940858536756283/574928929396699*c_0101_6^14 + 1926256183075878/574928929396699*c_0101_6^13 + 6733854771385559/574928929396699*c_0101_6^12 - 15096556998121969/574928929396699*c_0101_6^11 - 16111970274934675/574928929396699*c_0101_6^10 + 4057585896844637/574928929396699*c_0101_6^9 + 13806706936889984/574928929396699*c_0101_6^8 + 9609236215724195/574928929396699*c_0101_6^7 + 847710227462059/574928929396699*c_0101_6^6 - 6332664655947507/574928929396699*c_0101_6^5 - 3564398970913508/574928929396699*c_0101_6^4 + 1748588979465155/574928929396699*c_0101_6^3 + 864920766861445/574928929396699*c_0101_6^2 + 1093498866037023/574928929396699*c_0101_6 - 62104410340931/574928929396699, c_0101_6^18 + 19/11*c_0101_6^17 - 31/11*c_0101_6^16 - 118/11*c_0101_6^15 - 173/11*c_0101_6^14 - 206/11*c_0101_6^13 - 155/11*c_0101_6^12 + 6/11*c_0101_6^11 + 125/11*c_0101_6^10 + 109/11*c_0101_6^9 + 19/11*c_0101_6^8 - 56/11*c_0101_6^7 - 68/11*c_0101_6^6 - 32/11*c_0101_6^5 + 12/11*c_0101_6^3 + 10/11*c_0101_6^2 + 4/11*c_0101_6 + 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB