Magma V2.19-8 Tue Aug 20 2013 16:16:36 on localhost [Seed = 4021187380] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0891 geometric_solution 4.79050037 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 2310 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 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 2.074594772127 1.368075970741 0 3 3 4 0132 1230 0213 0132 0 0 0 0 0 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 1 -1 0 -1 0 0 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.723070429277 0.631684936490 0 0 5 5 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.139263381680 0.310596335688 4 1 1 0 3201 0213 3012 0132 0 0 0 0 0 0 1 -1 0 0 0 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 1 -1 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.723070429277 0.631684936490 6 6 1 3 0132 2310 0132 2310 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 -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.434197356999 0.447540952586 2 5 2 5 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.026574067383 2.845578561087 4 6 6 4 0132 3201 2310 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 0 0 0 0 0 0 0 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.166279035530 0.493459419049 ==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' : 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' : 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_4']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0101_3']), '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_3']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0011_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_5'])})} 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_4, c_0011_5, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 196767786478148773817937341512055193831/225163125113947811126836333\ 288373271871*c_0101_5^23 - 3046248680174573574066743564433920716144\ /225163125113947811126836333288373271871*c_0101_5^22 - 15466583543381042697046363364666273044844/2251631251139478111268363\ 33288373271871*c_0101_5^21 - 20695346419108085808344584575960829515\ 311/225163125113947811126836333288373271871*c_0101_5^20 + 59485954857485054334208360227289776767939/2251631251139478111268363\ 33288373271871*c_0101_5^19 + 17021511789746887348001666381523648115\ 3818/225163125113947811126836333288373271871*c_0101_5^18 - 50982545051305949167106908070442060197594/2251631251139478111268363\ 33288373271871*c_0101_5^17 - 46198778633919304013448660077236828058\ 3671/225163125113947811126836333288373271871*c_0101_5^16 - 20152054502308032278936070531367431922776/2251631251139478111268363\ 33288373271871*c_0101_5^15 + 10136574288850713992802108894718162914\ 25347/225163125113947811126836333288373271871*c_0101_5^14 + 667015418134527713006182139047597794146801/225163125113947811126836\ 333288373271871*c_0101_5^13 - 6967656741220044537668996833319658794\ 72906/225163125113947811126836333288373271871*c_0101_5^12 - 700642358518780090211201304680739843752424/225163125113947811126836\ 333288373271871*c_0101_5^11 + 2570413255141451062131767340121621513\ 93868/225163125113947811126836333288373271871*c_0101_5^10 + 461938144967334139995043037552885984636160/225163125113947811126836\ 333288373271871*c_0101_5^9 + 61351883496492282785032440687631894572\ 73/32166160730563973018119476184053324553*c_0101_5^8 - 307923104327483306659326192314285094517227/225163125113947811126836\ 333288373271871*c_0101_5^7 - 28188704989617970082987347029736106140\ 5171/225163125113947811126836333288373271871*c_0101_5^6 - 2123222409893899160585336812018181024551/77642456935844072802357356\ 30633561099*c_0101_5^5 + 35891475734314354349229992176828671734652/\ 225163125113947811126836333288373271871*c_0101_5^4 + 6687112121006802014132162916852082268639/32166160730563973018119476\ 184053324553*c_0101_5^3 + 28149572847860432694125102979451691805183\ /225163125113947811126836333288373271871*c_0101_5^2 + 8386450856090560792369748508104650638933/22516312511394781112683633\ 3288373271871*c_0101_5 + 2346080343115168547971308032030990641326/2\ 25163125113947811126836333288373271871, c_0011_0 - 1, c_0011_3 + 69635007595540892225516955634052411/110917795622634389717653\ 3661519080157*c_0101_5^23 + 1035459205813807360077336258415690503/1\ 109177956226343897176533661519080157*c_0101_5^22 + 4850898135055431817664602220082512896/11091779562263438971765336615\ 19080157*c_0101_5^21 + 4504947682282830682873513464393009953/110917\ 7956226343897176533661519080157*c_0101_5^20 - 23228323702905534213429023177206696455/1109177956226343897176533661\ 519080157*c_0101_5^19 - 46140177356392631745425292672026925028/1109\ 177956226343897176533661519080157*c_0101_5^18 + 41881273011043364383620423683960874755/1109177956226343897176533661\ 519080157*c_0101_5^17 + 134688566518638937421210338598095080787/110\ 9177956226343897176533661519080157*c_0101_5^16 - 60510605969527172235159594231632850891/1109177956226343897176533661\ 519080157*c_0101_5^15 - 308453139325047086334493687811553852671/110\ 9177956226343897176533661519080157*c_0101_5^14 - 81772787662961246750547506088874219835/1109177956226343897176533661\ 519080157*c_0101_5^13 + 261528245908613734011615434527222339001/110\ 9177956226343897176533661519080157*c_0101_5^12 + 133127810093361649307798207797255100530/110917795622634389717653366\ 1519080157*c_0101_5^11 - 125734554653214363807142273071823677026/11\ 09177956226343897176533661519080157*c_0101_5^10 - 120626952810285448205515223041612533774/110917795622634389717653366\ 1519080157*c_0101_5^9 + 29037104376343199012949353795538538758/1109\ 177956226343897176533661519080157*c_0101_5^8 + 101097357121209102588467147039436140292/110917795622634389717653366\ 1519080157*c_0101_5^7 + 46934033767749208447046485233917837036/1109\ 177956226343897176533661519080157*c_0101_5^6 - 369181071934303782870244247564200239/110917795622634389717653366151\ 9080157*c_0101_5^5 - 16990801749266604921303536955127410204/1109177\ 956226343897176533661519080157*c_0101_5^4 - 15387991229546133588272513222127666563/1109177956226343897176533661\ 519080157*c_0101_5^3 - 4738718401354225017438229407587853572/110917\ 7956226343897176533661519080157*c_0101_5^2 - 993467184330309180776025817581871376/110917795622634389717653366151\ 9080157*c_0101_5 + 845040663254788242720229664918796865/11091779562\ 26343897176533661519080157, c_0011_4 + 591061655043897418833457452109027487/11091779562263438971765\ 33661519080157*c_0101_5^23 + 8740404672161824514612974855081932389/\ 1109177956226343897176533661519080157*c_0101_5^22 + 40043402653196362167237113364908465325/1109177956226343897176533661\ 519080157*c_0101_5^21 + 28940575873926559820109709564687891267/1109\ 177956226343897176533661519080157*c_0101_5^20 - 226326784274036170561281471914328366941/110917795622634389717653366\ 1519080157*c_0101_5^19 - 390374070477099053872746594121627745925/11\ 09177956226343897176533661519080157*c_0101_5^18 + 534386731987749854530701022554317815965/110917795622634389717653366\ 1519080157*c_0101_5^17 + 1327474887445545851379345131521072944235/1\ 109177956226343897176533661519080157*c_0101_5^16 - 964804227226316597364139004877422990629/110917795622634389717653366\ 1519080157*c_0101_5^15 - 3253256915617759138860157978793324692282/1\ 109177956226343897176533661519080157*c_0101_5^14 + 213722639205289914888188629763101008755/110917795622634389717653366\ 1519080157*c_0101_5^13 + 3902879546814830970629761588586027895745/1\ 109177956226343897176533661519080157*c_0101_5^12 + 645160225924248010842706228684512501147/110917795622634389717653366\ 1519080157*c_0101_5^11 - 2796100201687455170699139978953850190837/1\ 109177956226343897176533661519080157*c_0101_5^10 - 989646105607681134875431364730101986824/110917795622634389717653366\ 1519080157*c_0101_5^9 + 1282164884014924509477532977421615733314/11\ 09177956226343897176533661519080157*c_0101_5^8 + 1170639072211929952041491343952818731037/11091779562263438971765336\ 61519080157*c_0101_5^7 - 37155253489374283733731525688443724668/110\ 9177956226343897176533661519080157*c_0101_5^6 - 556944399677337412569543274659129734993/110917795622634389717653366\ 1519080157*c_0101_5^5 - 213224021323943780306278575476613568681/110\ 9177956226343897176533661519080157*c_0101_5^4 + 21868818767706654502185460328971333892/1109177956226343897176533661\ 519080157*c_0101_5^3 + 48607164439708635117821734491928840562/11091\ 77956226343897176533661519080157*c_0101_5^2 + 22723869068850429412615940705229376391/1109177956226343897176533661\ 519080157*c_0101_5 + 2849280258018052756105927918445376723/11091779\ 56226343897176533661519080157, c_0011_5 - 138733600345974950936514339/2468747925204701201940076607*c_0\ 101_5^23 - 2162546389642045183536078078/246874792520470120194007660\ 7*c_0101_5^22 - 11153720422673610281605838552/246874792520470120194\ 0076607*c_0101_5^21 - 16009652621599488387770833451/246874792520470\ 1201940076607*c_0101_5^20 + 39619135723174429456818907336/246874792\ 5204701201940076607*c_0101_5^19 + 125991285292478624859622710614/24\ 68747925204701201940076607*c_0101_5^18 - 14946499617628275219244951001/2468747925204701201940076607*c_0101_5\ ^17 - 332588548195372621596229065687/2468747925204701201940076607*c\ _0101_5^16 - 83786547729438045046520667086/246874792520470120194007\ 6607*c_0101_5^15 + 715852733186252410588813799655/24687479252047012\ 01940076607*c_0101_5^14 + 637336819115657765974557535653/2468747925\ 204701201940076607*c_0101_5^13 - 435433478448051624313002047535/246\ 8747925204701201940076607*c_0101_5^12 - 699786328051074042969336930217/2468747925204701201940076607*c_0101_\ 5^11 + 105091498699583579343647436215/2468747925204701201940076607*\ c_0101_5^10 + 492346271696458998900957547005/2468747925204701201940\ 076607*c_0101_5^9 + 86132853191466710056949556415/24687479252047012\ 01940076607*c_0101_5^8 - 289597976343476406363837609494/24687479252\ 04701201940076607*c_0101_5^7 - 242405943939325105686912751868/24687\ 47925204701201940076607*c_0101_5^6 - 40872904843326761111754180548/2468747925204701201940076607*c_0101_5\ ^5 + 51810820327702583360066417558/2468747925204701201940076607*c_0\ 101_5^4 + 40349056874700210273160831708/246874792520470120194007660\ 7*c_0101_5^3 + 19131289125054711576490237839/2468747925204701201940\ 076607*c_0101_5^2 + 6380711752532603961299284662/246874792520470120\ 1940076607*c_0101_5 + 2642183844064364175589464391/2468747925204701\ 201940076607, c_0101_0 - 24776559837094710521341112/2468747925204701201940076607*c_01\ 01_5^23 - 510381997902395608756631019/2468747925204701201940076607*\ c_0101_5^22 - 3921682138075769630551297030/246874792520470120194007\ 6607*c_0101_5^21 - 12764196812084766465493010832/246874792520470120\ 1940076607*c_0101_5^20 - 6966208281059919047481327571/2468747925204\ 701201940076607*c_0101_5^19 + 57879460323113231111047306880/2468747\ 925204701201940076607*c_0101_5^18 + 108201715329444622705299792198/2468747925204701201940076607*c_0101_\ 5^17 - 73493510512683076181173998657/2468747925204701201940076607*c\ _0101_5^16 - 306944808763979596206641014767/24687479252047012019400\ 76607*c_0101_5^15 + 54417103041876250241520055650/24687479252047012\ 01940076607*c_0101_5^14 + 741719461656179288373093920583/2468747925\ 204701201940076607*c_0101_5^13 + 488850896011949165820160251437/246\ 8747925204701201940076607*c_0101_5^12 - 501091362016352607194555994335/2468747925204701201940076607*c_0101_\ 5^11 - 611011914154763695171371725921/2468747925204701201940076607*\ c_0101_5^10 + 171021924426092604040936135247/2468747925204701201940\ 076607*c_0101_5^9 + 465290268354351575011653052701/2468747925204701\ 201940076607*c_0101_5^8 + 28824670288266644621087564359/24687479252\ 04701201940076607*c_0101_5^7 - 307560982225370071491809915694/24687\ 47925204701201940076607*c_0101_5^6 - 224244725578734682874769716772/2468747925204701201940076607*c_0101_\ 5^5 - 25214119026282904062266597764/2468747925204701201940076607*c_\ 0101_5^4 + 56493590136913483648599887726/24687479252047012019400766\ 07*c_0101_5^3 + 38912016404148717062923047212/246874792520470120194\ 0076607*c_0101_5^2 + 19717018502640214778808389934/2468747925204701\ 201940076607*c_0101_5 + 5711744636931046777223074638/24687479252047\ 01201940076607, c_0101_3 - 257773634815021973593130335431082406/11091779562263438971765\ 33661519080157*c_0101_5^23 - 3920436435749729734055004303809721964/\ 1109177956226343897176533661519080157*c_0101_5^22 - 19114265737282470109180481394245834790/1109177956226343897176533661\ 519080157*c_0101_5^21 - 20696204985174341057657528000430689689/1109\ 177956226343897176533661519080157*c_0101_5^20 + 89522951811158398883768282771794298691/1109177956226343897176533661\ 519080157*c_0101_5^19 + 205597371463890005163097928354425409442/110\ 9177956226343897176533661519080157*c_0101_5^18 - 148673315383899097750301857136959187324/110917795622634389717653366\ 1519080157*c_0101_5^17 - 629126969313984189696264141716632123008/11\ 09177956226343897176533661519080157*c_0101_5^16 + 179624199811903060733478193830921278915/110917795622634389717653366\ 1519080157*c_0101_5^15 + 1466187453947224525582602298115006609370/1\ 109177956226343897176533661519080157*c_0101_5^14 + 448106303793069713734756226810345643207/110917795622634389717653366\ 1519080157*c_0101_5^13 - 1459551431417298989995202056550687462144/1\ 109177956226343897176533661519080157*c_0101_5^12 - 715311633251405058833658919660881477187/110917795622634389717653366\ 1519080157*c_0101_5^11 + 901411649203038470743926503088637667374/11\ 09177956226343897176533661519080157*c_0101_5^10 + 614860006544098294877047381648800141897/110917795622634389717653366\ 1519080157*c_0101_5^9 - 299955299419844335796779251929951760275/110\ 9177956226343897176533661519080157*c_0101_5^8 - 504449686560694785897399898598511466140/110917795622634389717653366\ 1519080157*c_0101_5^7 - 185936732933360589932206234469195322491/110\ 9177956226343897176533661519080157*c_0101_5^6 + 112727139209719457741176737465285660099/110917795622634389717653366\ 1519080157*c_0101_5^5 + 104036313717605745890351478770571602718/110\ 9177956226343897176533661519080157*c_0101_5^4 + 29684795675033269116988472080585268079/1109177956226343897176533661\ 519080157*c_0101_5^3 + 5230701357043494624341027551767566681/110917\ 7956226343897176533661519080157*c_0101_5^2 - 5127103624027695725649634984464974634/11091779562263438971765336615\ 19080157*c_0101_5 - 1292716543232220423826868964100193195/110917795\ 6226343897176533661519080157, c_0101_5^24 + 15*c_0101_5^23 + 71*c_0101_5^22 + 65*c_0101_5^21 - 365*c_0101_5^20 - 737*c_0101_5^19 + 718*c_0101_5^18 + 2363*c_0101_5^17 - 1035*c_0101_5^16 - 5578*c_0101_5^15 - 1044*c_0101_5^14 + 5993*c_0101_5^13 + 2650*c_0101_5^12 - 3583*c_0101_5^11 - 2661*c_0101_5^10 + 1092*c_0101_5^9 + 2313*c_0101_5^8 + 725*c_0101_5^7 - 733*c_0101_5^6 - 632*c_0101_5^5 - 189*c_0101_5^4 + 58*c_0101_5^3 + 76*c_0101_5^2 + 27*c_0101_5 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB