Magma V2.19-8 Tue Aug 20 2013 16:17:26 on localhost [Seed = 2378961223] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1661 geometric_solution 5.39882617 oriented_manifold CS_known -0.0000000000000001 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 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.518650484659 0.095261280880 2 0 2 0 0132 2310 1023 0132 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 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.616190309353 0.247315194537 1 3 1 4 0132 0132 1023 0132 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 0 1 -1 0 1 0 -1 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.895202661775 1.961245851663 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 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 -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.282392648649 0.632042301584 3 6 2 5 3120 3201 0132 3201 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 -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.282392648649 0.632042301584 3 4 5 5 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.410728195235 1.318889530319 6 6 4 3 1230 3012 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 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.565235658818 0.884607399725 ==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' : d['c_0011_6'], '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' : negation(d['c_0011_6']), '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' : negation(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: 34 Groebner basis: [ t + 54831497042777582072643972823424023/8495293288176341175670903607861\ 83*c_0101_6^33 - 2568977723469452768171336694742248744/849529328817\ 634117567090360786183*c_0101_6^31 + 27638343604143416493348472455596588792/8495293288176341175670903607\ 86183*c_0101_6^29 - 143423836368319183440643065682256935041/8495293\ 28817634117567090360786183*c_0101_6^27 + 463370513008957289827677400230069175800/849529328817634117567090360\ 786183*c_0101_6^25 - 1076857511533215800302860542374337136432/84952\ 9328817634117567090360786183*c_0101_6^23 + 1979334615029499819914050787589341413351/84952932881763411756709036\ 0786183*c_0101_6^21 - 3102183796446066128543533007862340935660/8495\ 29328817634117567090360786183*c_0101_6^19 + 4209368742896802801172702767160315547471/84952932881763411756709036\ 0786183*c_0101_6^17 - 4764574866064889793998147885349913995085/8495\ 29328817634117567090360786183*c_0101_6^15 + 4292633409911464603697854850522284495832/84952932881763411756709036\ 0786183*c_0101_6^13 - 2911060158929447231937604766807109343614/8495\ 29328817634117567090360786183*c_0101_6^11 + 1386174921686433197269701786773064900826/84952932881763411756709036\ 0786183*c_0101_6^9 - 404487810333450056432949845143285826508/849529\ 328817634117567090360786183*c_0101_6^7 + 35721262038981573943971603448740449636/8495293288176341175670903607\ 86183*c_0101_6^5 + 12339905743225255094283289285196649479/849529328\ 817634117567090360786183*c_0101_6^3 - 653598638781446400456216429852664518/849529328817634117567090360786\ 183*c_0101_6, c_0011_0 - 1, c_0011_1 + 47797135444658694496590220448421/849529328817634117567090360\ 786183*c_0101_6^32 - 2211485193773207674872494714110229/84952932881\ 7634117567090360786183*c_0101_6^30 + 22808958175101424533911795146691794/8495293288176341175670903607861\ 83*c_0101_6^28 - 112070240670467641619842204682825834/8495293288176\ 34117567090360786183*c_0101_6^26 + 342169011157362110015308999419943367/849529328817634117567090360786\ 183*c_0101_6^24 - 756344117234399133438358661097771780/849529328817\ 634117567090360786183*c_0101_6^22 + 1334527574600517145222093002446934528/84952932881763411756709036078\ 6183*c_0101_6^20 - 2031841066300677519424032584512056007/8495293288\ 17634117567090360786183*c_0101_6^18 + 2663874215694659925808796504794008061/84952932881763411756709036078\ 6183*c_0101_6^16 - 2865812966836341593311298902533218986/8495293288\ 17634117567090360786183*c_0101_6^14 + 2408273478143943906347808674987875795/84952932881763411756709036078\ 6183*c_0101_6^12 - 1475762864112043301411996877214989860/8495293288\ 17634117567090360786183*c_0101_6^10 + 612242923026256301051081721691082866/849529328817634117567090360786\ 183*c_0101_6^8 - 140399809748955079122332922620456948/8495293288176\ 34117567090360786183*c_0101_6^6 + 278000362435064675143651873745241\ 7/849529328817634117567090360786183*c_0101_6^4 + 710707728126538968814539112924311/849529328817634117567090360786183\ *c_0101_6^2 + 465066981622621867270646094309518/8495293288176341175\ 67090360786183, c_0011_4 + 23721674138095736585796342048716/849529328817634117567090360\ 786183*c_0101_6^32 - 1095154329438012424735920659875685/84952932881\ 7634117567090360786183*c_0101_6^30 + 11210232242752169844024370826215938/8495293288176341175670903607861\ 83*c_0101_6^28 - 54535742983570099933146144593990940/84952932881763\ 4117567090360786183*c_0101_6^26 + 164771564883997404247367571257341\ 814/849529328817634117567090360786183*c_0101_6^24 - 360722876894788517720454428393463852/849529328817634117567090360786\ 183*c_0101_6^22 + 631097693307757188842757161942284598/849529328817\ 634117567090360786183*c_0101_6^20 - 954596725594901186639393650542970595/849529328817634117567090360786\ 183*c_0101_6^18 + 1241225133486141711028837785788454651/84952932881\ 7634117567090360786183*c_0101_6^16 - 1318931155422492307372677564039479489/84952932881763411756709036078\ 6183*c_0101_6^14 + 1087403701143085391403146661017085662/8495293288\ 17634117567090360786183*c_0101_6^12 - 644397377391962540344601315420298182/849529328817634117567090360786\ 183*c_0101_6^10 + 251517849319092765453197236675447834/849529328817\ 634117567090360786183*c_0101_6^8 - 47834608769442871747854758866568808/8495293288176341175670903607861\ 83*c_0101_6^6 - 4238991134198936377840881054598975/8495293288176341\ 17567090360786183*c_0101_6^4 + 1450953704750590040832531000811053/8\ 49529328817634117567090360786183*c_0101_6^2 - 238094790308245250322442586244289/849529328817634117567090360786183\ , c_0011_6 + 73191885659212564772188329806984/849529328817634117567090360\ 786183*c_0101_6^32 - 3395739742576444576770668218221784/84952932881\ 7634117567090360786183*c_0101_6^30 + 35354508704648804461765118460595319/8495293288176341175670903607861\ 83*c_0101_6^28 - 175928474681158677137139650896425513/8495293288176\ 34117567090360786183*c_0101_6^26 + 544633583666012742300766840406458078/849529328817634117567090360786\ 183*c_0101_6^24 - 1219979436638634392781905263424928381/84952932881\ 7634117567090360786183*c_0101_6^22 + 2178971579503047674940038227303091783/84952932881763411756709036078\ 6183*c_0101_6^20 - 3351080729961801162250975309625696145/8495293288\ 17634117567090360786183*c_0101_6^18 + 4447447014442635481522169444588205336/84952932881763411756709036078\ 6183*c_0101_6^16 - 4872824924843411589579976650702855171/8495293288\ 17634117567090360786183*c_0101_6^14 + 4212220818206078288607732793743042463/84952932881763411756709036078\ 6183*c_0101_6^12 - 2714886998470422038271730831137134906/8495293288\ 17634117567090360786183*c_0101_6^10 + 1235174022809210177105235423580699549/84952932881763411756709036078\ 6183*c_0101_6^8 - 352971716764401856170729261588220908/849529328817\ 634117567090360786183*c_0101_6^6 + 41336137495808792395837154423278002/8495293288176341175670903607861\ 83*c_0101_6^4 + 342148358402669707215997668784713/84952932881763411\ 7567090360786183*c_0101_6^2 - 3798683610383083212534141151328/84952\ 9328817634117567090360786183, c_0101_0 - 70627366244913916926572818091245/849529328817634117567090360\ 786183*c_0101_6^33 + 3342404697989399598340593052642551/84952932881\ 7634117567090360786183*c_0101_6^31 - 37152778455046349182135505042008348/8495293288176341175670903607861\ 83*c_0101_6^29 + 201078676521976721272071576562708617/8495293288176\ 34117567090360786183*c_0101_6^27 - 679386537734889191876123944500569740/849529328817634117567090360786\ 183*c_0101_6^25 + 1647049515439939882258133123596222605/84952932881\ 7634117567090360786183*c_0101_6^23 - 3142120310111267407871210125860446268/84952932881763411756709036078\ 6183*c_0101_6^21 + 5070892347244129853348783562340702385/8495293288\ 17634117567090360786183*c_0101_6^19 - 7094888801633029920725202101045138358/84952932881763411756709036078\ 6183*c_0101_6^17 + 8386378535536947950008261364528792908/8495293288\ 17634117567090360786183*c_0101_6^15 - 8043155523743561027662596050486625913/84952932881763411756709036078\ 6183*c_0101_6^13 + 5988199731445103684258686130881653537/8495293288\ 17634117567090360786183*c_0101_6^11 - 3291717416073374337978905941012053036/84952932881763411756709036078\ 6183*c_0101_6^9 + 1248910822111739702224565384776683591/84952932881\ 7634117567090360786183*c_0101_6^7 - 275734432874994127142781574923001851/849529328817634117567090360786\ 183*c_0101_6^5 + 20340582088855374491447840001071671/84952932881763\ 4117567090360786183*c_0101_6^3 - 1785619313156998040102351981234278\ /849529328817634117567090360786183*c_0101_6, c_0101_5 + 104780518228566621116761375759687/84952932881763411756709036\ 0786183*c_0101_6^33 - 4906496488487602364537822368729503/8495293288\ 17634117567090360786183*c_0101_6^31 + 52694595946759324816423728469968071/8495293288176341175670903607861\ 83*c_0101_6^29 - 272978087872406350252979881019107826/8495293288176\ 34117567090360786183*c_0101_6^27 + 881232319875333451715479585275967446/849529328817634117567090360786\ 183*c_0101_6^25 - 2049450242397836486848443175620786012/84952932881\ 7634117567090360786183*c_0101_6^23 + 3775264016567925593625832456611852085/84952932881763411756709036078\ 6183*c_0101_6^21 - 5935190668976859806690766189864728556/8495293288\ 17634117567090360786183*c_0101_6^19 + 8079684346512104438408996925495780572/84952932881763411756709036078\ 6183*c_0101_6^17 - 9188641000925447780548453987920483954/8495293288\ 17634117567090360786183*c_0101_6^15 + 8357400378250598602023507373650610466/84952932881763411756709036078\ 6183*c_0101_6^13 - 5781297567634693824787469166886090786/8495293288\ 17634117567090360786183*c_0101_6^11 + 2878414570604454994712416289943319582/84952932881763411756709036078\ 6183*c_0101_6^9 - 943605415644836281551440925430515311/849529328817\ 634117567090360786183*c_0101_6^7 + 151880363297601625828669862310148249/849529328817634117567090360786\ 183*c_0101_6^5 - 630685549453114935666057802337695/8495293288176341\ 17567090360786183*c_0101_6^3 + 171317511517586505787263625199652/84\ 9529328817634117567090360786183*c_0101_6, c_0101_6^34 - 47*c_0101_6^32 + 511*c_0101_6^30 - 2691*c_0101_6^28 + 8846*c_0101_6^26 - 20934*c_0101_6^24 + 39152*c_0101_6^22 - 62271*c_0101_6^20 + 85806*c_0101_6^18 - 99319*c_0101_6^16 + 92622*c_0101_6^14 - 66398*c_0101_6^12 + 34760*c_0101_6^10 - 12298*c_0101_6^8 + 2373*c_0101_6^6 - 101*c_0101_6^4 + 2*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB