Magma V2.19-8 Tue Aug 20 2013 16:18:18 on localhost [Seed = 3920131294] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2505 geometric_solution 5.82521852 oriented_manifold CS_known 0.0000000000000003 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.489980275506 0.231932246781 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842701258531 0.557293232777 1 4 3 5 0132 0132 3012 0132 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 -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.879967127944 1.015922283489 5 2 4 1 3201 1230 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 -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.879967127944 1.015922283489 6 2 3 6 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 -1 0 1 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.416161974194 0.552069340914 5 5 2 3 1302 2031 0132 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 -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.561465654389 0.958774933909 4 6 6 4 0132 1230 3012 1023 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 0 0 0 0 0 0 0 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.803603948609 0.718653772813 ==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' : negation(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' : negation(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' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_5, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 6180904690750468697109926475490911517776241743/18536883013981247453\ 32110446264588834358260800*c_0101_6^33 - 141651906400901412567091590577304827350443294449/185368830139812474\ 5332110446264588834358260800*c_0101_6^31 + 1366746051251125905905387975512177451513445678969/18536883013981247\ 45332110446264588834358260800*c_0101_6^29 - 7732553312548825035079145737865945928268997202947/18536883013981247\ 45332110446264588834358260800*c_0101_6^27 + 6099705097719192214989553728690354435962761546969/37073766027962494\ 9066422089252917766871652160*c_0101_6^25 - 22378788900488398616137091689762272529279262275867/4634220753495311\ 86333027611566147208589565200*c_0101_6^23 + 37236034834529531384367776664607449707931675145411/3707376602796249\ 49066422089252917766871652160*c_0101_6^21 - 6795991556018536774577509041166282435058611737969/46342207534953118\ 633302761156614720858956520*c_0101_6^19 + 13873547758356118168864643879308417302004011330157/5792775941869139\ 8291628451445768401073695650*c_0101_6^17 - 111441823141476726882541355087866850549370872580057/185368830139812\ 474533211044626458883435826080*c_0101_6^15 + 2034745211463227306087477941660541216333028246857313/18536883013981\ 24745332110446264588834358260800*c_0101_6^13 - 453923565854320617321270922368629297396322445026773/463422075349531\ 186333027611566147208589565200*c_0101_6^11 + 116802366362336594497876978893058833669791653832399/370737660279624\ 949066422089252917766871652160*c_0101_6^9 - 51651023897195326654914610692221467808598329417407/9268441506990623\ 72666055223132294417179130400*c_0101_6^7 + 72925299042244478263998504962141822799701537136287/9268441506990623\ 72666055223132294417179130400*c_0101_6^5 - 1276696846308022645815354057569202141662748943561/46342207534953118\ 633302761156614720858956520*c_0101_6^3 + 4703101561599155858141768691156359922064060130089/18536883013981247\ 45332110446264588834358260800*c_0101_6, c_0011_0 - 1, c_0011_1 + 1438536198373521925369826694965455310896/1158555188373827965\ 832569028915368021473913*c_0101_6^32 - 33002769147582250684256776575918882973161/1158555188373827965832569\ 028915368021473913*c_0101_6^30 + 3189187182989016743185794323515886\ 67065956/1158555188373827965832569028915368021473913*c_0101_6^28 - 1807897585924273762766536913471478008057921/11585551883738279658325\ 69028915368021473913*c_0101_6^26 + 7146401029389270409684218073741008979942553/11585551883738279658325\ 69028915368021473913*c_0101_6^24 - 21029583613407788878275902104977097902264154/1158555188373827965832\ 569028915368021473913*c_0101_6^22 + 43925001122466585745422766512073923925172862/1158555188373827965832\ 569028915368021473913*c_0101_6^20 - 64561350254437682054747387204835376783646208/1158555188373827965832\ 569028915368021473913*c_0101_6^18 + 105314732842493804699979022315952732588283576/115855518837382796583\ 2569028915368021473913*c_0101_6^16 - 262492019129191792545562512129940188636664921/115855518837382796583\ 2569028915368021473913*c_0101_6^14 + 480991340541868142364991522764196802402191343/115855518837382796583\ 2569028915368021473913*c_0101_6^12 - 436898534451867648718140663770477731169189416/115855518837382796583\ 2569028915368021473913*c_0101_6^10 + 150627897549516597960813272283711885783474454/115855518837382796583\ 2569028915368021473913*c_0101_6^8 - 30686630241111999088525393907695093329067063/1158555188373827965832\ 569028915368021473913*c_0101_6^6 + 34705676768856127132853373703646231457000893/1158555188373827965832\ 569028915368021473913*c_0101_6^4 - 10646801132543044828648955774710443457578714/1158555188373827965832\ 569028915368021473913*c_0101_6^2 + 1044746818560596351826088212898472047318643/11585551883738279658325\ 69028915368021473913, c_0011_3 + 3294967981329197287866642327908916080838/1158555188373827965\ 832569028915368021473913*c_0101_6^32 - 75585675017317009986767061603837454956339/1158555188373827965832569\ 028915368021473913*c_0101_6^30 + 7302227266864261560671517194932790\ 05616638/1158555188373827965832569028915368021473913*c_0101_6^28 - 4137383367398561088702802111293030871503795/11585551883738279658325\ 69028915368021473913*c_0101_6^26 + 16342324566236371169047523068778631163593728/1158555188373827965832\ 569028915368021473913*c_0101_6^24 - 48043337212573303714487139968504673781575205/1158555188373827965832\ 569028915368021473913*c_0101_6^22 + 100180034481078008733695282312044707558187961/115855518837382796583\ 2569028915368021473913*c_0101_6^20 - 146782208338926871722276268566834204602891665/115855518837382796583\ 2569028915368021473913*c_0101_6^18 + 239314171711613604122188730170344652301430058/115855518837382796583\ 2569028915368021473913*c_0101_6^16 - 598602795123728297583067292347037915339760603/115855518837382796583\ 2569028915368021473913*c_0101_6^14 + 1096151238509442037577436755071740663726799118/11585551883738279658\ 32569028915368021473913*c_0101_6^12 - 987705731486387342913586131278103050980896798/115855518837382796583\ 2569028915368021473913*c_0101_6^10 + 327464175411536461110449338611687806368557360/115855518837382796583\ 2569028915368021473913*c_0101_6^8 - 59177857607672219240589308018139302304662859/1158555188373827965832\ 569028915368021473913*c_0101_6^6 + 77236072530128952932123552220610062254783609/1158555188373827965832\ 569028915368021473913*c_0101_6^4 - 26673803845493218083497515230842191323489628/1158555188373827965832\ 569028915368021473913*c_0101_6^2 + 1655521538998799836995038425151812445594523/11585551883738279658325\ 69028915368021473913, c_0011_5 + 2211411867710059821712410130330002741037/1158555188373827965\ 832569028915368021473913*c_0101_6^32 - 50660910724836843705337720827423167161879/1158555188373827965832569\ 028915368021473913*c_0101_6^30 + 4885149558823643380188419304538551\ 23482681/1158555188373827965832569028915368021473913*c_0101_6^28 - 2761565008138354170557726310444705372805930/11585551883738279658325\ 69028915368021473913*c_0101_6^26 + 10881896233281016647467302263341357567654262/1158555188373827965832\ 569028915368021473913*c_0101_6^24 - 31905178962449974637557045577849664382171277/1158555188373827965832\ 569028915368021473913*c_0101_6^22 + 66246195118863231540794280942761986263090808/1158555188373827965832\ 569028915368021473913*c_0101_6^20 - 96480338087413456371719222436113913592839533/1158555188373827965832\ 569028915368021473913*c_0101_6^18 + 157745208816209062530048153640343336179032709/115855518837382796583\ 2569028915368021473913*c_0101_6^16 - 397171347606835526736391641552571327690207809/115855518837382796583\ 2569028915368021473913*c_0101_6^14 + 723797998617879168555272241980329157763889829/115855518837382796583\ 2569028915368021473913*c_0101_6^12 - 641050587226439905696263177827805986232588752/115855518837382796583\ 2569028915368021473913*c_0101_6^10 + 201592165821544757907070108804798862914046379/115855518837382796583\ 2569028915368021473913*c_0101_6^8 - 37755749011706910126055802718139453968581985/1158555188373827965832\ 569028915368021473913*c_0101_6^6 + 56242396710039182669740481507385939935291885/1158555188373827965832\ 569028915368021473913*c_0101_6^4 - 17761827569864693908941578536230361915971969/1158555188373827965832\ 569028915368021473913*c_0101_6^2 + 487851415915857140093795858643904818205363/115855518837382796583256\ 9028915368021473913, c_0101_0 + 9087410073047680778381361113330071866073/2317110376747655931\ 665138057830736042947826*c_0101_6^33 - 205538548296487477065026905071622743270759/231711037674765593166513\ 8057830736042947826*c_0101_6^31 + 194729411906691297239317931198369\ 6304674481/2317110376747655931665138057830736042947826*c_0101_6^29 - 10772660912891645377218466544050427124681273/2317110376747655931665\ 138057830736042947826*c_0101_6^27 + 41493238878201036301504746605196940342786255/2317110376747655931665\ 138057830736042947826*c_0101_6^25 - 59257672930948634176717396101551560165986462/1158555188373827965832\ 569028915368021473913*c_0101_6^23 + 235664951636922807986045951832263896038530993/231711037674765593166\ 5138057830736042947826*c_0101_6^21 - 160866863289455907360301631955647790830040598/115855518837382796583\ 2569028915368021473913*c_0101_6^19 + 270823917964710518047170630755882694625826075/115855518837382796583\ 2569028915368021473913*c_0101_6^17 - 727974830031682530253117904527827845615929022/115855518837382796583\ 2569028915368021473913*c_0101_6^15 + 2521649174533378420879930048514874766233814207/23171103767476559316\ 65138057830736042947826*c_0101_6^13 - 912155640020274764557117503926126882231934913/115855518837382796583\ 2569028915368021473913*c_0101_6^11 + 154861883749764541474227478868800968452244239/231711037674765593166\ 5138057830736042947826*c_0101_6^9 + 6116524008243572129794071928371887559214578/11585551883738279658325\ 69028915368021473913*c_0101_6^7 + 102928312765687590336853201965033\ 230660944248/1158555188373827965832569028915368021473913*c_0101_6^5 - 9707940076731681752407919846963830280354721/115855518837382796583\ 2569028915368021473913*c_0101_6^3 - 6694056564527673969194305532410986771969401/23171103767476559316651\ 38057830736042947826*c_0101_6, c_0101_3 + 13619027972667058748493724228002050984264/115855518837382796\ 5832569028915368021473913*c_0101_6^33 - 311815941456048597844241046784837025132717/115855518837382796583256\ 9028915368021473913*c_0101_6^31 + 300440902291868477709208127874638\ 0756265158/1158555188373827965832569028915368021473913*c_0101_6^29 - 16967135501786581953629344739480902820740243/1158555188373827965832\ 569028915368021473913*c_0101_6^27 + 66784887376223010929308670564706391461069069/1158555188373827965832\ 569028915368021473913*c_0101_6^25 - 195543361979348325578431158956632014621857932/115855518837382796583\ 2569028915368021473913*c_0101_6^23 + 405084339216141552772070308166193980857484282/115855518837382796583\ 2569028915368021473913*c_0101_6^21 - 587717718282204691211255374960509978812767730/115855518837382796583\ 2569028915368021473913*c_0101_6^19 + 960811111592422234294434290008618594229190041/115855518837382796583\ 2569028915368021473913*c_0101_6^17 - 2428392387586619284873598419099087310560580997/11585551883738279658\ 32569028915368021473913*c_0101_6^15 + 4419014516525550839555657421752582365407814271/11585551883738279658\ 32569028915368021473913*c_0101_6^13 - 3874723479874641387942881023550854424711895552/11585551883738279658\ 32569028915368021473913*c_0101_6^11 + 1155742850330334078287180516471380088247874739/11585551883738279658\ 32569028915368021473913*c_0101_6^9 - 171630120414469720350626642237546374943108079/115855518837382796583\ 2569028915368021473913*c_0101_6^7 + 314387316927582702598741279212801561616612428/115855518837382796583\ 2569028915368021473913*c_0101_6^5 - 105446058202778802837930591423322139241205129/115855518837382796583\ 2569028915368021473913*c_0101_6^3 + 6803522314627915883312332126697962752361906/11585551883738279658325\ 69028915368021473913*c_0101_6, c_0101_6^34 - 23*c_0101_6^32 + 223*c_0101_6^30 - 1269*c_0101_6^28 + 5035*c_0101_6^26 - 14876*c_0101_6^24 + 31265*c_0101_6^22 - 46320*c_0101_6^20 + 75168*c_0101_6^18 - 185830*c_0101_6^16 + 343391*c_0101_6^14 - 319124*c_0101_6^12 + 115685*c_0101_6^10 - 22298*c_0101_6^8 + 24658*c_0101_6^6 - 10120*c_0101_6^4 + 1223*c_0101_6^2 - 40 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB