Magma V2.19-8 Tue Aug 20 2013 16:16:06 on localhost [Seed = 1478083733] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0347 geometric_solution 4.37262995 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 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.930274048400 0.136036343300 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 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.747755056152 0.314425057749 3 1 1 3 0132 0132 1023 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 -1 0 1 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.283608937617 0.388673404231 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 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 -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.082142571562 0.703095061743 6 5 3 5 0132 1023 0132 3012 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 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.808086188927 1.196722991042 4 6 4 3 1023 2310 1230 0132 0 0 0 0 0 0 1 -1 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 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.808086188927 1.196722991042 4 6 6 5 0132 3201 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.387543580379 0.573926790268 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_4'], '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], '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_1, c_0011_4, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 580118955826125699909/471157506339880859*c_0101_3*c_0101_6^15 - 2323152496165559976250/471157506339880859*c_0101_3*c_0101_6^14 - 43078827712353787270/471157506339880859*c_0101_3*c_0101_6^13 + 41057090527284477213558/471157506339880859*c_0101_3*c_0101_6^12 + 11202850961365514274000/471157506339880859*c_0101_3*c_0101_6^11 - 150810318804361371586659/471157506339880859*c_0101_3*c_0101_6^10 - 9242108063811539312757/471157506339880859*c_0101_3*c_0101_6^9 + 265402747237308854085108/471157506339880859*c_0101_3*c_0101_6^8 - 76268059160873033454943/471157506339880859*c_0101_3*c_0101_6^7 - 217658476109646010581137/471157506339880859*c_0101_3*c_0101_6^6 + 99289790597061678861986/471157506339880859*c_0101_3*c_0101_6^5 + 71715043633734825500950/471157506339880859*c_0101_3*c_0101_6^4 - 23735776022295538003198/471157506339880859*c_0101_3*c_0101_6^3 - 19684035900054704426926/471157506339880859*c_0101_3*c_0101_6^2 + 11561984438099565787675/471157506339880859*c_0101_3*c_0101_6 - 509542432200469954175/471157506339880859*c_0101_3, c_0011_0 - 1, c_0011_1 - 127312700170585057/471157506339880859*c_0101_6^15 - 546263558457950335/471157506339880859*c_0101_6^14 - 149733657857948405/471157506339880859*c_0101_6^13 + 9043429057443829578/471157506339880859*c_0101_6^12 + 5104413869913441299/471157506339880859*c_0101_6^11 - 32719994926460700445/471157506339880859*c_0101_6^10 - 12490832924823624983/471157506339880859*c_0101_6^9 + 57935921583896553911/471157506339880859*c_0101_6^8 + 2430529786743776766/471157506339880859*c_0101_6^7 - 52239027870221218001/471157506339880859*c_0101_6^6 + 4932602084422716262/471157506339880859*c_0101_6^5 + 21552002683532035896/471157506339880859*c_0101_6^4 + 2187535763698867524/471157506339880859*c_0101_6^3 - 5306955209187254446/471157506339880859*c_0101_6^2 + 122016463120563256/471157506339880859*c_0101_6 + 458327500447234663/471157506339880859, c_0011_4 - 28761536135112918/471157506339880859*c_0101_3*c_0101_6^15 - 51760726376439590/471157506339880859*c_0101_3*c_0101_6^14 + 259970547616154868/471157506339880859*c_0101_3*c_0101_6^13 + 2072396105682417522/471157506339880859*c_0101_3*c_0101_6^12 - 3935992752293762733/471157506339880859*c_0101_3*c_0101_6^11 - 9289348984708653053/471157506339880859*c_0101_3*c_0101_6^10 + 15888606379975385340/471157506339880859*c_0101_3*c_0101_6^9 + 16425031186036005773/471157506339880859*c_0101_3*c_0101_6^8 - 32453040914463329880/471157506339880859*c_0101_3*c_0101_6^7 - 6639686159100852614/471157506339880859*c_0101_3*c_0101_6^6 + 28984625240273161972/471157506339880859*c_0101_3*c_0101_6^5 - 3493916193884651835/471157506339880859*c_0101_3*c_0101_6^4 - 9550548833709139616/471157506339880859*c_0101_3*c_0101_6^3 - 771926545580451711/471157506339880859*c_0101_3*c_0101_6^2 + 2709492883385689773/471157506339880859*c_0101_3*c_0101_6 - 693358904173690642/471157506339880859*c_0101_3, c_0101_1 + 234583661358352837/471157506339880859*c_0101_3*c_0101_6^15 + 874797310786861888/471157506339880859*c_0101_3*c_0101_6^14 - 271158995363970780/471157506339880859*c_0101_3*c_0101_6^13 - 16750311160412101139/471157506339880859*c_0101_3*c_0101_6^12 - 63639931366657971/471157506339880859*c_0101_3*c_0101_6^11 + 64297133331357814962/471157506339880859*c_0101_3*c_0101_6^10 - 10816332564893683105/471157506339880859*c_0101_3*c_0101_6^9 - 114984350472638400908/471157506339880859*c_0101_3*c_0101_6^8 + 54224077663315162894/471157506339880859*c_0101_3*c_0101_6^7 + 90306515553285962063/471157506339880859*c_0101_3*c_0101_6^6 - 58563323781727989056/471157506339880859*c_0101_3*c_0101_6^5 - 27407605085951447219/471157506339880859*c_0101_3*c_0101_6^4 + 14503749670729222500/471157506339880859*c_0101_3*c_0101_6^3 + 8399690606371992684/471157506339880859*c_0101_3*c_0101_6^2 - 4990269802564725313/471157506339880859*c_0101_3*c_0101_6 + 1416395051586831889/471157506339880859*c_0101_3, c_0101_2 + 63285418164012082/471157506339880859*c_0101_6^15 + 259970547616154868/471157506339880859*c_0101_6^14 + 30327040089400344/471157506339880859*c_0101_6^13 - 4482461938860908175/471157506339880859*c_0101_6^12 - 1696303445038842701/471157506339880859*c_0101_6^11 + 16348790958137192028/471157506339880859*c_0101_6^10 + 2849586130262708477/471157506339880859*c_0101_6^9 - 28656518144628424704/471157506339880859*c_0101_6^8 + 4864928294944314586/471157506339880859*c_0101_6^7 + 23836310272087949650/471157506339880859*c_0101_6^6 - 7635577397340912027/471157506339880859*c_0101_6^5 - 8112472026953493716/471157506339880859*c_0101_6^4 + 407296435959177927/471157506339880859*c_0101_6^3 + 2076739088413205577/471157506339880859*c_0101_6^2 - 250962933968922701/471157506339880859*c_0101_6 + 28761536135112918/471157506339880859, c_0101_3^2 - 337108655956827/471157506339880859*c_0101_6^15 - 16079817274135695/471157506339880859*c_0101_6^14 - 66184464722592893/471157506339880859*c_0101_6^13 - 12662257192726741/471157506339880859*c_0101_6^12 + 1018273997586888229/471157506339880859*c_0101_6^11 + 690779064049131565/471157506339880859*c_0101_6^10 - 3222137287904868826/471157506339880859*c_0101_6^9 - 1579405512040081467/471157506339880859*c_0101_6^8 + 4902188398054482437/471157506339880859*c_0101_6^7 + 316066115087184049/471157506339880859*c_0101_6^6 - 3654912097881661477/471157506339880859*c_0101_6^5 + 335263685272715071/471157506339880859*c_0101_6^4 + 934412043720476351/471157506339880859*c_0101_6^3 + 216630373767551922/471157506339880859*c_0101_6^2 - 205622772886961766/471157506339880859*c_0101_6 - 54001854763286815/471157506339880859, c_0101_6^16 + 4*c_0101_6^15 - 71*c_0101_6^13 - 19*c_0101_6^12 + 264*c_0101_6^11 + 16*c_0101_6^10 - 472*c_0101_6^9 + 132*c_0101_6^8 + 400*c_0101_6^7 - 179*c_0101_6^6 - 144*c_0101_6^5 + 50*c_0101_6^4 + 41*c_0101_6^3 - 22*c_0101_6^2 - c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB