Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 1461111671] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s261 geometric_solution 4.42363424 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 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.592739045947 0.118929660190 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.785468196070 0.206473673579 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -1 0 1 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.931090303895 0.743508134023 5 2 4 4 0132 0132 3012 1230 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.226247620637 1.125947529392 3 3 2 5 3012 1230 0132 0132 0 0 0 0 0 -1 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.226247620637 1.125947529392 3 5 4 5 0132 1302 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414558192002 0.603256008671 ==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_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_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_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_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_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], '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_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 4953669935892114145372/649832833663911717919*c_0101_3^18 - 14843855700340069893900/649832833663911717919*c_0101_3^17 + 6407291525768903672314/59075712151264701629*c_0101_3^16 + 85594045366991986949797/649832833663911717919*c_0101_3^15 - 696699130420779051335013/649832833663911717919*c_0101_3^14 - 21955201068561234463029/59075712151264701629*c_0101_3^13 + 2056672100886456538342496/649832833663911717919*c_0101_3^12 - 22239169683546037983764/15849581308875895559*c_0101_3^11 - 1091238215646675577817176/649832833663911717919*c_0101_3^10 + 1709415481701675024636089/649832833663911717919*c_0101_3^9 + 377077096758411188895567/649832833663911717919*c_0101_3^8 + 173586199195222601084853/649832833663911717919*c_0101_3^7 - 52322505232861840251634/15849581308875895559*c_0101_3^6 + 1008876598297259877285774/649832833663911717919*c_0101_3^5 + 449581076761003478050191/649832833663911717919*c_0101_3^4 - 800855855828962293071221/649832833663911717919*c_0101_3^3 - 8725741252593179706401/59075712151264701629*c_0101_3^2 + 23843627791178496555913/649832833663911717919*c_0101_3 + 77864658000380993923322/649832833663911717919, c_0011_0 - 1, c_0011_1 + 81415928086250589185/649832833663911717919*c_0101_3^18 + 17229236228064881489/649832833663911717919*c_0101_3^17 - 108601612681923487970/59075712151264701629*c_0101_3^16 + 1935403502378426571479/649832833663911717919*c_0101_3^15 + 5850022892872627832683/649832833663911717919*c_0101_3^14 - 1112640685680118145289/59075712151264701629*c_0101_3^13 + 2051751335228375095254/649832833663911717919*c_0101_3^12 + 182328941246136287654/15849581308875895559*c_0101_3^11 - 7691666399966684066099/649832833663911717919*c_0101_3^10 + 938033805621119485710/649832833663911717919*c_0101_3^9 - 8150788033530855871773/649832833663911717919*c_0101_3^8 + 15070599655427945442404/649832833663911717919*c_0101_3^7 - 146133236423631741429/15849581308875895559*c_0101_3^6 - 1217012075269024972109/649832833663911717919*c_0101_3^5 + 1781302474331090278264/649832833663911717919*c_0101_3^4 + 610396939410289959820/649832833663911717919*c_0101_3^3 + 23548257089493607022/59075712151264701629*c_0101_3^2 - 378162476851862651811/649832833663911717919*c_0101_3 + 206395532959449702122/649832833663911717919, c_0011_4 + 131523279815631494448/649832833663911717919*c_0101_3^18 + 23590066069028347002/649832833663911717919*c_0101_3^17 - 178487847663306699543/59075712151264701629*c_0101_3^16 + 3185908048124110727639/649832833663911717919*c_0101_3^15 + 9818153858037201114668/649832833663911717919*c_0101_3^14 - 1902894058747650659744/59075712151264701629*c_0101_3^13 + 1848522019653393794606/649832833663911717919*c_0101_3^12 + 418707208856501324313/15849581308875895559*c_0101_3^11 - 15302302920662066023811/649832833663911717919*c_0101_3^10 - 845635061878456049775/649832833663911717919*c_0101_3^9 - 8219484271415688926854/649832833663911717919*c_0101_3^8 + 23679016105413365675883/649832833663911717919*c_0101_3^7 - 169431273418684744729/15849581308875895559*c_0101_3^6 - 7032360115099355825969/649832833663911717919*c_0101_3^5 + 6451090636129433597706/649832833663911717919*c_0101_3^4 + 1307411571894367506686/649832833663911717919*c_0101_3^3 - 113003514565410402419/59075712151264701629*c_0101_3^2 - 782965504256687311467/649832833663911717919*c_0101_3 + 69356818004336534913/649832833663911717919, c_0101_0 - 167231876557339260937/649832833663911717919*c_0101_3^18 - 184308082317619287004/649832833663911717919*c_0101_3^17 + 224790865655065106520/59075712151264701629*c_0101_3^16 - 1787056437480541743975/649832833663911717919*c_0101_3^15 - 16328747624856560369963/649832833663911717919*c_0101_3^14 + 1432145707932284516870/59075712151264701629*c_0101_3^13 + 22114487228369758672468/649832833663911717919*c_0101_3^12 - 685714051966516229920/15849581308875895559*c_0101_3^11 + 2108048477645877348503/649832833663911717919*c_0101_3^10 + 22515262276329078650220/649832833663911717919*c_0101_3^9 + 9864730176001875008964/649832833663911717919*c_0101_3^8 - 19058345313141177774414/649832833663911717919*c_0101_3^7 - 474437257965716368504/15849581308875895559*c_0101_3^6 + 21531451493530130736671/649832833663911717919*c_0101_3^5 - 2769692428594365188850/649832833663911717919*c_0101_3^4 - 10788062871574495001589/649832833663911717919*c_0101_3^3 - 40595613009819466209/59075712151264701629*c_0101_3^2 + 1576301060759226784349/649832833663911717919*c_0101_3 + 757747805322039731240/649832833663911717919, c_0101_1 - 108515201861336844381/649832833663911717919*c_0101_3^18 - 37844459861451396605/649832833663911717919*c_0101_3^17 + 145685952974572557941/59075712151264701629*c_0101_3^16 - 2364144187842416574147/649832833663911717919*c_0101_3^15 - 8350621136893992712214/649832833663911717919*c_0101_3^14 + 1422651683486767334705/59075712151264701629*c_0101_3^13 + 358005153651781230819/649832833663911717919*c_0101_3^12 - 312664130939991027198/15849581308875895559*c_0101_3^11 + 9928747933044993619613/649832833663911717919*c_0101_3^10 + 1631549603163206608660/649832833663911717919*c_0101_3^9 + 9368990420012301026523/649832833663911717919*c_0101_3^8 - 18490745651515230773040/649832833663911717919*c_0101_3^7 + 69835346133015783644/15849581308875895559*c_0101_3^6 + 5670974067747509721091/649832833663911717919*c_0101_3^5 - 3292298929434778474573/649832833663911717919*c_0101_3^4 - 876355029943709961276/649832833663911717919*c_0101_3^3 - 71993858054578403113/59075712151264701629*c_0101_3^2 + 635276094460879888408/649832833663911717919*c_0101_3 + 417607859817218763685/649832833663911717919, c_0101_3^19 - 15*c_0101_3^17 + 27*c_0101_3^16 + 71*c_0101_3^15 - 175*c_0101_3^14 + 41*c_0101_3^13 + 143*c_0101_3^12 - 149*c_0101_3^11 + 4*c_0101_3^10 - 57*c_0101_3^9 + 192*c_0101_3^8 - 77*c_0101_3^7 - 69*c_0101_3^6 + 72*c_0101_3^5 + 5*c_0101_3^4 - 9*c_0101_3^3 - 8*c_0101_3^2 + c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB