Magma V2.19-8 Tue Aug 20 2013 23:43:56 on localhost [Seed = 3819276021] Type ? for help. Type -D to quit. Loading file "L14n13552__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13552 geometric_solution 9.60194237 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 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 0 -1 0 0 -1 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.443991284501 0.983264868016 0 4 2 5 0132 2031 1302 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 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.546074061201 0.390185231939 1 0 7 6 2031 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 -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.131031349850 1.357530614109 4 8 6 0 3201 0132 2103 0132 1 1 1 1 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 -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.668953061684 1.045059865487 1 5 0 3 1302 3012 0132 2310 1 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 -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.694045178089 1.700040361333 4 9 1 9 1230 0132 0132 1023 1 1 1 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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.833929656552 0.368100097888 3 9 2 8 2103 1023 0132 1230 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 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 1.357157780486 0.830974843568 10 10 10 2 0132 1302 3012 0132 1 1 1 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 1 0 -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.028872056093 0.506865372125 6 3 9 10 3012 0132 1023 1302 1 1 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.134719339211 0.560877757982 6 5 8 5 1023 0132 1023 1023 1 1 1 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 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.799963651324 0.567855907822 7 7 8 7 0132 1230 2031 2031 1 1 0 1 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 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.809271945291 0.422387110034 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_3']), 'c_1001_10' : negation(d['c_0110_8']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0101_9'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_0101_9'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_5']), 'c_1001_9' : d['c_0101_8'], 'c_1001_8' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0011_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_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_0110_8'], 'c_1100_6' : d['c_0110_8'], 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0110_8'], 'c_1100_10' : d['c_0011_5'], 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : d['c_0101_8'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_9'], 'c_1010_2' : d['c_0101_9'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0011_5']), 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : negation(d['c_0011_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' : 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' : negation(d['c_0011_5']), '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' : negation(d['c_0011_10']), '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_0110_10' : negation(d['c_0011_10']), 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_8'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0101_10'], 'c_1100_8' : d['c_0101_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_0101_0, c_0101_10, c_0101_3, c_0101_8, c_0101_9, c_0110_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 100232554247502837071973142468019574325961/802899868141641419500965\ 61101146510208000*c_0110_8^9 + 233599132844539205785830399627817919\ 65963/80289986814164141950096561101146510208000*c_0110_8^8 + 199006273416173588563595084297615751470671/160579973628328283900193\ 12220229302041600*c_0110_8^7 + 866232573759743908223129767960882932\ 719361/13381664469027356991682760183524418368000*c_0110_8^6 + 288069724664713832055319188188849507969933/669083223451367849584138\ 0091762209184000*c_0110_8^5 - 1674519741196131802720585292200291750\ 4513231/26763328938054713983365520367048836736000*c_0110_8^4 - 14516651562585600748312543858066472311865633/1605799736283282839001\ 9312220229302041600*c_0110_8^3 - 2468799230339462933012066928026492\ 5008910889/40144993407082070975048280550573255104000*c_0110_8^2 + 1268311552796152244204991684131470144637267/25090620879426294359405\ 17534410828444000*c_0110_8 - 54180591631175298020167989043173751513\ 74031/10036248351770517743762070137643313776000, c_0011_0 - 1, c_0011_10 + 1, c_0011_3 + 128223151276773518148496623/29379247240962985224161856776*c_\ 0110_8^9 - 64390027956297292133396135/29379247240962985224161856776\ *c_0110_8^8 - 964185535904752487995543043/2937924724096298522416185\ 6776*c_0110_8^7 - 894914743947066678116440050/367240590512037315302\ 0232097*c_0110_8^6 - 734269963597194009761099511/734481181024074630\ 6040464194*c_0110_8^5 + 50310071238658047931380358491/2937924724096\ 2985224161856776*c_0110_8^4 + 103912155238144263040071808465/293792\ 47240962985224161856776*c_0110_8^3 + 11715307864669826965397369089/3672405905120373153020232097*c_0110_8\ ^2 + 1343139119220536866879666385/3672405905120373153020232097*c_01\ 10_8 + 4533032596054954488687543451/3672405905120373153020232097, c_0011_4 - 39123065376462236451728992/3672405905120373153020232097*c_01\ 10_8^9 + 104362893934757157977480490/3672405905120373153020232097*c\ _0110_8^8 + 66994676322979522978226125/3672405905120373153020232097\ *c_0110_8^7 + 2027536541929099542926707326/367240590512037315302023\ 2097*c_0110_8^6 - 3439337005557170473914399855/36724059051203731530\ 20232097*c_0110_8^5 - 7888678622089969725287873075/3672405905120373\ 153020232097*c_0110_8^4 - 14125124333954074364189024485/36724059051\ 20373153020232097*c_0110_8^3 - 428150147857007746730846598/36724059\ 05120373153020232097*c_0110_8^2 - 5252103261074722380711279125/3672\ 405905120373153020232097*c_0110_8 + 1384819796600253541853837991/3672405905120373153020232097, c_0011_5 + 306191910468857671351788043/29379247240962985224161856776*c_\ 0110_8^9 - 956508557599253354593951643/2937924724096298522416185677\ 6*c_0110_8^8 - 90319004485388915517563803/2937924724096298522416185\ 6776*c_0110_8^7 - 3966188069316220850499902157/73448118102407463060\ 40464194*c_0110_8^6 + 4237899496840378333318664593/3672405905120373\ 153020232097*c_0110_8^5 + 46181561153041843194566798991/29379247240\ 962985224161856776*c_0110_8^4 + 91491408977102567838316508349/29379\ 247240962985224161856776*c_0110_8^3 - 8416630629933816677015568049/7344811810240746306040464194*c_0110_8^\ 2 + 18967184305525363622511754427/7344811810240746306040464194*c_01\ 10_8 - 2752160990140834717944763992/3672405905120373153020232097, c_0101_0 - 17011188289626340245507537/14689623620481492612080928388*c_0\ 110_8^9 + 8214782143675706211245307/3672405905120373153020232097*c_\ 0110_8^8 + 24759290337000088021702877/7344811810240746306040464194*\ c_0110_8^7 + 988606097638687895637047341/14689623620481492612080928\ 388*c_0110_8^6 - 216982728869728745865854477/3672405905120373153020\ 232097*c_0110_8^5 - 4190589302834854305017639557/146896236204814926\ 12080928388*c_0110_8^4 - 3112744868300976161326027439/3672405905120\ 373153020232097*c_0110_8^3 - 326251120340341718292416991/1468962362\ 0481492612080928388*c_0110_8^2 + 1570675275191113191228969239/36724\ 05905120373153020232097*c_0110_8 + 834921929501070707332377417/3672405905120373153020232097, c_0101_10 - 306191910468857671351788043/29379247240962985224161856776*c\ _0110_8^9 + 956508557599253354593951643/293792472409629852241618567\ 76*c_0110_8^8 + 90319004485388915517563803/293792472409629852241618\ 56776*c_0110_8^7 + 3966188069316220850499902157/7344811810240746306\ 040464194*c_0110_8^6 - 4237899496840378333318664593/367240590512037\ 3153020232097*c_0110_8^5 - 46181561153041843194566798991/2937924724\ 0962985224161856776*c_0110_8^4 - 91491408977102567838316508349/2937\ 9247240962985224161856776*c_0110_8^3 + 8416630629933816677015568049/7344811810240746306040464194*c_0110_8^\ 2 - 11622372495284617316471290233/7344811810240746306040464194*c_01\ 10_8 + 2752160990140834717944763992/3672405905120373153020232097, c_0101_3 + 86713847436836871652905581/14689623620481492612080928388*c_0\ 110_8^9 - 133700593522145444035971049/7344811810240746306040464194*\ c_0110_8^8 - 26020941209452982184555202/367240590512037315302023209\ 7*c_0110_8^7 - 4274987454725294735036043411/14689623620481492612080\ 928388*c_0110_8^6 + 2365697446463390802279843337/367240590512037315\ 3020232097*c_0110_8^5 + 16771580202726305234341273693/1468962362048\ 1492612080928388*c_0110_8^4 + 9320630069199237619076293211/73448118\ 10240746306040464194*c_0110_8^3 - 21434115004696932034636557039/146\ 89623620481492612080928388*c_0110_8^2 + 2136073674734066220442212778/3672405905120373153020232097*c_0110_8 - 1170779278422343621239951517/3672405905120373153020232097, c_0101_8 - 204413270834038528499567569/29379247240962985224161856776*c_\ 0110_8^9 + 669260227740005605698360121/2937924724096298522416185677\ 6*c_0110_8^8 + 102934898736700765251360597/293792472409629852241618\ 56776*c_0110_8^7 + 1264679247534388909113938848/3672405905120373153\ 020232097*c_0110_8^6 - 5957686533945526181882827169/734481181024074\ 6306040464194*c_0110_8^5 - 34605001272022622057835964941/2937924724\ 0962985224161856776*c_0110_8^4 - 40614653571143841722488075831/2937\ 9247240962985224161856776*c_0110_8^3 + 4926857931909789623691033810/3672405905120373153020232097*c_0110_8^\ 2 - 3588514402351117940663528036/3672405905120373153020232097*c_011\ 0_8 + 2698706415294227222748313489/3672405905120373153020232097, c_0101_9 + 79604363618569151671126515/14689623620481492612080928388*c_0\ 110_8^9 - 49711970401930280421968015/7344811810240746306040464194*c\ _0110_8^8 - 107369113120728674471307753/367240590512037315302023209\ 7*c_0110_8^7 - 4363388511200527613885472181/14689623620481492612080\ 928388*c_0110_8^6 + 246010838710775283781020492/3672405905120373153\ 020232097*c_0110_8^5 + 25685956052614029760266888023/14689623620481\ 492612080928388*c_0110_8^4 + 26811072133122788571563677863/73448118\ 10240746306040464194*c_0110_8^3 + 48587914735737081401461898155/146\ 89623620481492612080928388*c_0110_8^2 + 2795579846837588587100981643/3672405905120373153020232097*c_0110_8 + 3005105459183070887179181479/3672405905120373153020232097, c_0110_8^10 - 229/79*c_0110_8^9 - 69/79*c_0110_8^8 - 4114/79*c_0110_8^7 + 7788/79*c_0110_8^6 + 13419/79*c_0110_8^5 + 26699/79*c_0110_8^4 - 938/79*c_0110_8^3 + 19728/79*c_0110_8^2 - 3640/79*c_0110_8 + 3904/79 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.300 seconds, Total memory usage: 32.09MB