Magma V2.19-8 Tue Aug 20 2013 16:18:29 on localhost [Seed = 425231401] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2674 geometric_solution 5.93857973 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 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 0 0 1 -1 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.048179372863 1.035514576049 0 4 5 2 0132 1023 0132 2103 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 -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.044834216255 0.963617450356 6 0 5 1 0132 0132 2310 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.545056911755 1.197399213389 4 3 3 0 3201 1230 3012 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 -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.447581492517 0.824194263271 1 5 0 3 1023 2031 0132 2310 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 -1 1 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.048179372863 1.035514576049 4 2 6 1 1302 3201 0213 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 1 0 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.328679567422 0.559916301616 2 5 6 6 0132 0213 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603178372564 0.377459828419 ==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' : negation(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' : 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' : 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' : d['1'], 's_0_4' : negation(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_6'], 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0011_5']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 2764989195644054208/11120567086165*c_0101_6^14 + 1388149607612377472/11120567086165*c_0101_6^13 + 703104356242813824/11120567086165*c_0101_6^12 - 5181837781766821888/11120567086165*c_0101_6^11 + 4500088255807008652/11120567086165*c_0101_6^10 + 2953878506919500516/11120567086165*c_0101_6^9 - 6404861654156487942/11120567086165*c_0101_6^8 + 67015728748492252/2224113417233*c_0101_6^7 + 18431380451790666723/44482268344660*c_0101_6^6 - 70465149792396373/2341172018140*c_0101_6^5 - 6965324031827881797/44482268344660*c_0101_6^4 + 184217308114453635/8896453668932*c_0101_6^3 + 826342535338132597/22241134172330*c_0101_6^2 - 684399586483144007/44482268344660*c_0101_6 + 84364560821090461/44482268344660, c_0011_0 - 1, c_0011_3 - 3645164984876/2855087827*c_0101_6^14 + 2429510556168/2855087827*c_0101_6^13 + 819877775832/2855087827*c_0101_6^12 - 7019441752976/2855087827*c_0101_6^11 + 28015030426499/11420351308*c_0101_6^10 + 13047196594013/11420351308*c_0101_6^9 - 74320795269003/22840702616*c_0101_6^8 + 6279337149725/11420351308*c_0101_6^7 + 406921771092739/182725620928*c_0101_6^6 - 86860699049163/182725620928*c_0101_6^5 - 160530584627577/182725620928*c_0101_6^4 + 39552122685183/182725620928*c_0101_6^3 + 18765638991735/91362810464*c_0101_6^2 - 19496456215271/182725620928*c_0101_6 + 2747733098097/182725620928, c_0011_5 + 1447587798100/2855087827*c_0101_6^14 - 835467187320/2855087827*c_0101_6^13 - 438779139240/2855087827*c_0101_6^12 + 2737400017648/2855087827*c_0101_6^11 - 10088752788765/11420351308*c_0101_6^10 - 6316391360291/11420351308*c_0101_6^9 + 28423672922517/22840702616*c_0101_6^8 - 914992700787/11420351308*c_0101_6^7 - 165556128828061/182725620928*c_0101_6^6 + 16062359617717/182725620928*c_0101_6^5 + 68652865585191/182725620928*c_0101_6^4 - 6735405430529/182725620928*c_0101_6^3 - 8206607146633/91362810464*c_0101_6^2 + 5461111449465/182725620928*c_0101_6 - 432488404239/182725620928, c_0101_1 + 73789594140/2855087827*c_0101_6^14 + 486190294232/2855087827*c_0101_6^13 - 79547395640/2855087827*c_0101_6^12 - 34417784240/2855087827*c_0101_6^11 + 3165730571809/11420351308*c_0101_6^10 - 2285936134177/11420351308*c_0101_6^9 - 4881374229369/22840702616*c_0101_6^8 + 3656194078415/11420351308*c_0101_6^7 + 12523379096993/182725620928*c_0101_6^6 - 49216993318617/182725620928*c_0101_6^5 - 12808488431155/182725620928*c_0101_6^4 + 15903337231893/182725620928*c_0101_6^3 + 1703626866589/91362810464*c_0101_6^2 - 3388949746413/182725620928*c_0101_6 + 485362178619/182725620928, c_0101_2 - 6077137184/2855087827*c_0101_6^14 - 10820790848/2855087827*c_0101_6^13 + 8898539328/2855087827*c_0101_6^12 - 15235697536/2855087827*c_0101_6^11 - 17960622238/2855087827*c_0101_6^10 + 25926393838/2855087827*c_0101_6^9 - 12795347145/2855087827*c_0101_6^8 - 29452995674/2855087827*c_0101_6^7 + 124921140593/22840702616*c_0101_6^6 + 126338594239/22840702616*c_0101_6^5 - 56146810691/22840702616*c_0101_6^4 - 38156008459/22840702616*c_0101_6^3 + 9928279553/11420351308*c_0101_6^2 + 27707383931/22840702616*c_0101_6 + 5354752803/22840702616, c_0101_3 + 1693424911300/2855087827*c_0101_6^14 - 439864195864/2855087827*c_0101_6^13 - 646169672072/2855087827*c_0101_6^12 + 3022568297776/2855087827*c_0101_6^11 - 7983746245209/11420351308*c_0101_6^10 - 9904192727527/11420351308*c_0101_6^9 + 27291146859121/22840702616*c_0101_6^8 + 3101796664777/11420351308*c_0101_6^7 - 179202680682969/182725620928*c_0101_6^6 - 35350925764847/182725620928*c_0101_6^5 + 68911647891483/182725620928*c_0101_6^4 + 11835052775123/182725620928*c_0101_6^3 - 8114494350517/91362810464*c_0101_6^2 + 1831791894981/182725620928*c_0101_6 + 294330388957/182725620928, c_0101_6^15 - c_0101_6^14 + 2*c_0101_6^12 - 41/16*c_0101_6^11 - 1/4*c_0101_6^10 + 91/32*c_0101_6^9 - 41/32*c_0101_6^8 - 409/256*c_0101_6^7 + 61/64*c_0101_6^6 + 9/16*c_0101_6^5 - 51/128*c_0101_6^4 - 27/256*c_0101_6^3 + 35/256*c_0101_6^2 - 5/128*c_0101_6 + 1/256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB