Magma V2.19-8 Tue Aug 20 2013 23:55:47 on localhost [Seed = 340950049] Type ? for help. Type -D to quit. Loading file "L14n13166__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13166 geometric_solution 11.39064834 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 0 1 1 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 -1 1 0 0 0 -1 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.495466091727 0.321375620506 0 5 7 6 0132 0132 0132 0132 0 0 1 1 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 -1 -5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.026986133158 0.823330519085 6 0 6 8 0132 0132 3012 0132 1 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 1 -1 0 0 0 0 0 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.425135294429 1.037335273052 9 10 11 0 0132 0132 0132 0132 1 0 1 0 0 0 0 0 1 0 0 -1 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 1 -1 -2 0 1 1 0 0 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.693115343277 0.870593454572 7 5 0 11 0132 3012 0132 3201 1 0 1 1 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 -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.976966406498 1.030726211363 4 1 8 9 1230 0132 1230 2031 0 1 1 1 0 0 -1 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 0 2 -2 -1 0 0 1 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.907948653785 0.547056265671 2 2 1 9 0132 1230 0132 2103 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 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.408710167749 0.737511747289 4 10 11 1 0132 2031 2103 0132 0 0 1 1 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 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649863349021 0.766123376787 9 10 2 5 2103 0213 0132 3012 1 0 1 1 0 0 0 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 0 0 0 2 0 0 -2 0 0 0 0 5 -6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544868066773 1.127713403559 3 5 8 6 0132 1302 2103 2103 1 0 0 1 0 0 0 0 -1 0 1 0 1 -1 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 2 0 -2 0 -2 2 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482128843989 0.608004123626 7 3 8 11 1302 0132 0213 3012 1 1 0 1 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 1 0 -1 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410638423405 0.760964710399 7 4 10 3 2103 2310 1230 0132 1 0 0 1 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 1 0 -1 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.702623697382 0.808907050097 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_5'], 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_11']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_4'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : negation(d['c_0101_11']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_4'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : 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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_5']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0011_11']), 'c_1100_3' : negation(d['c_0011_11']), 'c_1100_2' : negation(d['c_1001_5']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0101_5']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0101_2']), 'c_1010_8' : negation(d['c_0101_5']), '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_9' : 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_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_4'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], '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' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_2']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_3, c_0101_5, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 12589416100903997975561/268847517445440675750*c_1001_5^13 + 97771544713033810357448/134423758722720337875*c_1001_5^12 - 592372920050774980123829/215078013956352540600*c_1001_5^11 + 121821258808973660960783/39829261843768989000*c_1001_5^10 + 303034226364797417234359/268847517445440675750*c_1001_5^9 - 2578459644188296152145253/358463356593920901000*c_1001_5^8 + 241332759397601559058459/35846335659392090100*c_1001_5^7 + 337195655267760107030263/537695034890881351500*c_1001_5^6 - 1514364905543134543626683/268847517445440675750*c_1001_5^5 + 4301039361413667043445969/1075390069781762703000*c_1001_5^4 + 158869761997033327907303/1075390069781762703000*c_1001_5^3 - 91169899840334932007231/215078013956352540600*c_1001_5^2 + 690717555048115232700937/1075390069781762703000*c_1001_5 + 1985389234544266266389/9957315460942247250, c_0011_0 - 1, c_0011_10 + 16205516193078666/13276420614589663*c_1001_5^13 - 263551796855972636/13276420614589663*c_1001_5^12 + 2288032341302464873/26552841229179326*c_1001_5^11 - 3723544155376212411/26552841229179326*c_1001_5^10 + 1564534889051958043/26552841229179326*c_1001_5^9 + 4620948823842898723/26552841229179326*c_1001_5^8 - 8369705140665449411/26552841229179326*c_1001_5^7 + 2414953442742563106/13276420614589663*c_1001_5^6 + 2236942793032921185/26552841229179326*c_1001_5^5 - 2596507349320341385/13276420614589663*c_1001_5^4 + 3185474871672270713/26552841229179326*c_1001_5^3 - 741954596033830355/26552841229179326*c_1001_5^2 - 127231207115508928/13276420614589663*c_1001_5 + 104577018102059986/13276420614589663, c_0011_11 - 38641076906709578/39829261843768989*c_1001_5^13 + 210451629127841800/13276420614589663*c_1001_5^12 - 5552798113334763145/79658523687537978*c_1001_5^11 + 9314789344137736745/79658523687537978*c_1001_5^10 - 4429619296114920577/79658523687537978*c_1001_5^9 - 10895962042910163839/79658523687537978*c_1001_5^8 + 7028391565220746279/26552841229179326*c_1001_5^7 - 6576972095014362367/39829261843768989*c_1001_5^6 - 4826007168323802563/79658523687537978*c_1001_5^5 + 6640750005576294076/39829261843768989*c_1001_5^4 - 2905257731502605351/26552841229179326*c_1001_5^3 + 723573960980067795/26552841229179326*c_1001_5^2 + 336001759464070952/39829261843768989*c_1001_5 - 313168872211783774/39829261843768989, c_0011_4 - 122782610365305536/119487785531306967*c_1001_5^13 + 662529600405763678/39829261843768989*c_1001_5^12 - 8518725307187954450/119487785531306967*c_1001_5^11 + 26944927731936979565/238975571062613934*c_1001_5^10 - 4941050073156090803/119487785531306967*c_1001_5^9 - 35644243208386205651/238975571062613934*c_1001_5^8 + 10097092969793474396/39829261843768989*c_1001_5^7 - 32179919119101584435/238975571062613934*c_1001_5^6 - 18915279299600610383/238975571062613934*c_1001_5^5 + 18688342295139080317/119487785531306967*c_1001_5^4 - 3575755803078429932/39829261843768989*c_1001_5^3 + 1484043431120160755/79658523687537978*c_1001_5^2 + 943878188146872263/119487785531306967*c_1001_5 - 753724422536583001/119487785531306967, c_0101_0 - 1, c_0101_1 - 1303693790917652/13276420614589663*c_1001_5^13 + 22283823194879204/13276420614589663*c_1001_5^12 - 108655627403171677/13276420614589663*c_1001_5^11 + 211097015648517330/13276420614589663*c_1001_5^10 - 130456145368126331/13276420614589663*c_1001_5^9 - 196811618731180555/13276420614589663*c_1001_5^8 + 472464377298156148/13276420614589663*c_1001_5^7 - 342272492341108458/13276420614589663*c_1001_5^6 - 44560616626924059/13276420614589663*c_1001_5^5 + 276601091373407018/13276420614589663*c_1001_5^4 - 224950903323086174/13276420614589663*c_1001_5^3 + 94219072962064175/13276420614589663*c_1001_5^2 - 16110365061555189/13276420614589663*c_1001_5 - 17057034275502480/13276420614589663, c_0101_11 + 44017600895075020/39829261843768989*c_1001_5^13 - 239768518176712080/13276420614589663*c_1001_5^12 + 3162249187080615055/39829261843768989*c_1001_5^11 - 5281552003920623183/39829261843768989*c_1001_5^10 + 2438646027157139563/39829261843768989*c_1001_5^9 + 6265697320750644947/39829261843768989*c_1001_5^8 - 4003390040737940588/13276420614589663*c_1001_5^7 + 7409333191335078644/39829261843768989*c_1001_5^6 + 2751505425993287651/39829261843768989*c_1001_5^5 - 7509534022775693741/39829261843768989*c_1001_5^4 + 1637535748927123413/13276420614589663*c_1001_5^3 - 419935469487152755/13276420614589663*c_1001_5^2 - 357524597977887172/39829261843768989*c_1001_5 + 341569529545720172/39829261843768989, c_0101_2 + 33566098006775128/39829261843768989*c_1001_5^13 - 182611283686757534/13276420614589663*c_1001_5^12 + 2399717791191865840/39829261843768989*c_1001_5^11 - 7937482019432658961/79658523687537978*c_1001_5^10 + 1731148708867239277/39829261843768989*c_1001_5^9 + 9749167746848384353/79658523687537978*c_1001_5^8 - 2992706214130228718/13276420614589663*c_1001_5^7 + 10421002655061313105/79658523687537978*c_1001_5^6 + 4883304426208298779/79658523687537978*c_1001_5^5 - 5602473365960521703/39829261843768989*c_1001_5^4 + 1119315685491000689/13276420614589663*c_1001_5^3 - 477326509419680355/26552841229179326*c_1001_5^2 - 279131719870535974/39829261843768989*c_1001_5 + 220038105857359748/39829261843768989, c_0101_3 - 14780793652881894/13276420614589663*c_1001_5^13 + 241265883101095404/13276420614589663*c_1001_5^12 - 2114191977175242919/26552841229179326*c_1001_5^11 + 3497831596994736353/26552841229179326*c_1001_5^10 - 1535109491361541079/26552841229179326*c_1001_5^9 - 4256163806204941567/26552841229179326*c_1001_5^8 + 7870284674293539079/26552841229179326*c_1001_5^7 - 2299159723086615969/13276420614589663*c_1001_5^6 - 2067678431711355663/26552841229179326*c_1001_5^5 + 2435763365199949572/13276420614589663*c_1001_5^4 - 2967703615452495193/26552841229179326*c_1001_5^3 + 666060123914978635/26552841229179326*c_1001_5^2 + 116040794899135882/13276420614589663*c_1001_5 - 101317783624765856/13276420614589663, c_0101_5 + 23067035372402458/119487785531306967*c_1001_5^13 - 128125790162154230/39829261843768989*c_1001_5^12 + 3554840457346274957/238975571062613934*c_1001_5^11 - 3283484833224466067/119487785531306967*c_1001_5^10 + 4198713855155440781/238975571062613934*c_1001_5^9 + 2972148103099941428/119487785531306967*c_1001_5^8 - 4914929482409399441/79658523687537978*c_1001_5^7 + 11289242850264551473/238975571062613934*c_1001_5^6 + 608602918847840141/119487785531306967*c_1001_5^5 - 4680223848743992148/119487785531306967*c_1001_5^4 + 2404913008859952275/79658523687537978*c_1001_5^3 - 370910178490665155/39829261843768989*c_1001_5^2 - 81714890361401122/119487785531306967*c_1001_5 + 187468740381956873/119487785531306967, c_1001_0 + 37477179379528084/39829261843768989*c_1001_5^13 - 204895106881636738/13276420614589663*c_1001_5^12 + 2725684673401380871/39829261843768989*c_1001_5^11 - 9204064113323762941/79658523687537978*c_1001_5^10 + 2122517144971618270/39829261843768989*c_1001_5^9 + 10930037459235467683/79658523687537978*c_1001_5^8 - 3465170591428384866/13276420614589663*c_1001_5^7 + 12474637609107963853/79658523687537978*c_1001_5^6 + 5150668125969843133/79658523687537978*c_1001_5^5 - 6432276640080742757/39829261843768989*c_1001_5^4 + 1344266588814086863/13276420614589663*c_1001_5^3 - 665764655343808705/26552841229179326*c_1001_5^2 - 230800624685870407/39829261843768989*c_1001_5 + 271209208683867188/39829261843768989, c_1001_5^14 - 16*c_1001_5^13 + 265/4*c_1001_5^12 - 381/4*c_1001_5^11 + 27/2*c_1001_5^10 + 649/4*c_1001_5^9 - 445/2*c_1001_5^8 + 71*c_1001_5^7 + 123*c_1001_5^6 - 589/4*c_1001_5^5 + 197/4*c_1001_5^4 + 45/4*c_1001_5^3 - 67/4*c_1001_5^2 + 9/2*c_1001_5 + 5/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB