Magma V2.19-8 Tue Aug 20 2013 16:18:57 on localhost [Seed = 812756319] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3112 geometric_solution 6.26739755 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 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 1 0 -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.840625619932 1.496915835260 0 3 5 4 0132 0132 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 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473503268124 0.781990760524 4 5 3 0 3201 0132 1023 0132 0 0 0 0 0 1 0 -1 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 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.473503268124 0.781990760524 3 1 2 3 3201 0132 1023 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 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.313631668122 0.554628049441 4 4 1 2 1230 3012 0132 2310 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.752750076110 0.803290907214 6 2 6 1 0132 0132 2310 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392956314706 1.791237077901 5 5 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.246587033657 0.208951315567 ==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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_2'], '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 37712309357155466951177293647064103079775366956536756783/3041688885\ 93724653939558258796958605702869890195459219*c_0101_5^32 + 13421192287251723656267737929905729513280098427940678582595/2433351\ 108749797231516466070375668845622959121563673752*c_0101_5^30 - 229605489329661466236914272876158520440134867022469279287745/243335\ 1108749797231516466070375668845622959121563673752*c_0101_5^28 + 7978556303322313543077473139486356197620652530242844517229659/97334\ 04434999188926065864281502675382491836486254695008*c_0101_5^26 - 20345975242946846858674468726328700566649498971019381723893541/4866\ 702217499594463032932140751337691245918243127347504*c_0101_5^24 + 529966192390412921676584376550322921732416077308509747210388659/389\ 33617739996755704263457126010701529967345945018780032*c_0101_5^22 - 1158718194109295687414924327546517275594633459739389472137125001/38\ 933617739996755704263457126010701529967345945018780032*c_0101_5^20 + 1752481916516724325800767072727828944170990009864449183896572573/38\ 933617739996755704263457126010701529967345945018780032*c_0101_5^18 - 469272414545817239230218131290573258235447503776310616588382073/973\ 3404434999188926065864281502675382491836486254695008*c_0101_5^16 + 369908868066282543629675032329038292621687119666730826056176673/973\ 3404434999188926065864281502675382491836486254695008*c_0101_5^14 - 882665768434815466839040288648228969166797284863661525167394285/389\ 33617739996755704263457126010701529967345945018780032*c_0101_5^12 + 396846796457509722460242678739263092530521871091691863807510183/389\ 33617739996755704263457126010701529967345945018780032*c_0101_5^10 - 132871738677603782080491374431323477858300465083888078575360135/389\ 33617739996755704263457126010701529967345945018780032*c_0101_5^8 + 32340579813670367511353983908821800820948268596320459157536029/3893\ 3617739996755704263457126010701529967345945018780032*c_0101_5^6 - 2601430134338872470282550810691096641106922314555407261162971/19466\ 808869998377852131728563005350764983672972509390016*c_0101_5^4 + 14778006799534387319216679325293551039260466817624619759879/1216675\ 554374898615758233035187834422811479560781836876*c_0101_5^2 - 540249248380281947604903392874165986291407753561713750285/121667555\ 4374898615758233035187834422811479560781836876, c_0011_0 - 1, c_0011_2 - 1081666594233282547446547756994887876305274086643872872/3041\ 68888593724653939558258796958605702869890195459219*c_0101_5^33 + 47897084928659488444665830105518408584368322062154698881/3041688885\ 93724653939558258796958605702869890195459219*c_0101_5^31 - 813382946385810026656804264562671236472986901200558512222/304168888\ 593724653939558258796958605702869890195459219*c_0101_5^29 + 27937523301918864085842039037027389941704461462295348688413/1216675\ 554374898615758233035187834422811479560781836876*c_0101_5^27 - 140142243699559000365485445215340893002494350818865806932393/121667\ 5554374898615758233035187834422811479560781836876*c_0101_5^25 + 1784255593663610328054812821777552275690868863638862711549737/48667\ 02217499594463032932140751337691245918243127347504*c_0101_5^23 - 1891832802437104378286713414433683867387808872461562243204795/24333\ 51108749797231516466070375668845622959121563673752*c_0101_5^21 + 2745615790398730268590334053143065559018137422916869470310225/24333\ 51108749797231516466070375668845622959121563673752*c_0101_5^19 - 5568717068232921923218885705184675716034664929542296463087147/48667\ 02217499594463032932140751337691245918243127347504*c_0101_5^17 + 2055367278525552430739002662504660589538580095003711161790905/24333\ 51108749797231516466070375668845622959121563673752*c_0101_5^15 - 2267669585244138967217927604920027898438196397884692674221007/48667\ 02217499594463032932140751337691245918243127347504*c_0101_5^13 + 458673534447496891283747148079843971109420659235926447266725/243335\ 1108749797231516466070375668845622959121563673752*c_0101_5^11 - 132856861370398007007071534835414717721031352674646186386677/243335\ 1108749797231516466070375668845622959121563673752*c_0101_5^9 + 13056713756368896248458621098565506428451653929531768156847/1216675\ 554374898615758233035187834422811479560781836876*c_0101_5^7 - 5205054366479259621693840140349025556926564408846378113533/48667022\ 17499594463032932140751337691245918243127347504*c_0101_5^5 + 3678854539346288090878041322143453332506609975143167607/30416888859\ 3724653939558258796958605702869890195459219*c_0101_5^3 + 1763435850175765543504314805390775976864781834118587629/30416888859\ 3724653939558258796958605702869890195459219*c_0101_5, c_0011_4 + 5135161168175662306180202389183142491434552968187970288/3041\ 68888593724653939558258796958605702869890195459219*c_0101_5^33 - 228927630787242660460397364458737840069304334768768694398/304168888\ 593724653939558258796958605702869890195459219*c_0101_5^31 + 3929693363615164737371417033219058052613389318873597767629/30416888\ 8593724653939558258796958605702869890195459219*c_0101_5^29 - 68636122082253613812912053630285143435613533980827832982099/6083377\ 77187449307879116517593917211405739780390918438*c_0101_5^27 + 705268995890417782262708446832377932916177940849211262825979/121667\ 5554374898615758233035187834422811479560781836876*c_0101_5^25 - 4637672258554059789356373035926054626983080149275776859919645/24333\ 51108749797231516466070375668845622959121563673752*c_0101_5^23 + 20537587302690820626255051137679235185664569210258587873048341/4866\ 702217499594463032932140751337691245918243127347504*c_0101_5^21 - 15784593133001997072538463177524642742859394344090335237624207/2433\ 351108749797231516466070375668845622959121563673752*c_0101_5^19 + 8624853762355111032425570229856425042039902281383838704899971/12166\ 75554374898615758233035187834422811479560781836876*c_0101_5^17 - 27804059648367901755510708068010594354278142620058855783990487/4866\ 702217499594463032932140751337691245918243127347504*c_0101_5^15 + 1061819312771869729558329884146347837176999592058715697966250/30416\ 8888593724653939558258796958605702869890195459219*c_0101_5^13 - 7861439081551217510970413332226914158988622513127180084659563/48667\ 02217499594463032932140751337691245918243127347504*c_0101_5^11 + 1361485186965412436002579620976589617637412337405001628887877/24333\ 51108749797231516466070375668845622959121563673752*c_0101_5^9 - 345153371801219183213779555696165556581911767980698608463333/243335\ 1108749797231516466070375668845622959121563673752*c_0101_5^7 + 59112752200640850213400371671002239525690315495653367214713/2433351\ 108749797231516466070375668845622959121563673752*c_0101_5^5 - 11716278895192568382792769895243419334187544414549720834117/4866702\ 217499594463032932140751337691245918243127347504*c_0101_5^3 + 121551148380508129150177921379643395977402763438295364743/121667555\ 4374898615758233035187834422811479560781836876*c_0101_5, c_0101_0 - 277322654213304072796163398817033592118570295720341788/30416\ 8888593724653939558258796958605702869890195459219*c_0101_5^32 + 24499558871435270977418119963288128042584707881433596451/6083377771\ 87449307879116517593917211405739780390918438*c_0101_5^30 - 207199812305495643260119969608223578323336981679287746597/304168888\ 593724653939558258796958605702869890195459219*c_0101_5^28 + 14144130233273597465311724017883913270410279517644799876599/2433351\ 108749797231516466070375668845622959121563673752*c_0101_5^26 - 70310831634595034273620881146510885263566085078139553411275/2433351\ 108749797231516466070375668845622959121563673752*c_0101_5^24 + 884043264073332822710659517595763121759205070650651434913243/973340\ 4434999188926065864281502675382491836486254695008*c_0101_5^22 - 921479471944564133396678136909784988348275726018713347279433/486670\ 2217499594463032932140751337691245918243127347504*c_0101_5^20 + 1306465978970464676713955920966374273304934776274516498544563/48667\ 02217499594463032932140751337691245918243127347504*c_0101_5^18 - 2568242855639139879960757696910862188507845183094410957897793/97334\ 04434999188926065864281502675382491836486254695008*c_0101_5^16 + 913624768524735021170181065389535468921016076489988775296675/486670\ 2217499594463032932140751337691245918243127347504*c_0101_5^14 - 966287183029458431091486639151043104804236476318920575769885/973340\ 4434999188926065864281502675382491836486254695008*c_0101_5^12 + 184728117327818296020056060877962085051757098440448081693607/486670\ 2217499594463032932140751337691245918243127347504*c_0101_5^10 - 49793570846723834293014331672593252932914305228567471246839/4866702\ 217499594463032932140751337691245918243127347504*c_0101_5^8 + 4478683137983170826559608254406319503518861727473075411645/24333511\ 08749797231516466070375668845622959121563673752*c_0101_5^6 - 1433510014837214046355955768724408163972827598046716648999/97334044\ 34999188926065864281502675382491836486254695008*c_0101_5^4 + 955868110642861504909273894406048976336380210170823528/304168888593\ 724653939558258796958605702869890195459219*c_0101_5^2 - 275988689911155049234418193844875595054051143426657908/304168888593\ 724653939558258796958605702869890195459219, c_0101_1 - 211684869993276626843352979580297040065407711999276320/30416\ 8888593724653939558258796958605702869890195459219*c_0101_5^32 + 9367009297488736678114285896458611433222284784849849332/30416888859\ 3724653939558258796958605702869890195459219*c_0101_5^30 - 158899853457302865813528003899933350989075420612089146096/304168888\ 593724653939558258796958605702869890195459219*c_0101_5^28 + 1362347583797936301993966960910284537416967509853935633257/30416888\ 8593724653939558258796958605702869890195459219*c_0101_5^26 - 6821309630197861165898081986468349845276625279341132494739/30416888\ 8593724653939558258796958605702869890195459219*c_0101_5^24 + 86687604734493682431987799685623373351558324734085866674061/1216675\ 554374898615758233035187834422811479560781836876*c_0101_5^22 - 45900323935801777016535795902436176207556886420719455886953/3041688\ 88593724653939558258796958605702869890195459219*c_0101_5^20 + 133300829456158071588979063984008919639781936533507178585851/608337\ 777187449307879116517593917211405739780390918438*c_0101_5^18 - 271631937605297962893079842940707686754284348348766395590547/121667\ 5554374898615758233035187834422811479560781836876*c_0101_5^16 + 50757659330604225688889943372919146397244122633096451072898/3041688\ 88593724653939558258796958605702869890195459219*c_0101_5^14 - 114546545402649496469683194472929392240249695746940632138027/121667\ 5554374898615758233035187834422811479560781836876*c_0101_5^12 + 12043194839609466764379265346142777290287307206944636780827/3041688\ 88593724653939558258796958605702869890195459219*c_0101_5^10 - 7494617775904189111011252896318951965052529720972309873893/60833777\ 7187449307879116517593917211405739780390918438*c_0101_5^8 + 836636995155381887106917252540817496637277771053444382385/304168888\ 593724653939558258796958605702869890195459219*c_0101_5^6 - 460973548939849508020525302161204904300625383663828250617/121667555\ 4374898615758233035187834422811479560781836876*c_0101_5^4 + 17307078419662350466676019738726194351955462603490423821/6083377771\ 87449307879116517593917211405739780390918438*c_0101_5^2 - 76804190582003131585927997073408445851972770746625046/3041688885937\ 24653939558258796958605702869890195459219, c_0101_3 - 2837768168996333261912316615509259376951142894903594592/3041\ 68888593724653939558258796958605702869890195459219*c_0101_5^33 + 125653290076010524074203317311424779771476416097113964572/304168888\ 593724653939558258796958605702869890195459219*c_0101_5^31 - 2133659501518158004483311287282625344697299568293462842204/30416888\ 8593724653939558258796958605702869890195459219*c_0101_5^29 + 18318547107345027912678836673528290478001435097835912361979/3041688\ 88593724653939558258796958605702869890195459219*c_0101_5^27 - 91864354378084704719028367035209785092928651673137786572456/3041688\ 88593724653939558258796958605702869890195459219*c_0101_5^25 + 1168975828001493176252297515293355192903431625462696094647371/12166\ 75554374898615758233035187834422811479560781836876*c_0101_5^23 - 2476535513464757403482405355401219147559640743824507458072535/12166\ 75554374898615758233035187834422811479560781836876*c_0101_5^21 + 896983055772403589725779007778479486028637423901558250021447/304168\ 888593724653939558258796958605702869890195459219*c_0101_5^19 - 3627134113070670362717323017162152538445989975172793652089315/12166\ 75554374898615758233035187834422811479560781836876*c_0101_5^17 + 2663440188489426492483066110309657769817141400842284337147537/12166\ 75554374898615758233035187834422811479560781836876*c_0101_5^15 - 1457292109222966298911390887747524220800889715975324465417427/12166\ 75554374898615758233035187834422811479560781836876*c_0101_5^13 + 581389377018783115165541669514925413211209836574840697886545/121667\ 5554374898615758233035187834422811479560781836876*c_0101_5^11 - 40995085041288123190072794198118001107423057271721679450637/3041688\ 88593724653939558258796958605702869890195459219*c_0101_5^9 + 15219296456151727259506631065806322744803995095873754425301/6083377\ 77187449307879116517593917211405739780390918438*c_0101_5^7 - 2408700844807098785816537524981766411067351098348849283259/12166755\ 54374898615758233035187834422811479560781836876*c_0101_5^5 - 136576557333182178222259775689148407731151085248326020127/121667555\ 4374898615758233035187834422811479560781836876*c_0101_5^3 + 6513285142742860849029840061491284591503763629961969230/30416888859\ 3724653939558258796958605702869890195459219*c_0101_5, c_0101_5^34 - 357/8*c_0101_5^32 + 3069/4*c_0101_5^30 - 214961/32*c_0101_5^28 + 1108513/32*c_0101_5^26 - 14654493/128*c_0101_5^24 + 16341513/64*c_0101_5^22 - 25373889/64*c_0101_5^20 + 56239967/128*c_0101_5^18 - 23078211/64*c_0101_5^16 + 28859107/128*c_0101_5^14 - 6887847/64*c_0101_5^12 + 2492789/64*c_0101_5^10 - 336821/32*c_0101_5^8 + 257201/128*c_0101_5^6 - 7937/32*c_0101_5^4 + 69/4*c_0101_5^2 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB