Magma V2.19-8 Tue Aug 20 2013 16:17:50 on localhost [Seed = 3684321082] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2065 geometric_solution 5.58594038 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 0 0 0 0 0 0 0 0 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 0.534200022631 0.132057366602 2 0 2 0 0132 2310 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 0 -1 1 1 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 0.701650451281 0.304050703106 1 3 1 4 0132 0132 1023 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 -1 1 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 1.371226955249 1.270700082570 5 2 6 4 0132 0132 0132 3120 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 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.542249042066 0.592377806142 3 6 2 5 3120 3201 0132 1023 0 0 0 0 0 1 -1 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.542249042066 0.592377806142 3 5 5 4 0132 1230 3012 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 0 0 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.159232754618 0.918492828310 6 6 4 3 1230 3012 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444273159808 0.589568878262 ==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' : 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' : 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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_1'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_6']), '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_4, c_0011_6, c_0101_0, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 17043661832363428073030925168276927/5456756209866691932058426503857\ 6*c_0101_6^27 - 3270852089503349134521077437352546027/1091351241973\ 33838641168530077152*c_0101_6^25 - 1957320515704130681969481528805123377/32098565940392305482696626493\ 28*c_0101_6^23 - 70532700351196898177503940098003040039/64197131880\ 78461096539325298656*c_0101_6^21 + 1820079432665373154940173627998920547665/27283781049333459660292132\ 519288*c_0101_6^19 - 6415029266366097665106475323223326801915/54567\ 562098666919320584265038576*c_0101_6^17 + 268200840318101674187678281961840366901/341047263116668245753651656\ 4911*c_0101_6^15 - 40387821599307644833312387854177230699/320985659\ 4039230548269662649328*c_0101_6^13 + 82741532067946474090380177962203497625/2728378104933345966029213251\ 9288*c_0101_6^11 - 801009992751716520066322494597055804675/54567562\ 098666919320584265038576*c_0101_6^9 + 293871933381139409561954062757639277887/272837810493334596602921325\ 19288*c_0101_6^7 - 334803063514313157660559802370307721255/10913512\ 4197333838641168530077152*c_0101_6^5 + 4844204403885267389236435847483220767/13641890524666729830146066259\ 644*c_0101_6^3 - 1339973290306878464087922481730236621/109135124197\ 333838641168530077152*c_0101_6, c_0011_0 - 1, c_0011_1 - 763778181038465884902554203327/27283781049333459660292132519\ 288*c_0101_6^26 + 1431479197786655378472002803083863/54567562098666\ 9193205842650385760*c_0101_6^24 + 486679187243543823862852427989557\ /8024641485098076370674156623320*c_0101_6^22 + 7130002200705796974324220822726495/6419713188078461096539325298656*\ c_0101_6^20 - 63102996920629072499699731587150741/17052363155833412\ 287682582824555*c_0101_6^18 - 451607808919282251716203116462566333/\ 272837810493334596602921325192880*c_0101_6^16 + 1349338038641234849350634806038272397/13641890524666729830146066259\ 6440*c_0101_6^14 - 79787433702707850386322049559186601/160492829701\ 96152741348313246640*c_0101_6^12 - 119642077275662215080515522387754111/682094526233336491507303312982\ 20*c_0101_6^10 + 31835921225359272875941237956528949/27283781049333\ 4596602921325192880*c_0101_6^8 + 3850784957221793405623166749771891\ 99/272837810493334596602921325192880*c_0101_6^6 - 296536628139187200863408079380555409/545675620986669193205842650385\ 760*c_0101_6^4 + 11577217778110407322962822490960779/27283781049333\ 4596602921325192880*c_0101_6^2 - 84235487269353972072957185013879/5\ 45675620986669193205842650385760, c_0011_4 - 413742769207060014343351484547173/10913512419733383864116853\ 00771520*c_0101_6^26 + 39578503679566191205885836595380501/10913512\ 41973338386411685300771520*c_0101_6^24 + 48201776952728217689107653141043467/6419713188078461096539325298656\ 0*c_0101_6^22 + 870423691827384242088597272526402541/64197131880784\ 610965393252986560*c_0101_6^20 - 4198376059404334225675931725385060\ 5641/545675620986669193205842650385760*c_0101_6^18 + 65714695822846878748998320237262583099/5456756209866691932058426503\ 85760*c_0101_6^16 - 34005974520206295886197749486356176467/54567562\ 0986669193205842650385760*c_0101_6^14 + 5492723362751107367771587352735653/32098565940392305482696626493280\ *c_0101_6^12 - 519860230519288211149764065347264627/109135124197333\ 838641168530077152*c_0101_6^10 + 1100529798598113636841617838554285\ 639/68209452623333649150730331298220*c_0101_6^8 - 9349553008991881655473679287133345239/10913512419733383864116853007\ 71520*c_0101_6^6 + 1798876532831210560252200541525491071/1091351241\ 973338386411685300771520*c_0101_6^4 - 109581602554796214735806508870096809/109135124197333838641168530077\ 1520*c_0101_6^2 + 1118298299299228536090185228087839/10913512419733\ 38386411685300771520, c_0011_6 - 48217272479017902695583706935357/109135124197333838641168530\ 0771520*c_0101_6^26 + 930419153644485167521401876814057/21827024839\ 4667677282337060154304*c_0101_6^24 + 5395319663791117054584061191770559/64197131880784610965393252986560\ *c_0101_6^22 + 96723120432198102016757786791214649/6419713188078461\ 0965393252986560*c_0101_6^20 - 561915579340367562425532877062954614\ 1/545675620986669193205842650385760*c_0101_6^18 + 2273071679302687874589516324862305923/10913512419733383864116853007\ 7152*c_0101_6^16 - 1730986281156892658549032373770893807/1091351241\ 97333838641168530077152*c_0101_6^14 + 14669793266244317666134976202152801/6419713188078461096539325298656\ *c_0101_6^12 + 236950150202329143455853916210871837/545675620986669\ 193205842650385760*c_0101_6^10 + 3703745467304458396482848064467260\ 69/136418905246667298301460662596440*c_0101_6^8 - 476776343907464964368970983539785379/218270248394667677282337060154\ 304*c_0101_6^6 + 555103409673959817346808325064258431/1091351241973\ 338386411685300771520*c_0101_6^4 - 5320387296417700514694332148465737/21827024839466767728233706015430\ 4*c_0101_6^2 - 96411202708302912765353618295237/1091351241973338386\ 411685300771520, c_0101_0 + 46037924545720775121533728346397/272837810493334596602921325\ 192880*c_0101_6^27 - 4413778423482512812939568471877309/27283781049\ 3334596602921325192880*c_0101_6^25 - 331766273902903401564167260538113/1003080185637259546334269577915*c\ _0101_6^23 - 11964713919144673610719852860007503/200616037127451909\ 2668539155830*c_0101_6^21 + 2422857258931855889897133070073684207/6\ 8209452623333649150730331298220*c_0101_6^19 - 2082423189560378517699781902374661289/34104726311666824575365165649\ 110*c_0101_6^17 + 5421418959095691913298677084132566883/13641890524\ 6667298301460662596440*c_0101_6^15 - 48920284957075407751332425477022327/8024641485098076370674156623320\ *c_0101_6^13 + 11007575764971447367502193093661381/6820945262333364\ 915073033129822*c_0101_6^11 - 1036804503533327256109136303683684253\ /136418905246667298301460662596440*c_0101_6^9 + 1510335996229483993052391877095799811/27283781049333459660292132519\ 2880*c_0101_6^7 - 411726991090527137622746428817674249/272837810493\ 334596602921325192880*c_0101_6^5 + 21181280699530829952494054857370443/1364189052466672983014606625964\ 40*c_0101_6^3 - 1062899053245495419212893262824413/1364189052466672\ 98301460662596440*c_0101_6, c_0101_5 - 2943372361432555210711090024873/1091351241973338386411685300\ 77152*c_0101_6^27 + 281013407871612996144597530955569/1091351241973\ 33838641168530077152*c_0101_6^25 + 346039506859879794333795082789131/6419713188078461096539325298656*c\ _0101_6^23 + 6251959448214932332917876128112109/6419713188078461096\ 539325298656*c_0101_6^21 - 289629385393310202800884401672576777/545\ 67562098666919320584265038576*c_0101_6^19 + 397862513679067066115207480519549683/545675620986669193205842650385\ 76*c_0101_6^17 - 89849672090630369430381171623497687/54567562098666\ 919320584265038576*c_0101_6^15 - 6489363359012774599914249801803039\ /3209856594039230548269662649328*c_0101_6^13 - 17061280464371829909855343647002183/5456756209866691932058426503857\ 6*c_0101_6^11 + 17322989328124999774760482790149017/136418905246667\ 29830146066259644*c_0101_6^9 - 20249789591188179241674451839800147/\ 109135124197333838641168530077152*c_0101_6^7 - 15852016572525087188153523931682661/1091351241973338386411685300771\ 52*c_0101_6^5 + 2928951642276640660525090864778575/1091351241973338\ 38641168530077152*c_0101_6^3 + 102004466198138685500141571249415/10\ 9135124197333838641168530077152*c_0101_6, c_0101_6^28 - 96*c_0101_6^26 - 1948*c_0101_6^24 - 35088*c_0101_6^22 + 215165*c_0101_6^20 - 385860*c_0101_6^18 + 268008*c_0101_6^16 - 50564*c_0101_6^14 + 11020*c_0101_6^12 - 47450*c_0101_6^10 + 36547*c_0101_6^8 - 11232*c_0101_6^6 + 1510*c_0101_6^4 - 78*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB