Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 1713896104] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0323 geometric_solution 4.35519204 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.135310934744 0.226744510850 0 0 2 2 0132 3201 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 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 1.535870426629 0.455750990251 3 1 1 4 0132 3201 0132 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 1 -1 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.030107063656 0.146615777959 2 5 6 4 0132 0132 0132 2031 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.097750436688 0.622798694651 5 3 2 6 0321 1302 0132 2031 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 -1 -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.097750436688 0.622798694651 4 3 6 6 0321 0132 3201 0132 0 0 0 0 0 0 1 -1 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 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.581567476454 0.432277127009 5 4 5 3 2310 1302 0132 0132 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.107569847834 0.823252900426 ==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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), '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_3'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 1037825237302169139712219/1068086342387535955636812*c_0101_3^14 - 2956507276056791063542015/356028780795845318545604*c_0101_3^13 - 33605855130336158502275167/1068086342387535955636812*c_0101_3^12 + 3026780994195201519709637/267021585596883988909203*c_0101_3^11 + 4544313884512682498794989/16183126399811150842982*c_0101_3^10 + 7159635544220679112245987/32366252799622301685964*c_0101_3^9 - 188451382974549857662274523/178014390397922659272802*c_0101_3^8 - 88769028324350344065809118/89007195198961329636401*c_0101_3^7 + 2116606325307970944818226085/1068086342387535955636812*c_0101_3^6 + 577900558139520903024062673/356028780795845318545604*c_0101_3^5 - 354290594360385729355647835/178014390397922659272802*c_0101_3^4 - 1353276190671119750379561439/1068086342387535955636812*c_0101_3^3 + 235678730403326071750135262/267021585596883988909203*c_0101_3^2 + 67239418836513876392899697/178014390397922659272802*c_0101_3 - 111110770822676894401812169/1068086342387535955636812, c_0011_0 - 1, c_0011_2 + 514634967467577781/166836354637228359206*c_0101_3^14 + 29953168849748695702/917599950504755975633*c_0101_3^13 + 273367268076218619607/1835199901009511951266*c_0101_3^12 + 258820729198579165067/1835199901009511951266*c_0101_3^11 - 1859214965179140320805/1835199901009511951266*c_0101_3^10 - 1938743976491118236881/917599950504755975633*c_0101_3^9 + 2677135045209295408288/917599950504755975633*c_0101_3^8 + 7256532199372110020919/917599950504755975633*c_0101_3^7 - 9854005042236921528077/1835199901009511951266*c_0101_3^6 - 9793524542297337483816/917599950504755975633*c_0101_3^5 + 6265715006656459359935/917599950504755975633*c_0101_3^4 + 9284355682750164928267/1835199901009511951266*c_0101_3^3 - 5427399803103278475315/1835199901009511951266*c_0101_3^2 + 1091993620853236872157/1835199901009511951266*c_0101_3 + 42997136030387092998/917599950504755975633, c_0011_4 + 8173024158898657697/3670399802019023902532*c_0101_3^14 + 64825795055150641447/3670399802019023902532*c_0101_3^13 + 234745505899548364469/3670399802019023902532*c_0101_3^12 - 42221190067185339605/917599950504755975633*c_0101_3^11 - 1021802534977057376373/1835199901009511951266*c_0101_3^10 - 1095057905546905167845/3670399802019023902532*c_0101_3^9 + 3526905241707867969463/1835199901009511951266*c_0101_3^8 + 1194557252002016809507/917599950504755975633*c_0101_3^7 - 8668619569622112999119/3670399802019023902532*c_0101_3^6 - 8198625099353869687233/3670399802019023902532*c_0101_3^5 + 2232255315819103566049/1835199901009511951266*c_0101_3^4 + 415558877602792203175/333672709274456718412*c_0101_3^3 - 224216722055278404410/917599950504755975633*c_0101_3^2 + 872904461791634505063/1835199901009511951266*c_0101_3 - 24696377497206449769/3670399802019023902532, c_0011_6 + 8173024158898657697/3670399802019023902532*c_0101_3^14 + 64825795055150641447/3670399802019023902532*c_0101_3^13 + 234745505899548364469/3670399802019023902532*c_0101_3^12 - 42221190067185339605/917599950504755975633*c_0101_3^11 - 1021802534977057376373/1835199901009511951266*c_0101_3^10 - 1095057905546905167845/3670399802019023902532*c_0101_3^9 + 3526905241707867969463/1835199901009511951266*c_0101_3^8 + 1194557252002016809507/917599950504755975633*c_0101_3^7 - 8668619569622112999119/3670399802019023902532*c_0101_3^6 - 8198625099353869687233/3670399802019023902532*c_0101_3^5 + 2232255315819103566049/1835199901009511951266*c_0101_3^4 + 415558877602792203175/333672709274456718412*c_0101_3^3 - 224216722055278404410/917599950504755975633*c_0101_3^2 + 872904461791634505063/1835199901009511951266*c_0101_3 - 24696377497206449769/3670399802019023902532, c_0101_0 - 18926484141433887515/3670399802019023902532*c_0101_3^14 - 95057062085054949971/3670399802019023902532*c_0101_3^13 - 104213708999252638147/3670399802019023902532*c_0101_3^12 + 974637883787164928997/1835199901009511951266*c_0101_3^11 + 854743668791795467802/917599950504755975633*c_0101_3^10 - 11832242216687349556039/3670399802019023902532*c_0101_3^9 - 10514766278165582093851/1835199901009511951266*c_0101_3^8 + 996580724638491835065/83418177318614179603*c_0101_3^7 + 38949245342302879669913/3670399802019023902532*c_0101_3^6 - 73776177050240663091127/3670399802019023902532*c_0101_3^5 - 8587414163603650564667/1835199901009511951266*c_0101_3^4 + 50568901469208743715597/3670399802019023902532*c_0101_3^3 - 4715233665663862453703/1835199901009511951266*c_0101_3^2 - 1649670474934119421481/917599950504755975633*c_0101_3 + 5304414595158524187585/3670399802019023902532, c_0101_1 - 18102006575295265290/917599950504755975633*c_0101_3^14 - 268913232471684506139/1835199901009511951266*c_0101_3^13 - 437828704878731738657/917599950504755975633*c_0101_3^12 + 1351958299139673113275/1835199901009511951266*c_0101_3^11 + 8692213277390129500843/1835199901009511951266*c_0101_3^10 - 1911194811990688094359/1835199901009511951266*c_0101_3^9 - 17994987913037186069289/917599950504755975633*c_0101_3^8 + 4056567413196735371370/917599950504755975633*c_0101_3^7 + 31975412486204993926843/917599950504755975633*c_0101_3^6 - 29044364926974444106351/1835199901009511951266*c_0101_3^5 - 23943758366855920997287/917599950504755975633*c_0101_3^4 + 1522520748437646779522/83418177318614179603*c_0101_3^3 + 5501020094541097820569/1835199901009511951266*c_0101_3^2 - 10860265098548212116291/1835199901009511951266*c_0101_3 + 4319567861322209316459/1835199901009511951266, c_0101_3^15 + 8*c_0101_3^14 + 28*c_0101_3^13 - 27*c_0101_3^12 - 274*c_0101_3^11 - 75*c_0101_3^10 + 1137*c_0101_3^9 + 390*c_0101_3^8 - 2311*c_0101_3^7 - 380*c_0101_3^6 + 2457*c_0101_3^5 - 53*c_0101_3^4 - 1191*c_0101_3^3 + 266*c_0101_3^2 + 193*c_0101_3 - 97 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB