Magma V2.19-8 Tue Aug 20 2013 23:40:20 on localhost [Seed = 2766323744] Type ? for help. Type -D to quit. Loading file "L10a99__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L10a99 geometric_solution 10.04384757 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 1 0132 0132 0132 2031 0 0 1 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 -5 5 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.663780177355 0.692674774069 0 0 5 4 0132 1302 0132 0132 0 0 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 0 0 0 0 0 0 0 0 0 -5 5 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.278815299254 0.752578137603 6 0 6 7 0132 0132 3012 0132 0 0 0 1 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 -1 -4 5 4 0 0 -4 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.207220617195 1.230303009152 5 8 9 0 1302 0132 0132 0132 0 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 -5 5 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612885815255 0.415349969154 5 4 1 4 2310 1302 0132 2031 0 0 0 0 0 1 0 -1 1 0 0 -1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 4 0 0 -4 0 4 0 -4 -5 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392872799290 1.566517529701 8 3 4 1 0321 2031 3201 0132 0 0 1 0 0 0 1 -1 0 0 0 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 5 -5 0 0 0 0 6 -7 0 1 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.278815299254 0.752578137603 2 2 10 10 0132 1230 0132 1230 0 0 1 0 0 0 1 -1 -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 5 -5 -4 0 0 4 -1 0 0 1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.370086765606 0.574332369443 8 9 2 10 3120 3120 0132 2031 0 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 0 0 0 0 0 5 -5 0 -4 0 4 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.247134159488 0.451738927519 5 3 9 7 0321 0132 3120 3120 0 0 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 0 0 0 0 0 0 0 -4 0 0 4 -6 7 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.882003090247 0.630195987019 10 7 8 3 2031 3120 3120 0132 0 0 1 0 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 -5 0 0 5 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720996135973 0.549086918248 6 7 9 6 3012 1302 1302 0132 0 0 0 1 0 0 1 -1 1 0 -1 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 5 -5 5 0 -5 0 -4 0 0 4 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.866874921548 0.790385565056 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_5']), 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_7']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_1001_0']), 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : d['c_1001_6'], '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_10'], '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_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' : d['c_0101_5'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : negation(d['c_1001_6']), 'c_1100_6' : d['c_0101_6'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_1001_6']), 'c_1100_10' : d['c_0101_6'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : negation(d['c_0011_7']), 'c_1100_8' : negation(d['c_0101_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' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_6'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : negation(d['c_0101_5']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_5']), 'c_0110_8' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_7' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0011_10']})} 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_4, c_0011_5, c_0011_7, c_0101_0, c_0101_5, c_0101_6, c_1001_0, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 6453108730128291326587402869164/17661713136575742379155139375*c_100\ 1_6^11 - 96381703919481871976931545742319/1236319919560301966540859\ 75625*c_1001_6^10 - 26302073190845245896371849435297/12363199195603\ 0196654085975625*c_1001_6^9 + 11112616111181449401953413456848/1236\ 31991956030196654085975625*c_1001_6^8 - 134152122019641840917329893371107/123631991956030196654085975625*c_\ 1001_6^7 - 119808075699057584327156849449332/1236319919560301966540\ 85975625*c_1001_6^6 + 3225111739166476048503611149481/3532342627315\ 148475831027875*c_1001_6^5 + 94341426759562070436417474605138/12363\ 1991956030196654085975625*c_1001_6^4 - 100072486388840687540434829635822/123631991956030196654085975625*c_\ 1001_6^3 - 94898817741593138869431372121643/12363199195603019665408\ 5975625*c_1001_6^2 + 11421530329521822697486768857963/1236319919560\ 30196654085975625*c_1001_6 + 30657837417317919939693767498349/12363\ 1991956030196654085975625, c_0011_0 - 1, c_0011_10 - 401803086902928301734705107/57907256185494237308705375*c_10\ 01_6^11 - 1001810564799660844132789236/57907256185494237308705375*c\ _1001_6^10 - 560712053614530791839824473/57907256185494237308705375\ *c_1001_6^9 - 125891413898994486859965053/5790725618549423730870537\ 5*c_1001_6^8 - 1323916053036473084463109443/57907256185494237308705\ 375*c_1001_6^7 - 1514742789793264398901067458/579072561854942373087\ 05375*c_1001_6^6 + 100896956466627637148965233/11581451237098847461\ 741075*c_1001_6^5 + 869631770962258514535606492/5790725618549423730\ 8705375*c_1001_6^4 - 657044542820802305673847433/579072561854942373\ 08705375*c_1001_6^3 - 996756188912605848894494117/57907256185494237\ 308705375*c_1001_6^2 - 200239049711042822798862933/5790725618549423\ 7308705375*c_1001_6 + 167537631490629990055425706/57907256185494237\ 308705375, c_0011_3 - 393537530473793692254095254/57907256185494237308705375*c_100\ 1_6^11 - 1025384232023466016076862877/57907256185494237308705375*c_\ 1001_6^10 - 675797669260606374659309681/57907256185494237308705375*\ c_1001_6^9 - 166001274080993340080353031/57907256185494237308705375\ *c_1001_6^8 - 1250550254445567962719626266/579072561854942373087053\ 75*c_1001_6^7 - 1684718851656975272592724381/5790725618549423730870\ 5375*c_1001_6^6 + 53016982568548889634266671/1158145123709884746174\ 1075*c_1001_6^5 + 994282639560449127363086999/579072561854942373087\ 05375*c_1001_6^4 - 586867759700867630150274541/57907256185494237308\ 705375*c_1001_6^3 - 1197053481679362090542943969/579072561854942373\ 08705375*c_1001_6^2 - 326254802023127156499147251/57907256185494237\ 308705375*c_1001_6 + 139840334620945439152107267/579072561854942373\ 08705375, c_0011_4 + 597639603310824241730223374/289536280927471186543526875*c_10\ 01_6^11 + 1725504566735841998982774472/289536280927471186543526875*\ c_1001_6^10 + 1087143344232616223614946286/289536280927471186543526\ 875*c_1001_6^9 - 223788192332982122638072324/2895362809274711865435\ 26875*c_1001_6^8 + 1747780750625163521701770266/2895362809274711865\ 43526875*c_1001_6^7 + 3011033353746374617934381041/2895362809274711\ 86543526875*c_1001_6^6 - 197271580490812477033073896/57907256185494\ 237308705375*c_1001_6^5 - 2525208682923829197395081869/289536280927\ 471186543526875*c_1001_6^4 + 1315133605309205212741332886/289536280\ 927471186543526875*c_1001_6^3 + 2357997938207987164533693259/289536\ 280927471186543526875*c_1001_6^2 + 192186487813975787916353156/289536280927471186543526875*c_1001_6 - 458082129778208525836293237/289536280927471186543526875, c_0011_5 - 1, c_0011_7 + 4696176984973837735274808654/289536280927471186543526875*c_1\ 001_6^11 + 9986268137682270577149402412/289536280927471186543526875\ *c_1001_6^10 + 3544602094822214231483437331/28953628092747118654352\ 6875*c_1001_6^9 + 559320440292718472905208921/289536280927471186543\ 526875*c_1001_6^8 + 14394287476586217377434917986/28953628092747118\ 6543526875*c_1001_6^7 + 12708792865609936370968281736/2895362809274\ 71186543526875*c_1001_6^6 - 1747962811390223028511862091/5790725618\ 5494237308705375*c_1001_6^5 - 7756332964410371169289878174/28953628\ 0927471186543526875*c_1001_6^4 + 8807762055491587852987541831/28953\ 6280927471186543526875*c_1001_6^3 + 9442530168014726129590432439/289536280927471186543526875*c_1001_6^2 + 433403773092228809233343851/289536280927471186543526875*c_1001_6 - 2119647746442562944980106852/289536280927471186543526875, c_0101_0 - 1, c_0101_5 - 39573625604068852521287671/57907256185494237308705375*c_1001\ _6^11 - 77122489502997410198807768/57907256185494237308705375*c_100\ 1_6^10 + 17861507153607775299597256/57907256185494237308705375*c_10\ 01_6^9 + 29332957770471389142387576/57907256185494237308705375*c_10\ 01_6^8 - 130869056409455452792970074/57907256185494237308705375*c_1\ 001_6^7 - 51122942347303726385813554/57907256185494237308705375*c_1\ 001_6^6 + 36675421390626575648832544/11581451237098847461741075*c_1\ 001_6^5 + 41740524422703896608293226/57907256185494237308705375*c_1\ 001_6^4 - 129149498849373948505516964/57907256185494237308705375*c_\ 1001_6^3 - 8485635990061717262426496/57907256185494237308705375*c_1\ 001_6^2 + 41071345653251273187971301/57907256185494237308705375*c_1\ 001_6 + 39306955663020857104360978/57907256185494237308705375, c_0101_6 + 98888014115451282546118854/289536280927471186543526875*c_100\ 1_6^11 - 62361989070749757443797413/289536280927471186543526875*c_1\ 001_6^10 - 285462193091257597721718244/289536280927471186543526875*\ c_1001_6^9 + 65250250418603393252794146/289536280927471186543526875\ *c_1001_6^8 + 149656029681756777458071686/2895362809274711865435268\ 75*c_1001_6^7 - 535370940412240388746298364/28953628092747118654352\ 6875*c_1001_6^6 - 69169551110597867465317416/5790725618549423730870\ 5375*c_1001_6^5 + 318120200771153904243127001/289536280927471186543\ 526875*c_1001_6^4 + 102016648522876323920419306/2895362809274711865\ 43526875*c_1001_6^3 - 282905908432685021691650336/28953628092747118\ 6543526875*c_1001_6^2 - 291686689368731010171796724/289536280927471\ 186543526875*c_1001_6 + 36765792127156973677456223/2895362809274711\ 86543526875, c_1001_0 + 3326128935915693515734555758/289536280927471186543526875*c_1\ 001_6^11 + 6584851544300782495747862499/289536280927471186543526875\ *c_1001_6^10 + 1252757092751798581801835212/28953628092747118654352\ 6875*c_1001_6^9 - 494474122445230350134628558/289536280927471186543\ 526875*c_1001_6^8 + 9889316954983541085538556922/289536280927471186\ 543526875*c_1001_6^7 + 7296231961071434625939040872/289536280927471\ 186543526875*c_1001_6^6 - 1680149479038291057373602632/579072561854\ 94237308705375*c_1001_6^5 - 5310128449531954729869525048/2895362809\ 27471186543526875*c_1001_6^4 + 7188556862296454914977502012/2895362\ 80927471186543526875*c_1001_6^3 + 5815260697825902841409405853/2895\ 36280927471186543526875*c_1001_6^2 - 1005683749209431185346039248/289536280927471186543526875*c_1001_6 - 1878528203116044275055863754/289536280927471186543526875, c_1001_6^12 + 1948/623*c_1001_6^11 + 1684/623*c_1001_6^10 + 208/623*c_1001_6^9 + 1703/623*c_1001_6^8 + 3518/623*c_1001_6^7 + 18/89*c_1001_6^6 - 2818/623*c_1001_6^5 + 123/623*c_1001_6^4 + 2724/623*c_1001_6^3 + 1151/623*c_1001_6^2 - 598/623*c_1001_6 - 61/89 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB