Magma V2.19-8 Tue Aug 20 2013 23:38:13 on localhost [Seed = 4256930270] Type ? for help. Type -D to quit. Loading file "K11a206__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a206 geometric_solution 8.62875539 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 1 2 3 0132 1230 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 0 -1 -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.579011878747 1.549931598725 0 4 0 3 0132 0132 3012 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.788492111825 0.566176224176 5 3 6 0 0132 0132 0132 0132 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 1 -1 0 0 0 0 0 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.194134676492 0.477737821357 1 2 0 5 3120 0132 0132 0132 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 1 -1 0 0 0 0 0 -15 0 15 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.209480233078 0.983755374549 7 1 5 7 0132 0132 3012 2031 0 0 0 0 0 0 -1 1 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 -1 -15 16 15 0 1 -16 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.664131634779 0.647862274519 2 4 3 6 0132 1230 0132 0132 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 1 0 0 0 0 0 0 0 0 0 0 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.001567305145 1.091658775492 7 8 5 2 2310 0132 0132 0132 0 0 0 0 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 1 0 0 -1 -15 0 0 15 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228468346925 0.752631293931 4 4 6 8 0132 1302 3201 1023 0 0 0 0 0 1 -1 0 -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 16 -16 0 -15 0 15 0 0 -16 0 16 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228468346925 0.752631293931 9 6 9 7 0132 0132 1023 1023 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 16 0 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.677154356259 2.334966443908 8 9 8 9 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380368984305 0.177800304848 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_9'], 'c_1001_4' : d['c_0011_2'], 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_9'], 'c_1001_9' : d['c_0101_8'], 'c_1001_8' : d['c_0101_9'], 's_2_8' : d['1'], 's_2_9' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(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_0011_6']), 'c_1100_8' : d['c_0011_6'], 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : negation(d['c_0101_9']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 'c_1010_7' : d['c_0101_9'], 'c_1010_6' : d['c_0101_9'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0101_9'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : d['c_0101_4'], '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' : 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' : negation(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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_6'], 'c_0011_8' : negation(d['c_0011_6']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_0101_7' : negation(d['c_0101_2']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_0'], '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' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : d['c_0101_8'], 'c_0110_8' : d['c_0101_9'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_8, c_0101_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1183005769581390470753754460232/91038823396018919437729164465*c_010\ 1_9^22 + 316950932729193695532073447271/606925489306792796251527763\ 1*c_0101_9^21 + 14960663720083194133327368080/466865761005225227885\ 790587*c_0101_9^20 + 5382454143389048132064563839379/91038823396018\ 919437729164465*c_0101_9^19 - 12476238228562533665583797141699/9103\ 8823396018919437729164465*c_0101_9^18 - 15350716177329705839447847060910/18207764679203783887545832893*c_01\ 01_9^17 - 50469014561391269479523715410113/303462744653396398125763\ 88155*c_0101_9^16 - 4373618920995757500620210396483/791641942574077\ 560328079691*c_0101_9^15 - 612517198748209495428489082956593/910388\ 23396018919437729164465*c_0101_9^14 - 112472160220448821283883150000973/7002986415078378418286858805*c_01\ 01_9^13 - 1487481018936807861067681062001408/9103882339601891943772\ 9164465*c_0101_9^12 - 881876779976882895702384403921503/30346274465\ 339639812576388155*c_0101_9^11 - 813631714021455212120987327456226/\ 30346274465339639812576388155*c_0101_9^10 - 3147004949206418057548999281850267/91038823396018919437729164465*c_\ 0101_9^9 - 570036993356492364159773480647820/1820776467920378388754\ 5832893*c_0101_9^8 - 2497193472633533658357180137368349/91038823396\ 018919437729164465*c_0101_9^7 - 2365630295965555823557331313788671/\ 91038823396018919437729164465*c_0101_9^6 - 427197401005365886183520323663788/30346274465339639812576388155*c_0\ 101_9^5 - 1333693805875323897791601215665612/9103882339601891943772\ 9164465*c_0101_9^4 - 131319430981952997769352466342301/303462744653\ 39639812576388155*c_0101_9^3 - 461574388851929516156857630506433/91\ 038823396018919437729164465*c_0101_9^2 - 58449249407003579904617703995744/91038823396018919437729164465*c_01\ 01_9 - 74268955899378467556797124852536/910388233960189194377291644\ 65, c_0011_0 - 1, c_0011_2 + 12868187737437667962/24385707548701747291*c_0101_9^22 + 45113578697330765387/24385707548701747291*c_0101_9^21 + 12684891734915219763/24385707548701747291*c_0101_9^20 + 63387618125435260490/24385707548701747291*c_0101_9^19 - 175663947237452125113/24385707548701747291*c_0101_9^18 - 731683716789894275592/24385707548701747291*c_0101_9^17 - 1345594832076071123514/24385707548701747291*c_0101_9^16 - 216186415043660426598/1060248154291380317*c_0101_9^15 - 4347253857386400612124/24385707548701747291*c_0101_9^14 - 14879067409484973230601/24385707548701747291*c_0101_9^13 - 8629888224945749351141/24385707548701747291*c_0101_9^12 - 27703127848150978032269/24385707548701747291*c_0101_9^11 - 11249290159361475166020/24385707548701747291*c_0101_9^10 - 34381138713203665862516/24385707548701747291*c_0101_9^9 - 10174347566323178617726/24385707548701747291*c_0101_9^8 - 28881532008129085319968/24385707548701747291*c_0101_9^7 - 6424404102231366295690/24385707548701747291*c_0101_9^6 - 16063337429583300647879/24385707548701747291*c_0101_9^5 - 2717917987579920473068/24385707548701747291*c_0101_9^4 - 5455178836248287371617/24385707548701747291*c_0101_9^3 - 688397073175821016625/24385707548701747291*c_0101_9^2 - 886590454857120346427/24385707548701747291*c_0101_9 - 85493104490296509230/24385707548701747291, c_0011_6 + 6354457955434342913/24385707548701747291*c_0101_9^22 + 12109738976491453388/24385707548701747291*c_0101_9^21 - 20803525810444693583/24385707548701747291*c_0101_9^20 + 44981850221933580431/24385707548701747291*c_0101_9^19 - 153475655394826582857/24385707548701747291*c_0101_9^18 - 191694553567312067204/24385707548701747291*c_0101_9^17 - 222424585672324663506/24385707548701747291*c_0101_9^16 - 78529802044688670156/1060248154291380317*c_0101_9^15 + 1301908916424332853825/24385707548701747291*c_0101_9^14 - 6464333569415956100461/24385707548701747291*c_0101_9^13 + 7093547993162425936790/24385707548701747291*c_0101_9^12 - 13968261576744287709542/24385707548701747291*c_0101_9^11 + 17298227813766021785180/24385707548701747291*c_0101_9^10 - 20288066801414622583233/24385707548701747291*c_0101_9^9 + 25740171255076130152411/24385707548701747291*c_0101_9^8 - 19884596170021687250565/24385707548701747291*c_0101_9^7 + 24484781557299528994785/24385707548701747291*c_0101_9^6 - 12573610753659734897080/24385707548701747291*c_0101_9^5 + 14629667745917152712742/24385707548701747291*c_0101_9^4 - 4599221000764276267767/24385707548701747291*c_0101_9^3 + 5012180612571547049823/24385707548701747291*c_0101_9^2 - 731643205350532417456/24385707548701747291*c_0101_9 + 742413491977783257421/24385707548701747291, c_0101_0 + 330715576348208259/24385707548701747291*c_0101_9^22 - 14699279136153764239/24385707548701747291*c_0101_9^21 - 48623305929953555818/24385707548701747291*c_0101_9^20 + 6674280810768456170/24385707548701747291*c_0101_9^19 - 86023077286266582964/24385707548701747291*c_0101_9^18 + 227983446888340385417/24385707548701747291*c_0101_9^17 + 770605015799034402344/24385707548701747291*c_0101_9^16 + 51357164365276848963/1060248154291380317*c_0101_9^15 + 5489689785767959828384/24385707548701747291*c_0101_9^14 + 2681887686214778528886/24385707548701747291*c_0101_9^13 + 16823076988439745693456/24385707548701747291*c_0101_9^12 + 3227681430301651701899/24385707548701747291*c_0101_9^11 + 31843068590183805230047/24385707548701747291*c_0101_9^10 + 970508154834052155069/24385707548701747291*c_0101_9^9 + 40155433960761432752319/24385707548701747291*c_0101_9^8 - 2302489406390367237683/24385707548701747291*c_0101_9^7 + 33996571845963623486688/24385707548701747291*c_0101_9^6 - 3161165461299689335845/24385707548701747291*c_0101_9^5 + 18737005679393198191901/24385707548701747291*c_0101_9^4 - 1698775459978832483269/24385707548701747291*c_0101_9^3 + 6146683517705010035490/24385707548701747291*c_0101_9^2 - 349243768294273159337/24385707548701747291*c_0101_9 + 933637254493724373857/24385707548701747291, c_0101_1 - 16367457872847552816/24385707548701747291*c_0101_9^22 - 55241769525001214436/24385707548701747291*c_0101_9^21 - 13028414237273463136/24385707548701747291*c_0101_9^20 - 97112780721826563353/24385707548701747291*c_0101_9^19 + 221149816558640286553/24385707548701747291*c_0101_9^18 + 884531468090861752958/24385707548701747291*c_0101_9^17 + 1632917109536904461928/24385707548701747291*c_0101_9^16 + 278902394921237963097/1060248154291380317*c_0101_9^15 + 5308891824137722270327/24385707548701747291*c_0101_9^14 + 20094715257232488492854/24385707548701747291*c_0101_9^13 + 11011944566705298841307/24385707548701747291*c_0101_9^12 + 38941885282044690519851/24385707548701747291*c_0101_9^11 + 15707373702262775097795/24385707548701747291*c_0101_9^10 + 50221280168721097689848/24385707548701747291*c_0101_9^9 + 16604934032306432702093/24385707548701747291*c_0101_9^8 + 43545669458450979030718/24385707548701747291*c_0101_9^7 + 13428857257158715172131/24385707548701747291*c_0101_9^6 + 24494092645117941821509/24385707548701747291*c_0101_9^5 + 8020410149680387267387/24385707548701747291*c_0101_9^4 + 8153822171134544267789/24385707548701747291*c_0101_9^3 + 3113299549236442249128/24385707548701747291*c_0101_9^2 + 1234133991985898299563/24385707548701747291*c_0101_9 + 564401754421148567407/24385707548701747291, c_0101_2 - 6178299908669553242/24385707548701747291*c_0101_9^22 - 27384170871068984002/24385707548701747291*c_0101_9^21 - 21933609893325140574/24385707548701747291*c_0101_9^20 - 23552775750782106109/24385707548701747291*c_0101_9^19 + 53724003581494966376/24385707548701747291*c_0101_9^18 + 454045945807334396237/24385707548701747291*c_0101_9^17 + 904453972526661060386/24385707548701747291*c_0101_9^16 + 120638107042439443235/1060248154291380317*c_0101_9^15 + 3974686017757344075397/24385707548701747291*c_0101_9^14 + 7580001467303604171047/24385707548701747291*c_0101_9^13 + 10052329887995211255527/24385707548701747291*c_0101_9^12 + 12546743429047476673619/24385707548701747291*c_0101_9^11 + 16900443705788889794217/24385707548701747291*c_0101_9^10 + 12972138379873379623399/24385707548701747291*c_0101_9^9 + 19919093375090939461333/24385707548701747291*c_0101_9^8 + 7995239204809737114569/24385707548701747291*c_0101_9^7 + 16396730154409984745975/24385707548701747291*c_0101_9^6 + 2426358391728831092749/24385707548701747291*c_0101_9^5 + 8981986609990162032434/24385707548701747291*c_0101_9^4 + 6208444454564302354/24385707548701747291*c_0101_9^3 + 2928322084319514302039/24385707548701747291*c_0101_9^2 - 122200598692162302525/24385707548701747291*c_0101_9 + 431777932733655323339/24385707548701747291, c_0101_4 + 15937671541404720719/24385707548701747291*c_0101_9^22 + 54826508648141126197/24385707548701747291*c_0101_9^21 + 13200809254049186771/24385707548701747291*c_0101_9^20 + 86075315404023439093/24385707548701747291*c_0101_9^19 - 209861279186273001240/24385707548701747291*c_0101_9^18 - 896647659309720698096/24385707548701747291*c_0101_9^17 - 1604122250992577910391/24385707548701747291*c_0101_9^16 - 269204598811993367039/1060248154291380317*c_0101_9^15 - 5309571501560436231113/24385707548701747291*c_0101_9^14 - 18742714907703460611162/24385707548701747291*c_0101_9^13 - 11190664820424382791888/24385707548701747291*c_0101_9^12 - 34940424957721183780075/24385707548701747291*c_0101_9^11 - 16198320351048437680713/24385707548701747291*c_0101_9^10 - 42977752948880495113328/24385707548701747291*c_0101_9^9 - 17287127418548897848001/24385707548701747291*c_0101_9^8 - 34941073415391913826696/24385707548701747291*c_0101_9^7 - 13824223087126323427877/24385707548701747291*c_0101_9^6 - 18066870431511466645267/24385707548701747291*c_0101_9^5 - 7841662225525731085579/24385707548701747291*c_0101_9^4 - 5360856138814217920175/24385707548701747291*c_0101_9^3 - 2756480080557530816984/24385707548701747291*c_0101_9^2 - 729261775071938058433/24385707548701747291*c_0101_9 - 435071601051933004981/24385707548701747291, c_0101_8 - 12856204298641552589/24385707548701747291*c_0101_9^22 - 49674693342180132110/24385707548701747291*c_0101_9^21 - 23251230425114190186/24385707548701747291*c_0101_9^20 - 50172676354587665786/24385707548701747291*c_0101_9^19 + 153510966823620711021/24385707548701747291*c_0101_9^18 + 825255376172331216990/24385707548701747291*c_0101_9^17 + 1521116504275577391331/24385707548701747291*c_0101_9^16 + 224133663588961988132/1060248154291380317*c_0101_9^15 + 5630697469023130592014/24385707548701747291*c_0101_9^14 + 14355522553537309468792/24385707548701747291*c_0101_9^13 + 12620127933264503999284/24385707548701747291*c_0101_9^12 + 24492290212855463212453/24385707548701747291*c_0101_9^11 + 18995631713931941244812/24385707548701747291*c_0101_9^10 + 26761763646659166400111/24385707548701747291*c_0101_9^9 + 20277042737191018183999/24385707548701747291*c_0101_9^8 + 18455491982400740986372/24385707548701747291*c_0101_9^7 + 15326218594388600186914/24385707548701747291*c_0101_9^6 + 7398167942483467586195/24385707548701747291*c_0101_9^5 + 7743138235188689168578/24385707548701747291*c_0101_9^4 + 1329937248475647471209/24385707548701747291*c_0101_9^3 + 2313091833283908608257/24385707548701747291*c_0101_9^2 + 11627816495608850731/24385707548701747291*c_0101_9 + 304113509058192755041/24385707548701747291, c_0101_9^23 + 3*c_0101_9^22 + 7*c_0101_9^20 - 16*c_0101_9^19 - 46*c_0101_9^18 - 87*c_0101_9^17 - 376*c_0101_9^16 - 214*c_0101_9^15 - 1274*c_0101_9^14 - 290*c_0101_9^13 - 2679*c_0101_9^12 - 150*c_0101_9^11 - 3833*c_0101_9^10 + 142*c_0101_9^9 - 3817*c_0101_9^8 + 301*c_0101_9^7 - 2616*c_0101_9^6 + 223*c_0101_9^5 - 1182*c_0101_9^4 + 79*c_0101_9^3 - 319*c_0101_9^2 + 11*c_0101_9 - 39, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB