Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 2917937517] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2131 geometric_solution 5.61882478 oriented_manifold CS_known 0.0000000000000002 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.471566398993 0.252919309143 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.881575378868 0.630354487907 1 3 4 5 0132 0213 0132 0132 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 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.641001288470 0.575860389082 5 4 2 1 1023 1023 0213 0132 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 0 0 0 0 0 0 0 0 0 0 0 1 0 -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.641001288470 0.575860389082 3 6 6 2 1023 0132 1023 0132 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.005322249606 0.508309882393 5 3 2 5 3012 1023 0132 1230 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 0 0 0 0 0 0 0 0 -1 0 1 -1 0 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.513029528083 0.854300802056 6 4 4 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.574047688064 0.348876124143 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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_0011_1']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t + 135*c_0101_6^2 - 453*c_0101_6 - 379, c_0011_0 - 1, c_0011_1 - c_0101_6^2 + 3*c_0101_6 + 2, c_0011_3 - c_0101_6^2 + 3*c_0101_6 + 1, c_0101_0 - c_0101_6^2 + 4*c_0101_6 + 2, c_0101_1 + c_0101_6^2 - 4*c_0101_6 - 2, c_0101_4 - c_0101_6^2 + 4*c_0101_6 + 2, c_0101_6^3 - 3*c_0101_6^2 - 4*c_0101_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 82737719239801/27529898389632*c_0101_6^12 - 14560974803449/1720618649352*c_0101_6^11 - 599617283776823/9176632796544*c_0101_6^10 - 1275984467693099/27529898389632*c_0101_6^9 - 23920791055197/382359699856*c_0101_6^8 + 750023955523321/3441237298704*c_0101_6^7 - 533944392772855/9176632796544*c_0101_6^6 - 12872282959129/9176632796544*c_0101_6^5 - 272774426687923/13764949194816*c_0101_6^4 - 2189055712770205/27529898389632*c_0101_6^3 + 1371098160071837/27529898389632*c_0101_6^2 + 346129697429867/13764949194816*c_0101_6 - 39464135992277/2294158199136, c_0011_0 - 1, c_0011_1 - 2984984500/215077331169*c_0101_6^12 + 4803217079/215077331169*c_0101_6^11 + 67076004242/215077331169*c_0101_6^10 + 134671947134/215077331169*c_0101_6^9 + 317050205008/215077331169*c_0101_6^8 + 256386654499/215077331169*c_0101_6^7 + 345112907987/215077331169*c_0101_6^6 + 35647507021/71692443723*c_0101_6^5 - 282506004607/215077331169*c_0101_6^4 + 11813835179/215077331169*c_0101_6^3 - 142669327837/71692443723*c_0101_6^2 + 106268718694/215077331169*c_0101_6 + 11303650357/215077331169, c_0011_3 + 4392195331/430154662338*c_0101_6^12 - 53578299101/430154662338*c_0101_6^11 + 4639759423/430154662338*c_0101_6^10 + 417666843677/215077331169*c_0101_6^9 + 969396835829/430154662338*c_0101_6^8 + 1145313038329/215077331169*c_0101_6^7 - 1516062544301/430154662338*c_0101_6^6 + 239834336650/71692443723*c_0101_6^5 - 1168462081895/430154662338*c_0101_6^4 - 428648339/430154662338*c_0101_6^3 + 86264715116/71692443723*c_0101_6^2 - 214349463679/430154662338*c_0101_6 + 66234254068/215077331169, c_0101_0 - 26821461938/215077331169*c_0101_6^12 + 72114016399/215077331169*c_0101_6^11 + 587071782787/215077331169*c_0101_6^10 + 506489618956/215077331169*c_0101_6^9 + 734685329690/215077331169*c_0101_6^8 - 1864710059557/215077331169*c_0101_6^7 + 166979058259/215077331169*c_0101_6^6 - 199028545669/71692443723*c_0101_6^5 + 175577259919/215077331169*c_0101_6^4 + 1038330444790/215077331169*c_0101_6^3 - 35283979861/23897481241*c_0101_6^2 + 119278435088/215077331169*c_0101_6 + 50430983972/215077331169, c_0101_1 - 5197576831/71692443723*c_0101_6^12 + 5268331040/71692443723*c_0101_6^11 + 134650895498/71692443723*c_0101_6^10 + 291012227279/71692443723*c_0101_6^9 + 371172660601/71692443723*c_0101_6^8 + 27771424231/71692443723*c_0101_6^7 - 351036849943/71692443723*c_0101_6^6 + 2418517718/23897481241*c_0101_6^5 - 272184303883/71692443723*c_0101_6^4 + 175933412303/71692443723*c_0101_6^3 + 39796393491/23897481241*c_0101_6^2 - 66226451354/71692443723*c_0101_6 + 68742853801/71692443723, c_0101_4 + 1410629797/47794962482*c_0101_6^12 - 20786986195/143384887446*c_0101_6^11 - 64354835615/143384887446*c_0101_6^10 + 18807920241/23897481241*c_0101_6^9 + 8928586277/143384887446*c_0101_6^8 + 101182728538/23897481241*c_0101_6^7 - 616448988809/143384887446*c_0101_6^6 + 112992659673/23897481241*c_0101_6^5 - 114544509917/47794962482*c_0101_6^4 + 245395979561/143384887446*c_0101_6^3 + 51836803718/71692443723*c_0101_6^2 - 210430537577/143384887446*c_0101_6 + 18098105356/71692443723, c_0101_6^13 - 3*c_0101_6^12 - 21*c_0101_6^11 - 12*c_0101_6^10 - 23*c_0101_6^9 + 72*c_0101_6^8 - 37*c_0101_6^7 + 20*c_0101_6^6 - 5*c_0101_6^5 - 27*c_0101_6^4 + 20*c_0101_6^3 - c_0101_6^2 - 6*c_0101_6 + 4 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 269529017907022621467136017829/34009556456098716591601993747*c_0101\ _6^15 + 1221973848280345958728218121981/340095564560987165916019937\ 47*c_0101_6^14 - 11371260608270708084110924336545/34009556456098716\ 591601993747*c_0101_6^13 - 27940691532384538434233960184465/3400955\ 6456098716591601993747*c_0101_6^12 - 214928506787920680273469792253228/34009556456098716591601993747*c_0\ 101_6^11 - 9821133421905739550194378980824/200056214447639509362364\ 6691*c_0101_6^10 - 257082992781298787051550364566741/34009556456098\ 716591601993747*c_0101_6^9 + 584163022221239700891365991353478/3400\ 9556456098716591601993747*c_0101_6^8 + 468488102365993970022415056596072/34009556456098716591601993747*c_0\ 101_6^7 - 37847093060729412027872220845566/200056214447639509362364\ 6691*c_0101_6^6 + 180441440678561559919242883636307/340095564560987\ 16591601993747*c_0101_6^5 + 44775591942874277958303427333349/340095\ 56456098716591601993747*c_0101_6^4 - 44923736041812307814368775840648/34009556456098716591601993747*c_01\ 01_6^3 + 1345434278517639031971092714/34009556456098716591601993747\ *c_0101_6^2 + 2284580275395542518570307682483/340095564560987165916\ 01993747*c_0101_6 - 548657593142015463590496963473/3400955645609871\ 6591601993747, c_0011_0 - 1, c_0011_1 + 87752456088665445270319335/2000562144476395093623646691*c_01\ 01_6^15 + 471606903878863617903041145/2000562144476395093623646691*\ c_0101_6^14 - 3350109888830482363943973013/200056214447639509362364\ 6691*c_0101_6^13 - 12130541312173187576875580762/200056214447639509\ 3623646691*c_0101_6^12 - 78382024920074665488261921670/200056214447\ 6395093623646691*c_0101_6^11 - 114944482952134606972973228594/20005\ 62144476395093623646691*c_0101_6^10 - 143145923231656071189961105352/2000562144476395093623646691*c_0101_\ 6^9 + 110997503945822692356889493716/2000562144476395093623646691*c\ _0101_6^8 + 300080224548510531833046102453/200056214447639509362364\ 6691*c_0101_6^7 - 36636963155516981311045691357/2000562144476395093\ 623646691*c_0101_6^6 - 85637890821654331513131588318/20005621444763\ 95093623646691*c_0101_6^5 + 11625202310291339326800306306/200056214\ 4476395093623646691*c_0101_6^4 + 910528325229352193251255102/200056\ 2144476395093623646691*c_0101_6^3 - 9306546035837941693751569011/2000562144476395093623646691*c_0101_6^\ 2 - 148573405552066143598044491/2000562144476395093623646691*c_0101\ _6 + 2001204450295602150466454145/2000562144476395093623646691, c_0011_3 - 454569044272089014597998640/2000562144476395093623646691*c_0\ 101_6^15 - 2305879211749246951845437126/200056214447639509362364669\ 1*c_0101_6^14 + 439104176381107675875366722/48794198645765733990820\ 651*c_0101_6^13 + 57161889640661722289847044778/2000562144476395093\ 623646691*c_0101_6^12 + 390566136396669971274876940111/200056214447\ 6395093623646691*c_0101_6^11 + 483917754017274032446525231843/20005\ 62144476395093623646691*c_0101_6^10 + 636523349755123466811116344019/2000562144476395093623646691*c_0101_\ 6^9 - 708829266349381410737087043321/2000562144476395093623646691*c\ _0101_6^8 - 1268847394444713435626689230050/20005621444763950936236\ 46691*c_0101_6^7 + 506443612489244539890723956561/20005621444763950\ 93623646691*c_0101_6^6 + 129473730767208920061638411098/20005621444\ 76395093623646691*c_0101_6^5 - 84307734285473945584596993776/200056\ 2144476395093623646691*c_0101_6^4 + 55662054749290968345557111240/2000562144476395093623646691*c_0101_6\ ^3 + 26970228821283875190727812957/2000562144476395093623646691*c_0\ 101_6^2 - 6412958037026143560516984743/2000562144476395093623646691\ *c_0101_6 + 654728640116015589319824470/200056214447639509362364669\ 1, c_0101_0 - 39486517653916909320933228/2000562144476395093623646691*c_01\ 01_6^15 - 233928333619565646005107403/2000562144476395093623646691*\ c_0101_6^14 + 1385145388137662936712562555/200056214447639509362364\ 6691*c_0101_6^13 + 6257333945809589617784527213/2000562144476395093\ 623646691*c_0101_6^12 + 38485149672134653458385719046/2000562144476\ 395093623646691*c_0101_6^11 + 71889705396270289709409842002/2000562\ 144476395093623646691*c_0101_6^10 + 97915830205589120072765952283/2000562144476395093623646691*c_0101_6\ ^9 - 6966601644499125758163282579/2000562144476395093623646691*c_01\ 01_6^8 - 152276781770044206129922563331/200056214447639509362364669\ 1*c_0101_6^7 - 62990904463209396386037053282/2000562144476395093623\ 646691*c_0101_6^6 + 29761444711824461530978586227/20005621444763950\ 93623646691*c_0101_6^5 + 15831341555515199215118598271/200056214447\ 6395093623646691*c_0101_6^4 - 6120845441450233845107127890/20005621\ 44476395093623646691*c_0101_6^3 + 647648754509680555047528504/20005\ 62144476395093623646691*c_0101_6^2 + 4332465499457780356143728383/2000562144476395093623646691*c_0101_6 - 3180428312802371731607206/2000562144476395093623646691, c_0101_1 - 234959930259559421809313684/2000562144476395093623646691*c_0\ 101_6^15 - 1266615632617279815516013864/200056214447639509362364669\ 1*c_0101_6^14 + 8948260189392409447300273591/2000562144476395093623\ 646691*c_0101_6^13 + 795708503110115947958879604/487941986457657339\ 90820651*c_0101_6^12 + 210451295222651347337759304512/2000562144476\ 395093623646691*c_0101_6^11 + 311319887630484662674822723000/200056\ 2144476395093623646691*c_0101_6^10 + 388939552738501081285971572922/2000562144476395093623646691*c_0101_\ 6^9 - 291216673489820500758771058767/2000562144476395093623646691*c\ _0101_6^8 - 810820842503080750542525683576/200056214447639509362364\ 6691*c_0101_6^7 + 76650065008321651442909064535/2000562144476395093\ 623646691*c_0101_6^6 + 221916386173613950281384518827/2000562144476\ 395093623646691*c_0101_6^5 - 26305528017809269553651093619/20005621\ 44476395093623646691*c_0101_6^4 + 321482133894376539514224672/20005\ 62144476395093623646691*c_0101_6^3 + 24972295880155913982542464526/2000562144476395093623646691*c_0101_6\ ^2 + 910184030700712721811164279/2000562144476395093623646691*c_010\ 1_6 - 1845037708724907946173763023/2000562144476395093623646691, c_0101_4 - 474046375871053327767470891/2000562144476395093623646691*c_0\ 101_6^15 - 2377606874548227368521153800/200056214447639509362364669\ 1*c_0101_6^14 + 18922837517743050114868883237/200056214447639509362\ 3646691*c_0101_6^13 + 1429170041243075181402414153/4879419864576573\ 3990820651*c_0101_6^12 + 403481424839694881196327434633/20005621444\ 76395093623646691*c_0101_6^11 + 479957288217581810135412109259/2000\ 562144476395093623646691*c_0101_6^10 + 625313328951285975138906291094/2000562144476395093623646691*c_0101_\ 6^9 - 790917044700933471052976277591/2000562144476395093623646691*c\ _0101_6^8 - 1301012490316868356072390148909/20005621444763950936236\ 46691*c_0101_6^7 + 612463901684901933231285322029/20005621444763950\ 93623646691*c_0101_6^6 + 130393392704033706861918042736/20005621444\ 76395093623646691*c_0101_6^5 - 105316770530765932436388256038/20005\ 62144476395093623646691*c_0101_6^4 + 62909475237778757394689411701/2000562144476395093623646691*c_0101_6\ ^3 + 28376726224441118345193727922/2000562144476395093623646691*c_0\ 101_6^2 - 6716477847224656083119499052/2000562144476395093623646691\ *c_0101_6 + 557248079930437626045889818/200056214447639509362364669\ 1, c_0101_6^16 + 5*c_0101_6^15 - 40*c_0101_6^14 - 123*c_0101_6^13 - 849*c_0101_6^12 - 999*c_0101_6^11 - 1301*c_0101_6^10 + 1685*c_0101_6^9 + 2709*c_0101_6^8 - 1365*c_0101_6^7 - 270*c_0101_6^6 + 253*c_0101_6^5 - 127*c_0101_6^4 - 58*c_0101_6^3 + 18*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB