Magma V2.19-8 Tue Aug 20 2013 16:16:05 on localhost [Seed = 2598045269] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0340 geometric_solution 4.36709811 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 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 -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.672854545224 0.237058622606 0 0 1 1 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4.080588965782 0.495100302302 0 0 3 3 2310 0132 3201 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 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.405831218819 0.252594101056 2 4 2 5 2310 0132 0132 0132 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 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.995527878141 0.368167452491 5 3 6 6 3120 0132 3201 0132 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 0 -1 0 1 1 0 0 -1 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.513997526540 1.002643973052 6 6 3 4 1023 2310 0132 3120 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 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 0.513997526540 1.002643973052 4 5 4 5 2310 1023 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 0 -1 1 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.404885565693 0.789801606538 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0101_0']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_6'], '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_3'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 16313564550104818162576614774117523470186960323121742523737/1660778\ 74206382864476638978273886761470364045454717928741330*c_0101_6^32 + 71582336385175995639812073392693377114788613863630674168237/3321557\ 4841276572895327795654777352294072809090943585748266*c_0101_6^30 - 592762573698992917823026003461624409424222977537197054727007/830389\ 37103191432238319489136943380735182022727358964370665*c_0101_6^28 - 1096569741900054016909182159946310326216546822779536332820131/83038\ 937103191432238319489136943380735182022727358964370665*c_0101_6^26 - 1706858295451147805776397740518810659551121645404159069812007/47450\ 82120182367556475399379253907470581829870134797964038*c_0101_6^24 + 1490860037168014743593873652131120904578674310103136273673727/23725\ 410600911837782376996896269537352909149350673989820190*c_0101_6^22 - 651965787817849269973748173351142756254909559330711696943373079/166\ 077874206382864476638978273886761470364045454717928741330*c_0101_6^\ 20 + 24311288570477692636058622306929826709897033811252831550344031\ 7/166077874206382864476638978273886761470364045454717928741330*c_01\ 01_6^18 - 303661147777426006685761268536192873240885543486180525492\ 2782167/16607787420638286447663897827388676147036404545471792874133\ 0*c_0101_6^16 + 129081059513641871137824500708301149692499319845938\ 5300860482267/83038937103191432238319489136943380735182022727358964\ 370665*c_0101_6^14 - 1290221300553865612460929163335705455415369113\ 202045744689789295/332155748412765728953277956547773522940728090909\ 43585748266*c_0101_6^12 + 73712446572327889044237292159958548086687\ 20186579431037465037489/1660778742063828644766389782738867614703640\ 45454717928741330*c_0101_6^10 - 17646412820841147696093682237262733\ 06063025635483580362734980558/8303893710319143223831948913694338073\ 5182022727358964370665*c_0101_6^8 + 275307726432589990386326793828391312307001050085091450059389989/474\ 5082120182367556475399379253907470581829870134797964038*c_0101_6^6 - 2038457320726700231765469068917071839363398737592857102548759357/16\ 6077874206382864476638978273886761470364045454717928741330*c_0101_6\ ^4 - 4216080431901136764779652526174586997385823303638992478567917/\ 83038937103191432238319489136943380735182022727358964370665*c_0101_\ 6^2 - 1159051517191877943738960632401462397536728898959758641186894\ 6/83038937103191432238319489136943380735182022727358964370665, c_0011_0 - 1, c_0011_3 - 246772550630169608615587414854892593728879376379546560/23725\ 41060091183778237699689626953735290914935067398982019*c_0101_6^32 + 5443605844149173063488832364587543369111476529726369627/23725410600\ 91183778237699689626953735290914935067398982019*c_0101_6^30 - 18584015697647341019722610785869590904125840724692204276/2372541060\ 091183778237699689626953735290914935067398982019*c_0101_6^28 - 30970747602579008879743448378240791077683969715338491348/2372541060\ 091183778237699689626953735290914935067398982019*c_0101_6^26 - 899840535504081319171254302607340285793270725262572580652/237254106\ 0091183778237699689626953735290914935067398982019*c_0101_6^24 + 265285249793061320394629705374776897911014295386219409764/237254106\ 0091183778237699689626953735290914935067398982019*c_0101_6^22 - 9891255487784868891613302162759521006344997643020739270085/23725410\ 60091183778237699689626953735290914935067398982019*c_0101_6^20 + 4852071594766187918430824474648604058925669072928614356872/23725410\ 60091183778237699689626953735290914935067398982019*c_0101_6^18 - 46452286943958376961803252784569256198694760669994351539964/2372541\ 060091183778237699689626953735290914935067398982019*c_0101_6^16 + 44513395439877529853224033247117913454050180351044034967704/2372541\ 060091183778237699689626953735290914935067398982019*c_0101_6^14 - 102484606530141659119515890472050893171315315499121573697581/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^12 + 123339468177861697844418616812995521032575356929434453705632/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^10 - 66607145312097803653360032445272279705754078584872241711679/2372541\ 060091183778237699689626953735290914935067398982019*c_0101_6^8 + 152426974684651891746774907753772909736823127536826774203000/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^6 - 47611691780218963607718592097488815200832754552760867612897/2372541\ 060091183778237699689626953735290914935067398982019*c_0101_6^4 + 4595913419595317889375964098398277221722938297734852862885/23725410\ 60091183778237699689626953735290914935067398982019*c_0101_6^2 - 1088325334514118385757564638937642537051679020564137992981/23725410\ 60091183778237699689626953735290914935067398982019, c_0011_5 - 954699399695572793889813309771961138678877973055797116/23725\ 41060091183778237699689626953735290914935067398982019*c_0101_6^32 + 21010315675113310906291224383441694712154228877631720631/2372541060\ 091183778237699689626953735290914935067398982019*c_0101_6^30 - 70805171003834434402220668314429558300050929434271972466/2372541060\ 091183778237699689626953735290914935067398982019*c_0101_6^28 - 123497625838000853415827933054871388504751951668780460319/237254106\ 0091183778237699689626953735290914935067398982019*c_0101_6^26 - 3487753112170313286068069363342788710589584791775276848842/23725410\ 60091183778237699689626953735290914935067398982019*c_0101_6^24 + 846267912237475708279272720067546291961932152924667893056/237254106\ 0091183778237699689626953735290914935067398982019*c_0101_6^22 - 38223875849260965025366841585452180977712680441202425507796/2372541\ 060091183778237699689626953735290914935067398982019*c_0101_6^20 + 16785310582006734669899943141432318376288796287470780390878/2372541\ 060091183778237699689626953735290914935067398982019*c_0101_6^18 - 178990067597266328919897922653456347041780257055419700048904/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^16 + 162945233952457627335356790853304336461223600626354351114932/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^14 - 389327403787761158392598106016497532338827500019256119893818/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^12 + 457029022776443318421506334492549368494255600093007469191898/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^10 - 238797748627045506998224480376416674396435024169925606002597/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^8 + 580522869177376504557306845826264470119820285902995177128730/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^6 - 159394594176181787748818283874084438698599916602430465213262/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^4 + 13616127163199509041890883290993218166467073395935124337840/2372541\ 060091183778237699689626953735290914935067398982019*c_0101_6^2 - 1404692067471118324927266122649932106525106371066506123586/23725410\ 60091183778237699689626953735290914935067398982019, c_0101_0 - 6272224955205827264457984792739261013009428412678448404/2372\ 541060091183778237699689626953735290914935067398982019*c_0101_6^33 + 138072729216255010171284106187416941193827588849673056959/237254106\ 0091183778237699689626953735290914935067398982019*c_0101_6^31 - 465987716669801332595371244206858584935230322284321245734/237254106\ 0091183778237699689626953735290914935067398982019*c_0101_6^29 - 809191966102429177999566717464834321993626257383212477590/237254106\ 0091183778237699689626953735290914935067398982019*c_0101_6^27 - 22907801224724810469777995231067160028613892521930489283115/2372541\ 060091183778237699689626953735290914935067398982019*c_0101_6^25 + 5706459854187881001477807758641966297185419678477381640449/23725410\ 60091183778237699689626953735290914935067398982019*c_0101_6^23 - 251023448260043212625164555868405783306532559483370109419827/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^21 + 112004913483145900493018426178592772958662483817768111109372/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^19 - 1175068215735573587801836832137382463121519889341531198755121/23725\ 41060091183778237699689626953735290914935067398982019*c_0101_6^17 + 1079168428142963561494764522326297084982044579145078031147734/23725\ 41060091183778237699689626953735290914935067398982019*c_0101_6^15 - 2556637636970869676618316754707495785518250866790496420646581/23725\ 41060091183778237699689626953735290914935067398982019*c_0101_6^13 + 3020545349223265589159010712500661925796895694807455687473632/23725\ 41060091183778237699689626953735290914935067398982019*c_0101_6^11 - 1572991906359869078258611063068834714687488391697407230738444/23725\ 41060091183778237699689626953735290914935067398982019*c_0101_6^9 + 3814104256815737182359633922813311569132178917440393381048973/23725\ 41060091183778237699689626953735290914935067398982019*c_0101_6^7 - 1062582137480156999041285177264043139212350584548423909395148/23725\ 41060091183778237699689626953735290914935067398982019*c_0101_6^5 + 66328804897830851788018736549741221104071867506097878103448/2372541\ 060091183778237699689626953735290914935067398982019*c_0101_6^3 - 15522413022295392736244658159009069813080469715603039729269/2372541\ 060091183778237699689626953735290914935067398982019*c_0101_6, c_0101_1 - 2101844474724800301855598932725587507027793370297076605/2372\ 541060091183778237699689626953735290914935067398982019*c_0101_6^32 + 46286509159589675326769611528935978594549992000800493777/2372541060\ 091183778237699689626953735290914935067398982019*c_0101_6^30 - 156523391540249409078039933731829186355602887235453946179/237254106\ 0091183778237699689626953735290914935067398982019*c_0101_6^28 - 270359847264240693385607932568590740893137173354175342703/237254106\ 0091183778237699689626953735290914935067398982019*c_0101_6^26 - 7672411476297174959529714420689169166021518013249389729711/23725410\ 60091183778237699689626953735290914935067398982019*c_0101_6^24 + 1980418358076346486150459726269179972819786895380080581282/23725410\ 60091183778237699689626953735290914935067398982019*c_0101_6^22 - 84047713886755503374970807338842429417358378927288252930433/2372541\ 060091183778237699689626953735290914935067398982019*c_0101_6^20 + 38227351164396674104735408988974073539115430000322584266487/2372541\ 060091183778237699689626953735290914935067398982019*c_0101_6^18 - 393115941111328934093018558420550481382528214093148002114598/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^16 + 364548685032831531712150872530739626431937881060306836763580/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^14 - 855117206619923791260566612987849899505981345150249276585599/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^12 + 1015251331733658585205831180542707960794409305679636282466081/23725\ 41060091183778237699689626953735290914935067398982019*c_0101_6^10 - 524985269531348390628321389169778275892430008209360493430053/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^8 + 1270443734491598972622007416567152661047468522096171252019516/23725\ 41060091183778237699689626953735290914935067398982019*c_0101_6^6 - 358972234782419166836799964185719524167089564893519598750159/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^4 + 9585493842893252801632260447334104997527149155136637139790/23725410\ 60091183778237699689626953735290914935067398982019*c_0101_6^2 - 1223535074974654436044957728816896267222871355626096460646/23725410\ 60091183778237699689626953735290914935067398982019, c_0101_2 - 1101849835731560824247026580819659195297482035366910706/2372\ 541060091183778237699689626953735290914935067398982019*c_0101_6^32 + 24282547405317795038753981436832957483222003152385080530/2372541060\ 091183778237699689626953735290914935067398982019*c_0101_6^30 - 82438227782995247973993637333827487161110297781818760018/2372541060\ 091183778237699689626953735290914935067398982019*c_0101_6^28 - 140564235728861595013645494342505813150716433305846140779/237254106\ 0091183778237699689626953735290914935067398982019*c_0101_6^26 - 4019417783086218306850934148086185120310435321860162360687/23725410\ 60091183778237699689626953735290914935067398982019*c_0101_6^24 + 1104739630161900282374118861947386094324771455710964684795/23725410\ 60091183778237699689626953735290914935067398982019*c_0101_6^22 - 44050046667685377785021808727200754298626928313817924993353/2372541\ 060091183778237699689626953735290914935067398982019*c_0101_6^20 + 20764318124784045209425630191989848380993137738837602547529/2372541\ 060091183778237699689626953735290914935067398982019*c_0101_6^18 - 206157399884534916977012239957786153581103119077151674553242/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^16 + 194553620837536358115905203457916273720611199660049202434150/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^14 - 450485103363213910880213904510119450699618014469080647789589/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^12 + 539536853838624946331922544480268728667873277677014069937773/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^10 - 283309756273536646259598540313279135895415257497169592489512/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^8 + 671025406173459942483938071411025030908070251229835994314586/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^6 - 201558090854547178972995850696237166327370596673704749924604/237254\ 1060091183778237699689626953735290914935067398982019*c_0101_6^4 + 7265223675007578390609839052036793296989722572059225423903/23725410\ 60091183778237699689626953735290914935067398982019*c_0101_6^2 - 1374040065344764535199791580207836630196798581197961059296/23725410\ 60091183778237699689626953735290914935067398982019, c_0101_6^34 - 22*c_0101_6^32 + 74*c_0101_6^30 + 130*c_0101_6^28 + 3654*c_0101_6^26 - 861*c_0101_6^24 + 40010*c_0101_6^22 - 17323*c_0101_6^20 + 187115*c_0101_6^18 - 169558*c_0101_6^16 + 405360*c_0101_6^14 - 476157*c_0101_6^12 + 244452*c_0101_6^10 - 604765*c_0101_6^8 + 161256*c_0101_6^6 - 8165*c_0101_6^4 + 1919*c_0101_6^2 - 35 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB