Magma V2.19-8 Tue Aug 20 2013 23:38:56 on localhost [Seed = 2345529321] Type ? for help. Type -D to quit. Loading file "K12n371__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n371 geometric_solution 9.60874177 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.703684614505 0.797569398298 0 4 6 5 0132 2103 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 -3 3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.028117207702 0.439900180566 3 0 7 7 1230 0132 2310 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 2 0 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.656495037655 0.823717505656 8 2 7 0 0132 3012 0132 0132 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 -1 0 1 -2 0 2 0 3 -2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.589278091299 1.573899651561 6 1 0 9 0132 2103 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.119348620066 1.133067912479 8 9 1 6 3012 3120 0132 2031 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 0 1 3 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 0.450075411752 0.332792414823 4 5 10 1 0132 1302 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 -3 3 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.668934724138 0.331976413411 9 2 2 3 3201 3201 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 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.269147160280 0.460441117847 3 10 10 5 0132 2031 0213 1230 0 0 0 0 0 -1 0 1 -1 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 2 1 -3 2 0 -2 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574347735780 0.798166317545 10 5 4 7 2310 3120 0132 2310 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 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.055729924569 0.509665107725 8 8 9 6 1302 0213 3201 0132 0 0 0 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 -1 1 0 -3 0 0 3 -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.936628324071 0.706092786047 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_10' : negation(d['c_0101_6']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_1001_5']), 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_10' : d['c_0110_5'], '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_3'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_7'], 'c_1100_8' : d['c_0110_5'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_7'], 'c_1100_7' : d['c_0011_7'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0011_7'], 'c_1100_3' : d['c_0011_7'], 'c_1100_2' : d['c_0011_7'], 'c_1100_10' : negation(d['c_0011_4']), 'c_1010_7' : d['c_0011_0'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_1001_5']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_5']), 'c_1010_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_4'], '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' : negation(d['c_0011_4']), '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_0011_3'], '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_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_10'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_3']), 'c_0110_8' : d['c_0011_5'], 'c_0110_1' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_10'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_7' : d['c_0011_5'], 'c_0011_10' : 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_1, c_0101_2, c_0101_6, c_0110_5, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 645146202963151816938430887201337/28458154508964115762289887*c_1001\ _5^14 + 24476744826788501828641773427905903/11383261803585646304915\ 9548*c_1001_5^13 - 19741364348018986026310007728334372/284581545089\ 64115762289887*c_1001_5^12 + 126035001801158676385926201720946857/1\ 13832618035856463049159548*c_1001_5^11 - 264988175641413488284451120559939305/113832618035856463049159548*c_\ 1001_5^10 + 500112970770103630740456552784284167/113832618035856463\ 049159548*c_1001_5^9 - 401916080552647781897403445286003184/2845815\ 4508964115762289887*c_1001_5^8 - 1519806012718602421606888821135197\ 041/56916309017928231524579774*c_1001_5^7 - 762418338413169382354165782272169087/28458154508964115762289887*c_1\ 001_5^6 - 1837080126955155133336719056478574151/1138326180358564630\ 49159548*c_1001_5^5 - 488715912896938668697550620959797743/56916309\ 017928231524579774*c_1001_5^4 - 48596158376565137574992576090739630\ 1/113832618035856463049159548*c_1001_5^3 - 164318407880763147590744151143479761/113832618035856463049159548*c_\ 1001_5^2 - 20954834059606824419646549070497587/11383261803585646304\ 9159548*c_1001_5 - 5321232037833458785807866078040517/1138326180358\ 56463049159548, c_0011_0 - 1, c_0011_10 + 46486005764788141617/128363928159189332213*c_1001_5^14 - 447198657760893473554/128363928159189332213*c_1001_5^13 + 1482972696711272728248/128363928159189332213*c_1001_5^12 - 2471857759005740018455/128363928159189332213*c_1001_5^11 + 5112173352513418276960/128363928159189332213*c_1001_5^10 - 9704754985017467056140/128363928159189332213*c_1001_5^9 + 30259922032995017959840/128363928159189332213*c_1001_5^8 + 50697944748083434326959/128363928159189332213*c_1001_5^7 + 48045582167679274818560/128363928159189332213*c_1001_5^6 + 26812861697385475892894/128363928159189332213*c_1001_5^5 + 12988582175484600258073/128363928159189332213*c_1001_5^4 + 6689289564612033625544/128363928159189332213*c_1001_5^3 + 2075916381442563304932/128363928159189332213*c_1001_5^2 + 198646974522568620123/128363928159189332213*c_1001_5 - 37435581318798674387/128363928159189332213, c_0011_3 + 32716188375996009472/128363928159189332213*c_1001_5^14 - 305156972132348358262/128363928159189332213*c_1001_5^13 + 948890672225373204421/128363928159189332213*c_1001_5^12 - 1405689575021480639757/128363928159189332213*c_1001_5^11 + 2975647466776380164969/128363928159189332213*c_1001_5^10 - 5530657477776561909007/128363928159189332213*c_1001_5^9 + 18795670178244411620252/128363928159189332213*c_1001_5^8 + 42876208788978057586351/128363928159189332213*c_1001_5^7 + 41727451802084318645785/128363928159189332213*c_1001_5^6 + 27977316245078615201873/128363928159189332213*c_1001_5^5 + 13372405419225380058230/128363928159189332213*c_1001_5^4 + 6422524983486657887675/128363928159189332213*c_1001_5^3 + 1760410089344730120935/128363928159189332213*c_1001_5^2 + 56343481417805167564/128363928159189332213*c_1001_5 - 7244667144830428330/128363928159189332213, c_0011_4 + 36540845454038387731/128363928159189332213*c_1001_5^14 - 327911655447752423792/128363928159189332213*c_1001_5^13 + 935260536217348122387/128363928159189332213*c_1001_5^12 - 1156652423584733116589/128363928159189332213*c_1001_5^11 + 2643944449697722838473/128363928159189332213*c_1001_5^10 - 4812135830405343865964/128363928159189332213*c_1001_5^9 + 18428155202668477645313/128363928159189332213*c_1001_5^8 + 56047291588545854673636/128363928159189332213*c_1001_5^7 + 61113119535654138989415/128363928159189332213*c_1001_5^6 + 42809454974710799553477/128363928159189332213*c_1001_5^5 + 22302637698335668283243/128363928159189332213*c_1001_5^4 + 11633786313226587018194/128363928159189332213*c_1001_5^3 + 4550380175808936891601/128363928159189332213*c_1001_5^2 + 911307828421736236722/128363928159189332213*c_1001_5 + 79292620831642483025/128363928159189332213, c_0011_5 + 26895184414758884927/128363928159189332213*c_1001_5^14 - 254575547906548318491/128363928159189332213*c_1001_5^13 + 817993365780410204072/128363928159189332213*c_1001_5^12 - 1297205795610512128624/128363928159189332213*c_1001_5^11 + 2733851151101507973267/128363928159189332213*c_1001_5^10 - 5146593540307472766397/128363928159189332213*c_1001_5^9 + 16614333016610457639099/128363928159189332213*c_1001_5^8 + 32091573879623797318928/128363928159189332213*c_1001_5^7 + 32230935063252790637972/128363928159189332213*c_1001_5^6 + 20062048476171750196745/128363928159189332213*c_1001_5^5 + 9944613754868885910505/128363928159189332213*c_1001_5^4 + 5235187204274664000829/128363928159189332213*c_1001_5^3 + 1958027902499548963848/128363928159189332213*c_1001_5^2 + 256806448790410793301/128363928159189332213*c_1001_5 - 30867559144403058967/128363928159189332213, c_0011_7 + 1963711006692506600/128363928159189332213*c_1001_5^14 - 24087178990885705999/128363928159189332213*c_1001_5^13 + 110891318056391691113/128363928159189332213*c_1001_5^12 - 252352465351986995161/128363928159189332213*c_1001_5^11 + 426606390392529672038/128363928159189332213*c_1001_5^10 - 857412940332154552467/128363928159189332213*c_1001_5^9 + 2125654151986252169368/128363928159189332213*c_1001_5^8 - 778649306482940342108/128363928159189332213*c_1001_5^7 - 4966233357382255585885/128363928159189332213*c_1001_5^6 - 5487082279342595267991/128363928159189332213*c_1001_5^5 - 2895030004302891194153/128363928159189332213*c_1001_5^4 - 778421249476108278411/128363928159189332213*c_1001_5^3 - 830985566570329177684/128363928159189332213*c_1001_5^2 - 317519280526732915742/128363928159189332213*c_1001_5 - 35201384842597350734/128363928159189332213, c_0101_1 + 22849143608204944602/128363928159189332213*c_1001_5^14 - 213656219048768204698/128363928159189332213*c_1001_5^13 + 671170957540346835370/128363928159189332213*c_1001_5^12 - 1034593939394871321279/128363928159189332213*c_1001_5^11 + 2251727119514876644762/128363928159189332213*c_1001_5^10 - 4243708347007062576172/128363928159189332213*c_1001_5^9 + 13893974307952718800346/128363928159189332213*c_1001_5^8 + 28322286283320315648824/128363928159189332213*c_1001_5^7 + 31842485470139047549875/128363928159189332213*c_1001_5^6 + 19544605093510145117711/128363928159189332213*c_1001_5^5 + 10130814487165356780863/128363928159189332213*c_1001_5^4 + 4327357943406304473321/128363928159189332213*c_1001_5^3 + 1130217004375481305306/128363928159189332213*c_1001_5^2 + 99975208876438893386/128363928159189332213*c_1001_5 - 104590261576589371358/128363928159189332213, c_0101_2 - 29412742898226795701/128363928159189332213*c_1001_5^14 + 280075693208178958069/128363928159189332213*c_1001_5^13 - 906663857303046086340/128363928159189332213*c_1001_5^12 + 1434573498662449703445/128363928159189332213*c_1001_5^11 - 2960318484711024947150/128363928159189332213*c_1001_5^10 + 5631608095940963551290/128363928159189332213*c_1001_5^9 - 18142514050071259930797/128363928159189332213*c_1001_5^8 - 34712501724291045788576/128363928159189332213*c_1001_5^7 - 31074480735963017215727/128363928159189332213*c_1001_5^6 - 15249832941653135680923/128363928159189332213*c_1001_5^5 - 5227703424726438247918/128363928159189332213*c_1001_5^4 - 2408328265092421119818/128363928159189332213*c_1001_5^3 - 208176531493171675452/128363928159189332213*c_1001_5^2 + 214745442666488526264/128363928159189332213*c_1001_5 + 108770587493533550249/128363928159189332213, c_0101_6 + 28208773724743149458/128363928159189332213*c_1001_5^14 - 272218212845507062154/128363928159189332213*c_1001_5^13 + 912729848298087837671/128363928159189332213*c_1001_5^12 - 1572488990400735735937/128363928159189332213*c_1001_5^11 + 3301730872910431933364/128363928159189332213*c_1001_5^10 - 6252178338825131766613/128363928159189332213*c_1001_5^9 + 19101499078323916684463/128363928159189332213*c_1001_5^8 + 29134442145533433565105/128363928159189332213*c_1001_5^7 + 31465110737028561726348/128363928159189332213*c_1001_5^6 + 19991150071631714625744/128363928159189332213*c_1001_5^5 + 12072969679557885534448/128363928159189332213*c_1001_5^4 + 6051352379925366344680/128363928159189332213*c_1001_5^3 + 1826384919103800560403/128363928159189332213*c_1001_5^2 + 571988081276628343217/128363928159189332213*c_1001_5 + 92776805568649243312/128363928159189332213, c_0110_5 + 16977075645470814269/128363928159189332213*c_1001_5^14 - 163957509996517192481/128363928159189332213*c_1001_5^13 + 539719262445454214723/128363928159189332213*c_1001_5^12 - 842312963364814181730/128363928159189332213*c_1001_5^11 + 1608368463314384244844/128363928159189332213*c_1001_5^10 - 3059284187819664719355/128363928159189332213*c_1001_5^9 + 10072797798822894568505/128363928159189332213*c_1001_5^8 + 20238653307808453514698/128363928159189332213*c_1001_5^7 + 10746445202319356313504/128363928159189332213*c_1001_5^6 + 3078833910175758743664/128363928159189332213*c_1001_5^5 - 430580495745015257356/128363928159189332213*c_1001_5^4 + 613036206129404924620/128363928159189332213*c_1001_5^3 - 385352665739610926346/128363928159189332213*c_1001_5^2 - 396972121192273355381/128363928159189332213*c_1001_5 + 29649790317243211365/128363928159189332213, c_1001_5^15 - 9*c_1001_5^14 + 26*c_1001_5^13 - 34*c_1001_5^12 + 79*c_1001_5^11 - 144*c_1001_5^10 + 529*c_1001_5^9 + 1480*c_1001_5^8 + 1753*c_1001_5^7 + 1285*c_1001_5^6 + 724*c_1001_5^5 + 372*c_1001_5^4 + 155*c_1001_5^3 + 39*c_1001_5^2 + 6*c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.270 Total time: 0.480 seconds, Total memory usage: 32.09MB