Magma V2.19-8 Tue Aug 20 2013 23:52:57 on localhost [Seed = 3002390903] Type ? for help. Type -D to quit. Loading file "L13n4473__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4473 geometric_solution 11.25971255 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 0 0 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 0 0 0 0 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.511519604199 0.540705994187 0 5 6 5 0132 0132 0132 0213 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 0 0 0 0 0 -4 1 3 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.419097112018 0.987794206279 7 0 4 8 0132 0132 2031 0132 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 -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.487907559173 0.793044019508 9 9 10 0 0132 1302 0132 0132 0 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 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.885209198306 0.975248056800 10 7 0 2 2310 0321 0132 1302 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 0 1 -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.749250192420 0.685411995038 11 1 9 1 0132 0132 2310 0213 1 1 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 0 0 0 0 0 0 0 0 4 -1 -3 -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.419097112018 0.987794206279 10 11 8 1 1302 1302 2103 0132 1 0 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 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.713119438448 0.360462943901 2 11 10 4 0132 0132 1302 0321 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.689108472724 1.899994074303 6 9 2 11 2103 1230 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598331808622 1.046140068195 3 5 8 3 0132 3201 3012 2031 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 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.119042314576 1.011368369716 7 6 4 3 2031 2031 3201 0132 0 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 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.074520611379 0.977496419644 5 7 8 6 0132 0132 1230 2031 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 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.390816109860 0.481383844123 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_10'], 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : negation(d['c_0110_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : negation(d['c_0011_8']), 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : d['c_0011_6'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0101_0']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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_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_1001_0']), 'c_1100_8' : negation(d['c_1001_11']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : negation(d['c_0110_8']), 'c_1100_1' : negation(d['c_0110_8']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_1001_11']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_8'], 'c_1100_10' : negation(d['c_0011_4']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : negation(d['c_0110_8']), 'c_1010_5' : negation(d['c_0110_8']), 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0101_10'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : d['c_0101_0'], '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' : negation(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_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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_11' : d['c_0011_8'], 'c_0110_10' : d['c_0011_6'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : d['c_0011_8'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : negation(d['c_0011_4']), '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_3, c_0011_4, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0110_8, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 182783346371406788753/26053834663241008086272*c_1001_11^13 - 2525988106652048199475/13026917331620504043136*c_1001_11^12 + 56408375318454139883511/6513458665810252021568*c_1001_11^11 - 1366383448030474739405611/26053834663241008086272*c_1001_11^10 + 2702687344203536421804915/13026917331620504043136*c_1001_11^9 + 1566757020123931955465681/13026917331620504043136*c_1001_11^8 - 1288757458839514292354811/26053834663241008086272*c_1001_11^7 + 4116281191226136502826579/13026917331620504043136*c_1001_11^6 - 794816997285516680564501/26053834663241008086272*c_1001_11^5 + 104956720924651402180367/491581786098886945024*c_1001_11^4 + 1174381668455636736553161/26053834663241008086272*c_1001_11^3 + 8417619187809733803459/427112043659688657152*c_1001_11^2 + 338465385807655515965723/13026917331620504043136*c_1001_11 + 337804711947871714661079/26053834663241008086272, c_0011_0 - 1, c_0011_10 + 73150479796681489/63108472539721972672*c_1001_11^13 + 13887157163789670717/252433890158887890688*c_1001_11^12 - 42868235251147462635/126216945079443945344*c_1001_11^11 + 481005115776906151625/252433890158887890688*c_1001_11^10 + 31418082778302562077/126216945079443945344*c_1001_11^9 + 578027467117084965981/126216945079443945344*c_1001_11^8 + 414618573174736635491/63108472539721972672*c_1001_11^7 - 29412029885821491485/252433890158887890688*c_1001_11^6 + 986695302338378371347/126216945079443945344*c_1001_11^5 + 63809877570351133207/31554236269860986336*c_1001_11^4 + 693439538754238591975/126216945079443945344*c_1001_11^3 + 848060003112320165/1034565123601999552*c_1001_11^2 + 18722106975300270335/31554236269860986336*c_1001_11 - 24690764758899098751/252433890158887890688, c_0011_3 + 36904706809169264801/4796243913018869923072*c_1001_11^13 + 56108681683635649793/149882622281839685096*c_1001_11^12 - 8831467768754995004251/4796243913018869923072*c_1001_11^11 + 1335406865475235047775/149882622281839685096*c_1001_11^10 + 52075578470674343916219/2398121956509434961536*c_1001_11^9 + 9870818691834147562471/1199060978254717480768*c_1001_11^8 + 70720699334368139004959/4796243913018869923072*c_1001_11^7 + 21773005704117849317655/1199060978254717480768*c_1001_11^6 + 3953530816662684831005/299765244563679370192*c_1001_11^5 + 39558965232643550434053/2398121956509434961536*c_1001_11^4 + 2957020496617559509091/1199060978254717480768*c_1001_11^3 + 39308291804989387703/9828368674218995744*c_1001_11^2 + 1322494999820229908777/4796243913018869923072*c_1001_11 + 3601621340393732439363/2398121956509434961536, c_0011_4 + 114102547488427271/13285994218888836352*c_1001_11^13 + 5511353646338637151/13285994218888836352*c_1001_11^12 - 29188864304419733867/13285994218888836352*c_1001_11^11 + 144486575971035701979/13285994218888836352*c_1001_11^10 + 4034433136125045839/207593659670138068*c_1001_11^9 + 50022116291804527729/6642997109444418176*c_1001_11^8 + 228832356822930227369/13285994218888836352*c_1001_11^7 + 210059005762521422389/13285994218888836352*c_1001_11^6 + 113194353369765062601/6642997109444418176*c_1001_11^5 + 92519428363299461231/6642997109444418176*c_1001_11^4 + 40063938351692676567/6642997109444418176*c_1001_11^3 + 128289341585961931/54450795979052608*c_1001_11^2 + 24773343210020473019/13285994218888836352*c_1001_11 + 16121869789661764949/13285994218888836352, c_0011_6 - 2593694660328627931/504867780317775781376*c_1001_11^13 - 125896374812797822207/504867780317775781376*c_1001_11^12 + 635048513437708650219/504867780317775781376*c_1001_11^11 - 3064254187800106636447/504867780317775781376*c_1001_11^10 - 881371258730656230259/63108472539721972672*c_1001_11^9 - 801191418469222762661/252433890158887890688*c_1001_11^8 - 4764069855259023899589/504867780317775781376*c_1001_11^7 - 6264271368545724995989/504867780317775781376*c_1001_11^6 - 1685545683579986051059/252433890158887890688*c_1001_11^5 - 2720991123844571598449/252433890158887890688*c_1001_11^4 - 215428336055338515349/252433890158887890688*c_1001_11^3 - 1261743775699620435/517282561800999776*c_1001_11^2 + 994578562921275997/504867780317775781376*c_1001_11 - 5471427378549154269/4998690894235403776, c_0011_8 - 86517397434004762881/4796243913018869923072*c_1001_11^13 - 4175402001836047690533/4796243913018869923072*c_1001_11^12 + 22298693144140668972917/4796243913018869923072*c_1001_11^11 - 110688070212049495507161/4796243913018869923072*c_1001_11^10 - 23806161647595890415923/599530489127358740384*c_1001_11^9 - 35734583184488574391971/2398121956509434961536*c_1001_11^8 - 191340660204866859747343/4796243913018869923072*c_1001_11^7 - 160930308090113978355047/4796243913018869923072*c_1001_11^6 - 78883331938834218073619/2398121956509434961536*c_1001_11^5 - 72067251550578663782777/2398121956509434961536*c_1001_11^4 - 33922161519079809686437/2398121956509434961536*c_1001_11^3 - 122310605350014068153/19656737348437991488*c_1001_11^2 - 19155337351044004750813/4796243913018869923072*c_1001_11 - 11151074651491805523599/4796243913018869923072, c_0101_0 - 2832009353552278961/126216945079443945344*c_1001_11^13 - 270835914917378578229/252433890158887890688*c_1001_11^12 + 394842571459147476459/63108472539721972672*c_1001_11^11 - 7979803574044802323341/252433890158887890688*c_1001_11^10 - 4358465222144029544071/126216945079443945344*c_1001_11^9 - 949965480031645706533/126216945079443945344*c_1001_11^8 - 6040297205745973453895/126216945079443945344*c_1001_11^7 - 5329208136920690882867/252433890158887890688*c_1001_11^6 - 5051124764939545312953/126216945079443945344*c_1001_11^5 - 612131738793558936885/31554236269860986336*c_1001_11^4 - 1783958181470858939389/126216945079443945344*c_1001_11^3 - 1042050926013998039/258641280900499888*c_1001_11^2 - 647198597277639951985/126216945079443945344*c_1001_11 - 473074836976871504137/252433890158887890688, c_0101_1 - 1, c_0101_10 + 68063156807480919/13285994218888836352*c_1001_11^13 + 3248502614309413007/13285994218888836352*c_1001_11^12 - 19257066894394802139/13285994218888836352*c_1001_11^11 + 98166756861666907939/13285994218888836352*c_1001_11^10 + 364615528685865952/51898414917534517*c_1001_11^9 + 13687845298593728929/6642997109444418176*c_1001_11^8 + 176893939099142835337/13285994218888836352*c_1001_11^7 + 65976386425080590485/13285994218888836352*c_1001_11^6 + 69634491451233234881/6642997109444418176*c_1001_11^5 + 39192900397572186107/6642997109444418176*c_1001_11^4 + 33228425400245334623/6642997109444418176*c_1001_11^3 + 169163355757141445/54450795979052608*c_1001_11^2 + 20885999599349272187/13285994218888836352*c_1001_11 + 15114562829027415677/13285994218888836352, c_0110_8 - 6385927324266448381/252433890158887890688*c_1001_11^13 - 304881701789219923013/252433890158887890688*c_1001_11^12 + 1802844341705624497909/252433890158887890688*c_1001_11^11 - 9151238752721517618877/252433890158887890688*c_1001_11^10 - 563185614757414328021/15777118134930493168*c_1001_11^9 - 1084686026887051019591/126216945079443945344*c_1001_11^8 - 13773607115340848564355/252433890158887890688*c_1001_11^7 - 4111805802389972786503/252433890158887890688*c_1001_11^6 - 6018809637043755530433/126216945079443945344*c_1001_11^5 - 2406001447493650501363/126216945079443945344*c_1001_11^4 - 1711374164849227052583/126216945079443945344*c_1001_11^3 - 2180506742182706623/517282561800999776*c_1001_11^2 - 1230126801835255415637/252433890158887890688*c_1001_11 - 413004394786084193323/252433890158887890688, c_1001_0 - 2728949647956231619/252433890158887890688*c_1001_11^13 - 128960399129513733907/252433890158887890688*c_1001_11^12 + 833872237184654636075/252433890158887890688*c_1001_11^11 - 4281411360669101550651/252433890158887890688*c_1001_11^10 - 123936990661171219321/15777118134930493168*c_1001_11^9 + 555712461532696243767/126216945079443945344*c_1001_11^8 - 5500217192215287164557/252433890158887890688*c_1001_11^7 + 366282727590820542543/252433890158887890688*c_1001_11^6 - 2112844368551686723655/126216945079443945344*c_1001_11^5 + 164896067167299203339/126216945079443945344*c_1001_11^4 - 618051927652885611289/126216945079443945344*c_1001_11^3 - 155045525176879309/517282561800999776*c_1001_11^2 - 624209055715009635531/252433890158887890688*c_1001_11 - 52284931532202593021/252433890158887890688, c_1001_11^14 + 48*c_1001_11^13 - 270*c_1001_11^12 + 1362*c_1001_11^11 + 1771*c_1001_11^10 + 750*c_1001_11^9 + 2289*c_1001_11^8 + 1324*c_1001_11^7 + 2211*c_1001_11^6 + 1268*c_1001_11^5 + 928*c_1001_11^4 + 354*c_1001_11^3 + 329*c_1001_11^2 + 142*c_1001_11 + 37 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.370 seconds, Total memory usage: 32.09MB