Magma V2.19-8 Tue Aug 20 2013 16:16:49 on localhost [Seed = 2867541628] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1084 geometric_solution 4.95172273 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.044704266426 1.665203661272 0 2 2 4 0132 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 -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.491944891895 0.300047323893 3 0 1 1 1230 0132 2310 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 0 0 0 0 0 1 -1 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.518408630251 0.903653097978 4 2 5 0 1230 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 1 -1 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.934722644159 1.123580273531 1 3 0 5 3012 3012 0132 3201 0 0 0 0 0 1 -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 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 -1.829203895098 1.606732401226 6 4 6 3 0132 2310 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 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.485908725979 0.342557325261 5 5 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466477687422 0.101063639742 ==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' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), '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_3'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_4, c_0011_5, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 3124739457896471/17877284804044*c_0101_2*c_0101_5^11 + 4140092139349075/4469321201011*c_0101_2*c_0101_5^10 - 178626866536297957/71509139216176*c_0101_2*c_0101_5^9 + 4376147102843279/8938642402022*c_0101_2*c_0101_5^8 + 496872363953690885/286036556864704*c_0101_2*c_0101_5^7 - 82481703021053439/286036556864704*c_0101_2*c_0101_5^6 - 424461937426297691/143018278432352*c_0101_2*c_0101_5^5 + 46582432833024883/286036556864704*c_0101_2*c_0101_5^4 + 186344894274189247/286036556864704*c_0101_2*c_0101_5^3 + 67147861555423103/143018278432352*c_0101_2*c_0101_5^2 - 71295102713382337/286036556864704*c_0101_2*c_0101_5 - 11524126599405881/286036556864704*c_0101_2, c_0011_0 - 1, c_0011_3 - 480813876384/109007834171*c_0101_2*c_0101_5^11 + 2528553110896/109007834171*c_0101_2*c_0101_5^10 - 6742169002520/109007834171*c_0101_2*c_0101_5^9 + 930811975916/109007834171*c_0101_2*c_0101_5^8 + 5203894377142/109007834171*c_0101_2*c_0101_5^7 - 690323463797/109007834171*c_0101_2*c_0101_5^6 - 8473317247579/109007834171*c_0101_2*c_0101_5^5 + 634801992843/218015668342*c_0101_2*c_0101_5^4 + 4326174431789/218015668342*c_0101_2*c_0101_5^3 + 2619696290589/218015668342*c_0101_2*c_0101_5^2 - 660207342462/109007834171*c_0101_2*c_0101_5 - 269603397593/218015668342*c_0101_2, c_0011_4 + 501479775408/109007834171*c_0101_2*c_0101_5^11 - 2610291412064/109007834171*c_0101_2*c_0101_5^10 + 6920396952940/109007834171*c_0101_2*c_0101_5^9 - 737213783064/109007834171*c_0101_2*c_0101_5^8 - 5132968214011/109007834171*c_0101_2*c_0101_5^7 + 586052164321/109007834171*c_0101_2*c_0101_5^6 + 16906317784325/218015668342*c_0101_2*c_0101_5^5 + 390023607807/218015668342*c_0101_2*c_0101_5^4 - 3498515157625/218015668342*c_0101_2*c_0101_5^3 - 2372509089699/218015668342*c_0101_2*c_0101_5^2 + 503884453880/109007834171*c_0101_2*c_0101_5 + 78415112007/109007834171*c_0101_2, c_0011_5 + 35693688/188921723*c_0101_5^11 - 128947504/188921723*c_0101_5^10 + 213140874/188921723*c_0101_5^9 + 695085396/188921723*c_0101_5^8 - 971190085/377843446*c_0101_5^7 + 354590517/377843446*c_0101_5^6 + 201307281/188921723*c_0101_5^5 + 1448497955/377843446*c_0101_5^4 + 766700737/377843446*c_0101_5^3 + 154613802/188921723*c_0101_5^2 - 687710743/377843446*c_0101_5 + 83000657/377843446, c_0101_2^2 - 414243964484/109007834171*c_0101_5^11 + 2143075089384/109007834171*c_0101_5^10 - 5643222201483/109007834171*c_0101_5^9 + 401230775554/109007834171*c_0101_5^8 + 17301154954923/436031336684*c_0101_5^7 - 1353229039011/436031336684*c_0101_5^6 - 14236318246773/218015668342*c_0101_5^5 - 1557807266991/436031336684*c_0101_5^4 + 6271278682175/436031336684*c_0101_5^3 + 2071687581123/218015668342*c_0101_5^2 - 1830418642487/436031336684*c_0101_5 - 999920604949/436031336684, c_0101_3 - 174471621848/109007834171*c_0101_5^11 + 934432645360/109007834171*c_0101_5^10 - 2554349502914/109007834171*c_0101_5^9 + 671966015020/109007834171*c_0101_5^8 + 3230717901121/218015668342*c_0101_5^7 - 990979618273/218015668342*c_0101_5^6 - 2669999537552/109007834171*c_0101_5^5 + 777760051377/218015668342*c_0101_5^4 + 725751633075/218015668342*c_0101_5^3 + 300821508576/109007834171*c_0101_5^2 - 185119173033/218015668342*c_0101_5 + 32213151895/218015668342, c_0101_5^12 - 5*c_0101_5^11 + 51/4*c_0101_5^10 + 5/4*c_0101_5^9 - 163/16*c_0101_5^8 - 5/4*c_0101_5^7 + 273/16*c_0101_5^6 + 65/16*c_0101_5^5 - 13/4*c_0101_5^4 - 57/16*c_0101_5^3 + 9/16*c_0101_5^2 + 1/2*c_0101_5 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB