Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 3465499150] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0402 geometric_solution 4.46569704 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 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 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 8.699115195174 3.162430227558 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 1 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 0 0 0 0 0 0 0 -1 0 1 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.133605013827 0.071989327808 1 1 3 3 2310 0132 0132 2310 0 0 0 0 0 -1 1 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 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.762955927264 2.800284473097 2 4 5 2 3201 0132 0132 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 0 0 0 -1 0 1 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.044965870066 0.525202218646 5 3 6 5 2310 0132 0132 2031 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 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.203507035298 0.851972614321 6 4 4 3 2310 1302 3201 0132 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 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.203507035298 0.851972614321 6 6 5 4 1302 2031 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.585545347389 0.626331458690 ==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' : negation(d['1']), 's_3_4' : negation(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' : negation(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' : negation(d['1']), 's_1_3' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_6'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0011_6']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_0011_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_0011_6, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 23533755491784273383375047287385801/2035631899127818962924779135921\ 60*c_0101_4^21 + 63808279625845890777379872684959067/20356318991278\ 1896292477913592160*c_0101_4^20 - 419258976137825080674632271527070\ 547/203563189912781896292477913592160*c_0101_4^19 - 42602555145220155903107242947512323/1272269936954886851827986959951\ 0*c_0101_4^18 + 1099492269529277896531197929482061533/5089079747819\ 5474073119478398040*c_0101_4^17 + 222731763353296247442923318501517\ 8247/101781594956390948146238956796080*c_0101_4^16 - 5389276338136229100824205923053889533/40712637982556379258495582718\ 432*c_0101_4^15 - 4792712924511411159921805133295547777/50890797478\ 195474073119478398040*c_0101_4^14 + 1905832041472906337226438195565041267/37011489075051253871359620653\ 12*c_0101_4^13 + 15874995056510183403124989480847674721/50890797478\ 195474073119478398040*c_0101_4^12 - 11345224457485256811335515777896261851/9252872268762813467839905163\ 280*c_0101_4^11 - 18787249879941347725018560636860906107/2544539873\ 9097737036559739199020*c_0101_4^10 + 17563949173480205367874429784241443855/1017815949563909481462389567\ 9608*c_0101_4^9 + 2654751653939662586524276781446844177/25445398739\ 09773703655973919902*c_0101_4^8 - 151378188425679717908142760931719\ 541727/101781594956390948146238956796080*c_0101_4^7 - 6893864214649824636920107739316557381/92528722687628134678399051632\ 80*c_0101_4^6 + 10784929603438776638053169395306298279/127226993695\ 48868518279869599510*c_0101_4^5 + 343943700265379584469937310091483\ 59029/203563189912781896292477913592160*c_0101_4^4 - 6997892915629361637013938728959255881/25445398739097737036559739199\ 020*c_0101_4^3 + 9597924450417341629414426769116256489/203563189912\ 781896292477913592160*c_0101_4^2 + 710152475612336728377361919751852751/508907974781954740731194783980\ 40*c_0101_4 - 84511927702942740337038934561548617/20356318991278189\ 629247791359216, c_0011_0 - 1, c_0011_1 + 512146059314730738837498367661/11566090335953516834799881454\ 100*c_0101_4^21 + 1395607236856264572675082842441/11566090335953516\ 834799881454100*c_0101_4^20 - 9122533533386968910514666550939/11566\ 090335953516834799881454100*c_0101_4^19 - 3756078453003564594870644023404/2891522583988379208699970363525*c_0\ 101_4^18 + 9572909026749023067518574098981/115660903359535168347998\ 8145410*c_0101_4^17 + 49489552870035832665641856370971/578304516797\ 6758417399940727050*c_0101_4^16 - 587150736470007658745860802875909\ /11566090335953516834799881454100*c_0101_4^15 - 215488791085124121654828985624049/5783045167976758417399940727050*c\ _0101_4^14 + 2285359858527297769245729293204363/1156609033595351683\ 4799881454100*c_0101_4^13 + 721139741478097502189258068544227/57830\ 45167976758417399940727050*c_0101_4^12 - 1359690145315326920295846174529269/2891522583988379208699970363525*\ c_0101_4^11 - 861985148511547929401882613659196/2891522583988379208\ 699970363525*c_0101_4^10 + 1901944957427249385966662522820189/28915\ 22583988379208699970363525*c_0101_4^9 + 246984945146357640620867517385989/578304516797675841739994072705*c_\ 0101_4^8 - 3209219405737472370129036529515737/578304516797675841739\ 9940727050*c_0101_4^7 - 1797078738345774518495819064805479/57830451\ 67976758417399940727050*c_0101_4^6 + 881935227572119910295794862020644/2891522583988379208699970363525*c\ _0101_4^5 + 172387437435969594968564504073169/231321806719070336695\ 9976290820*c_0101_4^4 - 561504255958229183992476524558741/578304516\ 7976758417399940727050*c_0101_4^3 + 166563722128622050122636209794987/11566090335953516834799881454100*\ c_0101_4^2 + 5602386770597694605516223427363/1156609033595351683479\ 988145410*c_0101_4 - 1034256028093260211021652422726/28915225839883\ 79208699970363525, c_0011_3 + 705901468526127838510831731854/28915225839883792086999703635\ 25*c_0101_4^21 + 2050486745753484125409246171249/289152258398837920\ 8699970363525*c_0101_4^20 - 12118742120141455379814977368346/289152\ 2583988379208699970363525*c_0101_4^19 - 22588417237428369414941188081574/2891522583988379208699970363525*c_\ 0101_4^18 + 25320691694103395723850351006498/5783045167976758417399\ 94072705*c_0101_4^17 + 155774976857276454300527599455238/2891522583\ 988379208699970363525*c_0101_4^16 - 768381528289656822332001740250551/2891522583988379208699970363525*c\ _0101_4^15 - 706207733185618060442805255061047/28915225839883792086\ 99970363525*c_0101_4^14 + 2950064336199188897237868164305882/289152\ 2583988379208699970363525*c_0101_4^13 + 2390587714651040694880933484575981/2891522583988379208699970363525*\ c_0101_4^12 - 6812606793159082668654334229911439/289152258398837920\ 8699970363525*c_0101_4^11 - 5532109201236737920841019433652726/2891\ 522583988379208699970363525*c_0101_4^10 + 9024982920757797929283022136763534/2891522583988379208699970363525*\ c_0101_4^9 + 1491984993881470984251953231667204/5783045167976758417\ 39994072705*c_0101_4^8 - 7177232476481572978211468181182036/2891522\ 583988379208699970363525*c_0101_4^7 - 5122028108442202508437539315691262/2891522583988379208699970363525*\ c_0101_4^6 + 3950502882373769442338172874505464/2891522583988379208\ 699970363525*c_0101_4^5 + 257351669433709667027811768977491/5783045\ 16797675841739994072705*c_0101_4^4 - 1326915835767494063911164822202448/2891522583988379208699970363525*\ c_0101_4^3 + 169261908690199129933984880486318/28915225839883792086\ 99970363525*c_0101_4^2 + 13610525442250798621578955852764/578304516\ 797675841739994072705*c_0101_4 - 14755170020375958576941211759656/2\ 891522583988379208699970363525, c_0011_5 + 3783008195963667600554493846871/1156609033595351683479988145\ 4100*c_0101_4^21 + 11011990203995349443318518896501/115660903359535\ 16834799881454100*c_0101_4^20 - 64859191310456005410168910455379/11\ 566090335953516834799881454100*c_0101_4^19 - 60667852900828881105784431483713/5783045167976758417399940727050*c_\ 0101_4^18 + 67762446866641024428962529789781/1156609033595351683479\ 988145410*c_0101_4^17 + 418736180597492107103453224057881/578304516\ 7976758417399940727050*c_0101_4^16 - 4111660962077670685248681373027499/11566090335953516834799881454100\ *c_0101_4^15 - 949141585311847945581700918723157/289152258398837920\ 8699970363525*c_0101_4^14 + 15783089405281102971497004190794593/115\ 66090335953516834799881454100*c_0101_4^13 + 3209546190890121651634452730729236/2891522583988379208699970363525*\ c_0101_4^12 - 9107935426252395687373465187381009/289152258398837920\ 8699970363525*c_0101_4^11 - 7407849863086868332439286939130056/2891\ 522583988379208699970363525*c_0101_4^10 + 12066109370036803156801093616905779/2891522583988379208699970363525\ *c_0101_4^9 + 1990973016162867984104464036462419/578304516797675841\ 739994072705*c_0101_4^8 - 19252882637291563775669012827802057/57830\ 45167976758417399940727050*c_0101_4^7 - 13643221384698447543449129512165569/5783045167976758417399940727050\ *c_0101_4^6 + 5336238942448665968937842503080934/289152258398837920\ 8699970363525*c_0101_4^5 + 1373527370779081507216770193590579/23132\ 18067190703366959976290820*c_0101_4^4 - 1793632767725088203757852454432313/2891522583988379208699970363525*\ c_0101_4^3 + 926508691132619883088854765527457/11566090335953516834\ 799881454100*c_0101_4^2 + 18363980830616529005899928869969/57830451\ 6797675841739994072705*c_0101_4 - 21447292747012866286425772856561/\ 2891522583988379208699970363525, c_0011_6 + 6859649999836718503709671107923/1156609033595351683479988145\ 4100*c_0101_4^21 + 19712158614618466455094671796413/115660903359535\ 16834799881454100*c_0101_4^20 - 118360193541625611768210344610227/1\ 1566090335953516834799881454100*c_0101_4^19 - 107775576747589650305645483263919/5783045167976758417399940727050*c\ _0101_4^18 + 123736372964086870388468281955133/11566090335953516834\ 79988145410*c_0101_4^17 + 735683974170786216155426706094153/5783045\ 167976758417399940727050*c_0101_4^16 - 7516673819240334291474493029263287/11566090335953516834799881454100\ *c_0101_4^15 - 1647938455325665194825971120426491/28915225839883792\ 08699970363525*c_0101_4^14 + 28905388662140186803904021385901009/11\ 566090335953516834799881454100*c_0101_4^13 + 5532414920203333574523383659307918/2891522583988379208699970363525*\ c_0101_4^12 - 16764475055443849782762617329929167/28915225839883792\ 08699970363525*c_0101_4^11 - 12745844286458430126582905650328928/28\ 91522583988379208699970363525*c_0101_4^10 + 22482527600341844776598772340588027/2891522583988379208699970363525\ *c_0101_4^9 + 3421005033089372924526877598681052/578304516797675841\ 739994072705*c_0101_4^8 - 36679250871276265294214138179814541/57830\ 45167976758417399940727050*c_0101_4^7 - 23232376323519134710883771046252197/5783045167976758417399940727050\ *c_0101_4^6 + 10367858092742619994724357108376392/28915225839883792\ 08699970363525*c_0101_4^5 + 2186928195300716132582262263989267/2313\ 218067190703366959976290820*c_0101_4^4 - 3479287828049194846393462799451244/2891522583988379208699970363525*\ c_0101_4^3 + 2164010945538011806446062370859841/1156609033595351683\ 4799881454100*c_0101_4^2 + 34159705481041005314650599774027/5783045\ 16797675841739994072705*c_0101_4 - 47014919901899049236824730709093/2891522583988379208699970363525, c_0101_2 + 1531260255135690926576523423517/1156609033595351683479988145\ 4100*c_0101_4^21 + 4313773860285773710628020920927/1156609033595351\ 6834799881454100*c_0101_4^20 - 26761132205954214028883868234733/115\ 66090335953516834799881454100*c_0101_4^19 - 23508945894455814199669614191151/5783045167976758417399940727050*c_\ 0101_4^18 + 28005024414245544521608093158297/1156609033595351683479\ 988145410*c_0101_4^17 + 158833378531519058455108371872087/578304516\ 7976758417399940727050*c_0101_4^16 - 1707773767916407614259351794631373/11566090335953516834799881454100\ *c_0101_4^15 - 354050151404338932898209717268689/289152258398837920\ 8699970363525*c_0101_4^14 + 6596936312301728267628255608770811/1156\ 6090335953516834799881454100*c_0101_4^13 + 1194227429809936551488243420791272/2891522583988379208699970363525*\ c_0101_4^12 - 3862101676838134936215553022968643/289152258398837920\ 8699970363525*c_0101_4^11 - 2807489769936318929070830710151412/2891\ 522583988379208699970363525*c_0101_4^10 + 5247135864435673742188131820417033/2891522583988379208699970363525*\ c_0101_4^9 + 778368844530199918033537558907413/57830451679767584173\ 9994072705*c_0101_4^8 - 8566979548091368996960949267348139/57830451\ 67976758417399940727050*c_0101_4^7 - 5476200654090105728745160658246913/5783045167976758417399940727050*\ c_0101_4^6 + 2348618484542762376721039032941793/2891522583988379208\ 699970363525*c_0101_4^5 + 539291553652488104357806711711253/2313218\ 067190703366959976290820*c_0101_4^4 - 768114229872330279053182267785001/2891522583988379208699970363525*c\ _0101_4^3 + 420463224556941042934044613852639/115660903359535168347\ 99881454100*c_0101_4^2 + 7781401832103183207739251284043/5783045167\ 97675841739994072705*c_0101_4 - 7525306015139855746470658468247/289\ 1522583988379208699970363525, c_0101_4^22 + 3*c_0101_4^21 - 17*c_0101_4^20 - 34*c_0101_4^19 + 178*c_0101_4^18 + 242*c_0101_4^17 - 1085*c_0101_4^16 - 1136*c_0101_4^15 + 4187*c_0101_4^14 + 3940*c_0101_4^13 - 9708*c_0101_4^12 - 9296*c_0101_4^11 + 12828*c_0101_4^10 + 12992*c_0101_4^9 - 9974*c_0101_4^8 - 9726*c_0101_4^7 + 5300*c_0101_4^6 + 3297*c_0101_4^5 - 1872*c_0101_4^4 - 197*c_0101_4^3 + 204*c_0101_4^2 - 4*c_0101_4 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB