Magma V2.19-8 Tue Aug 20 2013 23:29:44 on localhost [Seed = 3069235435] Type ? for help. Type -D to quit. Loading file "K13n1331__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1331 geometric_solution 7.49435945 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 9 1 2 1 3 0132 0132 1023 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 0 -1 1 3 0 -3 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.757882432687 0.501800112604 0 4 0 5 0132 0132 1023 0132 0 0 0 0 0 0 -1 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 0 3 -3 -3 0 1 2 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.082676834180 0.607367116652 4 0 5 3 3012 0132 2103 1230 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 -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 0 0.715977903095 0.378635355172 2 6 0 5 3012 0132 0132 2103 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 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.078312772555 0.909731139748 7 1 6 2 0132 0132 3201 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 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.012837628113 1.094129965713 2 7 1 3 2103 3120 0132 2103 0 0 0 0 0 0 -1 1 -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 3 -2 2 0 -2 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.413558396603 0.608260330365 4 3 7 8 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.786017247065 0.980837019085 4 5 6 8 0132 3120 1023 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 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363017652544 0.312221649686 8 7 6 8 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.119003948572 1.283518953714 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_7' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_1001_8' : d['c_0011_5'], 's_2_8' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_8' : d['c_0011_8'], 'c_1100_5' : negation(d['c_0110_3']), 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : d['c_0011_8'], 'c_1100_1' : negation(d['c_0110_3']), 'c_1100_0' : d['c_0110_3'], 'c_1100_3' : d['c_0110_3'], 'c_1100_2' : d['c_0110_3'], 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : d['c_0011_5'], 'c_1010_8' : negation(d['c_0101_4']), 's_3_1' : 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' : 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_1_8' : d['1'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0011_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_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_4']), 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0110_3']), 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : negation(d['c_0101_4'])})} 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_5, c_0011_8, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 4074155671374708871351/294055405303138794171*c_0110_3^16 + 23141854648678906020139/588110810606277588342*c_0110_3^15 + 14605088221407256331429/294055405303138794171*c_0110_3^14 - 51207478784315349593921/98018468434379598057*c_0110_3^13 + 89002767343028568797449/65345645622919732038*c_0110_3^12 - 64572480316310999147515/20279683124354399598*c_0110_3^11 + 2799150851815682677271491/588110810606277588342*c_0110_3^10 - 2492807489206548138441292/294055405303138794171*c_0110_3^9 + 2046687048075938686266529/196036936868759196114*c_0110_3^8 - 3465781938267430552472480/294055405303138794171*c_0110_3^7 + 3314142057869459297284415/294055405303138794171*c_0110_3^6 - 2495541440798598048776462/294055405303138794171*c_0110_3^5 + 3878501045939178270847241/588110810606277588342*c_0110_3^4 - 1272158316175722233234570/294055405303138794171*c_0110_3^3 + 35552306358915112042969/20279683124354399598*c_0110_3^2 - 232234430740898113056211/588110810606277588342*c_0110_3 + 25688363821629916881689/588110810606277588342, c_0011_0 - 1, c_0011_3 - 17750821274239/331075246095837*c_0110_3^16 + 813443817472388/331075246095837*c_0110_3^15 - 1751603016281965/331075246095837*c_0110_3^14 - 1398249661000133/110358415365279*c_0110_3^13 + 3200735210948588/36786138455093*c_0110_3^12 - 66882506918288311/331075246095837*c_0110_3^11 + 154007026742970533/331075246095837*c_0110_3^10 - 207717422454671629/331075246095837*c_0110_3^9 + 132226300487045090/110358415365279*c_0110_3^8 - 420982509149983553/331075246095837*c_0110_3^7 + 494959107370247213/331075246095837*c_0110_3^6 - 423693973140803939/331075246095837*c_0110_3^5 + 305675770759779004/331075246095837*c_0110_3^4 - 244553429894574941/331075246095837*c_0110_3^3 + 140009626502126725/331075246095837*c_0110_3^2 - 41970877828523774/331075246095837*c_0110_3 + 5399091391977445/331075246095837, c_0011_5 + 441658876142515/331075246095837*c_0110_3^16 - 639710276256683/331075246095837*c_0110_3^15 - 3024160382471924/331075246095837*c_0110_3^14 + 4591037953313699/110358415365279*c_0110_3^13 - 2415087437031361/36786138455093*c_0110_3^12 + 51609084180471388/331075246095837*c_0110_3^11 - 34004031138712370/331075246095837*c_0110_3^10 + 115136225853631753/331075246095837*c_0110_3^9 - 9310019733321944/110358415365279*c_0110_3^8 + 57773766672247721/331075246095837*c_0110_3^7 + 20505222773324059/331075246095837*c_0110_3^6 - 51674189943822307/331075246095837*c_0110_3^5 + 22182195123197264/331075246095837*c_0110_3^4 - 49440611260544293/331075246095837*c_0110_3^3 + 50314332017267483/331075246095837*c_0110_3^2 - 19192267505269891/331075246095837*c_0110_3 + 2852537330546861/331075246095837, c_0011_8 - 3068447477210483/331075246095837*c_0110_3^16 + 7617962228065192/331075246095837*c_0110_3^15 + 13467367046262085/331075246095837*c_0110_3^14 - 36807747759638968/110358415365279*c_0110_3^13 + 29292722023896903/36786138455093*c_0110_3^12 - 619213450077275327/331075246095837*c_0110_3^11 + 849058802659190689/331075246095837*c_0110_3^10 - 1613815233791885798/331075246095837*c_0110_3^9 + 592647214609095463/110358415365279*c_0110_3^8 - 2076853537007955778/331075246095837*c_0110_3^7 + 1830126976399205563/331075246095837*c_0110_3^6 - 1337873313035071033/331075246095837*c_0110_3^5 + 1054051426922203910/331075246095837*c_0110_3^4 - 635742666248063482/331075246095837*c_0110_3^3 + 208659648997386653/331075246095837*c_0110_3^2 - 31046426164032814/331075246095837*c_0110_3 + 714619991964668/331075246095837, c_0101_0 - 441658876142515/331075246095837*c_0110_3^16 + 639710276256683/331075246095837*c_0110_3^15 + 3024160382471924/331075246095837*c_0110_3^14 - 4591037953313699/110358415365279*c_0110_3^13 + 2415087437031361/36786138455093*c_0110_3^12 - 51609084180471388/331075246095837*c_0110_3^11 + 34004031138712370/331075246095837*c_0110_3^10 - 115136225853631753/331075246095837*c_0110_3^9 + 9310019733321944/110358415365279*c_0110_3^8 - 57773766672247721/331075246095837*c_0110_3^7 - 20505222773324059/331075246095837*c_0110_3^6 + 51674189943822307/331075246095837*c_0110_3^5 - 22182195123197264/331075246095837*c_0110_3^4 + 49440611260544293/331075246095837*c_0110_3^3 - 50314332017267483/331075246095837*c_0110_3^2 + 19192267505269891/331075246095837*c_0110_3 - 2852537330546861/331075246095837, c_0101_1 - 160606411757837/36786138455093*c_0110_3^16 + 389337692683229/36786138455093*c_0110_3^15 + 725571245339310/36786138455093*c_0110_3^14 - 5731241747380447/36786138455093*c_0110_3^13 + 13472270717209547/36786138455093*c_0110_3^12 - 31703015222542867/36786138455093*c_0110_3^11 + 42786417162238924/36786138455093*c_0110_3^10 - 82420881171694702/36786138455093*c_0110_3^9 + 88917549671880932/36786138455093*c_0110_3^8 - 104657314815672992/36786138455093*c_0110_3^7 + 91158813305266990/36786138455093*c_0110_3^6 - 66102226716665572/36786138455093*c_0110_3^5 + 52872288521512182/36786138455093*c_0110_3^4 - 31038294449081352/36786138455093*c_0110_3^3 + 9904564106122209/36786138455093*c_0110_3^2 - 1482058375660402/36786138455093*c_0110_3 + 47100894985364/36786138455093, c_0101_4 + 350199808383170/331075246095837*c_0110_3^16 - 1073642660599153/331075246095837*c_0110_3^15 - 986547567843460/331075246095837*c_0110_3^14 + 4465478824486561/110358415365279*c_0110_3^13 - 4182441054024438/36786138455093*c_0110_3^12 + 89754842274781802/331075246095837*c_0110_3^11 - 141648447961011430/331075246095837*c_0110_3^10 + 249000579252543881/331075246095837*c_0110_3^9 - 107080656097931509/110358415365279*c_0110_3^8 + 376632684723740920/331075246095837*c_0110_3^7 - 369274813350759394/331075246095837*c_0110_3^6 + 300373008374690956/331075246095837*c_0110_3^5 - 231318786466190798/331075246095837*c_0110_3^4 + 157543706533420021/331075246095837*c_0110_3^3 - 77809934737699832/331075246095837*c_0110_3^2 + 24026328478840963/331075246095837*c_0110_3 - 3436524345998378/331075246095837, c_0101_6 + 366021800743264/36786138455093*c_0110_3^16 - 1070997904893309/36786138455093*c_0110_3^15 - 1215784677539536/36786138455093*c_0110_3^14 + 13910410311465971/36786138455093*c_0110_3^13 - 37225035611182639/36786138455093*c_0110_3^12 + 87386578194496543/36786138455093*c_0110_3^11 - 133122519359162172/36786138455093*c_0110_3^10 + 235265668341075357/36786138455093*c_0110_3^9 - 294811015103870585/36786138455093*c_0110_3^8 + 336296645962891916/36786138455093*c_0110_3^7 - 322991233158785092/36786138455093*c_0110_3^6 + 249976219371999832/36786138455093*c_0110_3^5 - 191471348130833651/36786138455093*c_0110_3^4 + 128012856491206868/36786138455093*c_0110_3^3 - 55475321793003226/36786138455093*c_0110_3^2 + 13195651588172828/36786138455093*c_0110_3 - 1353960347860620/36786138455093, c_0110_3^17 - 3*c_0110_3^16 - 3*c_0110_3^15 + 38*c_0110_3^14 - 105*c_0110_3^13 + 250*c_0110_3^12 - 390*c_0110_3^11 + 690*c_0110_3^10 - 880*c_0110_3^9 + 1031*c_0110_3^8 - 1006*c_0110_3^7 + 814*c_0110_3^6 - 630*c_0110_3^5 + 429*c_0110_3^4 - 210*c_0110_3^3 + 66*c_0110_3^2 - 12*c_0110_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB