Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 2294879402] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s375 geometric_solution 4.59389458 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 -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 1.649985813633 0.327882966820 0 2 2 0 3201 0132 1023 0132 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 -1 1 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 1.052364609418 0.654805186299 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404438867803 0.233678535489 2 4 5 4 0132 1302 0132 0321 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 -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.720317834282 0.701005309360 5 3 2 3 2310 0321 0132 2031 0 0 0 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720317834282 0.701005309360 5 5 4 3 1302 2031 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 -1 1 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 1.036817313587 0.873541487692 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_5'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : d['c_0011_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_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 12585702508327660108501071/382681551703059430909123*c_0101_3^14 + 7110889128498671302301741/22510679511944672406419*c_0101_3^13 - 110436574280250082245607622/382681551703059430909123*c_0101_3^12 - 2760644259231422580334382648/382681551703059430909123*c_0101_3^11 + 1440495300728539655166076659/382681551703059430909123*c_0101_3^10 + 317229955192799583752834597/22510679511944672406419*c_0101_3^9 - 1805703392728432315667359600/382681551703059430909123*c_0101_3^8 + 6771126190948794846659792612/382681551703059430909123*c_0101_3^7 - 81865235574419724340789271/382681551703059430909123*c_0101_3^6 - 4214739983421652241189726154/382681551703059430909123*c_0101_3^5 - 3135612903798349155730432283/382681551703059430909123*c_0101_3^4 - 4917044779778299178023058784/382681551703059430909123*c_0101_3^3 + 116802339092790223117472420/382681551703059430909123*c_0101_3^2 + 962291592923761323124986724/382681551703059430909123*c_0101_3 + 29920868162359532217026468/382681551703059430909123, c_0011_0 - 1, c_0011_1 + 1651598911061180981450/2534314911940790933173*c_0101_3^14 + 927758137567365690216/149077347761222996069*c_0101_3^13 - 15359687417470030999790/2534314911940790933173*c_0101_3^12 - 361349696445611442287799/2534314911940790933173*c_0101_3^11 + 208986742532001575068565/2534314911940790933173*c_0101_3^10 + 40848716662126096795171/149077347761222996069*c_0101_3^9 - 273948452641240877013074/2534314911940790933173*c_0101_3^8 + 906207975833098704725845/2534314911940790933173*c_0101_3^7 - 61995103756703836600552/2534314911940790933173*c_0101_3^6 - 544934526322228675008739/2534314911940790933173*c_0101_3^5 - 385110915416335877949368/2534314911940790933173*c_0101_3^4 - 622949065526170220195853/2534314911940790933173*c_0101_3^3 + 46424356608773186346622/2534314911940790933173*c_0101_3^2 + 121495070726389646863422/2534314911940790933173*c_0101_3 - 2282084039522790606742/2534314911940790933173, c_0011_4 - 35954273828483231824465/382681551703059430909123*c_0101_3^14 - 19944281215337923748549/22510679511944672406419*c_0101_3^13 + 376654240023413815276221/382681551703059430909123*c_0101_3^12 + 7838891501596642463125646/382681551703059430909123*c_0101_3^11 - 5500173396916606939129597/382681551703059430909123*c_0101_3^10 - 873854483910283162858293/22510679511944672406419*c_0101_3^9 + 7933124792754216777715208/382681551703059430909123*c_0101_3^8 - 19970842170533193285397927/382681551703059430909123*c_0101_3^7 + 3476506799929813764619603/382681551703059430909123*c_0101_3^6 + 12497990915936382037356327/382681551703059430909123*c_0101_3^5 + 6905327405919535108568212/382681551703059430909123*c_0101_3^4 + 12428313916857930330167181/382681551703059430909123*c_0101_3^3 - 2658485418471494957194667/382681551703059430909123*c_0101_3^2 - 3082015304307394758591410/382681551703059430909123*c_0101_3 + 311822222413316089961513/382681551703059430909123, c_0011_5 - 8406689190762443838494/382681551703059430909123*c_0101_3^14 - 4468021235065327929672/22510679511944672406419*c_0101_3^13 + 117913792252184424256768/382681551703059430909123*c_0101_3^12 + 1784888988988204788224931/382681551703059430909123*c_0101_3^11 - 1989590137853799389989820/382681551703059430909123*c_0101_3^10 - 156306643195161400622449/22510679511944672406419*c_0101_3^9 + 2882362436356227111165412/382681551703059430909123*c_0101_3^8 - 5842349332028216896106658/382681551703059430909123*c_0101_3^7 + 3200740059551040398459378/382681551703059430909123*c_0101_3^6 + 1656767862545644614340120/382681551703059430909123*c_0101_3^5 + 764550994489700303602535/382681551703059430909123*c_0101_3^4 + 2357341368599099214932659/382681551703059430909123*c_0101_3^3 - 1478996278241523101659272/382681551703059430909123*c_0101_3^2 - 292741729683536887636735/382681551703059430909123*c_0101_3 + 228282862222374826343966/382681551703059430909123, c_0101_0 - 158334599149289513483684/382681551703059430909123*c_0101_3^1\ 4 - 89347619951923126699750/22510679511944672406419*c_0101_3^13 + 1404102044633145207161044/382681551703059430909123*c_0101_3^12 + 34682097469986987533262523/382681551703059430909123*c_0101_3^11 - 18500099364782154974109106/382681551703059430909123*c_0101_3^10 - 3935472001021928732654956/22510679511944672406419*c_0101_3^9 + 22979268166593982437808333/382681551703059430909123*c_0101_3^8 - 86659363768078305139258491/382681551703059430909123*c_0101_3^7 + 2843725193807133174527712/382681551703059430909123*c_0101_3^6 + 50734046469245662828410604/382681551703059430909123*c_0101_3^5 + 39196761754606189635818152/382681551703059430909123*c_0101_3^4 + 62155130143318481868281411/382681551703059430909123*c_0101_3^3 - 1824280958060303861488460/382681551703059430909123*c_0101_3^2 - 10834864465723946827634888/382681551703059430909123*c_0101_3 - 151446357836955340460101/382681551703059430909123, c_0101_3^15 + 10*c_0101_3^14 - 5*c_0101_3^13 - 223*c_0101_3^12 + 28*c_0101_3^11 + 478*c_0101_3^10 + 23*c_0101_3^9 + 473*c_0101_3^8 + 210*c_0101_3^7 - 348*c_0101_3^6 - 380*c_0101_3^5 - 482*c_0101_3^4 - 141*c_0101_3^3 + 87*c_0101_3^2 + 31*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB