Magma V2.19-8 Tue Aug 20 2013 16:17:18 on localhost [Seed = 1916006055] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1532 geometric_solution 5.32700241 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 -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.466606417209 0.205894725184 0 2 2 0 3201 0132 1023 0132 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 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 1.150166367075 0.267982119580 3 1 1 4 0132 0132 1023 0132 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 0 0 0 0 0 0 -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.813035806474 0.468088147479 2 5 6 4 0132 0132 0132 2031 0 0 0 0 0 -1 0 1 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 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.506102101003 0.518063942159 6 3 2 5 1023 1302 0132 0132 0 0 0 0 0 0 -1 1 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506102101003 0.518063942159 5 3 4 5 3201 0132 0132 2310 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.048431719924 1.022912857352 6 4 6 3 2031 1023 1302 0132 0 0 0 0 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 -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.511348167870 0.476758030452 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : 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' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 3594572302058115493953765318717612/39498151852601677678462713799115\ *c_0101_5^30 + 107652299487618641293517124339273383/394981518526016\ 77678462713799115*c_0101_5^28 - 13495699158392659704368342016755911\ 97/39498151852601677678462713799115*c_0101_5^26 + 1700452243299884548694853518563898762/78996303705203355356925427598\ 23*c_0101_5^24 - 37249341333197699484061704314480136692/39498151852\ 601677678462713799115*c_0101_5^22 + 128527378804513499853415003069723141596/394981518526016776784627137\ 99115*c_0101_5^20 - 321314681384041080109207065220652511534/3949815\ 1852601677678462713799115*c_0101_5^18 + 591452626592080849161636048173853087422/394981518526016776784627137\ 99115*c_0101_5^16 - 773405878043457595425704365957484805329/3949815\ 1852601677678462713799115*c_0101_5^14 + 680181035277458386995661325148878143777/394981518526016776784627137\ 99115*c_0101_5^12 - 386469672939112995352196988010142840797/3949815\ 1852601677678462713799115*c_0101_5^10 + 140895920588066907371242658349770498894/394981518526016776784627137\ 99115*c_0101_5^8 - 35609066774622990456481358453400891427/394981518\ 52601677678462713799115*c_0101_5^6 + 7403846366102722371146689309020527532/39498151852601677678462713799\ 115*c_0101_5^4 - 1124548730444562880533775166802980394/394981518526\ 01677678462713799115*c_0101_5^2 + 500376589441253463081440148045487\ 99/39498151852601677678462713799115, c_0011_0 - 1, c_0011_1 + 6014928448754559963191518412158/7899630370520335535692542759\ 823*c_0101_5^30 - 897211650745913674846606645610021/394981518526016\ 77678462713799115*c_0101_5^28 + 11189465697500341110035051878722322\ /39498151852601677678462713799115*c_0101_5^26 - 69896038062013434134038549288777161/3949815185260167767846271379911\ 5*c_0101_5^24 + 60847790675765997345426209240441617/789963037052033\ 5535692542759823*c_0101_5^22 - 208838448324658433660973798191693164\ /7899630370520335535692542759823*c_0101_5^20 + 2584588356946395933717684617999235281/39498151852601677678462713799\ 115*c_0101_5^18 - 4706477658335989076247223768241192551/39498151852\ 601677678462713799115*c_0101_5^16 + 1212029909844512442449132181783618935/78996303705203355356925427598\ 23*c_0101_5^14 - 5218361187247849917774516881651225864/394981518526\ 01677678462713799115*c_0101_5^12 + 2895619325671951757417715020550613222/39498151852601677678462713799\ 115*c_0101_5^10 - 1037115563066858303789801934196076516/39498151852\ 601677678462713799115*c_0101_5^8 + 52129882207470279685369945497592155/7899630370520335535692542759823\ *c_0101_5^6 - 53627787001524182242072705980440688/39498151852601677\ 678462713799115*c_0101_5^4 + 7976180594275344049257877296897452/394\ 98151852601677678462713799115*c_0101_5^2 - 367347728816402160201051879200301/39498151852601677678462713799115, c_0011_4 - 49523814064365074331503766678319/394981518526016776784627137\ 99115*c_0101_5^31 + 1484386552133009557449834543546107/394981518526\ 01677678462713799115*c_0101_5^29 - 18629686876192777261415636596833209/3949815185260167767846271379911\ 5*c_0101_5^27 + 117585631343277259822478591981721098/39498151852601\ 677678462713799115*c_0101_5^25 - 5159457380229504040502054011374454\ 06/39498151852601677678462713799115*c_0101_5^23 + 1782565441109018929112836847748417196/39498151852601677678462713799\ 115*c_0101_5^21 - 4466873184239064843640833878759856857/39498151852\ 601677678462713799115*c_0101_5^19 + 8245496177573161534913101183869467049/39498151852601677678462713799\ 115*c_0101_5^17 - 10826836395849736688326770063464713534/3949815185\ 2601677678462713799115*c_0101_5^15 + 1916455875485366107941079850154717857/78996303705203355356925427598\ 23*c_0101_5^13 - 5493620373509772557046844337868608002/394981518526\ 01677678462713799115*c_0101_5^11 + 2025649074076449302893718887152797267/39498151852601677678462713799\ 115*c_0101_5^9 - 518149776849542364937517598840657118/3949815185260\ 1677678462713799115*c_0101_5^7 + 2181729232528894185388579125943978\ 0/7899630370520335535692542759823*c_0101_5^5 - 3388886171449023271606297186745455/7899630370520335535692542759823*\ c_0101_5^3 + 173423912360687613047414017281706/78996303705203355356\ 92542759823*c_0101_5, c_0101_0 + 18074309674008954193201812946558/394981518526016776784627137\ 99115*c_0101_5^30 - 538491875962297987818921775317197/3949815185260\ 1677678462713799115*c_0101_5^28 + 670364006554306481676350460330906\ 9/39498151852601677678462713799115*c_0101_5^26 - 41749621552354010550643435779976168/3949815185260167767846271379911\ 5*c_0101_5^24 + 181296170754811887971801338220742404/39498151852601\ 677678462713799115*c_0101_5^22 - 6209989924400573859071960080902878\ 51/39498151852601677678462713799115*c_0101_5^20 + 306272949859404457410467236667047019/789963037052033553569254275982\ 3*c_0101_5^18 - 2776703868043704912682069383592383412/3949815185260\ 1677678462713799115*c_0101_5^16 + 355248812224967382135427661793800\ 4029/39498151852601677678462713799115*c_0101_5^14 - 3029715753016620499391668941918630284/39498151852601677678462713799\ 115*c_0101_5^12 + 1658897054336132287844072110288078404/39498151852\ 601677678462713799115*c_0101_5^10 - 584416048556455205707090870644506341/394981518526016776784627137991\ 15*c_0101_5^8 + 144305461837011572422841500687362446/39498151852601\ 677678462713799115*c_0101_5^6 - 29293181891395803269094850971042466\ /39498151852601677678462713799115*c_0101_5^4 + 4299810184266352919120057526506628/39498151852601677678462713799115\ *c_0101_5^2 - 158561584793989496199989592352141/3949815185260167767\ 8462713799115, c_0101_2 - 7856959824672975307447836844272/3949815185260167767846271379\ 9115*c_0101_5^30 + 235469790423765646735932837957259/39498151852601\ 677678462713799115*c_0101_5^28 - 590946865762378892916257497990726/\ 7899630370520335535692542759823*c_0101_5^26 + 18643908347377955635837414344617649/3949815185260167767846271379911\ 5*c_0101_5^24 - 81784906113609228159406040296261933/394981518526016\ 77678462713799115*c_0101_5^22 + 28251624447329473489279758930849781\ 3/39498151852601677678462713799115*c_0101_5^20 - 707750444536957439460374465002046104/394981518526016776784627137991\ 15*c_0101_5^18 + 1306119852184662077162639397615403607/394981518526\ 01677678462713799115*c_0101_5^16 - 1715157560736386184693342291700752167/39498151852601677678462713799\ 115*c_0101_5^14 + 1519420236780941135720492183767246117/39498151852\ 601677678462713799115*c_0101_5^12 - 175090874205746761013950614552709500/789963037052033553569254275982\ 3*c_0101_5^10 + 65650406703771757069637188512718078/789963037052033\ 5535692542759823*c_0101_5^8 - 17355286402688228351452939167130838/7\ 899630370520335535692542759823*c_0101_5^6 + 18561670915225273070753159265536403/3949815185260167767846271379911\ 5*c_0101_5^4 - 2877422324139781119974887321209983/39498151852601677\ 678462713799115*c_0101_5^2 + 33821210561095754105521827761826/78996\ 30370520335535692542759823, c_0101_3 + 2990299607744307319615843832202/7899630370520335535692542759\ 823*c_0101_5^30 - 446237207447011241916178460136258/394981518526016\ 77678462713799115*c_0101_5^28 + 5568396523644246461047548890012988/\ 39498151852601677678462713799115*c_0101_5^26 - 34816282410659680848185664906190367/3949815185260167767846271379911\ 5*c_0101_5^24 + 151653857157792069491576405575994921/39498151852601\ 677678462713799115*c_0101_5^22 - 5208074978129984509218490847064165\ 22/39498151852601677678462713799115*c_0101_5^20 + 1290558033255456592008065309249193842/39498151852601677678462713799\ 115*c_0101_5^18 - 2352967976651687469278719905300929193/39498151852\ 601677678462713799115*c_0101_5^16 + 3035407445779051860268463109853430048/39498151852601677678462713799\ 115*c_0101_5^14 - 2620995520031209703725733047194490853/39498151852\ 601677678462713799115*c_0101_5^12 + 1460191247327926996465655842922777051/39498151852601677678462713799\ 115*c_0101_5^10 - 526110071261966846685584560205672501/394981518526\ 01677678462713799115*c_0101_5^8 + 133210970471817146237314268688990\ 436/39498151852601677678462713799115*c_0101_5^6 - 27539991896057409976199658072566579/3949815185260167767846271379911\ 5*c_0101_5^4 + 4216608929548776486181465401390169/39498151852601677\ 678462713799115*c_0101_5^2 - 220323597189315962364306145070054/3949\ 8151852601677678462713799115, c_0101_5^32 - 30*c_0101_5^30 + 377*c_0101_5^28 - 2385*c_0101_5^26 + 10489*c_0101_5^24 - 36317*c_0101_5^22 + 91346*c_0101_5^20 - 169532*c_0101_5^18 + 224544*c_0101_5^16 - 201862*c_0101_5^14 + 119068*c_0101_5^12 - 46048*c_0101_5^10 + 12491*c_0101_5^8 - 2722*c_0101_5^6 + 452*c_0101_5^4 - 36*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB