Magma V2.19-8 Tue Aug 20 2013 16:15:51 on localhost [Seed = 526287669] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0072 geometric_solution 3.62420570 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.275938157424 0.050241378175 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.534275063102 0.314485954225 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.166156221642 0.066803651153 4 2 4 2 0132 2310 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 1 0 -1 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.949171366537 1.394109415426 3 3 5 6 0132 3201 0132 0132 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 -1 0 -1 0 0 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.013714807276 1.963065478483 6 6 6 4 1302 2031 1230 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 -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.493564570343 0.502909616580 5 5 4 5 1302 2031 0132 3012 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 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.493564570343 0.502909616580 ==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_0110_6'], 'c_1100_5' : d['c_0110_6'], 'c_1100_4' : d['c_0110_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : negation(d['c_0011_5']), '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' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0110_6']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, 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: 18 Groebner basis: [ t - 445571543114530214895894857736/153318855816549337840218695*c_0110_6\ ^17 + 75274936760391433027606176556/153318855816549337840218695*c_0\ 110_6^16 - 4468581331449104581841489149236/153318855816549337840218\ 695*c_0110_6^15 - 34890849919173327750722176613079/1533188558165493\ 37840218695*c_0110_6^14 + 45994385983915856976147655058324/15331885\ 5816549337840218695*c_0110_6^13 + 44693780699197774874497682594611/\ 30663771163309867568043739*c_0110_6^12 - 38293182765001869957481193025760/30663771163309867568043739*c_0110_\ 6^11 - 715243602605127439833117527472988/15331885581654933784021869\ 5*c_0110_6^10 + 877834850907832255186360068992797/15331885581654933\ 7840218695*c_0110_6^9 + 708727730705674553300369014156232/153318855\ 816549337840218695*c_0110_6^8 - 1357806210612153915123608833882401/\ 153318855816549337840218695*c_0110_6^7 + 66180965322430307272851639792709/153318855816549337840218695*c_0110\ _6^6 + 85838057553834625792469337650895/30663771163309867568043739*\ c_0110_6^5 + 41443441179576726363201858056761/153318855816549337840\ 218695*c_0110_6^4 - 69294340262107935630778477409481/15331885581654\ 9337840218695*c_0110_6^3 - 7987516855828664676882072116600/30663771\ 163309867568043739*c_0110_6^2 + 10760705408832321501675037345219/15\ 3318855816549337840218695*c_0110_6 + 2629820749826350858274993855546/153318855816549337840218695, c_0011_0 - 1, c_0011_3 - 102345261109143867123868975/30663771163309867568043739*c_011\ 0_6^17 + 12635568792947758953775058/30663771163309867568043739*c_01\ 10_6^16 - 1027953460014855116419326666/30663771163309867568043739*c\ _0110_6^15 - 8061947968062710345524672525/3066377116330986756804373\ 9*c_0110_6^14 + 10176221711004478799762779995/306637711633098675680\ 43739*c_0110_6^13 + 51612711033649352684855673417/30663771163309867\ 568043739*c_0110_6^12 - 41523585951149373472354342690/3066377116330\ 9867568043739*c_0110_6^11 - 165037672222318341649822402644/30663771\ 163309867568043739*c_0110_6^10 + 193918308933084278742209980713/306\ 63771163309867568043739*c_0110_6^9 + 168033828294328012012131448460/30663771163309867568043739*c_0110_6^\ 8 - 302253444337831866332043890195/30663771163309867568043739*c_011\ 0_6^7 + 6189778207679260078296531093/30663771163309867568043739*c_0\ 110_6^6 + 95169000863098308790604684431/30663771163309867568043739*\ c_0110_6^5 + 11797101480718072469389309622/306637711633098675680437\ 39*c_0110_6^4 - 14368457202193780843894768153/306637711633098675680\ 43739*c_0110_6^3 - 9121197041356007195449155533/3066377116330986756\ 8043739*c_0110_6^2 + 2142561374145979119720660035/30663771163309867\ 568043739*c_0110_6 + 575265431894981796379342552/306637711633098675\ 68043739, c_0011_5 + 151056740858719575333256974/30663771163309867568043739*c_011\ 0_6^17 - 26370691086765084632578654/30663771163309867568043739*c_01\ 10_6^16 + 1514215499580729539780085616/30663771163309867568043739*c\ _0110_6^15 + 11819306190998530267595200914/306637711633098675680437\ 39*c_0110_6^14 - 15668766390610024651970104265/30663771163309867568\ 043739*c_0110_6^13 - 75749101876528422710946332682/3066377116330986\ 7568043739*c_0110_6^12 + 65345186988651071263687718577/306637711633\ 09867568043739*c_0110_6^11 + 242573988993303829999036985553/3066377\ 1163309867568043739*c_0110_6^10 - 298854621862391118941177261850/30\ 663771163309867568043739*c_0110_6^9 - 239973910429214277012698728959/30663771163309867568043739*c_0110_6^\ 8 + 461910719020477138133757898662/30663771163309867568043739*c_011\ 0_6^7 - 23028211865702837788885359047/30663771163309867568043739*c_\ 0110_6^6 - 146099132811450447278541219302/3066377116330986756804373\ 9*c_0110_6^5 - 14316712393563610169522802033/3066377116330986756804\ 3739*c_0110_6^4 + 23640777242782223587893729074/3066377116330986756\ 8043739*c_0110_6^3 + 13671677863794909880206054486/3066377116330986\ 7568043739*c_0110_6^2 - 3613739546982597964577173835/30663771163309\ 867568043739*c_0110_6 - 895460081580553891949002470/306637711633098\ 67568043739, c_0101_0 + 389124710262945155579685245/30663771163309867568043739*c_011\ 0_6^17 - 65066005284778831623713238/30663771163309867568043739*c_01\ 10_6^16 + 3902691221084702319595635069/30663771163309867568043739*c\ _0110_6^15 + 30477630747756631596467320260/306637711633098675680437\ 39*c_0110_6^14 - 40111775503159799131441453988/30663771163309867568\ 043739*c_0110_6^13 - 195201286354758886954233922718/306637711633098\ 67568043739*c_0110_6^12 + 166855102174494372585231781703/3066377116\ 3309867568043739*c_0110_6^11 + 624736799244635575449034250533/30663\ 771163309867568043739*c_0110_6^10 - 765522272994160607589866668146/30663771163309867568043739*c_0110_6^\ 9 - 619660010523423166798410787794/30663771163309867568043739*c_011\ 0_6^8 + 1184476949521159225412580435085/30663771163309867568043739*\ c_0110_6^7 - 56635884401311242283283103093/306637711633098675680437\ 39*c_0110_6^6 - 374399347809723664412815085984/30663771163309867568\ 043739*c_0110_6^5 - 36300166243811499373539287745/30663771163309867\ 568043739*c_0110_6^4 + 60320069452710990924685135267/30663771163309\ 867568043739*c_0110_6^3 + 34795524325508979750944664574/30663771163\ 309867568043739*c_0110_6^2 - 9406316888352155582881754272/306637711\ 63309867568043739*c_0110_6 - 2291401572382806214071849451/306637711\ 63309867568043739, c_0101_1 + 492566544589693151472608904/30663771163309867568043739*c_011\ 0_6^17 - 83959437228718052169933708/30663771163309867568043739*c_01\ 10_6^16 + 4939478597135778235216061757/30663771163309867568043739*c\ _0110_6^15 + 38563293087812227707558016284/306637711633098675680437\ 39*c_0110_6^14 - 50909180135548359546159287478/30663771163309867568\ 043739*c_0110_6^13 - 247004840252383333649771166424/306637711633098\ 67568043739*c_0110_6^12 + 212076955294241193128051487614/3066377116\ 3309867568043739*c_0110_6^11 + 790647434278407761928207087232/30663\ 771163309867568043739*c_0110_6^10 - 971747572406259681824150239568/30663771163309867568043739*c_0110_6^\ 9 - 782922784334150572448136412244/30663771163309867568043739*c_011\ 0_6^8 + 1502903606596550793491306232779/30663771163309867568043739*\ c_0110_6^7 - 74353876330331806512562256992/306637711633098675680437\ 39*c_0110_6^6 - 475451983185213597675976556643/30663771163309867568\ 043739*c_0110_6^5 - 45460385520443398416711255531/30663771163309867\ 568043739*c_0110_6^4 + 76834762543681997523976667993/30663771163309\ 867568043739*c_0110_6^3 + 44269186039205596327154891939/30663771163\ 309867568043739*c_0110_6^2 - 11906069087260363948530069157/30663771\ 163309867568043739*c_0110_6 - 2926870786833751435973707322/30663771\ 163309867568043739, c_0101_2 - 772339461054190157983491/388149002067213513519541*c_0110_6^1\ 7 + 97074441407367314986709/388149002067213513519541*c_0110_6^16 - 7753947255331294479297046/388149002067213513519541*c_0110_6^15 - 60818536451350594411521908/388149002067213513519541*c_0110_6^14 + 76966954697805667245278417/388149002067213513519541*c_0110_6^13 + 389641142116160595755834539/388149002067213513519541*c_0110_6^12 - 314298987954346343956727077/388149002067213513519541*c_0110_6^11 - 1246776310082198059672291727/388149002067213513519541*c_0110_6^10 + 1465953693869742239319398815/388149002067213513519541*c_0110_6^9 + 1271256263113089082332633786/388149002067213513519541*c_0110_6^8 - 2285543341918126526969486526/388149002067213513519541*c_0110_6^7 + 41696876693529989804127915/388149002067213513519541*c_0110_6^6 + 723364637244540588091943175/388149002067213513519541*c_0110_6^5 + 93270681978510730167898236/388149002067213513519541*c_0110_6^4 - 111767195803036664967181841/388149002067213513519541*c_0110_6^3 - 69364091554638138553704493/388149002067213513519541*c_0110_6^2 + 16176415618650328762423756/388149002067213513519541*c_0110_6 + 4354669919797031018696902/388149002067213513519541, c_0110_6^18 + 10*c_0110_6^16 + 80*c_0110_6^15 - 90*c_0110_6^14 - 519*c_0110_6^13 + 345*c_0110_6^12 + 1678*c_0110_6^11 - 1699*c_0110_6^10 - 1924*c_0110_6^9 + 2779*c_0110_6^8 + 367*c_0110_6^7 - 989*c_0110_6^6 - 256*c_0110_6^5 + 140*c_0110_6^4 + 116*c_0110_6^3 - 9*c_0110_6^2 - 10*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB