Magma V2.19-8 Tue Aug 20 2013 23:50:41 on localhost [Seed = 2395530679] Type ? for help. Type -D to quit. Loading file "L12n681__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n681 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 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 -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 0 0 0 0 0 0 0.181960972999 0.803660720979 0 5 6 4 0132 0132 0132 2103 0 1 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 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 0 0 0 -0.565458170590 1.221402278836 5 0 8 7 0132 0132 0132 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 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.217229917966 1.172365479675 9 10 9 0 0132 0132 3120 0132 1 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 0 0 0 0 0 1 -1 -2 0 3 -1 -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.591289832251 0.737511747289 11 10 0 1 0132 0321 0132 2103 1 1 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 0 0 0 -1 0 1 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.808041357222 0.486860226674 2 1 9 8 0132 0132 0213 1302 0 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 -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.020946619908 0.755934831867 10 8 7 1 2310 3120 2310 0132 0 1 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 0 0 0 0 0 0 0 0 -2 0 2 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.549208577715 1.017752656520 11 6 2 8 2031 3201 0132 2310 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 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.559712447436 0.703031606365 7 6 5 2 3201 3120 2031 0132 1 0 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612035856618 0.704616313363 3 5 3 11 0132 0213 3120 3201 0 1 0 1 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 0 0 2 0 -3 1 -1 2 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.591289832251 0.737511747289 11 3 6 4 3201 0132 3201 0321 1 1 0 1 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 -1 0 1 0 1 1 0 -2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.455131933227 1.127713403559 4 9 7 10 0132 2310 1302 2310 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 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -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.517871156011 0.608004123626 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_8']), 'c_1001_10' : negation(d['c_0101_6']), 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : negation(d['c_1001_3']), 'c_1001_8' : negation(d['c_0101_2']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_7']), 'c_0101_10' : negation(d['c_0101_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_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_1100_9' : negation(d['c_0011_11']), 'c_1100_8' : d['c_0011_8'], 'c_1100_5' : d['c_0101_8'], 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : d['c_0011_7'], 'c_1100_1' : d['c_0011_7'], 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : d['c_0011_8'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_6']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : d['c_1001_3'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : negation(d['c_1001_3']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : negation(d['c_0011_6']), '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_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_11'], '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_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : negation(d['c_0101_8']), 'c_0110_6' : d['c_0101_1']})} 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_6, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0101_8, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 3779701598547343440680605984/26369157097675096587439335*c_1001_3^13 - 6256080981448770778875202624/26369157097675096587439335*c_1001_3^\ 12 + 18305172342982975244009902448/79107471293025289762318005*c_100\ 1_3^11 + 6714924685252611147166624084/5273831419535019317487867*c_1\ 001_3^10 + 1648874884748583243297133840/5273831419535019317487867*c\ _1001_3^9 - 103140899567753687267795370191/791074712930252897623180\ 05*c_1001_3^8 - 39091662134239103850246778267/263691570976750965874\ 39335*c_1001_3^7 - 153809447186405422777447932313/31642988517210115\ 9049272020*c_1001_3^6 + 550696357247026027127449694117/316429885172\ 101159049272020*c_1001_3^5 + 138184645549579351113502607713/3164298\ 85172101159049272020*c_1001_3^4 - 50719508358655519992339019907/316\ 429885172101159049272020*c_1001_3^3 - 9214065918232118928876264841/105476628390700386349757340*c_1001_3^2 + 2732642831548528223059244263/158214942586050579524636010*c_1001_3 - 1949222083442661623105828473/316429885172101159049272020, c_0011_0 - 1, c_0011_10 - 90522064311501127002432/65109029870802707623307*c_1001_3^13 - 340199083191630979076256/65109029870802707623307*c_1001_3^12 - 339680194392499597580816/65109029870802707623307*c_1001_3^11 + 606318568750975974533456/65109029870802707623307*c_1001_3^10 + 1503110352402844826883344/65109029870802707623307*c_1001_3^9 + 572400308595323707884502/65109029870802707623307*c_1001_3^8 - 1073458584687916730898159/65109029870802707623307*c_1001_3^7 - 1720632829243017588605046/65109029870802707623307*c_1001_3^6 - 379932811908694952430970/65109029870802707623307*c_1001_3^5 + 999525215782583089342483/65109029870802707623307*c_1001_3^4 + 341687785334986362216980/65109029870802707623307*c_1001_3^3 - 90929935943832057667064/65109029870802707623307*c_1001_3^2 - 150482308184728748069193/65109029870802707623307*c_1001_3 - 2194736087046943183947/65109029870802707623307, c_0011_11 - 59309939495839637260896/65109029870802707623307*c_1001_3^13 - 142864439992806516452592/65109029870802707623307*c_1001_3^12 - 89926057499261867385272/65109029870802707623307*c_1001_3^11 + 267854598599464124819832/65109029870802707623307*c_1001_3^10 + 291989417907381930980208/65109029870802707623307*c_1001_3^9 + 260258279844405361247469/65109029870802707623307*c_1001_3^8 + 168785550527653932505467/130218059741605415246614*c_1001_3^7 - 404569202732188537339611/65109029870802707623307*c_1001_3^6 - 398634068207616581873451/130218059741605415246614*c_1001_3^5 - 437858535328730734479078/65109029870802707623307*c_1001_3^4 + 167376161090193505062217/130218059741605415246614*c_1001_3^3 + 501537596040455140734049/130218059741605415246614*c_1001_3^2 - 26808500205164228759956/65109029870802707623307*c_1001_3 - 34730003162382935468644/65109029870802707623307, c_0011_6 - 439915176514660172016/1514163485367504828449*c_1001_3^13 - 1574512616707667297496/1514163485367504828449*c_1001_3^12 + 696922602319860150068/1514163485367504828449*c_1001_3^11 + 8549037109543989566956/1514163485367504828449*c_1001_3^10 + 8273592847428757235352/1514163485367504828449*c_1001_3^9 - 28889709368607579783967/3028326970735009656898*c_1001_3^8 - 87067613752622323273097/6056653941470019313796*c_1001_3^7 - 2465716419201686277203/3028326970735009656898*c_1001_3^6 + 75315697241361253549177/6056653941470019313796*c_1001_3^5 + 39435151950382744002157/3028326970735009656898*c_1001_3^4 - 41728964998112240368409/6056653941470019313796*c_1001_3^3 - 37061517138307917813817/6056653941470019313796*c_1001_3^2 + 5753247483031702711657/3028326970735009656898*c_1001_3 + 3078125027541680235321/3028326970735009656898, c_0011_7 - 101344552539995797856448/65109029870802707623307*c_1001_3^13 - 306282937748048687251680/65109029870802707623307*c_1001_3^12 - 193844672537809606491824/65109029870802707623307*c_1001_3^11 + 751170436502201178897168/65109029870802707623307*c_1001_3^10 + 1149981872253173242174864/65109029870802707623307*c_1001_3^9 + 50703689568409234022010/65109029870802707623307*c_1001_3^8 - 1175956234799717099832317/65109029870802707623307*c_1001_3^7 - 1195983913807148345966496/65109029870802707623307*c_1001_3^6 + 342700555057503865705666/65109029870802707623307*c_1001_3^5 + 781188058944183810832873/65109029870802707623307*c_1001_3^4 + 32619054093697363490165/65109029870802707623307*c_1001_3^3 - 339706718097840315247625/65109029870802707623307*c_1001_3^2 - 27443728944948720570032/65109029870802707623307*c_1001_3 + 52905043839705758057409/65109029870802707623307, c_0011_8 + 1, c_0101_0 - 135221016626641650457824/65109029870802707623307*c_1001_3^13 - 422255251327351963137936/65109029870802707623307*c_1001_3^12 - 259796920044101914047848/65109029870802707623307*c_1001_3^11 + 1043425734913289838019248/65109029870802707623307*c_1001_3^10 + 1580625839984406061937200/65109029870802707623307*c_1001_3^9 - 107504685731254504363175/65109029870802707623307*c_1001_3^8 - 3299573889344936795934231/130218059741605415246614*c_1001_3^7 - 2959766642805056692292717/130218059741605415246614*c_1001_3^6 + 601983461427158613642395/65109029870802707623307*c_1001_3^5 + 1269186911952644947377485/65109029870802707623307*c_1001_3^4 - 452188362568636066700719/130218059741605415246614*c_1001_3^3 - 486457096249674905052871/65109029870802707623307*c_1001_3^2 - 2266103806166063763615/65109029870802707623307*c_1001_3 + 72349842052102728164659/65109029870802707623307, c_0101_1 + 373340125678021826059200/65109029870802707623307*c_1001_3^13 + 1340566903959722243808576/65109029870802707623307*c_1001_3^12 + 1267104367753203906235456/65109029870802707623307*c_1001_3^11 - 2422981923680519866171976/65109029870802707623307*c_1001_3^10 - 5425682026483888767436080/65109029870802707623307*c_1001_3^9 - 1663444174397200724561986/65109029870802707623307*c_1001_3^8 + 3912998910113518666095160/65109029870802707623307*c_1001_3^7 + 11008400014839694929760747/130218059741605415246614*c_1001_3^6 + 1100586286210436981298375/130218059741605415246614*c_1001_3^5 - 3345172382677053903957304/65109029870802707623307*c_1001_3^4 - 404386220695154165083437/65109029870802707623307*c_1001_3^3 + 1691892282784807788158949/130218059741605415246614*c_1001_3^2 + 323698041884647017781221/65109029870802707623307*c_1001_3 - 79623060133494173106717/65109029870802707623307, c_0101_2 - 309417506071193624196288/65109029870802707623307*c_1001_3^13 - 1008232978701355102848096/65109029870802707623307*c_1001_3^12 - 751844599046717237284144/65109029870802707623307*c_1001_3^11 + 2144516255431021121619472/65109029870802707623307*c_1001_3^10 + 3689160086837787451883040/65109029870802707623307*c_1001_3^9 + 367931325484978221739194/65109029870802707623307*c_1001_3^8 - 2976252971882766632844793/65109029870802707623307*c_1001_3^7 - 3429476447396394040220056/65109029870802707623307*c_1001_3^6 + 418727091991460533548847/65109029870802707623307*c_1001_3^5 + 2190273984140107695620522/65109029870802707623307*c_1001_3^4 - 492681737927856493101407/65109029870802707623307*c_1001_3^3 - 363879630653658455672421/65109029870802707623307*c_1001_3^2 + 7633612630390891501022/65109029870802707623307*c_1001_3 + 47425096476596058293416/65109029870802707623307, c_0101_6 - 279113663384030774249712/65109029870802707623307*c_1001_3^13 - 1020797252335935210640536/65109029870802707623307*c_1001_3^12 - 1076452933719318578106924/65109029870802707623307*c_1001_3^11 + 1563493392081474518027004/65109029870802707623307*c_1001_3^10 + 4063041770567603995755496/65109029870802707623307*c_1001_3^9 + 3870392307496829960814145/130218059741605415246614*c_1001_3^8 - 8997367668717576025818049/260436119483210830493228*c_1001_3^7 - 8621448021599091676430853/130218059741605415246614*c_1001_3^6 - 4725072077657462031352343/260436119483210830493228*c_1001_3^5 + 3781278503255184047483261/130218059741605415246614*c_1001_3^4 + 2383699362059474791875055/260436119483210830493228*c_1001_3^3 - 1084980941526591707586277/260436119483210830493228*c_1001_3^2 - 711533552309031602708071/130218059741605415246614*c_1001_3 - 56741408040578024988019/130218059741605415246614, c_0101_8 - 15793771763678545163520/65109029870802707623307*c_1001_3^13 - 138006371852167875088512/65109029870802707623307*c_1001_3^12 - 257947312769435970603264/65109029870802707623307*c_1001_3^11 + 40987947109851093717536/65109029870802707623307*c_1001_3^10 + 849319288048569102057712/65109029870802707623307*c_1001_3^9 + 708049442043155451722168/65109029870802707623307*c_1001_3^8 - 333856447677134178431772/65109029870802707623307*c_1001_3^7 - 1081123454273674104457806/65109029870802707623307*c_1001_3^6 - 747187901388297056807891/65109029870802707623307*c_1001_3^5 + 576140106818587668326703/65109029870802707623307*c_1001_3^4 + 464496106939142877936637/65109029870802707623307*c_1001_3^3 + 63354682168218311968657/65109029870802707623307*c_1001_3^2 - 148180598010181759971069/65109029870802707623307*c_1001_3 + 13920759020827724742943/65109029870802707623307, c_1001_3^14 + 7/2*c_1001_3^13 + 37/12*c_1001_3^12 - 20/3*c_1001_3^11 - 55/4*c_1001_3^10 - 317/96*c_1001_3^9 + 1931/192*c_1001_3^8 + 2587/192*c_1001_3^7 + 137/192*c_1001_3^6 - 529/64*c_1001_3^5 + 43/192*c_1001_3^4 + 151/96*c_1001_3^3 + 91/192*c_1001_3^2 - 7/48*c_1001_3 + 5/96 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.300 seconds, Total memory usage: 32.09MB