Magma V2.19-8 Tue Aug 20 2013 23:29:38 on localhost [Seed = 2430006980] Type ? for help. Type -D to quit. Loading file "K10a74__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a74 geometric_solution 8.31737872 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 9 1 2 2 3 0132 0132 0321 0132 0 0 0 0 0 0 0 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 -1 0 1 1 0 2 -3 0 -2 0 2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.303878219961 0.726410957358 0 4 6 5 0132 0132 0132 0132 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 3 0 -3 -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 0.271822431619 0.571540498791 5 0 0 7 0132 0132 0321 0132 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 1 0 -1 -1 0 1 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.303878219961 0.726410957358 6 8 0 4 2310 0132 0132 1023 0 0 0 0 0 1 0 -1 0 0 -1 1 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 -2 -1 3 0 0 3 -3 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.182729701346 0.701047325988 5 1 8 3 1023 0132 2031 1023 0 0 0 0 0 1 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 0 0 0 0 -3 0 3 3 0 0 -3 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.578227376708 1.132686636679 2 4 1 7 0132 1023 0132 2310 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 -3 3 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.274778567763 1.984957096107 6 6 3 1 1230 3012 3201 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.919178749963 0.794433225016 5 8 2 8 3201 1023 0132 1302 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 1 -1 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.311592378030 0.612340247094 7 3 7 4 1023 0132 2031 1302 0 0 0 0 0 -1 1 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 2 -2 0 0 0 1 -1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.311592378030 0.612340247094 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : d['c_0101_8'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_8' : d['c_0110_4'], 's_2_8' : 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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_8' : d['c_0101_4'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : d['c_0101_8'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_0101_8'], 'c_1010_7' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0101_8'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_8' : d['1'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), '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_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0110_8' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : negation(d['c_0101_6']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0110_4']), 'c_0110_6' : d['c_0011_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_4, c_0101_6, c_0101_8, c_0110_4, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 2659593263513484/142651785175*c_1001_2^16 + 21887649683021519/285303570350*c_1001_2^15 - 11715727823223177/57060714070*c_1001_2^14 + 108565601993843551/285303570350*c_1001_2^13 - 81684736370172699/142651785175*c_1001_2^12 + 7005450292454699/9838054150*c_1001_2^11 - 21657884061340627/28530357035*c_1001_2^10 + 202143937499474233/285303570350*c_1001_2^9 - 81860827170807329/142651785175*c_1001_2^8 + 120006587247237111/285303570350*c_1001_2^7 - 37131818036683948/142651785175*c_1001_2^6 + 21583483411683534/142651785175*c_1001_2^5 - 19254506570763457/285303570350*c_1001_2^4 + 4331405520269302/142651785175*c_1001_2^3 - 2211226007791341/285303570350*c_1001_2^2 + 356180552974772/142651785175*c_1001_2 + 4025838052911/142651785175, c_0011_0 - 1, c_0011_3 - 64211049029/435577970*c_1001_2^16 + 13661763929/87115594*c_1001_2^15 - 108225925841/435577970*c_1001_2^14 - 190555652683/435577970*c_1001_2^13 + 158001725862/217788985*c_1001_2^12 - 28113820089/15019930*c_1001_2^11 + 154439840107/87115594*c_1001_2^10 - 1036951672091/435577970*c_1001_2^9 + 662404788303/435577970*c_1001_2^8 - 676815428197/435577970*c_1001_2^7 + 139323190868/217788985*c_1001_2^6 - 123980609773/217788985*c_1001_2^5 + 22763877378/217788985*c_1001_2^4 - 45990869129/435577970*c_1001_2^3 - 6167054103/435577970*c_1001_2^2 - 1271189311/217788985*c_1001_2 - 2421689427/435577970, c_0011_6 + 4094827828961/4355779700*c_1001_2^16 - 12802046256693/4355779700*c_1001_2^15 + 6349082094511/871155940*c_1001_2^14 - 49145330421487/4355779700*c_1001_2^13 + 17401056429869/1088944925*c_1001_2^12 - 2546909963223/150199300*c_1001_2^11 + 14941428646239/871155940*c_1001_2^10 - 58687020508901/4355779700*c_1001_2^9 + 45564335701511/4355779700*c_1001_2^8 - 26737899636747/4355779700*c_1001_2^7 + 3950017052778/1088944925*c_1001_2^6 - 1641133169574/1088944925*c_1001_2^5 + 641437009201/1088944925*c_1001_2^4 - 560672143893/4355779700*c_1001_2^3 - 35255415243/4355779700*c_1001_2^2 + 11577271968/1088944925*c_1001_2 - 47050408059/4355779700, c_0101_0 + 75703871166/217788985*c_1001_2^16 - 378740758999/435577970*c_1001_2^15 + 477574053518/217788985*c_1001_2^14 - 1291199228543/435577970*c_1001_2^13 + 966247287917/217788985*c_1001_2^12 - 6173201169/1501993*c_1001_2^11 + 395038039649/87115594*c_1001_2^10 - 641769603871/217788985*c_1001_2^9 + 234951347483/87115594*c_1001_2^8 - 239195850737/217788985*c_1001_2^7 + 82630738661/87115594*c_1001_2^6 - 59696507097/435577970*c_1001_2^5 + 76862417291/435577970*c_1001_2^4 + 3589759551/87115594*c_1001_2^3 + 2672062512/217788985*c_1001_2^2 + 5561026063/435577970*c_1001_2 - 14183391/87115594, c_0101_4 + 474855659739/1088944925*c_1001_2^16 - 2845997544439/2177889850*c_1001_2^15 + 719003398579/217788985*c_1001_2^14 - 10906090694751/2177889850*c_1001_2^13 + 7871557327349/1088944925*c_1001_2^12 - 280483834877/37549825*c_1001_2^11 + 3381845695587/435577970*c_1001_2^10 - 6395755458574/1088944925*c_1001_2^9 + 10418252091553/2177889850*c_1001_2^8 - 2843532882978/1088944925*c_1001_2^7 + 3741165576751/2177889850*c_1001_2^6 - 1295232281283/2177889850*c_1001_2^5 + 677739955567/2177889850*c_1001_2^4 - 64665986839/2177889850*c_1001_2^3 + 9542481843/1088944925*c_1001_2^2 + 20902943631/2177889850*c_1001_2 - 7573191807/2177889850, c_0101_6 - 272302805921/2177889850*c_1001_2^16 + 851671458064/1088944925*c_1001_2^15 - 828520696483/435577970*c_1001_2^14 + 4073384392586/1088944925*c_1001_2^13 - 5367093287028/1088944925*c_1001_2^12 + 474107262693/75099650*c_1001_2^11 - 1254038867747/217788985*c_1001_2^10 + 12146096663911/2177889850*c_1001_2^9 - 3930582024038/1088944925*c_1001_2^8 + 6311679976267/2177889850*c_1001_2^7 - 2596687783467/2177889850*c_1001_2^6 + 1921291929081/2177889850*c_1001_2^5 - 299887438749/2177889850*c_1001_2^4 + 149226341819/1088944925*c_1001_2^3 + 64623412173/2177889850*c_1001_2^2 + 13764144693/2177889850*c_1001_2 + 7875543047/1088944925, c_0101_8 + 2040950020389/4355779700*c_1001_2^16 - 4472253602997/4355779700*c_1001_2^15 + 435579358219/174231188*c_1001_2^14 - 12490440379183/4355779700*c_1001_2^13 + 4662483696621/1088944925*c_1001_2^12 - 480721670147/150199300*c_1001_2^11 + 3295679383211/871155940*c_1001_2^10 - 7397436352649/4355779700*c_1001_2^9 + 8823386053679/4355779700*c_1001_2^8 - 1149676914703/4355779700*c_1001_2^7 + 751404147892/1088944925*c_1001_2^6 + 182467734374/1088944925*c_1001_2^5 + 167349090759/1088944925*c_1001_2^4 + 426212206723/4355779700*c_1001_2^3 + 106631913593/4355779700*c_1001_2^2 + 17804251437/1088944925*c_1001_2 + 11057756849/4355779700, c_0110_4 + 3254907710127/4355779700*c_1001_2^16 - 6320572933731/4355779700*c_1001_2^15 + 3016841078509/871155940*c_1001_2^14 - 14116915047449/4355779700*c_1001_2^13 + 5336793123638/1088944925*c_1001_2^12 - 346091976601/150199300*c_1001_2^11 + 2884431147693/871155940*c_1001_2^10 + 738086567793/4355779700*c_1001_2^9 + 5413743334657/4355779700*c_1001_2^8 + 5561632647771/4355779700*c_1001_2^7 + 355629606511/1088944925*c_1001_2^6 + 935800292457/1088944925*c_1001_2^5 + 139701638377/1088944925*c_1001_2^4 + 1139185752809/4355779700*c_1001_2^3 + 255086278599/4355779700*c_1001_2^2 + 33881865436/1088944925*c_1001_2 + 51021949867/4355779700, c_1001_2^17 - 236/89*c_1001_2^16 + 622/89*c_1001_2^15 - 908/89*c_1001_2^14 + 1417/89*c_1001_2^13 - 1447/89*c_1001_2^12 + 1668/89*c_1001_2^11 - 1254/89*c_1001_2^10 + 1178/89*c_1001_2^9 - 632/89*c_1001_2^8 + 521/89*c_1001_2^7 - 172/89*c_1001_2^6 + 140/89*c_1001_2^5 - 13/89*c_1001_2^4 + 20/89*c_1001_2^3 + 5/89*c_1001_2^2 + 1/89*c_1001_2 + 1/89 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB