Magma V2.19-8 Tue Aug 20 2013 17:55:55 on localhost [Seed = 2884246607] Type ? for help. Type -D to quit. Loading file "10^2_176__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_176 geometric_solution 9.70718659 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 2 3 0132 0132 2031 0132 0 0 1 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 1 0 -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.370413172416 0.562480134698 0 4 6 5 0132 0132 0132 0132 1 0 0 1 0 0 0 0 0 0 1 -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 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.273193049652 0.644964051817 3 0 6 0 3012 0132 1302 1302 0 0 0 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 -1 1 0 1 0 -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.808764811215 0.979180236927 4 4 0 2 0321 3201 0132 1230 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 1 -1 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.254086953966 0.818803499270 3 1 3 7 0321 0132 2310 0132 1 1 1 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 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.654303158552 1.114019350643 8 6 1 7 0132 2103 0132 3201 1 0 1 0 0 1 0 -1 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 -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.732755325910 0.462173436318 2 5 8 1 2031 2103 0132 0132 1 0 1 0 0 0 0 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 0 0 0 -1 0 0 1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.069896743799 1.606303793762 9 5 4 10 0132 2310 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 -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 1 0 -1 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.773812509851 0.737688883784 5 9 10 6 0132 1230 2310 0132 1 0 0 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 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.773812509851 0.737688883784 7 10 8 10 0132 1023 3012 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.017564229852 1.310335819513 9 8 7 9 1023 3201 0132 2103 1 1 1 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 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.510835993228 0.253044373921 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_0011_6'], 'c_1001_7' : d['c_1001_1'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0110_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_0110_10'], 'c_1010_10' : negation(d['c_0110_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_5'], 's_2_0' : negation(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_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_1100_9' : negation(d['c_0110_10']), 'c_1100_8' : d['c_0011_10'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_0110_2'], 'c_1100_2' : d['c_0101_0'], 'c_1100_10' : d['c_0011_3'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_1001_1']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0110_2']), 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0110_10'], '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' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), '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_0110_10' : d['c_0110_10'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_5'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_3']), 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_8'], 'c_0110_4' : negation(d['c_0011_3']), '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 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_8, c_0110_10, c_0110_2, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 5660721017101307061341684014587015/2091578876457957401873243904016*\ c_1001_1^11 + 8562603240280462425812000120590829/104578943822897870\ 0936621952008*c_1001_1^10 + 2723850799270117245947668855543197/5228\ 94719114489350468310976004*c_1001_1^9 - 98814852546097141867691420175575785/2091578876457957401873243904016\ *c_1001_1^8 + 59414822763213852122477903337302933/10457894382289787\ 00936621952008*c_1001_1^7 + 110179079268349662876712088099744447/20\ 91578876457957401873243904016*c_1001_1^6 - 14002917989290063917833788336748040/130723679778622337617077744001*\ c_1001_1^5 - 504207821444752526992196512789343665/41831577529159148\ 03746487808032*c_1001_1^4 - 101782606693117173899265831911620979/83\ 66315505831829607492975616064*c_1001_1^3 + 9494703600967384674062417376331717/2091578876457957401873243904016*\ c_1001_1^2 - 5435411674532907398488295301115607/1045789438228978700\ 936621952008*c_1001_1 - 889065801414300853890445815413921/522894719\ 114489350468310976004, c_0011_0 - 1, c_0011_10 + 3166601309476566085226828285/532479347367097098236569222*c_\ 1001_1^11 - 4964932879994886029723390176/26623967368354854911828461\ 1*c_1001_1^10 - 2419075228214903314795806714/2662396736835485491182\ 84611*c_1001_1^9 + 55242868805424712888702755387/532479347367097098\ 236569222*c_1001_1^8 - 36302502209176156940412267166/26623967368354\ 8549118284611*c_1001_1^7 - 50723291715723861291967585669/5324793473\ 67097098236569222*c_1001_1^6 + 63035221118960143152865758733/266239\ 673683548549118284611*c_1001_1^5 + 252310440265164474892995267051/1064958694734194196473138444*c_1001_\ 1^4 + 30958706684175152563882016181/2129917389468388392946276888*c_\ 1001_1^3 - 5453143886135055114723720607/106495869473419419647313844\ 4*c_1001_1^2 + 3844222165758603433944818171/53247934736709709823656\ 9222*c_1001_1 + 735479236344295797658722287/26623967368354854911828\ 4611, c_0011_3 + 828229090213856287590616353/532479347367097098236569222*c_10\ 01_1^11 - 1373177218051730351127756095/266239673683548549118284611*\ c_1001_1^10 - 369116853894582151351302018/2662396736835485491182846\ 11*c_1001_1^9 + 14456879207350097022787041015/532479347367097098236\ 569222*c_1001_1^8 - 10784038922072128941032222523/26623967368354854\ 9118284611*c_1001_1^7 - 8819659166145266266840177421/53247934736709\ 7098236569222*c_1001_1^6 + 16743404526786165215742501988/2662396736\ 83548549118284611*c_1001_1^5 + 54111253900755893748044314303/106495\ 8694734194196473138444*c_1001_1^4 - 6487444905481683154934329499/2129917389468388392946276888*c_1001_1^\ 3 + 311613546178968888398517853/532479347367097098236569222*c_1001_\ 1^2 + 314851353329750814599784829/266239673683548549118284611*c_100\ 1_1 + 90105535156601854027188894/266239673683548549118284611, c_0011_5 - 1501440139657626991879197113/266239673683548549118284611*c_1\ 001_1^11 + 4885357846869677582831360562/266239673683548549118284611\ *c_1001_1^10 + 1684151256312960559648372052/26623967368354854911828\ 4611*c_1001_1^9 - 26269296392265062447861275375/2662396736835485491\ 18284611*c_1001_1^8 + 37516993684364435130717960808/266239673683548\ 549118284611*c_1001_1^7 + 19025465069016358602854314591/26623967368\ 3548549118284611*c_1001_1^6 - 60943591611512764050919555304/2662396\ 73683548549118284611*c_1001_1^5 - 105112906957631755327766922435/53\ 2479347367097098236569222*c_1001_1^4 + 3895297964275141311679952351/1064958694734194196473138444*c_1001_1^\ 3 + 602891946131152209513565141/266239673683548549118284611*c_1001_\ 1^2 - 1502048343895063729719038167/266239673683548549118284611*c_10\ 01_1 - 550158354899989974377788693/266239673683548549118284611, c_0011_6 - 602142647733775173926052481/532479347367097098236569222*c_10\ 01_1^11 + 1076515853051771174631519290/266239673683548549118284611*\ c_1001_1^10 - 5886693743390285620050508/266239673683548549118284611\ *c_1001_1^9 - 10539202462995410707148441887/53247934736709709823656\ 9222*c_1001_1^8 + 9198531576201141923325568862/26623967368354854911\ 8284611*c_1001_1^7 + 1818270156964183900440320897/53247934736709709\ 8236569222*c_1001_1^6 - 12522356971744162239076668717/2662396736835\ 48549118284611*c_1001_1^5 - 26751092667876161587711009295/106495869\ 4734194196473138444*c_1001_1^4 + 20516930847219210142563302679/2129\ 917389468388392946276888*c_1001_1^3 - 2422534055399911512486750067/1064958694734194196473138444*c_1001_1^\ 2 - 39446665821448048323333566/266239673683548549118284611*c_1001_1 - 98043051443962337657347389/266239673683548549118284611, c_0101_0 - 1, c_0101_1 - 2940514866996484971562264413/532479347367097098236569222*c_1\ 001_1^11 + 4668271514994926853227153371/266239673683548549118284611\ *c_1001_1^10 + 2044071680576930877824454188/26623967368354854911828\ 4611*c_1001_1^9 - 51325192061070026573064156259/5324793473670970982\ 36569222*c_1001_1^8 + 34716994863305169922705613505/266239673683548\ 549118284611*c_1001_1^7 + 43721902706542778925567729145/53247934736\ 7097098236569222*c_1001_1^6 - 58814173563918140176199925462/2662396\ 73683548549118284611*c_1001_1^5 - 224950279032284742732661962043/10\ 64958694734194196473138444*c_1001_1^4 - 16929220742437625576253043001/2129917389468388392946276888*c_1001_1\ ^3 + 1826918461546540689517003123/532479347367097098236569222*c_100\ 1_1^2 - 3825892138109094999628484867/532479347367097098236569222*c_\ 1001_1 - 477177078948107732170596171/266239673683548549118284611, c_0101_8 - 4443835527528970717967470361/532479347367097098236569222*c_1\ 001_1^11 + 7043394226837962579325055617/266239673683548549118284611\ *c_1001_1^10 + 3131202175030111120941865024/26623967368354854911828\ 4611*c_1001_1^9 - 77550525812157104960723209479/5324793473670970982\ 36569222*c_1001_1^8 + 52230157892326818366188826835/266239673683548\ 549118284611*c_1001_1^7 + 66778480414462491837204749093/53247934736\ 7097098236569222*c_1001_1^6 - 88662143540796887248480770288/2662396\ 73683548549118284611*c_1001_1^5 - 343004995142344123510826264967/10\ 64958694734194196473138444*c_1001_1^4 - 29552106554027301688182732125/2129917389468388392946276888*c_1001_1\ ^3 + 2223700871290582855605188010/266239673683548549118284611*c_100\ 1_1^2 - 4750333741243363637397293603/532479347367097098236569222*c_\ 1001_1 - 1043983603785797689757817781/266239673683548549118284611, c_0110_10 - 1989320287497341929079495287/266239673683548549118284611*c_\ 1001_1^11 + 6391842673292537853553978381/26623967368354854911828461\ 1*c_1001_1^10 + 2481945653381430712772442062/2662396736835485491182\ 84611*c_1001_1^9 - 34666703661034926320107778845/266239673683548549\ 118284611*c_1001_1^8 + 48275649936713300006696246565/26623967368354\ 8549118284611*c_1001_1^7 + 27037089452178222549283426717/2662396736\ 83548549118284611*c_1001_1^6 - 79300740408038056560015141715/266239\ 673683548549118284611*c_1001_1^5 - 146117780697367829278412550393/532479347367097098236569222*c_1001_1\ ^4 - 6967996076724943732537274165/1064958694734194196473138444*c_10\ 01_1^3 + 1892441853478799938555549459/1064958694734194196473138444*\ c_1001_1^2 - 2311451528348077614839897404/2662396736835485491182846\ 11*c_1001_1 - 786947649114186068736069666/2662396736835485491182846\ 11, c_0110_2 - 11812709477452078921627840379/1064958694734194196473138444*c\ _1001_1^11 + 18100603458446647955382606681/532479347367097098236569\ 222*c_1001_1^10 + 5220631696315693405523229241/26623967368354854911\ 8284611*c_1001_1^9 - 205481403563691253953866003717/106495869473419\ 4196473138444*c_1001_1^8 + 128060447363788120249128206601/532479347\ 367097098236569222*c_1001_1^7 + 211941660619929989297796376139/1064\ 958694734194196473138444*c_1001_1^6 - 115633278212774716549485428828/266239673683548549118284611*c_1001_1\ ^5 - 1010356328146741697430085847229/2129917389468388392946276888*c\ _1001_1^4 - 217206974858411256168512666423/425983477893677678589255\ 3776*c_1001_1^3 + 13171285899230271605192103565/1064958694734194196\ 473138444*c_1001_1^2 - 8334112155885385399778295699/532479347367097\ 098236569222*c_1001_1 - 1248107014434578469635948400/26623967368354\ 8549118284611, c_1001_1^12 - 138/49*c_1001_1^11 - 124/49*c_1001_1^10 + 831/49*c_1001_1^9 - 850/49*c_1001_1^8 - 1145/49*c_1001_1^7 + 1700/49*c_1001_1^6 + 737/14*c_1001_1^5 + 2957/196*c_1001_1^4 - 8/49*c_1001_1^3 + 52/49*c_1001_1^2 + 44/49*c_1001_1 + 8/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB