Magma V2.19-8 Tue Aug 20 2013 16:18:51 on localhost [Seed = 2193825788] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3014 geometric_solution 6.18965549 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 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 0 1 -1 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.502966334658 0.527147687821 0 3 5 4 0132 0132 0132 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 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.445351908792 0.796711184354 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 1 -1 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 0.445351908792 0.796711184354 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 -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 0 0 0 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.134886026450 1.276434111010 2 6 1 6 2310 0132 0132 2310 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 0 0 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.059956578386 1.568957516546 2 5 5 1 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531871755367 0.641906433691 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433832114765 0.209561189716 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 57166965292733297514939119282301586867/1745514761302765630138097241\ 45214711*c_0110_6^23 - 709366238889277938646594335127152548296/1745\ 51476130276563013809724145214711*c_0110_6^22 - 2577198048987367924983471455729371936366/17455147613027656301380972\ 4145214711*c_0110_6^21 - 444822726839132775298310197899077360511/17\ 4551476130276563013809724145214711*c_0110_6^20 + 8933836531121639225609273801463216992769/17455147613027656301380972\ 4145214711*c_0110_6^19 + 33562825752800574589092782453109108352436/\ 174551476130276563013809724145214711*c_0110_6^18 + 15623514894547187838461786595643643986436/1745514761302765630138097\ 24145214711*c_0110_6^17 - 86769818667541289864381708311286150873146\ /174551476130276563013809724145214711*c_0110_6^16 - 95669814142551981430943769213631575448648/1745514761302765630138097\ 24145214711*c_0110_6^15 + 55537423511459300353811859270954553074626\ /174551476130276563013809724145214711*c_0110_6^14 + 152814855986841881064190057292461530910709/174551476130276563013809\ 724145214711*c_0110_6^13 + 3623829607889218223890357531244241880801\ 4/174551476130276563013809724145214711*c_0110_6^12 - 112884486797753871787304017733885333318589/174551476130276563013809\ 724145214711*c_0110_6^11 - 4445345692217820880149798557181555644099\ 8/174551476130276563013809724145214711*c_0110_6^10 + 35405469062572869167373602469467888814109/1745514761302765630138097\ 24145214711*c_0110_6^9 - 3137041998906785221742473494658198896170/1\ 74551476130276563013809724145214711*c_0110_6^8 + 1816446220765759285263120268670556342410/17455147613027656301380972\ 4145214711*c_0110_6^7 + 17572280479964681932597824089342488806001/1\ 74551476130276563013809724145214711*c_0110_6^6 - 6577239077097320480213391115251053549610/17455147613027656301380972\ 4145214711*c_0110_6^5 - 9639777301494278678185876785184499942900/17\ 4551476130276563013809724145214711*c_0110_6^4 + 3498274733445875123570521585692347561230/17455147613027656301380972\ 4145214711*c_0110_6^3 + 2651369978528783061472290350646114095502/17\ 4551476130276563013809724145214711*c_0110_6^2 - 150436196264352444361247502640348355386/174551476130276563013809724\ 145214711*c_0110_6 - 80112957404940523164670794865883901508/1745514\ 76130276563013809724145214711, c_0011_0 - 1, c_0011_4 - 153832115107835182735422128768992026/17455147613027656301380\ 9724145214711*c_0110_6^23 + 2020639279331604218548122259377993510/1\ 74551476130276563013809724145214711*c_0110_6^22 + 5555726139248639306186440803858025725/17455147613027656301380972414\ 5214711*c_0110_6^21 - 3928345500420739724472588871588038006/1745514\ 76130276563013809724145214711*c_0110_6^20 - 25400188624271058148296541185401310400/1745514761302765630138097241\ 45214711*c_0110_6^19 - 73377373527259975334958272844342769585/17455\ 1476130276563013809724145214711*c_0110_6^18 + 24750765219354169325438279215069668409/1745514761302765630138097241\ 45214711*c_0110_6^17 + 270187817470900626829807055096115050222/1745\ 51476130276563013809724145214711*c_0110_6^16 + 96059646596157787541002533583042966079/1745514761302765630138097241\ 45214711*c_0110_6^15 - 345867715603314920708301849439840943952/1745\ 51476130276563013809724145214711*c_0110_6^14 - 330718789891406486823459115608185683318/174551476130276563013809724\ 145214711*c_0110_6^13 + 194120071212579622476324026764117030644/174\ 551476130276563013809724145214711*c_0110_6^12 + 404367691687718499320046349147665034371/174551476130276563013809724\ 145214711*c_0110_6^11 - 72820993733609779209418841706043200712/1745\ 51476130276563013809724145214711*c_0110_6^10 - 192633712355697124166334930727267748685/174551476130276563013809724\ 145214711*c_0110_6^9 + 55111919392953464033954222919384892451/17455\ 1476130276563013809724145214711*c_0110_6^8 - 10822693690820090249898551431175712606/1745514761302765630138097241\ 45214711*c_0110_6^7 - 41054027793308618130253415940504396173/174551\ 476130276563013809724145214711*c_0110_6^6 + 50632254066456293347710006019449621730/1745514761302765630138097241\ 45214711*c_0110_6^5 + 17450014754672336934884877083587947200/174551\ 476130276563013809724145214711*c_0110_6^4 - 26613722449120783727009694847612855627/1745514761302765630138097241\ 45214711*c_0110_6^3 - 2890676853214026638753857718299646041/1745514\ 76130276563013809724145214711*c_0110_6^2 + 5088076530247795404490391275619743964/17455147613027656301380972414\ 5214711*c_0110_6 + 760932291749678550593029451166580132/17455147613\ 0276563013809724145214711, c_0101_0 + 22425430686402929268065038706796082/174551476130276563013809\ 724145214711*c_0110_6^23 - 279011758951193924963332105220458281/174\ 551476130276563013809724145214711*c_0110_6^22 - 992603581834162027909615323188509500/174551476130276563013809724145\ 214711*c_0110_6^21 - 256562529834648673045142399772330533/174551476\ 130276563013809724145214711*c_0110_6^20 + 3123672457737504150498850502594327143/17455147613027656301380972414\ 5214711*c_0110_6^19 + 12980635850016293570311325739549458776/174551\ 476130276563013809724145214711*c_0110_6^18 + 6911706622669328802680763895125839112/17455147613027656301380972414\ 5214711*c_0110_6^17 - 29121998216790678727330639678340530914/174551\ 476130276563013809724145214711*c_0110_6^16 - 34128609743642405300595483748335083584/1745514761302765630138097241\ 45214711*c_0110_6^15 + 11753781785859235398305057126239735843/17455\ 1476130276563013809724145214711*c_0110_6^14 + 47286849231357330788745029598710328958/1745514761302765630138097241\ 45214711*c_0110_6^13 + 16852184151416761717806371321029354838/17455\ 1476130276563013809724145214711*c_0110_6^12 - 28251421668169173858454862446621681194/1745514761302765630138097241\ 45214711*c_0110_6^11 - 11230907866551557235290979264294859647/17455\ 1476130276563013809724145214711*c_0110_6^10 + 5046287020338051453386058070866474728/17455147613027656301380972414\ 5214711*c_0110_6^9 - 3746095886555745353803094937107290467/17455147\ 6130276563013809724145214711*c_0110_6^8 + 2055895935491742748499699102409202289/17455147613027656301380972414\ 5214711*c_0110_6^7 + 4880792497633102679856217436044197448/17455147\ 6130276563013809724145214711*c_0110_6^6 - 1795752702283073725708757704862044910/17455147613027656301380972414\ 5214711*c_0110_6^5 - 2144948852699954488658478593218218871/17455147\ 6130276563013809724145214711*c_0110_6^4 + 315459652048709786739970412994623629/174551476130276563013809724145\ 214711*c_0110_6^3 + 548599239011613177046334910258559241/1745514761\ 30276563013809724145214711*c_0110_6^2 + 457532308607085607603887319577615367/174551476130276563013809724145\ 214711*c_0110_6 + 7031793210756980205751863585622347/17455147613027\ 6563013809724145214711, c_0101_1 + 8292403451652001451223344171084918/1745514761302765630138097\ 24145214711*c_0110_6^23 - 88643029345125999732975554562698466/17455\ 1476130276563013809724145214711*c_0110_6^22 - 556671560722287392379046487833494269/174551476130276563013809724145\ 214711*c_0110_6^21 - 625790441852764450751138824539717730/174551476\ 130276563013809724145214711*c_0110_6^20 + 1359941771013973119159162018751745126/17455147613027656301380972414\ 5214711*c_0110_6^19 + 6808044684681497900270203826454686364/1745514\ 76130276563013809724145214711*c_0110_6^18 + 9640415285181033194324724983850375582/17455147613027656301380972414\ 5214711*c_0110_6^17 - 11114166373373438613569570837512097351/174551\ 476130276563013809724145214711*c_0110_6^16 - 32889279715235345470431785214475430263/1745514761302765630138097241\ 45214711*c_0110_6^15 - 4626371656730675657072578614140061046/174551\ 476130276563013809724145214711*c_0110_6^14 + 35727736931466084222161513025876594353/1745514761302765630138097241\ 45214711*c_0110_6^13 + 27321227914430806332508531062857367295/17455\ 1476130276563013809724145214711*c_0110_6^12 - 17194853819784849954113254207455847515/1745514761302765630138097241\ 45214711*c_0110_6^11 - 23786451451957720844850841730705259223/17455\ 1476130276563013809724145214711*c_0110_6^10 + 8005435263364464732280304494187145410/17455147613027656301380972414\ 5214711*c_0110_6^9 + 1645990868246876320142134416872365071/17455147\ 6130276563013809724145214711*c_0110_6^8 - 4967115900158285804845530314872556709/17455147613027656301380972414\ 5214711*c_0110_6^7 + 7595894742088150865063344102729394326/17455147\ 6130276563013809724145214711*c_0110_6^6 + 1119959220783457978168451322900266611/17455147613027656301380972414\ 5214711*c_0110_6^5 - 4089821031632608899945669536736583327/17455147\ 6130276563013809724145214711*c_0110_6^4 - 2539583474763610862051015991108776/17455147613027656301380972414521\ 4711*c_0110_6^3 + 953028113472722705540947964561268428/174551476130\ 276563013809724145214711*c_0110_6^2 - 182438480590632226556637877369100984/174551476130276563013809724145\ 214711*c_0110_6 + 60027281091917009321697282164349792/1745514761302\ 76563013809724145214711, c_0101_2 - 157303996610134532550298145829183121/17455147613027656301380\ 9724145214711*c_0110_6^23 + 2075700214180913337125465440620415674/1\ 74551476130276563013809724145214711*c_0110_6^22 + 5562707235940622497079210736951589348/17455147613027656301380972414\ 5214711*c_0110_6^21 - 4431914649700843067101633516104369989/1745514\ 76130276563013809724145214711*c_0110_6^20 - 25978452518108441280154620103765148313/1745514761302765630138097241\ 45214711*c_0110_6^19 - 73448637309204257682323792821302516282/17455\ 1476130276563013809724145214711*c_0110_6^18 + 30833723746918433026312603175281029600/1745514761302765630138097241\ 45214711*c_0110_6^17 + 278187881052818734570964357710285166330/1745\ 51476130276563013809724145214711*c_0110_6^16 + 82461026036474362219415692342694767072/1745514761302765630138097241\ 45214711*c_0110_6^15 - 369751414257458278528315565719861092062/1745\ 51476130276563013809724145214711*c_0110_6^14 - 327452827601013998085303546304202287341/174551476130276563013809724\ 145214711*c_0110_6^13 + 225256934455659783148984817459632079544/174\ 551476130276563013809724145214711*c_0110_6^12 + 420221638692884922216569058678880489192/174551476130276563013809724\ 145214711*c_0110_6^11 - 93573552556057998309340662647636470317/1745\ 51476130276563013809724145214711*c_0110_6^10 - 204758783842844699904402111681191125757/174551476130276563013809724\ 145214711*c_0110_6^9 + 61397473402021977395065727440711688319/17455\ 1476130276563013809724145214711*c_0110_6^8 - 12269232121095512415499430169397196768/1745514761302765630138097241\ 45214711*c_0110_6^7 - 40609892646382766538752212218565135949/174551\ 476130276563013809724145214711*c_0110_6^6 + 54418692037627443984936290749886865617/1745514761302765630138097241\ 45214711*c_0110_6^5 + 16280166426112864710549495101074621168/174551\ 476130276563013809724145214711*c_0110_6^4 - 28593450218449122186430047938370190599/1745514761302765630138097241\ 45214711*c_0110_6^3 - 2451542405096342543498836222226749106/1745514\ 76130276563013809724145214711*c_0110_6^2 + 5565352689563918362319352603365200183/17455147613027656301380972414\ 5214711*c_0110_6 + 816870302694494619218476223183503050/17455147613\ 0276563013809724145214711, c_0101_5 + 92613986356351401751548562645358594/174551476130276563013809\ 724145214711*c_0110_6^23 - 1229171575328219877423988541565549539/17\ 4551476130276563013809724145214711*c_0110_6^22 - 3203510093000934764445280131800806793/17455147613027656301380972414\ 5214711*c_0110_6^21 + 3136864456615548976728628225736196461/1745514\ 76130276563013809724145214711*c_0110_6^20 + 16019741197615688653412261544864700563/1745514761302765630138097241\ 45214711*c_0110_6^19 + 42086729446899147004724467793082466672/17455\ 1476130276563013809724145214711*c_0110_6^18 - 24741811895920312662035935200422882364/1745514761302765630138097241\ 45214711*c_0110_6^17 - 174519194637907428639487040542575927694/1745\ 51476130276563013809724145214711*c_0110_6^16 - 39791959464104461864930628046127736093/1745514761302765630138097241\ 45214711*c_0110_6^15 + 253559120060194716769721334698475463948/1745\ 51476130276563013809724145214711*c_0110_6^14 + 204847229221211958720888218045100346581/174551476130276563013809724\ 145214711*c_0110_6^13 - 171040162577018716983318112510292476892/174\ 551476130276563013809724145214711*c_0110_6^12 - 286761375401589821865849682755534428315/174551476130276563013809724\ 145214711*c_0110_6^11 + 69564228146805349104886459752324293479/1745\ 51476130276563013809724145214711*c_0110_6^10 + 155865732134889820564453999602661709771/174551476130276563013809724\ 145214711*c_0110_6^9 - 37506074154672513295422671548548552817/17455\ 1476130276563013809724145214711*c_0110_6^8 - 2477372453167572647819909788137048530/17455147613027656301380972414\ 5214711*c_0110_6^7 + 26068862961856882252576772639080290248/1745514\ 76130276563013809724145214711*c_0110_6^6 - 36440129417224777166829359785890600805/1745514761302765630138097241\ 45214711*c_0110_6^5 - 12282092288633223990199250617578276563/174551\ 476130276563013809724145214711*c_0110_6^4 + 21480538810526474100372707049300413797/1745514761302765630138097241\ 45214711*c_0110_6^3 + 2924561054243529992286776331899402316/1745514\ 76130276563013809724145214711*c_0110_6^2 - 4834413523777422590453641752383191708/17455147613027656301380972414\ 5214711*c_0110_6 - 801491519029312082819021918432288214/17455147613\ 0276563013809724145214711, c_0110_6^24 - 13*c_0110_6^23 - 38*c_0110_6^22 + 22*c_0110_6^21 + 173*c_0110_6^20 + 499*c_0110_6^19 - 113*c_0110_6^18 - 1837*c_0110_6^17 - 876*c_0110_6^16 + 2330*c_0110_6^15 + 2597*c_0110_6^14 - 1100*c_0110_6^13 - 3062*c_0110_6^12 + 92*c_0110_6^11 + 1527*c_0110_6^10 - 137*c_0110_6^9 - 40*c_0110_6^8 + 283*c_0110_6^7 - 306*c_0110_6^6 - 181*c_0110_6^5 + 175*c_0110_6^4 + 56*c_0110_6^3 - 37*c_0110_6^2 - 13*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB