Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 2968595542] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0754 geometric_solution 4.69831143 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.039808700042 0.323202819892 0 3 4 3 0132 2310 0132 0321 0 0 0 0 0 -1 0 1 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 -1 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.394517820181 1.295578098348 0 0 5 5 2310 0132 2310 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 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 3.445817406657 3.815647621665 4 1 0 1 2310 0321 0132 3201 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 0 1 -1 1 0 0 -1 -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.394517820181 1.295578098348 6 6 3 1 0132 3201 3201 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 -1 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.386908084159 0.733615563321 5 2 2 5 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.127372877781 0.115045319557 4 6 4 6 0132 2310 2310 3201 0 0 0 0 0 1 -1 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 -1 1 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.940255377508 0.567118654427 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_0_6' : 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_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : negation(d['c_0011_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 53037595795533911507932592253148/727492685438375041353655513*c_0101\ _4^23 + 3046708406857216045932962730603/55960975802951926257973501*\ c_0101_4^22 + 224890075096154734602495521705598/7274926854383750413\ 53655513*c_0101_4^21 + 477888604401002721844964834152603/7274926854\ 38375041353655513*c_0101_4^20 + 408841356073217048048400553007624/7\ 27492685438375041353655513*c_0101_4^19 - 192622419790853525489391807692560/727492685438375041353655513*c_010\ 1_4^18 - 737003911256345529186884472928771/727492685438375041353655\ 513*c_0101_4^17 - 382620790047743142298558182296994/727492685438375\ 041353655513*c_0101_4^16 + 566522237374586422802894393846861/727492\ 685438375041353655513*c_0101_4^15 + 1055899903277364920162344196395810/727492685438375041353655513*c_01\ 01_4^14 + 12404290131517794384520937556591/250859546702887945294363\ 97*c_0101_4^13 - 1107923202281687880771247363432627/727492685438375\ 041353655513*c_0101_4^12 - 2147034292689375620575129985256008/72749\ 2685438375041353655513*c_0101_4^11 - 1825487287740544186723673448152068/727492685438375041353655513*c_01\ 01_4^10 - 331841775193135188327212346400559/72749268543837504135365\ 5513*c_0101_4^9 + 1152604488883531230431344924787681/72749268543837\ 5041353655513*c_0101_4^8 + 1611562874717126748668913198006115/72749\ 2685438375041353655513*c_0101_4^7 + 1070759814909807900193886591855452/727492685438375041353655513*c_01\ 01_4^6 + 9865376619967359928101761887084/25085954670288794529436397\ *c_0101_4^5 - 148379653246126131670545213500072/7274926854383750413\ 53655513*c_0101_4^4 - 194058543973998145290496050239470/72749268543\ 8375041353655513*c_0101_4^3 - 96369995161888740378837195714215/7274\ 92685438375041353655513*c_0101_4^2 - 25311685243649514781356449249434/727492685438375041353655513*c_0101\ _4 - 2897833661950794716794393127516/727492685438375041353655513, c_0011_0 - 1, c_0011_3 - 27663458867940643600802272793/1929688820791445733033569*c_01\ 01_4^23 + 25935314226789390919282722707/1929688820791445733033569*c\ _0101_4^22 + 110155427524115373612438860270/19296888207914457330335\ 69*c_0101_4^21 + 231213938618089395758161808620/1929688820791445733\ 033569*c_0101_4^20 + 176654680613188024418144706009/192968882079144\ 5733033569*c_0101_4^19 - 118932089905844850458642207910/19296888207\ 91445733033569*c_0101_4^18 - 353987617933065827448094102462/1929688\ 820791445733033569*c_0101_4^17 - 144704813952712162069649860621/192\ 9688820791445733033569*c_0101_4^16 + 300263616573442208989843264081/1929688820791445733033569*c_0101_4^1\ 5 + 491399776465448806061054399096/1929688820791445733033569*c_0101\ _4^14 + 118576685382315839630791001640/1929688820791445733033569*c_\ 0101_4^13 - 571692812596448279988907566166/192968882079144573303356\ 9*c_0101_4^12 - 1013293776787497626357987272184/1929688820791445733\ 033569*c_0101_4^11 - 803209123591798424320166622136/192968882079144\ 5733033569*c_0101_4^10 - 81925684127725579484411067122/192968882079\ 1445733033569*c_0101_4^9 + 578719937704297028484765233184/192968882\ 0791445733033569*c_0101_4^8 + 739436917070113650034362689064/192968\ 8820791445733033569*c_0101_4^7 + 459545222010028845832526171564/192\ 9688820791445733033569*c_0101_4^6 + 102833843661577996025908662371/1929688820791445733033569*c_0101_4^5 - 77613913961958945071586090746/1929688820791445733033569*c_0101_4^\ 4 - 86292194125477977801470141101/1929688820791445733033569*c_0101_\ 4^3 - 40029025521246802981257539184/1929688820791445733033569*c_010\ 1_4^2 - 9843452315081261711610469434/1929688820791445733033569*c_01\ 01_4 - 1039111815731374398309977564/1929688820791445733033569, c_0011_4 + 4860968444558104258767969101/1929688820791445733033569*c_010\ 1_4^23 - 4672116600635523695156486862/1929688820791445733033569*c_0\ 101_4^22 - 19206139927006556863376531647/1929688820791445733033569*\ c_0101_4^21 - 40214662167127893982924533300/19296888207914457330335\ 69*c_0101_4^20 - 30256320247560025693715983167/19296888207914457330\ 33569*c_0101_4^19 + 21302245529885114712059928083/19296888207914457\ 33033569*c_0101_4^18 + 61502331995024290942993087057/19296888207914\ 45733033569*c_0101_4^17 + 24204650884529171765598286400/19296888207\ 91445733033569*c_0101_4^16 - 52811774710559089387142914355/19296888\ 20791445733033569*c_0101_4^15 - 85002506760774246255833555092/19296\ 88820791445733033569*c_0101_4^14 - 19346136059102174313649684293/1929688820791445733033569*c_0101_4^13 + 100265783450020934966415124607/1929688820791445733033569*c_0101_4\ ^12 + 175676171131575094018985893308/1929688820791445733033569*c_01\ 01_4^11 + 137893783624347544213196226180/1929688820791445733033569*\ c_0101_4^10 + 12491041204911286576017443455/19296888207914457330335\ 69*c_0101_4^9 - 101110479040745472373220513154/19296888207914457330\ 33569*c_0101_4^8 - 127686507370719486875488612531/19296888207914457\ 33033569*c_0101_4^7 - 78640339873034433861040327748/192968882079144\ 5733033569*c_0101_4^6 - 17128293801501610745725618847/1929688820791\ 445733033569*c_0101_4^5 + 13601494523319000241990812819/19296888207\ 91445733033569*c_0101_4^4 + 14831149511616985550498630504/192968882\ 0791445733033569*c_0101_4^3 + 6823261001924642337822089302/19296888\ 20791445733033569*c_0101_4^2 + 1665199545557311213530738864/1929688\ 820791445733033569*c_0101_4 + 175329008877036592496568626/192968882\ 0791445733033569, c_0011_5 - 131811929029699895049397580588/1929688820791445733033569*c_0\ 101_4^23 + 114569998123969319399551307956/1929688820791445733033569\ *c_0101_4^22 + 538375111399420821188694836268/192968882079144573303\ 3569*c_0101_4^21 + 1129916348712279606463740560197/1929688820791445\ 733033569*c_0101_4^20 + 901262509130844463495504648839/192968882079\ 1445733033569*c_0101_4^19 - 542320571253724536130737769028/19296888\ 20791445733033569*c_0101_4^18 - 1738701074067825731616794320019/192\ 9688820791445733033569*c_0101_4^17 - 775359833147385594126957970701/1929688820791445733033569*c_0101_4^1\ 6 + 1431232848046348898128900649564/1929688820791445733033569*c_010\ 1_4^15 + 2438246077375398498164595536980/1929688820791445733033569*\ c_0101_4^14 + 670768153707154210248425905387/1929688820791445733033\ 569*c_0101_4^13 - 2743843007098661368419171332238/19296888207914457\ 33033569*c_0101_4^12 - 5002472432254153134661009563926/192968882079\ 1445733033569*c_0101_4^11 - 4059607495725786803236144084160/1929688\ 820791445733033569*c_0101_4^10 - 522929260753974081213851254119/192\ 9688820791445733033569*c_0101_4^9 + 2803565888485081603048490406175/1929688820791445733033569*c_0101_4^\ 8 + 3685142618542994596332823408236/1929688820791445733033569*c_010\ 1_4^7 + 2340273432785682604600516407733/1929688820791445733033569*c\ _0101_4^6 + 556422585053518747861892851986/192968882079144573303356\ 9*c_0101_4^5 - 372656571612300546894421811321/192968882079144573303\ 3569*c_0101_4^4 - 434599487068432958122935004238/192968882079144573\ 3033569*c_0101_4^3 - 205843361811119085697400161187/192968882079144\ 5733033569*c_0101_4^2 - 51632004847431607403997097916/1929688820791\ 445733033569*c_0101_4 - 5571979462058692128468105136/19296888207914\ 45733033569, c_0101_1 + 14940125577045706729906807331/1929688820791445733033569*c_01\ 01_4^23 - 14197486429927745461239280854/1929688820791445733033569*c\ _0101_4^22 - 59262279606593622350554199055/192968882079144573303356\ 9*c_0101_4^21 - 124152727305450961072269279782/19296888207914457330\ 33569*c_0101_4^20 - 94022387766976414207412648783/19296888207914457\ 33033569*c_0101_4^19 + 64996373417462794747672341047/19296888207914\ 45733033569*c_0101_4^18 + 190033630597706188215029375460/1929688820\ 791445733033569*c_0101_4^17 + 75936402213672052747673629809/1929688\ 820791445733033569*c_0101_4^16 - 162409412993070518962659731124/192\ 9688820791445733033569*c_0101_4^15 - 263035099928453999233729564283/1929688820791445733033569*c_0101_4^1\ 4 - 61289771114703215616400105608/1929688820791445733033569*c_0101_\ 4^13 + 308552833716964993603096989886/1929688820791445733033569*c_0\ 101_4^12 + 543114409233908861391939212722/1929688820791445733033569\ *c_0101_4^11 + 427978621600472649671397643920/192968882079144573303\ 3569*c_0101_4^10 + 40713820097130585089612320266/192968882079144573\ 3033569*c_0101_4^9 - 311634739062437832884808378730/192968882079144\ 5733033569*c_0101_4^8 - 395338529366625704294025080788/192968882079\ 1445733033569*c_0101_4^7 - 244344172970736543385669975768/192968882\ 0791445733033569*c_0101_4^6 - 53814241057098176339381861517/1929688\ 820791445733033569*c_0101_4^5 + 41845718751321041327282212649/19296\ 88820791445733033569*c_0101_4^4 + 45994478690300705585559236081/192\ 9688820791445733033569*c_0101_4^3 + 21232658187130383777289133803/1929688820791445733033569*c_0101_4^2 + 5200448397434778417560802274/1929688820791445733033569*c_0101_4 + 547665842232482271489306206/1929688820791445733033569, c_0101_2 - 37138735221008919945677794298/1929688820791445733033569*c_01\ 01_4^23 + 34306038481664912304115989763/1929688820791445733033569*c\ _0101_4^22 + 148816524309758048427865507621/19296888207914457330335\ 69*c_0101_4^21 + 311728929735696514302661802614/1929688820791445733\ 033569*c_0101_4^20 + 240118424047677463900791026502/192968882079144\ 5733033569*c_0101_4^19 - 159251025869834460627676736078/19296888207\ 91445733033569*c_0101_4^18 - 478349384283532037508937040112/1929688\ 820791445733033569*c_0101_4^17 - 198180492803910537121017835485/192\ 9688820791445733033569*c_0101_4^16 + 404471250439788891776997532626/1929688820791445733033569*c_0101_4^1\ 5 + 664824294167439026922728559834/1929688820791445733033569*c_0101\ _4^14 + 163535443660990626439319017438/1929688820791445733033569*c_\ 0101_4^13 - 770114744230153365093378874424/192968882079144573303356\ 9*c_0101_4^12 - 1369473189073883035446520202668/1929688820791445733\ 033569*c_0101_4^11 - 1088592832407977681080731629789/19296888207914\ 45733033569*c_0101_4^10 - 114117035131095842910566771902/1929688820\ 791445733033569*c_0101_4^9 + 780971824301755063395533849818/1929688\ 820791445733033569*c_0101_4^8 + 1000631681074550702041787185832/192\ 9688820791445733033569*c_0101_4^7 + 622894821188861033074110532253/1929688820791445733033569*c_0101_4^6 + 139849804259978173516278421024/1929688820791445733033569*c_0101_4\ ^5 - 104962181251094360360289693144/1929688820791445733033569*c_010\ 1_4^4 - 116921738239713682926023923471/1929688820791445733033569*c_\ 0101_4^3 - 54237819595049272820094695612/1929688820791445733033569*\ c_0101_4^2 - 13319466913606688685064112315/192968882079144573303356\ 9*c_0101_4 - 1398833651298674508981416268/1929688820791445733033569\ , c_0101_4^24 - 12/41*c_0101_4^23 - 188/41*c_0101_4^22 - 448/41*c_0101_4^21 - 483/41*c_0101_4^20 + 7/41*c_0101_4^19 + 638/41*c_0101_4^18 + 553/41*c_0101_4^17 - 306/41*c_0101_4^16 - 1015/41*c_0101_4^15 - 646/41*c_0101_4^14 + 733/41*c_0101_4^13 + 2048/41*c_0101_4^12 + 2160/41*c_0101_4^11 + 891/41*c_0101_4^10 - 778/41*c_0101_4^9 - 1649/41*c_0101_4^8 - 1389/41*c_0101_4^7 - 593/41*c_0101_4^6 + 16/41*c_0101_4^5 + 202/41*c_0101_4^4 + 142/41*c_0101_4^3 + 53/41*c_0101_4^2 + 11/41*c_0101_4 + 1/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB