Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 3701293079] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1641 geometric_solution 5.38389309 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521455716753 0.097205242631 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625236806816 0.248272229623 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 -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.914970764287 1.870722000738 4 2 6 5 3201 0132 0132 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 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.014944756741 0.979964949653 5 6 2 3 3201 1023 0132 2310 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 -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.014944756741 0.979964949653 5 5 3 4 1302 2031 0132 2310 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 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.482232728692 0.502125740011 4 6 6 3 1023 1230 3012 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 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 1.005046507916 1.035997203767 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_0'], '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' : 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_0101_1'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 764961187660243269077502036660235109/284729746428568983604344480722\ 23720*c_0101_6^15 - 5277032447751573062711520214559082811/142364873\ 21428449180217224036111860*c_0101_6^14 + 6263409041608954530597918529035038943/28472974642856898360434448072\ 223720*c_0101_6^13 + 97493503568440523410312827804520958387/7118243\ 660714224590108612018055930*c_0101_6^12 + 1418583787075215317731614454993328560843/28472974642856898360434448\ 072223720*c_0101_6^11 + 385528004163144334749039156013943894687/711\ 8243660714224590108612018055930*c_0101_6^10 - 75568213729508783035573973373450939263/7118243660714224590108612018\ 055930*c_0101_6^9 + 623196539126835744817790610205760337423/7118243\ 660714224590108612018055930*c_0101_6^8 + 1277183491638025972500626485679199047213/14236487321428449180217224\ 036111860*c_0101_6^7 - 181065720971770803557170946387087336610/7118\ 24366071422459010861201805593*c_0101_6^6 - 698549560896367246371421567738970626126/355912183035711229505430600\ 9027965*c_0101_6^5 + 1286263817824278233840867534263461298557/14236\ 487321428449180217224036111860*c_0101_6^4 + 504385382904845818900446625411060080641/142364873214284491802172240\ 36111860*c_0101_6^3 - 110737448305947256892707874198536981959/56945\ 94928571379672086889614444744*c_0101_6^2 + 85106542329540885155924717806452390951/1423648732142844918021722403\ 6111860*c_0101_6 + 6363171283579519423630902336302060415/5694594928\ 571379672086889614444744, c_0011_0 - 1, c_0011_1 - 30845200175985823226454539887919/355912183035711229505430600\ 9027965*c_0101_6^15 + 435168347737643752165261623481709/35591218303\ 57112295054306009027965*c_0101_6^14 - 382011490164625622237315750766576/355912183035711229505430600902796\ 5*c_0101_6^13 - 15692239603698606085428753004081452/355912183035711\ 2295054306009027965*c_0101_6^12 - 522132324836439977801715816376471\ 13/3559121830357112295054306009027965*c_0101_6^11 - 42965349470949504319440103322138709/3559121830357112295054306009027\ 965*c_0101_6^10 + 6993748555555458218983745798200331/71182436607142\ 2459010861201805593*c_0101_6^9 - 2075143075897974770975320341485507\ 4/711824366071422459010861201805593*c_0101_6^8 - 74008462612939204532040382727470628/3559121830357112295054306009027\ 965*c_0101_6^7 + 339737974609002455798026758611832257/3559121830357\ 112295054306009027965*c_0101_6^6 + 24957979826736035028790864315719849/7118243660714224590108612018055\ 93*c_0101_6^5 - 38292439790466775728410905672771198/711824366071422\ 459010861201805593*c_0101_6^4 + 4130608451561936822280869480926476/\ 3559121830357112295054306009027965*c_0101_6^3 + 6611901840067046773144412167736778/71182436607142245901086120180559\ 3*c_0101_6^2 - 18953336797453974449109947904550216/3559121830357112\ 295054306009027965*c_0101_6 + 861228426912733485364905332177463/355\ 9121830357112295054306009027965, c_0011_4 + 63292485634467067494651026923334/355912183035711229505430600\ 9027965*c_0011_5*c_0101_6^15 - 177351372417627596874768724848524/71\ 1824366071422459010861201805593*c_0011_5*c_0101_6^14 + 706747183456828643603937166352681/355912183035711229505430600902796\ 5*c_0011_5*c_0101_6^13 + 6425758695331514854539516637012995/7118243\ 66071422459010861201805593*c_0011_5*c_0101_6^12 + 110487045920115194509209049629738229/355912183035711229505430600902\ 7965*c_0011_5*c_0101_6^11 + 103542447922166441059909761673767048/35\ 59121830357112295054306009027965*c_0011_5*c_0101_6^10 - 48189972388931299110573003152351378/3559121830357112295054306009027\ 965*c_0011_5*c_0101_6^9 + 43450462464918905125880439835038703/71182\ 4366071422459010861201805593*c_0011_5*c_0101_6^8 + 33880148612868724642782750041085387/7118243660714224590108612018055\ 93*c_0011_5*c_0101_6^7 - 635417513377056974385783760673418576/35591\ 21830357112295054306009027965*c_0011_5*c_0101_6^6 - 323932717225896964558471969546882569/355912183035711229505430600902\ 7965*c_0011_5*c_0101_6^5 + 295459092654901250589464168397114266/355\ 9121830357112295054306009027965*c_0011_5*c_0101_6^4 + 4563173773163770574257495668183976/71182436607142245901086120180559\ 3*c_0011_5*c_0101_6^3 - 65292525794562312010000340986524489/3559121\ 830357112295054306009027965*c_0011_5*c_0101_6^2 + 3451021959761615554382448857084099/71182436607142245901086120180559\ 3*c_0011_5*c_0101_6 - 505780127252622813395807801904069/35591218303\ 57112295054306009027965*c_0011_5, c_0011_5^2 + 7275081946306421690909581251673/71182436607142245901086120\ 18055930*c_0101_6^15 - 9768502763421040385073044275628/711824366071\ 422459010861201805593*c_0101_6^14 + 16094726747889597251846727279109/7118243660714224590108612018055930\ *c_0101_6^13 + 1914323424681238456226186684948294/35591218303571122\ 95054306009027965*c_0101_6^12 + 14663608699479008882799401529671027\ /7118243660714224590108612018055930*c_0101_6^11 + 8321874078545839519558209559748943/35591218303571122950543060090279\ 65*c_0101_6^10 - 459023807852158680002210593572157/7118243660714224\ 59010861201805593*c_0101_6^9 + 11256393743041432711278191047711816/\ 3559121830357112295054306009027965*c_0101_6^8 + 20266896215872694560349536068211979/3559121830357112295054306009027\ 965*c_0101_6^7 - 45647009426838148158404412191112493/35591218303571\ 12295054306009027965*c_0101_6^6 - 584822027213735329126138576810412\ 4/711824366071422459010861201805593*c_0101_6^5 + 23431868120227160891233601246004982/3559121830357112295054306009027\ 965*c_0101_6^4 - 4756068879662277439221705545862153/355912183035711\ 2295054306009027965*c_0101_6^3 - 1481059259903639975339662991956432\ 7/7118243660714224590108612018055930*c_0101_6^2 + 4281454612769327373998666943249282/35591218303571122950543060090279\ 65*c_0101_6 - 380373645536987032389192549870545/1423648732142844918\ 021722403611186, c_0101_0 + 10964167814987761271730505207682/711824366071422459010861201\ 805593*c_0101_6^15 - 153728104379019480949729248903735/711824366071\ 422459010861201805593*c_0101_6^14 + 123588134518331957153908443152930/711824366071422459010861201805593\ *c_0101_6^13 + 27855408768736051778983098093505992/3559121830357112\ 295054306009027965*c_0101_6^12 + 9535548583202858976677841734969905\ 4/3559121830357112295054306009027965*c_0101_6^11 + 87580056184345895071953534065844316/3559121830357112295054306009027\ 965*c_0101_6^10 - 45847117732503854356291460404381182/3559121830357\ 112295054306009027965*c_0101_6^9 + 37322424025799946007874331820273119/7118243660714224590108612018055\ 93*c_0101_6^8 + 145476392379178586407505004320265077/35591218303571\ 12295054306009027965*c_0101_6^7 - 564056031961858123655561952546866\ 056/3559121830357112295054306009027965*c_0101_6^6 - 274340132292142481077692671770293807/355912183035711229505430600902\ 7965*c_0101_6^5 + 275967156656733151777683233966786792/355912183035\ 7112295054306009027965*c_0101_6^4 + 10183430269690101055981875323187783/3559121830357112295054306009027\ 965*c_0101_6^3 - 60361357758566300437825209321433942/35591218303571\ 12295054306009027965*c_0101_6^2 + 546856521165374863899400371374394\ 0/711824366071422459010861201805593*c_0101_6 - 738992070059019295242395129696966/355912183035711229505430600902796\ 5, c_0101_1 - 6558303529733951403706070671447/3559121830357112295054306009\ 027965*c_0101_6^15 + 99738906347281241517947698836244/3559121830357\ 112295054306009027965*c_0101_6^14 - 182714775862720292563809197772112/355912183035711229505430600902796\ 5*c_0101_6^13 - 3246455134308842687586318434306161/3559121830357112\ 295054306009027965*c_0101_6^12 - 1499146966483568041992819616525185\ /711824366071422459010861201805593*c_0101_6^11 + 3313939401650796137038880515669846/35591218303571122950543060090279\ 65*c_0101_6^10 + 20180626667745609646354116009354637/35591218303571\ 12295054306009027965*c_0101_6^9 - 232183683319763572801785667699575\ 34/3559121830357112295054306009027965*c_0101_6^8 + 12801884221094841543733071870299928/3559121830357112295054306009027\ 965*c_0101_6^7 + 88155661020448164054604258684008931/35591218303571\ 12295054306009027965*c_0101_6^6 - 635605705174384958857751298946115\ 5/711824366071422459010861201805593*c_0101_6^5 - 74762764765952928979922294624728839/3559121830357112295054306009027\ 965*c_0101_6^4 + 12326826463911993664971459697165541/35591218303571\ 12295054306009027965*c_0101_6^3 + 409948110542173118584787233219384\ 9/3559121830357112295054306009027965*c_0101_6^2 - 7779631053621758133370522217215964/35591218303571122950543060090279\ 65*c_0101_6 + 2391673789280487424472205489556719/355912183035711229\ 5054306009027965, c_0101_6^16 - 14*c_0101_6^15 + 11*c_0101_6^14 + 508*c_0101_6^13 + 1751*c_0101_6^12 + 1644*c_0101_6^11 - 788*c_0101_6^10 + 3356*c_0101_6^9 + 2674*c_0101_6^8 - 10112*c_0101_6^7 - 5360*c_0101_6^6 + 4762*c_0101_6^5 + 586*c_0101_6^4 - 975*c_0101_6^3 + 374*c_0101_6^2 - c_0101_6 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB