Magma V2.19-8 Tue Aug 20 2013 16:15:51 on localhost [Seed = 408519730] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0073 geometric_solution 3.62446495 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 1 0 -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 2.275195024540 0.049586774656 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.540101096802 0.312299556030 1 1 3 3 2310 0132 0132 3201 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 1 0 -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.165358070811 0.065728170031 4 2 4 2 0132 2310 2310 0132 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 0 0 0 1 0 -1 0 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.978037447246 1.392074535108 3 3 5 6 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 1 -1 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.062991861203 1.940569055464 6 6 6 4 1302 1023 2031 0132 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 -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.502846233779 0.506389513511 5 5 4 5 1023 2031 0132 1302 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 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.502846233779 0.506389513511 ==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_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' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], '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_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : 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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 11479345860386/301163475415*c_0101_3^19 + 194927592848709/301163475415*c_0101_3^18 - 1363053693750157/301163475415*c_0101_3^17 + 4831424273976206/301163475415*c_0101_3^16 - 7718509746293974/301163475415*c_0101_3^15 - 502419800588919/60232695083*c_0101_3^14 + 5948315179661275/60232695083*c_0101_3^13 - 655772452233841/5475699553*c_0101_3^12 - 15146577369222861/301163475415*c_0101_3^11 + 5851304033834386/27378497765*c_0101_3^10 - 28276345411020576/301163475415*c_0101_3^9 - 37784712470057412/301163475415*c_0101_3^8 + 33174682690094911/301163475415*c_0101_3^7 + 795666273469811/27378497765*c_0101_3^6 - 2760510644673233/60232695083*c_0101_3^5 - 1209833554784267/301163475415*c_0101_3^4 + 3078557741537246/301163475415*c_0101_3^3 + 391712071193979/301163475415*c_0101_3^2 - 313498177623362/301163475415*c_0101_3 - 40057259015467/301163475415, c_0011_0 - 1, c_0011_3 + 1144181475/5475699553*c_0101_3^19 - 19173431207/5475699553*c_0101_3^18 + 131651837536/5475699553*c_0101_3^17 - 453481376089/5475699553*c_0101_3^16 + 678113879367/5475699553*c_0101_3^15 + 360420708220/5475699553*c_0101_3^14 - 2793555353382/5475699553*c_0101_3^13 + 2914531510506/5475699553*c_0101_3^12 + 1963541966102/5475699553*c_0101_3^11 - 5504779195600/5475699553*c_0101_3^10 + 1375466910297/5475699553*c_0101_3^9 + 3597249326842/5475699553*c_0101_3^8 - 1922543279651/5475699553*c_0101_3^7 - 1266256138724/5475699553*c_0101_3^6 + 786518770201/5475699553*c_0101_3^5 + 334989735854/5475699553*c_0101_3^4 - 148031979867/5475699553*c_0101_3^3 - 72284665103/5475699553*c_0101_3^2 - 1873871206/5475699553*c_0101_3 + 5482399473/5475699553, c_0011_5 - 382273637/5475699553*c_0101_3^19 + 6169551154/5475699553*c_0101_3^18 - 40146206341/5475699553*c_0101_3^17 + 125984192554/5475699553*c_0101_3^16 - 141452988892/5475699553*c_0101_3^15 - 244368666328/5475699553*c_0101_3^14 + 877373490303/5475699553*c_0101_3^13 - 523392684711/5475699553*c_0101_3^12 - 1111896998897/5475699553*c_0101_3^11 + 1573564852835/5475699553*c_0101_3^10 + 280386022492/5475699553*c_0101_3^9 - 1405572100321/5475699553*c_0101_3^8 + 247131308734/5475699553*c_0101_3^7 + 656089407481/5475699553*c_0101_3^6 - 156259840817/5475699553*c_0101_3^5 - 202968477399/5475699553*c_0101_3^4 + 27459060675/5475699553*c_0101_3^3 + 53096979968/5475699553*c_0101_3^2 + 5002986777/5475699553*c_0101_3 - 3262815594/5475699553, c_0101_0 - 22281049/5475699553*c_0101_3^19 + 561056441/5475699553*c_0101_3^18 - 5702183445/5475699553*c_0101_3^17 + 30359419396/5475699553*c_0101_3^16 - 87593482599/5475699553*c_0101_3^15 + 107162875146/5475699553*c_0101_3^14 + 95880079478/5475699553*c_0101_3^13 - 469850731124/5475699553*c_0101_3^12 + 404295328603/5475699553*c_0101_3^11 + 344456380284/5475699553*c_0101_3^10 - 707814957253/5475699553*c_0101_3^9 + 50142595982/5475699553*c_0101_3^8 + 408372465329/5475699553*c_0101_3^7 - 16163280116/5475699553*c_0101_3^6 - 205047507344/5475699553*c_0101_3^5 - 39950202954/5475699553*c_0101_3^4 + 89121704233/5475699553*c_0101_3^3 + 19892555205/5475699553*c_0101_3^2 - 14732235343/5475699553*c_0101_3 - 4890897875/5475699553, c_0101_1 + 645343373/5475699553*c_0101_3^19 - 10755552999/5475699553*c_0101_3^18 + 73082342287/5475699553*c_0101_3^17 - 245644982844/5475699553*c_0101_3^16 + 334058170622/5475699553*c_0101_3^15 + 335758760232/5475699553*c_0101_3^14 - 1746370280308/5475699553*c_0101_3^13 + 1558972753320/5475699553*c_0101_3^12 + 1755152197928/5475699553*c_0101_3^11 - 3902206500078/5475699553*c_0101_3^10 + 663807393862/5475699553*c_0101_3^9 + 3154894580507/5475699553*c_0101_3^8 - 1851887058775/5475699553*c_0101_3^7 - 1049722113298/5475699553*c_0101_3^6 + 978876270093/5475699553*c_0101_3^5 + 175456209034/5475699553*c_0101_3^4 - 240735378821/5475699553*c_0101_3^3 - 31720925239/5475699553*c_0101_3^2 + 34430217827/5475699553*c_0101_3 + 255821675/5475699553, c_0101_2 - 264183606/5475699553*c_0101_3^19 + 4930655696/5475699553*c_0101_3^18 - 38760294157/5475699553*c_0101_3^17 + 161491099184/5475699553*c_0101_3^16 - 348993595159/5475699553*c_0101_3^15 + 193027281263/5475699553*c_0101_3^14 + 834307077832/5475699553*c_0101_3^13 - 1893725684426/5475699553*c_0101_3^12 + 738212411634/5475699553*c_0101_3^11 + 2258307213326/5475699553*c_0101_3^10 - 2798578265835/5475699553*c_0101_3^9 - 278512514176/5475699553*c_0101_3^8 + 2200175693889/5475699553*c_0101_3^7 - 731833839363/5475699553*c_0101_3^6 - 744249687618/5475699553*c_0101_3^5 + 394495856447/5475699553*c_0101_3^4 + 130944069744/5475699553*c_0101_3^3 - 74856090688/5475699553*c_0101_3^2 - 19802615414/5475699553*c_0101_3 + 2836379768/5475699553, c_0101_3^20 - 17*c_0101_3^19 + 119*c_0101_3^18 - 422*c_0101_3^17 + 672*c_0101_3^16 + 238*c_0101_3^15 - 2655*c_0101_3^14 + 3205*c_0101_3^13 + 1426*c_0101_3^12 - 5919*c_0101_3^11 + 2614*c_0101_3^10 + 3599*c_0101_3^9 - 3277*c_0101_3^8 - 783*c_0101_3^7 + 1443*c_0101_3^6 + 37*c_0101_3^5 - 332*c_0101_3^4 - 11*c_0101_3^3 + 39*c_0101_3^2 + c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB