Magma V2.19-8 Tue Aug 20 2013 16:17:07 on localhost [Seed = 273779907] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1358 geometric_solution 5.22516288 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 1 -1 0 0 0 -1 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 2.118700439586 0.547423219605 0 2 3 0 0132 0132 0132 3201 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 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.032068216276 0.815194865957 4 1 5 3 0132 0132 0132 2031 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.405899697877 0.454115018247 5 2 4 1 1023 1302 2310 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.405899697877 0.454115018247 2 3 6 6 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522532945879 1.775500200917 5 3 5 2 2031 1023 1302 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 0 -1 1 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601593553342 0.535176565821 6 4 4 6 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.588580107610 0.440320167007 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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' : 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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(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' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 3481801166025090595341129331432024/58684768767052452533135189819455\ 1*c_0101_4^20 - 30076826058719220931546013294868844/586847687670524\ 525331351898194551*c_0101_4^19 + 1088365692703638476237496174789202\ 74/586847687670524525331351898194551*c_0101_4^18 - 214528692108079852778185202726770497/586847687670524525331351898194\ 551*c_0101_4^17 + 241836005642652501941616184439546133/586847687670\ 524525331351898194551*c_0101_4^16 - 132578949653133578913975900942389502/586847687670524525331351898194\ 551*c_0101_4^15 - 23384655809924848792394164213829665/5868476876705\ 24525331351898194551*c_0101_4^14 + 9672808228450419236312711454996951/53349789788229502302850172563141\ *c_0101_4^13 - 105399446567056391390133102649363492/586847687670524\ 525331351898194551*c_0101_4^12 + 1098984830390610583887301572184246\ 19/586847687670524525331351898194551*c_0101_4^11 - 195210874857387528483498336575451713/586847687670524525331351898194\ 551*c_0101_4^10 + 406554883829208447334195961808016155/586847687670\ 524525331351898194551*c_0101_4^9 - 474982488362525024284625400592109055/586847687670524525331351898194\ 551*c_0101_4^8 + 310768064965455356098481508689345727/5868476876705\ 24525331351898194551*c_0101_4^7 - 924760683073933261440438612543343\ 22/586847687670524525331351898194551*c_0101_4^6 + 82706560848556572823348943768538067/5868476876705245253313518981945\ 51*c_0101_4^5 - 202617195209868929890970366652270747/58684768767052\ 4525331351898194551*c_0101_4^4 + 1347316128714243981050858488101281\ 62/586847687670524525331351898194551*c_0101_4^3 - 56518426677387003249724406476227007/5868476876705245253313518981945\ 51*c_0101_4^2 + 5009620751513482012277570879416209/5868476876705245\ 25331351898194551*c_0101_4 - 5447552003166517731375394364985765/586\ 847687670524525331351898194551, c_0011_0 - 1, c_0011_3 - 450781224973291570022624284640/23195560777491087957760944592\ 67*c_0101_4^20 + 44983009769711730309013786765128/25515116855240196\ 753537039051937*c_0101_4^19 - 172363746763017052755179465616180/255\ 15116855240196753537039051937*c_0101_4^18 + 361716304921139415926221923537526/25515116855240196753537039051937*\ c_0101_4^17 - 434113451003011461184893989704297/2551511685524019675\ 3537039051937*c_0101_4^16 + 246089204899912608397726151078001/25515\ 116855240196753537039051937*c_0101_4^15 + 68037866362628999139761435858802/25515116855240196753537039051937*c\ _0101_4^14 - 245146360396573503021077892796888/25515116855240196753\ 537039051937*c_0101_4^13 + 221415229717437763874955279406568/255151\ 16855240196753537039051937*c_0101_4^12 - 174702042137316826971294682892335/25515116855240196753537039051937*\ c_0101_4^11 + 26195269964814253510611265085033/23195560777491087957\ 76094459267*c_0101_4^10 - 646637103756589029149726222947035/2551511\ 6855240196753537039051937*c_0101_4^9 + 853176457363093742134162872227912/25515116855240196753537039051937*\ c_0101_4^8 - 576443727059865515307652984712976/25515116855240196753\ 537039051937*c_0101_4^7 + 99250669619702893190867437830215/25515116\ 855240196753537039051937*c_0101_4^6 + 9289261628788538093699750206845/25515116855240196753537039051937*c_\ 0101_4^5 + 24380802445956908418061781706396/23195560777491087957760\ 94459267*c_0101_4^4 - 284914599829771462586048364388804/25515116855\ 240196753537039051937*c_0101_4^3 + 97237811390256809144719477687833/25515116855240196753537039051937*c\ _0101_4^2 + 39112623551174119231367031784664/2551511685524019675353\ 7039051937*c_0101_4 - 28663594106310207476713936445448/255151168552\ 40196753537039051937, c_0011_6 - 1387955420502005150257666884736/2551511685524019675353703905\ 1937*c_0101_4^20 + 12461672370831734553180244796000/255151168552401\ 96753537039051937*c_0101_4^19 - 4252983615825014289384480599664/231\ 9556077749108795776094459267*c_0101_4^18 + 94429232854863304265465102529760/25515116855240196753537039051937*c\ _0101_4^17 - 104367698705869118061095043588616/25515116855240196753\ 537039051937*c_0101_4^16 + 43207874954271109713556510322758/2551511\ 6855240196753537039051937*c_0101_4^15 + 42931168888333945298091909042393/25515116855240196753537039051937*c\ _0101_4^14 - 81617958907737891409508348492907/255151168552401967535\ 37039051937*c_0101_4^13 + 61021797332130660919431930438506/25515116\ 855240196753537039051937*c_0101_4^12 - 35865495407178093031373938351564/25515116855240196753537039051937*c\ _0101_4^11 + 63394963704449202833115915858136/255151168552401967535\ 37039051937*c_0101_4^10 - 160978350652171904566608313127452/2551511\ 6855240196753537039051937*c_0101_4^9 + 202503755798864861921115396014507/25515116855240196753537039051937*\ c_0101_4^8 - 102843590925040257140000015594383/25515116855240196753\ 537039051937*c_0101_4^7 - 21400858242809785839804728269157/25515116\ 855240196753537039051937*c_0101_4^6 + 29394592421614514123366277399384/25515116855240196753537039051937*c\ _0101_4^5 + 46301177982686259513128153055732/2551511685524019675353\ 7039051937*c_0101_4^4 - 5848756912772865579956554884450/23195560777\ 49108795776094459267*c_0101_4^3 + 24882578641594662403010574549807/\ 25515116855240196753537039051937*c_0101_4^2 + 9579396887406941254555769518845/25515116855240196753537039051937*c_\ 0101_4 - 20527350781352480324833457519852/2551511685524019675353703\ 9051937, c_0101_0 - 3204470972652250545199549651680/2551511685524019675353703905\ 1937*c_0101_4^20 + 24607183111303775876359116266936/255151168552401\ 96753537039051937*c_0101_4^19 - 73566948577604494463165608362356/25\ 515116855240196753537039051937*c_0101_4^18 + 9004441359390587886528114295642/2319556077749108795776094459267*c_0\ 101_4^17 - 1564633381592144469530344232975/231955607774910879577609\ 4459267*c_0101_4^16 - 137737797394566237018966239343982/25515116855\ 240196753537039051937*c_0101_4^15 + 203295724733110717985043199070117/25515116855240196753537039051937*\ c_0101_4^14 - 108126343901428507909721625933701/2551511685524019675\ 3537039051937*c_0101_4^13 - 2614915763760977445682320490296/2319556\ 077749108795776094459267*c_0101_4^12 + 47710045603521512657501103221685/25515116855240196753537039051937*c\ _0101_4^11 + 50611524946666502696263135317173/255151168552401967535\ 37039051937*c_0101_4^10 - 197108905873056683428480735909926/2551511\ 6855240196753537039051937*c_0101_4^9 + 64016952147235332817903588107949/25515116855240196753537039051937*c\ _0101_4^8 + 193767714597135482123637709773087/255151168552401967535\ 37039051937*c_0101_4^7 - 320409187157799160377834199086800/25515116\ 855240196753537039051937*c_0101_4^6 + 59948814017984868495152722775891/25515116855240196753537039051937*c\ _0101_4^5 + 152929555877542468334479505096644/255151168552401967535\ 37039051937*c_0101_4^4 + 8497562808731664825962454376252/2551511685\ 5240196753537039051937*c_0101_4^3 - 114162768640453904608661733993166/25515116855240196753537039051937*\ c_0101_4^2 + 105421031021211298390562593651432/25515116855240196753\ 537039051937*c_0101_4 + 8834160504463894399302272263781/25515116855\ 240196753537039051937, c_0101_1 + 10937025286358537680109918295528/255151168552401967535370390\ 51937*c_0101_4^20 - 94147927980000155125275613050788/25515116855240\ 196753537039051937*c_0101_4^19 + 338669473341411946069643523659502/\ 25515116855240196753537039051937*c_0101_4^18 - 659675156484689061544546557648607/25515116855240196753537039051937*\ c_0101_4^17 + 721115968120225212182831045083259/2551511685524019675\ 3537039051937*c_0101_4^16 - 345234848270103916864871148308679/25515\ 116855240196753537039051937*c_0101_4^15 - 164994475293254976361566610305149/25515116855240196753537039051937*\ c_0101_4^14 + 37347453630247790658805101177925/23195560777491087957\ 76094459267*c_0101_4^13 - 359536555447978484743442138874539/2551511\ 6855240196753537039051937*c_0101_4^12 + 324588412238170679345056800701385/25515116855240196753537039051937*\ c_0101_4^11 - 566492682873172378575169272500411/2551511685524019675\ 3537039051937*c_0101_4^10 + 1211587121898747225394356134934651/2551\ 5116855240196753537039051937*c_0101_4^9 - 1382332671505611390474820308221680/25515116855240196753537039051937\ *c_0101_4^8 + 815966478241727465834717448395265/2551511685524019675\ 3537039051937*c_0101_4^7 - 106146644520884844319212949179169/255151\ 16855240196753537039051937*c_0101_4^6 + 107561717202128402635190753355875/25515116855240196753537039051937*\ c_0101_4^5 - 552300593156948886753669399953035/25515116855240196753\ 537039051937*c_0101_4^4 + 368675093281129290267743660421234/2551511\ 6855240196753537039051937*c_0101_4^3 - 130377028790294530812986928293606/25515116855240196753537039051937*\ c_0101_4^2 - 50153624158363334111731342946037/255151168552401967535\ 37039051937*c_0101_4 - 9880363010796847841316616764944/255151168552\ 40196753537039051937, c_0101_2 - 3196742531388348746346529378168/2551511685524019675353703905\ 1937*c_0101_4^20 + 29959435063036439023670215815644/255151168552401\ 96753537039051937*c_0101_4^19 - 120619669418847489000773131000178/2\ 5515116855240196753537039051937*c_0101_4^18 + 274320819682988386634374408734137/25515116855240196753537039051937*\ c_0101_4^17 - 382376301776573476295765593238427/2551511685524019675\ 3537039051937*c_0101_4^16 + 317622460604683978793391504048401/25515\ 116855240196753537039051937*c_0101_4^15 - 103073672417715913238528044630923/25515116855240196753537039051937*\ c_0101_4^14 - 106882725502322373066038536270077/2551511685524019675\ 3537039051937*c_0101_4^13 + 199220215186355936494156600663627/25515\ 116855240196753537039051937*c_0101_4^12 - 210272014898244759774177066949785/25515116855240196753537039051937*\ c_0101_4^11 + 270479105538253093649691356986110/2551511685524019675\ 3537039051937*c_0101_4^10 - 508104889749793421435843229906042/25515\ 116855240196753537039051937*c_0101_4^9 + 726698112172401509242906371320025/25515116855240196753537039051937*\ c_0101_4^8 - 59840231999006391117650231277806/231955607774910879577\ 6094459267*c_0101_4^7 + 362285653437476872885276218916809/255151168\ 55240196753537039051937*c_0101_4^6 - 168542991409599490482087094865549/25515116855240196753537039051937*\ c_0101_4^5 + 205336744800235041998947031402933/25515116855240196753\ 537039051937*c_0101_4^4 - 236852987534066698267106870494406/2551511\ 6855240196753537039051937*c_0101_4^3 + 163757621687350641413383739277244/25515116855240196753537039051937*\ c_0101_4^2 - 70507375460937894219880135024818/255151168552401967535\ 37039051937*c_0101_4 - 1951325559573820847465487605750/255151168552\ 40196753537039051937, c_0101_4^21 - 19/2*c_0101_4^20 + 157/4*c_0101_4^19 - 745/8*c_0101_4^18 + 553/4*c_0101_4^17 - 1009/8*c_0101_4^16 + 415/8*c_0101_4^15 + 257/8*c_0101_4^14 - 295/4*c_0101_4^13 + 629/8*c_0101_4^12 - 763/8*c_0101_4^11 + 1391/8*c_0101_4^10 - 1031/4*c_0101_4^9 + 257*c_0101_4^8 - 1231/8*c_0101_4^7 + 255/4*c_0101_4^6 - 263/4*c_0101_4^5 + 699/8*c_0101_4^4 - 297/4*c_0101_4^3 + 27*c_0101_4^2 - 25/8*c_0101_4 - 23/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB