Magma V2.19-8 Tue Aug 20 2013 16:19:26 on localhost [Seed = 913812234] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3525 geometric_solution 6.85137072 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 1023 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.625594354010 0.620561967587 0 4 0 3 0132 0132 1023 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625594354010 0.620561967587 5 0 6 3 0132 0132 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 -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.534131201807 0.834362504726 2 1 0 4 3012 2310 0132 2103 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 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.959271146900 0.975915954797 5 1 6 3 2310 0132 2310 2103 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 -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.534131201807 0.834362504726 2 5 4 5 0132 2310 3201 3201 0 0 0 0 0 -1 1 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 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.240955293321 1.119893048460 6 4 6 2 2031 3201 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603106462736 1.200448815626 ==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' : negation(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' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_6']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_1001_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 90686360211511330325280/2644997072239259174269*c_1001_2^20 - 729745651179218887677984/2644997072239259174269*c_1001_2^18 + 840200095283801590459349/2644997072239259174269*c_1001_2^16 - 683671122001401399579517/2644997072239259174269*c_1001_2^14 + 4247098539279521783767627/2644997072239259174269*c_1001_2^12 - 964096741951170948610954/2644997072239259174269*c_1001_2^10 + 3973124260759357960833678/2644997072239259174269*c_1001_2^8 - 369762585650645481621938/377856724605608453467*c_1001_2^6 + 1249354135296018173432322/2644997072239259174269*c_1001_2^4 - 1187278751203613196821143/2644997072239259174269*c_1001_2^2 - 35829699839046194770498/2644997072239259174269, c_0011_0 - 1, c_0011_3 + 66257672502372308448/377856724605608453467*c_1001_2^20 - 528265357112684416512/377856724605608453467*c_1001_2^18 + 566181506652803559699/377856724605608453467*c_1001_2^16 - 394153715129339485712/377856724605608453467*c_1001_2^14 + 3074093061063964961607/377856724605608453467*c_1001_2^12 - 734903087126463941369/377856724605608453467*c_1001_2^10 + 2727491214333895987871/377856724605608453467*c_1001_2^8 - 1785508679467559396543/377856724605608453467*c_1001_2^6 + 1535180951118086357683/377856724605608453467*c_1001_2^4 - 610722614623375330618/377856724605608453467*c_1001_2^2 + 324897643135659173209/377856724605608453467, c_0011_6 - 2877901670050798204288/377856724605608453467*c_1001_2^21 + 23179500247560514277600/377856724605608453467*c_1001_2^19 - 26872200398645026994396/377856724605608453467*c_1001_2^17 + 22166674439205785579115/377856724605608453467*c_1001_2^15 - 135047881821909619207019/377856724605608453467*c_1001_2^13 + 31574699660889722205610/377856724605608453467*c_1001_2^11 - 127975696847671658998089/377856724605608453467*c_1001_2^9 + 82231759426855815204159/377856724605608453467*c_1001_2^7 - 41303399025862712727434/377856724605608453467*c_1001_2^5 + 38606083610545193462901/377856724605608453467*c_1001_2^3 + 1077474874917405773511/377856724605608453467*c_1001_2, c_0101_0 - 4418151430850431992736/377856724605608453467*c_1001_2^21 + 35530152370151677825344/377856724605608453467*c_1001_2^19 - 40819868368672587706313/377856724605608453467*c_1001_2^17 + 33643287123311130622466/377856724605608453467*c_1001_2^15 - 207406291629125833197571/377856724605608453467*c_1001_2^13 + 46163139214147497359699/377856724605608453467*c_1001_2^11 - 196081807076777389302405/377856724605608453467*c_1001_2^9 + 126076645038074301664163/377856724605608453467*c_1001_2^7 - 61409318574281126955332/377856724605608453467*c_1001_2^5 + 59841199784187965789160/377856724605608453467*c_1001_2^3 + 2244218009901774988874/377856724605608453467*c_1001_2, c_0101_1 + 4418151430850431992736/377856724605608453467*c_1001_2^21 - 35530152370151677825344/377856724605608453467*c_1001_2^19 + 40819868368672587706313/377856724605608453467*c_1001_2^17 - 33643287123311130622466/377856724605608453467*c_1001_2^15 + 207406291629125833197571/377856724605608453467*c_1001_2^13 - 46163139214147497359699/377856724605608453467*c_1001_2^11 + 196081807076777389302405/377856724605608453467*c_1001_2^9 - 126076645038074301664163/377856724605608453467*c_1001_2^7 + 61409318574281126955332/377856724605608453467*c_1001_2^5 - 59841199784187965789160/377856724605608453467*c_1001_2^3 - 2244218009901774988874/377856724605608453467*c_1001_2, c_0101_2 - 60355274832064960480/377856724605608453467*c_1001_2^20 + 448577249231118936512/377856724605608453467*c_1001_2^18 - 237472223059760414595/377856724605608453467*c_1001_2^16 - 70404638219147766410/377856724605608453467*c_1001_2^14 - 2384817226345443170040/377856724605608453467*c_1001_2^12 - 1103942787869775795987/377856724605608453467*c_1001_2^10 - 1459212865083499612740/377856724605608453467*c_1001_2^8 + 314846423195084112129/377856724605608453467*c_1001_2^6 + 675481713398202602490/377856724605608453467*c_1001_2^4 + 267652118084537835163/377856724605608453467*c_1001_2^2 + 251123825586733286133/377856724605608453467, c_1001_2^22 - 8*c_1001_2^20 + 285/32*c_1001_2^18 - 29/4*c_1001_2^16 + 1491/32*c_1001_2^14 - 135/16*c_1001_2^12 + 1411/32*c_1001_2^10 - 845/32*c_1001_2^8 + 205/16*c_1001_2^6 - 411/32*c_1001_2^4 - 35/32*c_1001_2^2 - 1/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB