Magma V2.19-8 Tue Aug 20 2013 16:14:18 on localhost [Seed = 88381729] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s284 geometric_solution 4.45363666 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 2 0132 0132 0132 3120 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 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.620276148982 0.576692094072 0 1 2 1 0132 1302 0321 2031 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 0 0 0 0 0.414500197425 0.633775562999 0 0 1 3 3120 0132 0321 3012 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 -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.796460872485 1.209596624412 4 4 2 0 0132 2310 1230 0132 0 0 0 0 0 0 0 0 -1 0 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 -1 0 1 -1 0 0 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.735907114082 1.653393538230 3 5 5 3 0132 0132 1023 3201 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 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 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.195202036244 0.211429398299 5 4 4 5 3201 0132 1023 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.503355055156 0.637256778011 ==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' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), '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_3']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0011_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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 737718447516213278840/24333048861412576279*c_0101_5^19 + 3787929428242573648571/72999146584237728837*c_0101_5^18 + 27559331840904623658020/72999146584237728837*c_0101_5^17 - 73718389193579184087392/72999146584237728837*c_0101_5^16 - 52504767176978341968208/24333048861412576279*c_0101_5^15 + 171009442295243477914335/24333048861412576279*c_0101_5^14 + 474019271147691159835877/72999146584237728837*c_0101_5^13 - 1758882468510471225869737/72999146584237728837*c_0101_5^12 - 591479434242629480884289/72999146584237728837*c_0101_5^11 + 3246689760954107865165823/72999146584237728837*c_0101_5^10 + 1502751273898038588131/24333048861412576279*c_0101_5^9 - 1112821355965948461691976/24333048861412576279*c_0101_5^8 + 374592972920827239405196/72999146584237728837*c_0101_5^7 + 656501795958097917151270/24333048861412576279*c_0101_5^6 + 85095417746650423618171/72999146584237728837*c_0101_5^5 - 588748581065866869966625/72999146584237728837*c_0101_5^4 - 255450673453452729969913/72999146584237728837*c_0101_5^3 - 13922858356085014095977/72999146584237728837*c_0101_5^2 + 6976786061367126810295/24333048861412576279*c_0101_5 + 6687337032897310927934/72999146584237728837, c_0011_0 - 1, c_0011_3 + 19198935180535728058/24333048861412576279*c_0101_5^19 - 33825978810397823723/24333048861412576279*c_0101_5^18 - 238669536854601428287/24333048861412576279*c_0101_5^17 + 653419011687326427078/24333048861412576279*c_0101_5^16 + 1349231660392759305840/24333048861412576279*c_0101_5^15 - 4557421482863503150100/24333048861412576279*c_0101_5^14 - 3971761412246741922457/24333048861412576279*c_0101_5^13 + 15720844964236652758320/24333048861412576279*c_0101_5^12 + 4588513167251024365586/24333048861412576279*c_0101_5^11 - 29241308116980579416343/24333048861412576279*c_0101_5^10 + 1244823219875749441170/24333048861412576279*c_0101_5^9 + 30323657747482923041820/24333048861412576279*c_0101_5^8 - 5121461125416740722698/24333048861412576279*c_0101_5^7 - 18007499647157320900960/24333048861412576279*c_0101_5^6 + 718470788317756991462/24333048861412576279*c_0101_5^5 + 5450346857709799543531/24333048861412576279*c_0101_5^4 + 1778528482613422610376/24333048861412576279*c_0101_5^3 + 5975443129703998521/24333048861412576279*c_0101_5^2 - 177560052507768485035/24333048861412576279*c_0101_5 - 43077379429928713655/24333048861412576279, c_0101_0 - 1021433545861093695/24333048861412576279*c_0101_5^19 + 2974868352798278282/24333048861412576279*c_0101_5^18 + 8364936592767979401/24333048861412576279*c_0101_5^17 - 45791245899195159827/24333048861412576279*c_0101_5^16 - 5115872671388637187/24333048861412576279*c_0101_5^15 + 255362191654559250330/24333048861412576279*c_0101_5^14 - 213534148666924678377/24333048861412576279*c_0101_5^13 - 623616316916548735229/24333048861412576279*c_0101_5^12 + 1113338483291252141428/24333048861412576279*c_0101_5^11 + 418891413870221179482/24333048861412576279*c_0101_5^10 - 2159289388324453809451/24333048861412576279*c_0101_5^9 + 731919695002536527279/24333048861412576279*c_0101_5^8 + 1734912917494931006982/24333048861412576279*c_0101_5^7 - 1172871688388390361219/24333048861412576279*c_0101_5^6 - 648931511134919389760/24333048861412576279*c_0101_5^5 + 427497700580818212964/24333048861412576279*c_0101_5^4 + 278324428346757818612/24333048861412576279*c_0101_5^3 + 29830610801051595764/24333048861412576279*c_0101_5^2 - 77875383936500382435/24333048861412576279*c_0101_5 - 7054376730286735415/24333048861412576279, c_0101_1 + 5700028973224212449/24333048861412576279*c_0101_5^19 - 12956779497426795552/24333048861412576279*c_0101_5^18 - 64770974341387993686/24333048861412576279*c_0101_5^17 + 227558806314329162487/24333048861412576279*c_0101_5^16 + 291496135869456207995/24333048861412576279*c_0101_5^15 - 1513813793709044657799/24333048861412576279*c_0101_5^14 - 456214100651253383892/24333048861412576279*c_0101_5^13 + 4985710229021457543454/24333048861412576279*c_0101_5^12 - 980489316592435289032/24333048861412576279*c_0101_5^11 - 8466849033249496259526/24333048861412576279*c_0101_5^10 + 4246592912949557414380/24333048861412576279*c_0101_5^9 + 7377710389240917421007/24333048861412576279*c_0101_5^8 - 4730703886700809495083/24333048861412576279*c_0101_5^7 - 3576920300560630601008/24333048861412576279*c_0101_5^6 + 1553106236086984063869/24333048861412576279*c_0101_5^5 + 1253754714669248040846/24333048861412576279*c_0101_5^4 + 201327225688404949231/24333048861412576279*c_0101_5^3 - 208150407317993890594/24333048861412576279*c_0101_5^2 - 31149433477686657790/24333048861412576279*c_0101_5 + 21653491979212225289/24333048861412576279, c_0101_3 + 3700990428061444685/24333048861412576279*c_0101_5^19 - 2633953143974767813/24333048861412576279*c_0101_5^18 - 53476398676598986833/24333048861412576279*c_0101_5^17 + 80163876199220152771/24333048861412576279*c_0101_5^16 + 398807205682139561054/24333048861412576279*c_0101_5^15 - 644473503863992193795/24333048861412576279*c_0101_5^14 - 1699533620489972276932/24333048861412576279*c_0101_5^13 + 2490578033132999659667/24333048861412576279*c_0101_5^12 + 3976874464136019090636/24333048861412576279*c_0101_5^11 - 5622362376810409628754/24333048861412576279*c_0101_5^10 - 5144631958050090120415/24333048861412576279*c_0101_5^9 + 7684063726650767027541/24333048861412576279*c_0101_5^8 + 3930560624019962131415/24333048861412576279*c_0101_5^7 - 5894405799591125197144/24333048861412576279*c_0101_5^6 - 2266138239522224516718/24333048861412576279*c_0101_5^5 + 1897320917579866936025/24333048861412576279*c_0101_5^4 + 1063855663435101804904/24333048861412576279*c_0101_5^3 + 85750794656942121787/24333048861412576279*c_0101_5^2 - 138096657106485143760/24333048861412576279*c_0101_5 - 24095056747399922375/24333048861412576279, c_0101_5^20 - 2*c_0101_5^19 - 12*c_0101_5^18 + 37*c_0101_5^17 + 62*c_0101_5^16 - 254*c_0101_5^15 - 149*c_0101_5^14 + 867*c_0101_5^13 + 39*c_0101_5^12 - 1576*c_0101_5^11 + 434*c_0101_5^10 + 1556*c_0101_5^9 - 639*c_0101_5^8 - 872*c_0101_5^7 + 247*c_0101_5^6 + 288*c_0101_5^5 + 33*c_0101_5^4 - 32*c_0101_5^3 - 12*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB