Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 1191631744] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0290 geometric_solution 4.33440491 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 1.452066513589 0.099830819077 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.225918508653 0.137352953450 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.251149141313 0.611528866219 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.260110524880 0.290290555835 6 3 5 5 0132 0132 3201 2031 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 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.131516969286 0.831823517966 4 4 6 3 2310 1302 2310 0132 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 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.131516969286 0.831823517966 4 5 6 6 0132 3201 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 0 0 0 0 0 0 0 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.814562961118 1.172859220233 ==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_0101_3']), 'c_1100_5' : d['c_0011_1'], '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_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 311011944273963984504431117629048439/260973750719038274160521335959\ 336256*c_0101_6^22 + 4337419418508548011985105463142931565/32621718\ 839879784270065166994917032*c_0101_6^20 - 207395658688783695722537201250851720685/260973750719038274160521335\ 959336256*c_0101_6^18 + 3066920838294596803118861014760815841425/26\ 0973750719038274160521335959336256*c_0101_6^16 - 3236590049481168090278193163637799782837/65243437679759568540130333\ 989834064*c_0101_6^14 + 1811918840412248946491014070712778216379/16\ 310859419939892135032583497458516*c_0101_6^12 - 26717702906909298674384806160999846687467/6524343767975956854013033\ 3989834064*c_0101_6^10 + 38198806618929451177782672959441923239959/\ 130486875359519137080260667979668128*c_0101_6^8 - 2177877946668515793022170906871710398411/65243437679759568540130333\ 989834064*c_0101_6^6 - 634255953805428425038152125500408921709/2609\ 73750719038274160521335959336256*c_0101_6^4 + 629571784367083689431374535199899248775/260973750719038274160521335\ 959336256*c_0101_6^2 - 36200938030213713756162646068493580013/26097\ 3750719038274160521335959336256, c_0011_0 - 1, c_0011_1 - 759911244761956010462621681701334/40777148549849730337581458\ 74364629*c_0101_6^22 + 85043661238382815209885651503656576/40777148\ 54984973033758145874364629*c_0101_6^20 - 535906074823556967431302379643206778/407771485498497303375814587436\ 4629*c_0101_6^18 + 7673149603157488568878148616627980985/4077714854\ 984973033758145874364629*c_0101_6^16 - 34240094800804807628625063976078645161/4077714854984973033758145874\ 364629*c_0101_6^14 + 82194510502969194667221647925390078810/4077714\ 854984973033758145874364629*c_0101_6^12 - 287607852478871849082828287884181970560/407771485498497303375814587\ 4364629*c_0101_6^10 + 281360940186243554983365594396060955639/40777\ 14854984973033758145874364629*c_0101_6^8 - 103384152880567706562345667312306217233/407771485498497303375814587\ 4364629*c_0101_6^6 + 21159627406859107409579194797458988587/4077714\ 854984973033758145874364629*c_0101_6^4 - 2116239299288453858012448801683381884/40777148549849730337581458743\ 64629*c_0101_6^2 + 75701943698157420218440315348565053/407771485498\ 4973033758145874364629, c_0011_5 - 788757452196765537177904148896579/81554297099699460675162917\ 48729258*c_0101_6^23 + 44121812092913492597903189829330385/40777148\ 54984973033758145874364629*c_0101_6^21 - 553086361531113255635327160824114623/815542970996994606751629174872\ 9258*c_0101_6^19 + 7944863516047954193488113224849846589/8155429709\ 969946067516291748729258*c_0101_6^17 - 17628300180428410021849358288099974309/4077714854984973033758145874\ 364629*c_0101_6^15 + 42037513570644395037713780537865255317/4077714\ 854984973033758145874364629*c_0101_6^13 - 147809460342428980305209159342749950841/407771485498497303375814587\ 4364629*c_0101_6^11 + 140845938624679237893723451185438124903/40777\ 14854984973033758145874364629*c_0101_6^9 - 49055864235467385576109672406597287711/4077714854984973033758145874\ 364629*c_0101_6^7 + 19230808135550508072767345762059550803/81554297\ 09969946067516291748729258*c_0101_6^5 - 1696415010023042854943922145621438179/81554297099699460675162917487\ 29258*c_0101_6^3 + 45962183410793470872138543378791695/815542970996\ 9946067516291748729258*c_0101_6, c_0101_0 + 2834359147747905961933468410568045/8155429709969946067516291\ 748729258*c_0101_6^23 - 158674489435360724382266830413617204/407771\ 4854984973033758145874364629*c_0101_6^21 + 2015441431425018200574850765581345301/81554297099699460675162917487\ 29258*c_0101_6^19 - 28722194858839544178935659718734574469/81554297\ 09969946067516291748729258*c_0101_6^17 + 64597782069866642139813251927321655059/4077714854984973033758145874\ 364629*c_0101_6^15 - 156531673912923622524667974991221501893/407771\ 4854984973033758145874364629*c_0101_6^13 + 543963732531234617657788361567407050266/407771485498497303375814587\ 4364629*c_0101_6^11 - 551797603891161460845434803548624032388/40777\ 14854984973033758145874364629*c_0101_6^9 + 216689349787682671815339346564111431574/407771485498497303375814587\ 4364629*c_0101_6^7 - 92848083418604115944108672604342970683/8155429\ 709969946067516291748729258*c_0101_6^5 + 10253898422802452122000726673029400513/8155429709969946067516291748\ 729258*c_0101_6^3 - 412160837458205295249728054292301009/8155429709\ 969946067516291748729258*c_0101_6, c_0101_2 + 386631558286529034330916373542712/40777148549849730337581458\ 74364629*c_0101_6^23 - 43255504083056460002235458542259304/40777148\ 54984973033758145874364629*c_0101_6^21 + 271154521260088343440761838161585199/407771485498497303375814587436\ 4629*c_0101_6^19 - 3894330252491236360518905718740738544/4077714854\ 984973033758145874364629*c_0101_6^17 + 17284031919153681636152081929781606710/4077714854984973033758145874\ 364629*c_0101_6^15 - 41198280208742388988561534555693672368/4077714\ 854984973033758145874364629*c_0101_6^13 + 144811486903564282362837581389940233050/407771485498497303375814587\ 4364629*c_0101_6^11 - 137916128674124594499196180462767923201/40777\ 14854984973033758145874364629*c_0101_6^9 + 47087391635005998306214478801234673312/4077714854984973033758145874\ 364629*c_0101_6^7 - 8527248113091388801531694724884315496/407771485\ 4984973033758145874364629*c_0101_6^5 + 637392384299287760590023038189157923/407771485498497303375814587436\ 4629*c_0101_6^3 - 74614791674955902569983519848260/4077714854984973\ 033758145874364629*c_0101_6, c_0101_3 + 629544632556033648484579639028509/40777148549849730337581458\ 74364629*c_0101_6^22 - 70460746710291821355865312717099799/40777148\ 54984973033758145874364629*c_0101_6^20 + 444724020699451560628635614583042193/407771485498497303375814587436\ 4629*c_0101_6^18 - 6361474332240044502914679747224651427/4077714854\ 984973033758145874364629*c_0101_6^16 + 28433810060231053797141727414299939055/4077714854984973033758145874\ 364629*c_0101_6^14 - 68391640160036765284213180089132099273/4077714\ 854984973033758145874364629*c_0101_6^12 + 238970744372642388086202801785957870187/407771485498497303375814587\ 4364629*c_0101_6^10 - 235586321910634672312184908935885052309/40777\ 14854984973033758145874364629*c_0101_6^8 + 87921936668835486190416004235749563113/4077714854984973033758145874\ 364629*c_0101_6^6 - 18268396898344632174085014616117296242/40777148\ 54984973033758145874364629*c_0101_6^4 + 1887971853940834909902987225497268887/40777148549849730337581458743\ 64629*c_0101_6^2 - 69791533972278140843038075697284477/407771485498\ 4973033758145874364629, c_0101_6^24 - 112*c_0101_6^22 + 715*c_0101_6^20 - 10159*c_0101_6^18 + 45940*c_0101_6^16 - 112096*c_0101_6^14 + 387908*c_0101_6^12 - 403282*c_0101_6^10 + 168244*c_0101_6^8 - 39605*c_0101_6^6 + 5175*c_0101_6^4 - 333*c_0101_6^2 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB