Magma V2.19-8 Tue Aug 20 2013 16:17:36 on localhost [Seed = 1663238020] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1843 geometric_solution 5.49085381 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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.444962730400 1.217198625708 0 3 2 4 0132 0132 0132 0132 0 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 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 0 0 0 -0.061643305049 0.916270372544 3 0 4 1 0132 0132 3201 0132 0 0 0 0 0 0 1 -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 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.061643305049 0.916270372544 2 1 5 5 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.196202556389 0.893656465680 2 6 1 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 -1 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.378261577075 1.570063851244 3 5 5 3 3201 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.655205181014 0.814661053980 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 -1 1 0 0 -1 1 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 1 -1 0 0 1 -1 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.428829813428 0.150960576482 ==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_2'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), '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_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 113483373274814810960655578765/29537550889379201650918208*c_0110_6^\ 14 - 54914950432890248632264362379/22153163167034401238188656*c_011\ 0_6^13 - 2254403536049930563561157105867/44306326334068802476377312\ *c_0110_6^12 + 148267833711228137904916651997/110765815835172006190\ 94328*c_0110_6^11 + 19616232718824091664904546589291/88612652668137\ 604952754624*c_0110_6^10 - 24537126370878443645329951531/3692193861\ 172400206364776*c_0110_6^9 - 9584215520723115879975018831283/295375\ 50889379201650918208*c_0110_6^8 + 2275271158661220658075011097517/4\ 4306326334068802476377312*c_0110_6^7 + 5081789728445153292027459554961/29537550889379201650918208*c_0110_6\ ^6 - 3880853603502432204046093638697/88612652668137604952754624*c_0\ 110_6^5 - 1094659215513702193851408218159/4430632633406880247637731\ 2*c_0110_6^4 - 2764644804102752709212454497/36921938611724002063647\ 76*c_0110_6^3 + 185409378916329486573277158627/29537550889379201650\ 918208*c_0110_6^2 - 56587088296395591835395164153/88612652668137604\ 952754624*c_0110_6 - 16286645572511830736747554021/4430632633406880\ 2476377312, c_0011_0 - 1, c_0011_4 + 32303170262555413878028495/923048465293100051591194*c_0110_6\ ^14 - 11534954779982978892820043/461524232646550025795597*c_0110_6^\ 13 - 214152599678431988460004548/461524232646550025795597*c_0110_6^\ 12 + 70627546645265708622595327/461524232646550025795597*c_0110_6^1\ 1 + 1875429210043618826537299435/923048465293100051591194*c_0110_6^\ 10 - 79942870250185704210490124/461524232646550025795597*c_0110_6^9 - 2786640853016983622068344749/923048465293100051591194*c_0110_6^8 + 246366879070433055450259325/461524232646550025795597*c_0110_6^7 + 1390460069343328616396867417/923048465293100051591194*c_0110_6^6 - 372333742570739220604114217/923048465293100051591194*c_0110_6^5 - 75168228833190458135168717/461524232646550025795597*c_0110_6^4 - 12637152829745319211598540/461524232646550025795597*c_0110_6^3 + 47312989087446654245467135/923048465293100051591194*c_0110_6^2 - 4615810378436170898143067/923048465293100051591194*c_0110_6 - 875449233415591011898853/461524232646550025795597, c_0011_5 - 36327781075946601436185720/461524232646550025795597*c_0110_6\ ^14 + 13509057525661656651566911/461524232646550025795597*c_0110_6^\ 13 + 478556826805525763002207650/461524232646550025795597*c_0110_6^\ 12 + 3995841159243839698165388/461524232646550025795597*c_0110_6^11 - 2009853075740371581931481925/461524232646550025795597*c_0110_6^10 - 452280588420315977476300191/461524232646550025795597*c_0110_6^9 + 2613185015791416034520446672/461524232646550025795597*c_0110_6^8 + 17523511784449048806604176/461524232646550025795597*c_0110_6^7 - 1262039533764698719992257705/461524232646550025795597*c_0110_6^6 + 208991105765808723557449249/461524232646550025795597*c_0110_6^5 + 137000400574493625650580246/461524232646550025795597*c_0110_6^4 + 31511663753078722849532158/461524232646550025795597*c_0110_6^3 - 38540331562395208434957277/461524232646550025795597*c_0110_6^2 + 2163539663178328308851811/461524232646550025795597*c_0110_6 + 1656017215115687611925752/461524232646550025795597, c_0101_0 + 24310921317568312411837740/461524232646550025795597*c_0110_6\ ^14 - 10539755220757484355859492/461524232646550025795597*c_0110_6^\ 13 - 320728375524485395093390961/461524232646550025795597*c_0110_6^\ 12 + 18947624303975744316688912/461524232646550025795597*c_0110_6^1\ 1 + 1356470193525266820227241703/461524232646550025795597*c_0110_6^\ 10 + 204995251685969064211889637/461524232646550025795597*c_0110_6^\ 9 - 1810140471902982131509112777/461524232646550025795597*c_0110_6^\ 8 + 127087757835720263793397106/461524232646550025795597*c_0110_6^7 + 903728507873213562320783335/461524232646550025795597*c_0110_6^6 - 210932315428712002738412061/461524232646550025795597*c_0110_6^5 - 111060871073090452524637032/461524232646550025795597*c_0110_6^4 - 11367059101598686891889968/461524232646550025795597*c_0110_6^3 + 31261182121109731865599023/461524232646550025795597*c_0110_6^2 - 1863379550413211172360585/461524232646550025795597*c_0110_6 - 1666295889127080792077271/461524232646550025795597, c_0101_1 + 16248329801553455585017765/923048465293100051591194*c_0110_6\ ^14 - 7316920611020105960269546/461524232646550025795597*c_0110_6^1\ 3 - 106702347454956985990951881/461524232646550025795597*c_0110_6^1\ 2 + 56213803241705971329065214/461524232646550025795597*c_0110_6^11 + 932817993951502781529736569/923048465293100051591194*c_0110_6^10 - 135792083804338920835673996/461524232646550025795597*c_0110_6^9 - 1411389658084181039909280637/923048465293100051591194*c_0110_6^8 + 281615482477216126984443384/461524232646550025795597*c_0110_6^7 + 738895540988946284370829721/923048465293100051591194*c_0110_6^6 - 347420395781045976541789863/923048465293100051591194*c_0110_6^5 - 44600016234424550944561656/461524232646550025795597*c_0110_6^4 + 4078929030370760905636441/461524232646550025795597*c_0110_6^3 + 35200576980348406951080735/923048465293100051591194*c_0110_6^2 - 6038634387158565496225851/923048465293100051591194*c_0110_6 - 841984441278980244139397/461524232646550025795597, c_0101_2 - 23265846776951162730865125/461524232646550025795597*c_0110_6\ ^14 + 6114021018605701651669510/461524232646550025795597*c_0110_6^1\ 3 + 306153842384030267195430302/461524232646550025795597*c_0110_6^1\ 2 + 35811916307966825483106157/461524232646550025795597*c_0110_6^11 - 1270581681188024263901088257/461524232646550025795597*c_0110_6^10 - 420533380845535729217368045/461524232646550025795597*c_0110_6^9 + 1579717361744156616618178291/461524232646550025795597*c_0110_6^8 + 137744517755711426707689203/461524232646550025795597*c_0110_6^7 - 752650484956195728943884317/461524232646550025795597*c_0110_6^6 + 92150088203560911996387946/461524232646550025795597*c_0110_6^5 + 84869413420324449299573954/461524232646550025795597*c_0110_6^4 + 18014539244992252699758431/461524232646550025795597*c_0110_6^3 - 22498979405274103908658005/461524232646550025795597*c_0110_6^2 + 331664386024524105422177/461524232646550025795597*c_0110_6 + 1422006571318569770343778/461524232646550025795597, c_0110_6^15 - 134/155*c_0110_6^14 - 2014/155*c_0110_6^13 + 988/155*c_0110_6^12 + 8591/155*c_0110_6^11 - 2282/155*c_0110_6^10 - 2425/31*c_0110_6^9 + 5368/155*c_0110_6^8 + 5427/155*c_0110_6^7 - 3527/155*c_0110_6^6 - 152/155*c_0110_6^5 + 164/155*c_0110_6^4 + 229/155*c_0110_6^3 - 91/155*c_0110_6^2 - 4/155*c_0110_6 + 4/155 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB