Magma V2.19-8 Tue Aug 20 2013 23:40:09 on localhost [Seed = 2968966164] Type ? for help. Type -D to quit. Loading file "K14n9156__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9156 geometric_solution 10.24464179 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 1 -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 1 10 -11 11 0 -11 0 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.978327876332 1.083377826819 0 5 2 6 0132 0132 1230 0132 0 0 0 0 0 1 -1 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 10 -10 0 -11 0 11 0 -11 0 0 11 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472338005035 0.929272380144 7 0 8 1 0132 0132 0132 3012 0 0 0 0 0 0 0 0 -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 -1 0 1 -10 0 0 10 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.183653669694 0.452715462680 4 9 7 0 3120 0132 1230 0132 0 0 0 0 0 0 1 -1 -1 0 0 1 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 10 -10 -10 0 -1 11 0 0 0 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253871807489 0.407865084185 6 5 0 3 0132 1302 0132 3120 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 0 11 -11 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.852581040152 0.862160273893 8 1 10 4 1023 0132 0132 2031 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 -10 10 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.731381408821 0.949920289342 4 8 1 9 0132 3201 0132 1302 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 10 0 0 -10 0 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527903594999 1.111839280853 2 8 10 3 0132 1023 2310 3012 0 0 0 0 0 -1 0 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 -11 0 11 10 0 0 -10 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.186979999257 0.828701856465 7 5 6 2 1023 1023 2310 0132 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 11 0 -11 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.823693241701 1.032437607046 10 3 6 10 2310 0132 2031 1230 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 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.520850150029 1.429375282110 9 7 9 5 3012 3201 3201 0132 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 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511505351736 0.857232331403 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : negation(d['c_0101_1']), 'c_1001_8' : d['c_0101_5'], 'c_1010_10' : negation(d['c_0101_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_5'], 'c_1100_8' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_4']), 'c_1100_10' : d['c_0011_3'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0110_5'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(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' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1'], '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_10' : d['c_0101_5'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(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_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_2'], '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_7'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_7, c_0101_8, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 8310007728897625364931836054982505245071/54241075870207912262279194\ 3223112500*c_0110_5^16 + 6825094105852046849961910139376409339547/2\ 71205379351039561311395971611556250*c_0110_5^15 - 87825937696675354865110885298877802994/1356026896755197806556979858\ 05778125*c_0110_5^14 + 603127936206956768466716806009396916179/1084\ 8215174041582452455838864462250*c_0110_5^13 + 866067191598318512928026865822622945963/589576911632694698503034720\ 8946875*c_0110_5^12 + 195458396323343624252301824481455528858/58957\ 69116326946985030347208946875*c_0110_5^11 + 5477117622438613284588766498907589057246/13560268967551978065569798\ 5805778125*c_0110_5^10 + 4844357079548162005936422222114427142702/1\ 9371812810788540093671140829396875*c_0110_5^9 + 1564688306155732497183509936773695095/12397960198904665659949530130\ 814*c_0110_5^8 - 9477658487262666039577756524875247858609/246550344\ 86458141937399633782868750*c_0110_5^7 - 8415345676694003156291018842495114401943/19371812810788540093671140\ 829396875*c_0110_5^6 + 4651678400607499830903651031558130872989/271\ 205379351039561311395971611556250*c_0110_5^5 + 1108142984682615875013721880995099067834/54241075870207912262279194\ 32231125*c_0110_5^4 + 10832170106975193325730563563847612800133/271\ 205379351039561311395971611556250*c_0110_5^3 - 9074952084279291506777168654045436153633/10848215174041582452455838\ 8644622500*c_0110_5^2 - 15767470168679964975005644683891694697591/2\ 71205379351039561311395971611556250*c_0110_5 - 6499173046268493273411533157969270441503/54241075870207912262279194\ 3223112500, c_0011_0 - 1, c_0011_10 - 587568351200237589058523010/27561189680870422555763971*c_01\ 10_5^16 - 605323262740117230800385041/27561189680870422555763971*c_\ 0110_5^15 + 344497315128884244704954988/27561189680870422555763971*\ c_0110_5^14 - 2398763411210492184899021205/275611896808704225557639\ 71*c_0110_5^13 - 4132567603032432318721026802/275611896808704225557\ 63971*c_0110_5^12 + 1054537135522784264956086035/275611896808704225\ 55763971*c_0110_5^11 - 2571430588561221582152551215/275611896808704\ 22555763971*c_0110_5^10 - 7921975792746789210971142108/275611896808\ 70422555763971*c_0110_5^9 - 188952621723388804072976960/27561189680\ 870422555763971*c_0110_5^8 + 14126943916594405885878059631/27561189\ 680870422555763971*c_0110_5^7 + 7979433975992704247414058528/275611\ 89680870422555763971*c_0110_5^6 - 4290877493374918296059822562/2756\ 1189680870422555763971*c_0110_5^5 - 4489509577717000574501797535/27561189680870422555763971*c_0110_5^4 + 757171645212422792154614515/27561189680870422555763971*c_0110_5^3 + 2297437042949849540002763143/27561189680870422555763971*c_0110_5^2 + 918101271427652046978609362/27561189680870422555763971*c_0110_5 + 130176212253138823021337965/27561189680870422555763971, c_0011_3 + 1593690260184058302686391756/27561189680870422555763971*c_01\ 10_5^16 + 2300274452550289320166156014/27561189680870422555763971*c\ _0110_5^15 - 404444545528525166179603178/27561189680870422555763971\ *c_0110_5^14 + 5988964837196343809698943074/27561189680870422555763\ 971*c_0110_5^13 + 14006913380757064474037570567/2756118968087042255\ 5763971*c_0110_5^12 + 1146192709631961011349820734/2756118968087042\ 2555763971*c_0110_5^11 + 4834478321859621776985900039/2756118968087\ 0422555763971*c_0110_5^10 + 24791203903738980163190542517/275611896\ 80870422555763971*c_0110_5^9 + 8667423718230119776353407634/2756118\ 9680870422555763971*c_0110_5^8 - 40044712364965753976741396989/2756\ 1189680870422555763971*c_0110_5^7 - 37229472404396263891339696658/27561189680870422555763971*c_0110_5^6 + 6178398533800509310214992775/27561189680870422555763971*c_0110_5^\ 5 + 18402705522999865019270058533/27561189680870422555763971*c_0110\ _5^4 + 1560539371177970614238964823/27561189680870422555763971*c_01\ 10_5^3 - 8024453187493619778035710537/27561189680870422555763971*c_\ 0110_5^2 - 4703098441840565968562476431/27561189680870422555763971*\ c_0110_5 - 810690309426716940707730656/27561189680870422555763971, c_0011_4 - 582831652337773582545477733/27561189680870422555763971*c_011\ 0_5^16 - 729767622862483464138762198/27561189680870422555763971*c_0\ 110_5^15 + 269607950995348851315498572/27561189680870422555763971*c\ _0110_5^14 - 2267666960191101690722007119/2756118968087042255576397\ 1*c_0110_5^13 - 4682969823241826626296236412/2756118968087042255576\ 3971*c_0110_5^12 + 409770852644189220491636483/27561189680870422555\ 763971*c_0110_5^11 - 2005171231476136194835268280/27561189680870422\ 555763971*c_0110_5^10 - 8691478521716783073463295746/27561189680870\ 422555763971*c_0110_5^9 - 1554721841225917383178223284/275611896808\ 70422555763971*c_0110_5^8 + 14658750307540603614054601425/275611896\ 80870422555763971*c_0110_5^7 + 10713948023162860245352921718/275611\ 89680870422555763971*c_0110_5^6 - 3841552533749835208491674588/2756\ 1189680870422555763971*c_0110_5^5 - 5578086829199221984692487640/27561189680870422555763971*c_0110_5^4 + 373346124260392830331271977/27561189680870422555763971*c_0110_5^3 + 2676815116843992820094382418/27561189680870422555763971*c_0110_5^2 + 1221574153779146457429781664/27561189680870422555763971*c_0110_5 + 165963464353082262102042496/27561189680870422555763971, c_0101_0 - c_0110_5, c_0101_1 + 1720710161682224304800475612/27561189680870422555763971*c_01\ 10_5^16 + 2261890975206608867815404354/27561189680870422555763971*c\ _0110_5^15 - 634761232230425947735495486/27561189680870422555763971\ *c_0110_5^14 + 6627977671464272782350056892/27561189680870422555763\ 971*c_0110_5^13 + 14198513089843505372231532013/2756118968087042255\ 5763971*c_0110_5^12 - 199122264357930973523910868/27561189680870422\ 555763971*c_0110_5^11 + 5837921864824848182132596813/27561189680870\ 422555763971*c_0110_5^10 + 25735062601477665299052157026/2756118968\ 0870422555763971*c_0110_5^9 + 6490746118708595847814913105/27561189\ 680870422555763971*c_0110_5^8 - 42867021671536994098772944406/27561\ 189680870422555763971*c_0110_5^7 - 34859595581342625344772423927/27561189680870422555763971*c_0110_5^6 + 8926716279819856296891164380/27561189680870422555763971*c_0110_5^\ 5 + 17894232333971357960714382226/27561189680870422555763971*c_0110\ _5^4 + 271238431508995644927226718/27561189680870422555763971*c_011\ 0_5^3 - 8161965296843918896492883081/27561189680870422555763971*c_0\ 110_5^2 - 4274349264133419258300364162/27561189680870422555763971*c\ _0110_5 - 659188344948096598222622943/27561189680870422555763971, c_0101_2 - 674475058188159198627603563/27561189680870422555763971*c_011\ 0_5^16 - 631383418403274402660655650/27561189680870422555763971*c_0\ 110_5^15 + 450086318504380720961984738/27561189680870422555763971*c\ _0110_5^14 - 2799373940221743396656172076/2756118968087042255576397\ 1*c_0110_5^13 - 4480009777517113047496809357/2756118968087042255576\ 3971*c_0110_5^12 + 1612746009215720014326443158/2756118968087042255\ 5763971*c_0110_5^11 - 3128556104986427099681160371/2756118968087042\ 2555763971*c_0110_5^10 - 8799794248389224600625997270/2756118968087\ 0422555763971*c_0110_5^9 + 586729974569456311214575481/275611896808\ 70422555763971*c_0110_5^8 + 16124232691168730286029872760/275611896\ 80870422555763971*c_0110_5^7 + 7627284905321444152458646921/2756118\ 9680870422555763971*c_0110_5^6 - 5521387381748632052134486992/27561\ 189680870422555763971*c_0110_5^5 - 4576965559517551688570912478/27561189680870422555763971*c_0110_5^4 + 1319099508740949338589537004/27561189680870422555763971*c_0110_5^3 + 2465830458704790119175320141/27561189680870422555763971*c_0110_5^2 + 821494102960363987987267220/27561189680870422555763971*c_0110_5 + 68042304404738940144932467/27561189680870422555763971, c_0101_5 - 3206963885344023083385706336/27561189680870422555763971*c_01\ 10_5^16 - 4407026597436455188672829655/27561189680870422555763971*c\ _0110_5^15 + 947892954307333039068517135/27561189680870422555763971\ *c_0110_5^14 - 12247369331369438923641918755/2756118968087042255576\ 3971*c_0110_5^13 - 27200718149193030315774208160/275611896808704225\ 55763971*c_0110_5^12 - 1159052261572882478671758372/275611896808704\ 22555763971*c_0110_5^11 - 10656149931619531187355263214/27561189680\ 870422555763971*c_0110_5^10 - 48557149575461417760968715967/2756118\ 9680870422555763971*c_0110_5^9 - 14978333535949086509362596524/2756\ 1189680870422555763971*c_0110_5^8 + 79531626162586966093995546548/27561189680870422555763971*c_0110_5^7 + 69946175355567334229016566035/27561189680870422555763971*c_0110_5\ ^6 - 13272439781733705077800290668/27561189680870422555763971*c_011\ 0_5^5 - 34903783169014369984423874029/27561189680870422555763971*c_\ 0110_5^4 - 2381945007871455062132907783/27561189680870422555763971*\ c_0110_5^3 + 15504306410237118932934087079/275611896808704225557639\ 71*c_0110_5^2 + 8859878273895559021701459994/2756118968087042255576\ 3971*c_0110_5 + 1539575585292380624586395041/2756118968087042255576\ 3971, c_0101_7 + 1183897399091615254397771812/27561189680870422555763971*c_01\ 10_5^16 + 1897492253591821394089986722/27561189680870422555763971*c\ _0110_5^15 - 143449678871836005124663186/27561189680870422555763971\ *c_0110_5^14 + 4305141201297082178134787557/27561189680870422555763\ 971*c_0110_5^13 + 11202595937957293872940975893/2756118968087042255\ 5763971*c_0110_5^12 + 2026920329818655921764321015/2756118968087042\ 2555763971*c_0110_5^11 + 3012078002688194625152193111/2756118968087\ 0422555763971*c_0110_5^10 + 19342440595068460955171077263/275611896\ 80870422555763971*c_0110_5^9 + 8829814031773382409230129152/2756118\ 9680870422555763971*c_0110_5^8 - 30156084891038992442414042461/2756\ 1189680870422555763971*c_0110_5^7 - 32151972654901166825259957311/27561189680870422555763971*c_0110_5^6 + 2966375630491496937583045716/27561189680870422555763971*c_0110_5^\ 5 + 15452270497547377470672636802/27561189680870422555763971*c_0110\ _5^4 + 2255139396044765876379700161/27561189680870422555763971*c_01\ 10_5^3 - 6516660397740556600397549571/27561189680870422555763971*c_\ 0110_5^2 - 4143939972701866249910719752/27561189680870422555763971*\ c_0110_5 - 753942044756703061348306914/27561189680870422555763971, c_0101_8 + 556246403394473835530897001/27561189680870422555763971*c_011\ 0_5^16 + 580099774047352701021485121/27561189680870422555763971*c_0\ 110_5^15 - 364783854920076139891239034/27561189680870422555763971*c\ _0110_5^14 + 2241285283037017773487620211/2756118968087042255576397\ 1*c_0110_5^13 + 3984069217760710026650898539/2756118968087042255576\ 3971*c_0110_5^12 - 1151432393274871728278906773/2756118968087042255\ 5763971*c_0110_5^11 + 2193079198412081717381528813/2756118968087042\ 2555763971*c_0110_5^10 + 7733859538599810576066840579/2756118968087\ 0422555763971*c_0110_5^9 + 7853181146439464142913567/27561189680870\ 422555763971*c_0110_5^8 - 13868081457223116613834086664/27561189680\ 870422555763971*c_0110_5^7 - 7513380463408597385372899222/275611896\ 80870422555763971*c_0110_5^6 + 5011698915100508372010340621/2756118\ 9680870422555763971*c_0110_5^5 + 4436274118551891794094872859/27561\ 189680870422555763971*c_0110_5^4 - 1218724766936176067530311988/27561189680870422555763971*c_0110_5^3 - 2392108408543115221721652837/27561189680870422555763971*c_0110_5^2 - 695027782604579645707621481/27561189680870422555763971*c_0110_5 + 7681355582452919343998562/27561189680870422555763971, c_0110_5^17 + 55/29*c_0110_5^16 + 12/29*c_0110_5^15 + 106/29*c_0110_5^14 + 304/29*c_0110_5^13 + 138/29*c_0110_5^12 + 100/29*c_0110_5^11 + 490/29*c_0110_5^10 + 364/29*c_0110_5^9 - 652/29*c_0110_5^8 - 1008/29*c_0110_5^7 - 204/29*c_0110_5^6 + 382/29*c_0110_5^5 + 184/29*c_0110_5^4 - 131/29*c_0110_5^3 - 153/29*c_0110_5^2 - 55/29*c_0110_5 - 7/29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.370 Total time: 0.580 seconds, Total memory usage: 32.09MB