Magma V2.19-8 Tue Aug 20 2013 16:18:38 on localhost [Seed = 913812231] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2804 geometric_solution 6.03550240 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 0213 0132 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 -1 0 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 0 0 0 0.735044449337 0.587200527230 0 4 0 5 0132 0132 0213 0132 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 -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.561852723377 0.154603143915 5 4 6 0 0132 0321 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842089559982 0.469312212960 3 4 0 3 3012 2031 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.752848653394 0.942515498808 3 1 6 2 1302 0132 1302 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582541398204 1.020498073402 2 5 1 5 0132 1302 0132 2031 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 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 0 0 0 0 0 0 0.778842653282 0.596001709534 4 6 6 2 2031 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.841046408716 0.571782697586 ==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' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : 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_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : 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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_2']})} 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_2, c_0011_3, c_0101_0, c_0101_2, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 80820113868782695/37405998693*c_1001_0^16 - 286211475076522292/37405998693*c_1001_0^15 - 552025838966926745/37405998693*c_1001_0^14 - 120446747587453087/4156222077*c_1001_0^13 - 1060439974005269086/37405998693*c_1001_0^12 - 83764005454927718/5343714099*c_1001_0^11 + 489332212643537008/37405998693*c_1001_0^10 + 252625711873281140/4156222077*c_1001_0^9 + 3314131977842910706/37405998693*c_1001_0^8 + 3020621045156435467/37405998693*c_1001_0^7 + 28508064403874588/593746011*c_1001_0^6 - 25396667431163479/4156222077*c_1001_0^5 - 1776040726970549216/37405998693*c_1001_0^4 - 1676149279120884845/37405998693*c_1001_0^3 - 759497881005260914/37405998693*c_1001_0^2 - 173335866244441148/37405998693*c_1001_0 - 16020886908169999/37405998693, c_0011_0 - 1, c_0011_2 + 3252661789454/21990593*c_1001_0^16 + 11532655365077/21990593*c_1001_0^15 + 22259344878979/21990593*c_1001_0^14 + 43702193799240/21990593*c_1001_0^13 + 42829644776394/21990593*c_1001_0^12 + 23710040133986/21990593*c_1001_0^11 - 19643952398930/21990593*c_1001_0^10 - 91610437388891/21990593*c_1001_0^9 - 133720116205143/21990593*c_1001_0^8 - 121978424227193/21990593*c_1001_0^7 - 72611159832768/21990593*c_1001_0^6 + 9041583060758/21990593*c_1001_0^5 + 71588729924525/21990593*c_1001_0^4 + 67710574791863/21990593*c_1001_0^3 + 30737805451530/21990593*c_1001_0^2 + 7028319124591/21990593*c_1001_0 + 650937860092/21990593, c_0011_3 - 2110211463965/21990593*c_1001_0^16 - 7495239360994/21990593*c_1001_0^15 - 14482893643801/21990593*c_1001_0^14 - 28426647955517/21990593*c_1001_0^13 - 27935054016299/21990593*c_1001_0^12 - 15497932389755/21990593*c_1001_0^11 + 12694295425567/21990593*c_1001_0^10 + 59533936626202/21990593*c_1001_0^9 + 87087257886518/21990593*c_1001_0^8 + 79548195855630/21990593*c_1001_0^7 + 47439912077144/21990593*c_1001_0^6 - 5703093954305/21990593*c_1001_0^5 - 46547059333355/21990593*c_1001_0^4 - 44180505005423/21990593*c_1001_0^3 - 20117288728271/21990593*c_1001_0^2 - 4614163569896/21990593*c_1001_0 - 428715226748/21990593, c_0101_0 - 1451970700631/21990593*c_1001_0^16 - 5152889920420/21990593*c_1001_0^15 - 9952458962713/21990593*c_1001_0^14 - 19537639363101/21990593*c_1001_0^13 - 19176477261967/21990593*c_1001_0^12 - 10634268129990/21990593*c_1001_0^11 + 8747122621696/21990593*c_1001_0^10 + 40928823244254/21990593*c_1001_0^9 + 59820375243085/21990593*c_1001_0^8 + 54618872672799/21990593*c_1001_0^7 + 32552213792966/21990593*c_1001_0^6 - 3963565277006/21990593*c_1001_0^5 - 31989291079976/21990593*c_1001_0^4 - 30326047772975/21990593*c_1001_0^3 - 13797390912631/21990593*c_1001_0^2 - 3162921681678/21990593*c_1001_0 - 293821007653/21990593, c_0101_2 + 3907654671558/21990593*c_1001_0^16 + 13855948689517/21990593*c_1001_0^15 + 26745220744500/21990593*c_1001_0^14 + 52509151858525/21990593*c_1001_0^13 + 51466987763870/21990593*c_1001_0^12 + 28497242663052/21990593*c_1001_0^11 - 23594223537816/21990593*c_1001_0^10 - 110064482643459/21990593*c_1001_0^9 - 160675597440522/21990593*c_1001_0^8 - 146581057104520/21990593*c_1001_0^7 - 87266509359875/21990593*c_1001_0^6 + 10843610104558/21990593*c_1001_0^5 + 86009779198269/21990593*c_1001_0^4 + 81368629854800/21990593*c_1001_0^3 + 36946694655743/21990593*c_1001_0^2 + 8450463490411/21990593*c_1001_0 + 782935196513/21990593, c_0101_6 + 4233441092760/21990593*c_1001_0^16 + 15029264265895/21990593*c_1001_0^15 + 29030644610005/21990593*c_1001_0^14 + 56984391497223/21990593*c_1001_0^13 + 55954803469127/21990593*c_1001_0^12 + 31017709246076/21990593*c_1001_0^11 - 25498675784479/21990593*c_1001_0^10 - 119380234378292/21990593*c_1001_0^9 - 174515576317693/21990593*c_1001_0^8 - 159334733360712/21990593*c_1001_0^7 - 94966562252763/21990593*c_1001_0^6 + 11546550889136/21990593*c_1001_0^5 + 93327677780629/21990593*c_1001_0^4 + 88481609025918/21990593*c_1001_0^3 + 40246840439364/21990593*c_1001_0^2 + 9220651274571/21990593*c_1001_0 + 855680789126/21990593, c_1001_0^17 + 4*c_1001_0^16 + 93/11*c_1001_0^15 + 182/11*c_1001_0^14 + 212/11*c_1001_0^13 + 146/11*c_1001_0^12 - 30/11*c_1001_0^11 - 340/11*c_1001_0^10 - 593/11*c_1001_0^9 - 618/11*c_1001_0^8 - 433/11*c_1001_0^7 - 81/11*c_1001_0^6 + 256/11*c_1001_0^5 + 339/11*c_1001_0^4 + 208/11*c_1001_0^3 + 71/11*c_1001_0^2 + 13/11*c_1001_0 + 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB