Magma V2.19-8 Tue Aug 20 2013 17:55:40 on localhost [Seed = 3280106517] Type ? for help. Type -D to quit. Loading file "10_131__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_131 geometric_solution 9.46502166 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 0 0 3 -3 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.809972394929 0.803898568376 0 3 6 5 0132 3120 0132 0132 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 4 -4 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.916366544304 0.616497098167 7 0 5 7 0132 0132 0213 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.793872841900 1.104433346129 4 1 5 0 1230 3120 0132 0132 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 0 0 0 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.330263925594 0.619514285975 8 3 0 9 0132 3012 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 1 -1 -3 0 3 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.101787458027 1.039809259755 8 2 1 3 1302 0213 0132 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 0 0 -4 0 4 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.192709356518 0.952034047792 8 7 9 1 3120 0321 0132 0132 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 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501161785397 0.963469807047 2 2 9 6 0132 1302 2103 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.570881193002 0.596988705100 4 5 9 6 0132 2031 0213 3120 0 0 0 0 0 0 0 0 1 0 0 -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 3 0 1 -4 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.583007018651 0.724253691815 7 8 4 6 2103 0213 0132 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 0 1 -1 0 0 0 0 1 -1 0 0 -1 4 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.579772998028 0.404894475436 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0011_9'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : negation(d['c_0101_3']), 's_2_8' : d['1'], 's_2_9' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_8' : negation(d['c_0101_6']), 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1001_1']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_1001_1']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : negation(d['c_0101_6']), 'c_1010_8' : d['c_0011_5'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(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_9'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_5']), '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_0011_9'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0101_9' : d['c_0011_9'], 'c_0101_8' : d['c_0011_9'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0011_9'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_9'], 'c_0110_7' : d['c_0011_5'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0011_9, c_0101_1, c_0101_3, c_0101_6, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 298143363898457098726/3221803961655375187*c_1100_0^17 - 468881314418141005599/6443607923310750374*c_1100_0^16 + 3031875941428948236342/3221803961655375187*c_1100_0^15 + 156588229132127482264/247831073973490399*c_1100_0^14 - 11171821028039998487555/3221803961655375187*c_1100_0^13 - 5365798932355361887966/3221803961655375187*c_1100_0^12 + 26204811972717064958839/3221803961655375187*c_1100_0^11 + 14675243163956913519997/3221803961655375187*c_1100_0^10 - 44610159601310449413440/3221803961655375187*c_1100_0^9 - 35202479548454501944155/6443607923310750374*c_1100_0^8 + 6593074770940906713246/460257708807910741*c_1100_0^7 + 24420926236351358056953/3221803961655375187*c_1100_0^6 - 5736713987311217940247/460257708807910741*c_1100_0^5 - 15622483432375347646745/6443607923310750374*c_1100_0^4 + 574092285444307394161/189517880097375011*c_1100_0^3 + 21447249358797165821299/6443607923310750374*c_1100_0^2 - 15931153925895897702999/6443607923310750374*c_1100_0 + 1404322877161971814296/3221803961655375187, c_0011_0 - 1, c_0011_3 - 1951290696613/8358747413107*c_1100_0^17 - 2836890027869/8358747413107*c_1100_0^16 + 17853252238342/8358747413107*c_1100_0^15 + 1939192614013/642980570239*c_1100_0^14 - 55545874988675/8358747413107*c_1100_0^13 - 72427224888906/8358747413107*c_1100_0^12 + 121718327769448/8358747413107*c_1100_0^11 + 181022331069752/8358747413107*c_1100_0^10 - 169523946387165/8358747413107*c_1100_0^9 - 237567098370983/8358747413107*c_1100_0^8 + 20477602641148/1194106773301*c_1100_0^7 + 277846862171715/8358747413107*c_1100_0^6 - 11622972585720/1194106773301*c_1100_0^5 - 126954253896443/8358747413107*c_1100_0^4 - 20447493832139/8358747413107*c_1100_0^3 + 72318763679611/8358747413107*c_1100_0^2 - 3750803391158/8358747413107*c_1100_0 + 5162081638639/8358747413107, c_0011_4 - 885599331256/8358747413107*c_1100_0^17 - 1659654727788/8358747413107*c_1100_0^16 + 7647887712652/8358747413107*c_1100_0^15 + 1130814622261/642980570239*c_1100_0^14 - 21693666776968/8358747413107*c_1100_0^13 - 42190090746044/8358747413107*c_1100_0^12 + 48334563700068/8358747413107*c_1100_0^11 + 101705460442042/8358747413107*c_1100_0^10 - 59999644979200/8358747413107*c_1100_0^9 - 133740060431010/8358747413107*c_1100_0^8 + 7635490294460/1194106773301*c_1100_0^7 + 146940203403681/8358747413107*c_1100_0^6 - 2804752226104/1194106773301*c_1100_0^5 - 73132342640690/8358747413107*c_1100_0^4 - 11586736274748/8358747413107*c_1100_0^3 + 33323719844489/8358747413107*c_1100_0^2 + 15472119748359/8358747413107*c_1100_0 - 1951290696613/8358747413107, c_0011_5 - 1684686745233/8358747413107*c_1100_0^17 - 991269606848/8358747413107*c_1100_0^16 + 18944948721427/8358747413107*c_1100_0^15 + 835296567762/642980570239*c_1100_0^14 - 78844558415005/8358747413107*c_1100_0^13 - 42296559131857/8358747413107*c_1100_0^12 + 191465993363756/8358747413107*c_1100_0^11 + 123945647697836/8358747413107*c_1100_0^10 - 345347899012356/8358747413107*c_1100_0^9 - 216034968630069/8358747413107*c_1100_0^8 + 52373471450914/1194106773301*c_1100_0^7 + 292410369380212/8358747413107*c_1100_0^6 - 43668286161866/1194106773301*c_1100_0^5 - 210767993549307/8358747413107*c_1100_0^4 + 64299727710000/8358747413107*c_1100_0^3 + 120732584668183/8358747413107*c_1100_0^2 - 21531925829341/8358747413107*c_1100_0 - 17024768468068/8358747413107, c_0011_9 + 7410457507233/8358747413107*c_1100_0^17 + 10354859338830/8358747413107*c_1100_0^16 - 69868828422269/8358747413107*c_1100_0^15 - 7262742836844/642980570239*c_1100_0^14 + 227574713509153/8358747413107*c_1100_0^13 + 282149441222296/8358747413107*c_1100_0^12 - 502162096168983/8358747413107*c_1100_0^11 - 697959418664695/8358747413107*c_1100_0^10 + 733504086562426/8358747413107*c_1100_0^9 + 953536561841628/8358747413107*c_1100_0^8 - 91211445875555/1194106773301*c_1100_0^7 - 1081838033207468/8358747413107*c_1100_0^6 + 57636418828104/1194106773301*c_1100_0^5 + 544169514270714/8358747413107*c_1100_0^4 + 42312027070217/8358747413107*c_1100_0^3 - 286303506097248/8358747413107*c_1100_0^2 + 22176944429319/8358747413107*c_1100_0 + 14767884923709/8358747413107, c_0101_1 - 3196665774468/8358747413107*c_1100_0^17 - 5147956471081/8358747413107*c_1100_0^16 + 29129767716811/8358747413107*c_1100_0^15 + 3586403400658/642980570239*c_1100_0^14 - 89870463898679/8358747413107*c_1100_0^13 - 138659185124843/8358747413107*c_1100_0^12 + 196092700166406/8358747413107*c_1100_0^11 + 339091600433272/8358747413107*c_1100_0^10 - 263314211581300/8358747413107*c_1100_0^9 - 460420531863753/8358747413107*c_1100_0^8 + 30908491657639/1194106773301*c_1100_0^7 + 510959782551856/8358747413107*c_1100_0^6 - 13737576205863/1194106773301*c_1100_0^5 - 257177425695780/8358747413107*c_1100_0^4 - 40644277985807/8358747413107*c_1100_0^3 + 117009134469985/8358747413107*c_1100_0^2 + 19940861377826/8358747413107*c_1100_0 - 6947469165626/8358747413107, c_0101_3 + 5689518478185/8358747413107*c_1100_0^17 + 8734406250585/8358747413107*c_1100_0^16 - 52424829897494/8358747413107*c_1100_0^15 - 6140453616320/642980570239*c_1100_0^14 + 163584682971553/8358747413107*c_1100_0^13 + 240321376209442/8358747413107*c_1100_0^12 - 352269339740397/8358747413107*c_1100_0^11 - 588378825765425/8358747413107*c_1100_0^10 + 484367127178245/8358747413107*c_1100_0^9 + 805304902329247/8358747413107*c_1100_0^8 - 55358844998710/1194106773301*c_1100_0^7 - 893728277670342/8358747413107*c_1100_0^6 + 29435570091516/1194106773301*c_1100_0^5 + 452096009926481/8358747413107*c_1100_0^4 + 70748330846590/8358747413107*c_1100_0^3 - 215948524002355/8358747413107*c_1100_0^2 + 3000229721733/8358747413107*c_1100_0 + 13180691372778/8358747413107, c_0101_6 + 2820311031887/8358747413107*c_1100_0^17 + 3881232175445/8358747413107*c_1100_0^16 - 26108317170547/8358747413107*c_1100_0^15 - 2591092912622/642980570239*c_1100_0^14 + 84001895320050/8358747413107*c_1100_0^13 + 91473662000244/8358747413107*c_1100_0^12 - 193026826633232/8358747413107*c_1100_0^11 - 226779866232364/8358747413107*c_1100_0^10 + 291797097650792/8358747413107*c_1100_0^9 + 284566146223103/8358747413107*c_1100_0^8 - 42058833628711/1194106773301*c_1100_0^7 - 338727606075786/8358747413107*c_1100_0^6 + 32381679122678/1194106773301*c_1100_0^5 + 158301412544157/8358747413107*c_1100_0^4 - 55070816372107/8358747413107*c_1100_0^3 - 119326371244529/8358747413107*c_1100_0^2 + 37325246219084/8358747413107*c_1100_0 + 11803343434503/8358747413107, c_1001_1 + 5770233865545/8358747413107*c_1100_0^17 + 8515350512133/8358747413107*c_1100_0^16 - 53203679054926/8358747413107*c_1100_0^15 - 5895030413348/642980570239*c_1100_0^14 + 167104278898695/8358747413107*c_1100_0^13 + 224133217441485/8358747413107*c_1100_0^12 - 364694602934927/8358747413107*c_1100_0^11 - 550596934424606/8358747413107*c_1100_0^10 + 510233188488291/8358747413107*c_1100_0^9 + 730273480259415/8358747413107*c_1100_0^8 - 61124735925192/1194106773301*c_1100_0^7 - 821453389652972/8358747413107*c_1100_0^6 + 34993954449708/1194106773301*c_1100_0^5 + 386817501872688/8358747413107*c_1100_0^4 + 53905315791258/8358747413107*c_1100_0^3 - 209717892085616/8358747413107*c_1100_0^2 + 12307667651108/8358747413107*c_1100_0 + 1413036170802/8358747413107, c_1100_0^18 + c_1100_0^17 - 10*c_1100_0^16 - 9*c_1100_0^15 + 36*c_1100_0^14 + 26*c_1100_0^13 - 84*c_1100_0^12 - 68*c_1100_0^11 + 139*c_1100_0^10 + 91*c_1100_0^9 - 142*c_1100_0^8 - 115*c_1100_0^7 + 117*c_1100_0^6 + 55*c_1100_0^5 - 27*c_1100_0^4 - 43*c_1100_0^3 + 19*c_1100_0^2 + c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB