Magma V2.19-8 Tue Aug 20 2013 16:17:04 on localhost [Seed = 2160139346] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1324 geometric_solution 5.20643846 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 -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.617190531773 0.809087888374 0 3 2 4 0132 0132 1230 0132 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 -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.015653154793 0.887158573278 3 0 4 1 2310 0132 3201 3012 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 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.015653154793 0.887158573278 3 1 2 3 3201 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.281683114409 0.678975297837 2 5 1 5 2310 0132 0132 1023 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.381662078129 0.382511753003 6 4 6 4 0132 0132 2310 1023 0 0 0 0 0 -1 1 0 0 0 0 0 0 1 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.933558088178 0.349783235239 5 5 6 6 0132 3201 2031 1302 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 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.641514357307 0.167244240233 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_4'], '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' : negation(d['c_0011_4']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0011_4'], '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_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: 21 Groebner basis: [ t - 667732324578013153758470777218598824/303584413903022494955027629676\ 3579*c_0101_6^20 - 4080859939641429245202113877810389276/3035844139\ 030224949550276296763579*c_0101_6^19 - 16856237062844552458349362054326711512/3035844139030224949550276296\ 763579*c_0101_6^18 - 45679935646777133307718154642926033391/3035844\ 139030224949550276296763579*c_0101_6^17 - 55368466609608958747540499134429094179/3035844139030224949550276296\ 763579*c_0101_6^16 + 51353166923179221728804476522296637852/3035844\ 139030224949550276296763579*c_0101_6^15 + 391217422436372661112222667866370869418/303584413903022494955027629\ 6763579*c_0101_6^14 + 851349199024372340140614121588434069275/30358\ 44139030224949550276296763579*c_0101_6^13 + 654450948731231361837684366549358920442/303584413903022494955027629\ 6763579*c_0101_6^12 - 815239849533156242017237482342626979460/30358\ 44139030224949550276296763579*c_0101_6^11 - 2293578197798952929460180044954668773095/30358441390302249495502762\ 96763579*c_0101_6^10 - 1813785932402444960642567610327175548178/303\ 5844139030224949550276296763579*c_0101_6^9 + 252766985676695768838136185452890994879/303584413903022494955027629\ 6763579*c_0101_6^8 + 1615171589024268911597735231086320028770/30358\ 44139030224949550276296763579*c_0101_6^7 + 1211044607880681988495745136226353708629/30358441390302249495502762\ 96763579*c_0101_6^6 + 190639017774835500091395020885922419886/30358\ 44139030224949550276296763579*c_0101_6^5 - 208663850336368836785208257755212822884/303584413903022494955027629\ 6763579*c_0101_6^4 - 109084940952607832261814305048554649876/303584\ 4139030224949550276296763579*c_0101_6^3 - 11996946013311053526093727054532171451/3035844139030224949550276296\ 763579*c_0101_6^2 + 2344991194522114287515558201680622640/303584413\ 9030224949550276296763579*c_0101_6 + 646330663557787093281872249210736292/303584413903022494955027629676\ 3579, c_0011_0 - 1, c_0011_4 + 35172686964119147437845455279384/979304560977491919209766547\ 34309*c_0101_6^20 + 404402958834479223664719744094212/9793045609774\ 9191920976654734309*c_0101_6^19 + 162665473202318075468479217710896\ 0/97930456097749191920976654734309*c_0101_6^18 + 5456081647130462564578986737396149/97930456097749191920976654734309\ *c_0101_6^17 + 8778839022708999101472329765035233/97930456097749191\ 920976654734309*c_0101_6^16 - 1421735980930446058568495030537171/97\ 930456097749191920976654734309*c_0101_6^15 - 40544578131936231877732800305141874/9793045609774919192097665473430\ 9*c_0101_6^14 - 111419112990645974623620677941342295/97930456097749\ 191920976654734309*c_0101_6^13 - 1182113346146386862802637573026735\ 61/97930456097749191920976654734309*c_0101_6^12 + 73622751125054221834132271002505319/9793045609774919192097665473430\ 9*c_0101_6^11 + 316452127949969124277144587597095175/97930456097749\ 191920976654734309*c_0101_6^10 + 2836259616025350135613867785339778\ 13/97930456097749191920976654734309*c_0101_6^9 - 10491939652185986570576359380507646/9793045609774919192097665473430\ 9*c_0101_6^8 - 226756615571244428867397955657749667/979304560977491\ 91920976654734309*c_0101_6^7 - 178848809968401626420290888570416386\ /97930456097749191920976654734309*c_0101_6^6 - 27489515428003011873634150956684954/9793045609774919192097665473430\ 9*c_0101_6^5 + 29538373050385859524965744384766637/9793045609774919\ 1920976654734309*c_0101_6^4 + 14193075772804495829373614275024416/9\ 7930456097749191920976654734309*c_0101_6^3 + 2041083337286413203404362601630812/97930456097749191920976654734309\ *c_0101_6^2 - 19446273668206025157559033987058/97930456097749191920\ 976654734309*c_0101_6 - 89481508087609278177140583115458/9793045609\ 7749191920976654734309, c_0101_0 + 1048486178343270384674157283528520/9793045609774919192097665\ 4734309*c_0101_6^20 + 3537855350996247740479314976026668/9793045609\ 7749191920976654734309*c_0101_6^19 + 14358923153022848967729015753855584/9793045609774919192097665473430\ 9*c_0101_6^18 + 22092510754568638078481553530160895/979304560977491\ 91920976654734309*c_0101_6^17 - 16008298964262245813197708615568269\ /97930456097749191920976654734309*c_0101_6^16 - 125903539663014927539006300437030515/979304560977491919209766547343\ 09*c_0101_6^15 - 313120119291003351315393682695952317/9793045609774\ 9191920976654734309*c_0101_6^14 - 229365443373495621819118334374615\ 845/97930456097749191920976654734309*c_0101_6^13 + 547296625811205754990584640481885719/979304560977491919209766547343\ 09*c_0101_6^12 + 1163021895193152097268045363955031014/979304560977\ 49191920976654734309*c_0101_6^11 + 407206179570964089741179925052142555/979304560977491919209766547343\ 09*c_0101_6^10 - 939838135102996381395292708606089421/9793045609774\ 9191920976654734309*c_0101_6^9 - 1175690819380733004423202207474405\ 464/97930456097749191920976654734309*c_0101_6^8 - 205339395058516381273851119654184738/979304560977491919209766547343\ 09*c_0101_6^7 + 550867987389665703729534112410136580/97930456097749\ 191920976654734309*c_0101_6^6 + 38423655037997353023645830639413011\ 4/97930456097749191920976654734309*c_0101_6^5 + 6136242374926282440729090198925654/97930456097749191920976654734309\ *c_0101_6^4 - 68395904251770773053969935181397911/97930456097749191\ 920976654734309*c_0101_6^3 - 18230305060125259224487986023894629/97\ 930456097749191920976654734309*c_0101_6^2 + 403454705176333422579944013882628/97930456097749191920976654734309*\ c_0101_6 + 459484016797993888259105756265728/9793045609774919192097\ 6654734309, c_0101_1 - 336414114459602285540641131467208/97930456097749191920976654\ 734309*c_0101_6^20 - 1099628918979493697516992859906692/97930456097\ 749191920976654734309*c_0101_6^19 - 4448203535862765682702506702074932/97930456097749191920976654734309\ *c_0101_6^18 - 6370588992406992610997225714007255/97930456097749191\ 920976654734309*c_0101_6^17 + 6782390932260579556594518486043400/97\ 930456097749191920976654734309*c_0101_6^16 + 42201225665603532267956766599996488/9793045609774919192097665473430\ 9*c_0101_6^15 + 98331615929816402924951288109569592/979304560977491\ 91920976654734309*c_0101_6^14 + 58452137892930715631113661331446876\ /97930456097749191920976654734309*c_0101_6^13 - 205256045535437815690227230467551921/979304560977491919209766547343\ 09*c_0101_6^12 - 395588630171906325716905916377454801/9793045609774\ 9191920976654734309*c_0101_6^11 - 107775281786390656870292648480936\ 709/97930456097749191920976654734309*c_0101_6^10 + 380381410447109667818771712401498132/979304560977491919209766547343\ 09*c_0101_6^9 + 453963959618057029328898500646570047/97930456097749\ 191920976654734309*c_0101_6^8 + 70030959535321522973540717899317452\ /97930456097749191920976654734309*c_0101_6^7 - 234993605691346402363653692537652550/979304560977491919209766547343\ 09*c_0101_6^6 - 178021706670957674701708423532401328/97930456097749\ 191920976654734309*c_0101_6^5 - 15711374042926405889220812845856588\ /97930456097749191920976654734309*c_0101_6^4 + 31586271591123809442788468518011399/9793045609774919192097665473430\ 9*c_0101_6^3 + 11477324533235348104405034364348059/9793045609774919\ 1920976654734309*c_0101_6^2 + 124987770016712567524242791902881/979\ 30456097749191920976654734309*c_0101_6 - 227862196955994252282858787516246/97930456097749191920976654734309, c_0101_2 - 155779416878148912258268337411048/97930456097749191920976654\ 734309*c_0101_6^20 - 604302132308620696341715588511684/979304560977\ 49191920976654734309*c_0101_6^19 - 2424100207384594766866591430722908/97930456097749191920976654734309\ *c_0101_6^18 - 4500505859107929019907830457359843/97930456097749191\ 920976654734309*c_0101_6^17 + 162840639001934777887045965538242/979\ 30456097749191920976654734309*c_0101_6^16 + 18493903432954637344167949250979916/9793045609774919192097665473430\ 9*c_0101_6^15 + 54692952981880100971439339020829027/979304560977491\ 91920976654734309*c_0101_6^14 + 60300669346893644148437213959312148\ /97930456097749191920976654734309*c_0101_6^13 - 50807706095833781066932711874379710/9793045609774919192097665473430\ 9*c_0101_6^12 - 189267581911658530630541650995550361/97930456097749\ 191920976654734309*c_0101_6^11 - 1375075886867620900822142807613850\ 91/97930456097749191920976654734309*c_0101_6^10 + 71545357264548930728069131579161516/9793045609774919192097665473430\ 9*c_0101_6^9 + 180273201347267952149838287375642345/979304560977491\ 91920976654734309*c_0101_6^8 + 89216881474935686700636551150876777/\ 97930456097749191920976654734309*c_0101_6^7 - 38874663712128650667956185163736838/9793045609774919192097665473430\ 9*c_0101_6^6 - 54326110451189190338127493306432082/9793045609774919\ 1920976654734309*c_0101_6^5 - 11243567783836339560031548474226572/9\ 7930456097749191920976654734309*c_0101_6^4 + 5833606124152817293848123591532764/97930456097749191920976654734309\ *c_0101_6^3 + 3164064734625625376894551702837455/979304560977491919\ 20976654734309*c_0101_6^2 + 399990441821508944608558734384236/97930\ 456097749191920976654734309*c_0101_6 - 82431112680313270541028167458553/97930456097749191920976654734309, c_0101_5 - 235712736079851358835016571794096/97930456097749191920976654\ 734309*c_0101_6^20 - 901761843105388586687480565369744/979304560977\ 49191920976654734309*c_0101_6^19 - 3728234982451693605854345412325140/97930456097749191920976654734309\ *c_0101_6^18 - 7010547973821619641734518139070398/97930456097749191\ 920976654734309*c_0101_6^17 - 1052792479686689057833082441265917/97\ 930456097749191920976654734309*c_0101_6^16 + 24995921709579266353506520838564704/9793045609774919192097665473430\ 9*c_0101_6^15 + 81166233586569621101893554821058105/979304560977491\ 91920976654734309*c_0101_6^14 + 98108932337778976582338109432607511\ /97930456097749191920976654734309*c_0101_6^13 - 46246149453313174864623300289050544/9793045609774919192097665473430\ 9*c_0101_6^12 - 242321294062515960443440372833253187/97930456097749\ 191920976654734309*c_0101_6^11 - 2181123926522832513044217172471871\ 03/97930456097749191920976654734309*c_0101_6^10 + 15723077681639904096357972923822095/9793045609774919192097665473430\ 9*c_0101_6^9 + 181900107206087009920948450687338133/979304560977491\ 91920976654734309*c_0101_6^8 + 132798080601675945764744379891110198\ /97930456097749191920976654734309*c_0101_6^7 + 9031882966228492677481629281284791/97930456097749191920976654734309\ *c_0101_6^6 - 28380789240180815578934287489441248/97930456097749191\ 920976654734309*c_0101_6^5 - 10303807832934304850320291642388360/97\ 930456097749191920976654734309*c_0101_6^4 - 284972637885905343285241459434851/97930456097749191920976654734309*\ c_0101_6^3 + 538182676157232406699776474572272/97930456097749191920\ 976654734309*c_0101_6^2 + 245994922354857649691628619683465/9793045\ 6097749191920976654734309*c_0101_6 - 8100426338289755712736766053564/97930456097749191920976654734309, c_0101_6^21 + 7/2*c_0101_6^20 + 14*c_0101_6^19 + 179/8*c_0101_6^18 - 115/8*c_0101_6^17 - 125*c_0101_6^16 - 2507/8*c_0101_6^15 - 1951/8*c_0101_6^14 + 4253/8*c_0101_6^13 + 9705/8*c_0101_6^12 + 987/2*c_0101_6^11 - 3833/4*c_0101_6^10 - 10489/8*c_0101_6^9 - 2467/8*c_0101_6^8 + 1165/2*c_0101_6^7 + 3813/8*c_0101_6^6 + 367/8*c_0101_6^5 - 611/8*c_0101_6^4 - 57/2*c_0101_6^3 - 15/8*c_0101_6^2 + 3/4*c_0101_6 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB