Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 576962255] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1942 geometric_solution 5.53144698 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1.866700270886 0.488993629116 0 2 3 0 3201 0132 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 1 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 0 0 0 0.510107821782 0.886120685793 4 1 3 5 0132 0132 1302 0132 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 0 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.350396563532 0.420843865936 2 5 6 1 2031 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350396563532 0.420843865936 2 5 6 6 0132 0132 2310 3120 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 -1 1 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.565652248159 0.586323248773 6 4 2 3 2310 0132 0132 3201 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 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 2.096125517071 1.344741668099 4 4 5 3 3120 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.565652248159 0.586323248773 ==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' : negation(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' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_1001_3']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_1001_3']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0011_6, c_0101_0, c_0101_4, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 364032822020271/3801587847832*c_1001_3^15 - 133963549339929/3801587847832*c_1001_3^14 - 2864079633931681/3801587847832*c_1001_3^13 - 11662167857962287/1900793923916*c_1001_3^12 - 51045389788259107/1900793923916*c_1001_3^11 - 112998188019307685/1900793923916*c_1001_3^10 - 125307336112603815/1900793923916*c_1001_3^9 - 57719130772767999/3801587847832*c_1001_3^8 + 202857242947869989/3801587847832*c_1001_3^7 + 266924243828417013/3801587847832*c_1001_3^6 + 125582517012910851/3801587847832*c_1001_3^5 - 1471998301323521/1900793923916*c_1001_3^4 - 19364383875921477/3801587847832*c_1001_3^3 + 1414030758028843/1900793923916*c_1001_3^2 + 2970649698702069/1900793923916*c_1001_3 + 1245720175216833/3801587847832, c_0011_0 - 1, c_0011_1 + 388745960145/475198480979*c_1001_3^15 + 210192058436/475198480979*c_1001_3^14 - 3452472573463/475198480979*c_1001_3^13 - 27586575072386/475198480979*c_1001_3^12 - 129315198404479/475198480979*c_1001_3^11 - 324045135910574/475198480979*c_1001_3^10 - 414596578273838/475198480979*c_1001_3^9 - 155882343533383/475198480979*c_1001_3^8 + 290468614372896/475198480979*c_1001_3^7 + 452313993577072/475198480979*c_1001_3^6 + 225547861880979/475198480979*c_1001_3^5 - 13233263490976/475198480979*c_1001_3^4 - 41415019273789/475198480979*c_1001_3^3 + 6998546883947/475198480979*c_1001_3^2 + 11517638916177/475198480979*c_1001_3 + 1498870079772/475198480979, c_0011_3 + 80529801384/475198480979*c_1001_3^15 - 296492171199/475198480979*c_1001_3^14 - 476311586970/475198480979*c_1001_3^13 - 2992031496109/475198480979*c_1001_3^12 - 6150219315820/475198480979*c_1001_3^11 + 20570992171858/475198480979*c_1001_3^10 + 89072936777624/475198480979*c_1001_3^9 + 118519876111101/475198480979*c_1001_3^8 + 28151403458355/475198480979*c_1001_3^7 - 96205231200648/475198480979*c_1001_3^6 - 107768109162695/475198480979*c_1001_3^5 - 29985981206495/475198480979*c_1001_3^4 + 13483052313437/475198480979*c_1001_3^3 + 4202222420375/475198480979*c_1001_3^2 - 3983007205337/475198480979*c_1001_3 - 1229084735836/475198480979, c_0011_6 + 837274310617/475198480979*c_1001_3^15 - 581556669872/475198480979*c_1001_3^14 - 6344728683748/475198480979*c_1001_3^13 - 51635300609045/475198480979*c_1001_3^12 - 218328029420900/475198480979*c_1001_3^11 - 451534533341465/475198480979*c_1001_3^10 - 441177325056147/475198480979*c_1001_3^9 - 10708207961102/475198480979*c_1001_3^8 + 455049376759343/475198480979*c_1001_3^7 + 474557266932388/475198480979*c_1001_3^6 + 158107940811062/475198480979*c_1001_3^5 - 43314709920533/475198480979*c_1001_3^4 - 30564073148708/475198480979*c_1001_3^3 + 13177875827552/475198480979*c_1001_3^2 + 9218981748574/475198480979*c_1001_3 + 831369770111/475198480979, c_0101_0 + 1242896718355/475198480979*c_1001_3^15 - 539743519351/475198480979*c_1001_3^14 - 9718869264034/475198480979*c_1001_3^13 - 78926310391540/475198480979*c_1001_3^12 - 343731354483083/475198480979*c_1001_3^11 - 750628152827822/475198480979*c_1001_3^10 - 816269751333484/475198480979*c_1001_3^9 - 168557332895506/475198480979*c_1001_3^8 + 678479373312566/475198480979*c_1001_3^7 + 868855332931530/475198480979*c_1001_3^6 + 401226803453917/475198480979*c_1001_3^5 - 12454975358196/475198480979*c_1001_3^4 - 61522410897752/475198480979*c_1001_3^3 + 9702728129382/475198480979*c_1001_3^2 + 19250820583198/475198480979*c_1001_3 + 3550370223317/475198480979, c_0101_4 - c_1001_3, c_1001_3^16 - 8*c_1001_3^14 - 67*c_1001_3^13 - 304*c_1001_3^12 - 724*c_1001_3^11 - 916*c_1001_3^10 - 407*c_1001_3^9 + 508*c_1001_3^8 + 944*c_1001_3^7 + 610*c_1001_3^6 + 109*c_1001_3^5 - 61*c_1001_3^4 - 11*c_1001_3^3 + 20*c_1001_3^2 + 9*c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB