Magma V2.19-8 Tue Aug 20 2013 16:14:32 on localhost [Seed = 3431813315] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s516 geometric_solution 4.91077716 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.644996202863 0.429009033937 0 2 5 5 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.394351447016 0.518934693657 4 0 1 3 0321 0132 3012 1230 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 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.144891204617 1.383558918574 2 3 3 0 3012 1230 3012 0132 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.925129675140 0.714933014534 2 4 0 4 0321 2310 0132 3201 0 0 0 0 0 1 -1 0 0 0 1 -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 -1 0 0 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.255806321810 1.384693488967 1 5 1 5 2310 1302 0132 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 -1.629967606856 1.377885811468 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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_1']), 'c_1001_4' : d['c_0011_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0011_0'], '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_0011_3'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_0'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 35822414675045437645/76842434726527334508*c_0101_3^20 + 38770239519836620577/87819925401745525152*c_0101_3^19 + 1311822030397251082939/307369738906109338032*c_0101_3^18 - 359873691665724507827/102456579635369779344*c_0101_3^17 - 72725882274372593657/3594967706504202784*c_0101_3^16 + 891022476692691103505/76842434726527334508*c_0101_3^15 + 5939891089078824700703/87819925401745525152*c_0101_3^14 - 1408187468726068098563/76842434726527334508*c_0101_3^13 - 28834622914060227960901/153684869453054669016*c_0101_3^12 + 40886950685274101030/2744372668804547661*c_0101_3^11 + 8597221591017688134766/19210608681631833627*c_0101_3^10 - 16426096362834187183057/614739477812218676064*c_0101_3^9 - 175652039917718457667043/204913159270739558688*c_0101_3^8 + 17964074220547728180077/307369738906109338032*c_0101_3^7 + 127545422680943368206715/102456579635369779344*c_0101_3^6 - 18958536773226788456/337028222484769011*c_0101_3^5 - 114297502351723029732899/87819925401745525152*c_0101_3^4 + 31691153719957826406121/307369738906109338032*c_0101_3^3 + 123528463309304582589311/153684869453054669016*c_0101_3^2 - 8258363113498697766545/76842434726527334508*c_0101_3 - 904878862687384667347/5488745337609095322, c_0011_0 - 1, c_0011_3 + 113991227224398689/9757769489082836128*c_0101_3^20 - 55683559344130813/4878884744541418064*c_0101_3^19 - 524862969239380455/4878884744541418064*c_0101_3^18 + 843427748093341963/9757769489082836128*c_0101_3^17 + 65070220909647009/128391703803721528*c_0101_3^16 - 2559007530234146729/9757769489082836128*c_0101_3^15 - 4089538740267378581/2439442372270709032*c_0101_3^14 + 783528984019578509/2439442372270709032*c_0101_3^13 + 5580294279789736057/1219721186135354516*c_0101_3^12 + 586292208064047/304930296533838629*c_0101_3^11 - 104530081637523641511/9757769489082836128*c_0101_3^10 - 987896305961323307/9757769489082836128*c_0101_3^9 + 97908566536270323653/4878884744541418064*c_0101_3^8 + 717554318377979635/4878884744541418064*c_0101_3^7 - 34393928737143027293/1219721186135354516*c_0101_3^6 - 704914395439352265/513566815214886112*c_0101_3^5 + 134959907460372145105/4878884744541418064*c_0101_3^4 - 674280021928225711/2439442372270709032*c_0101_3^3 - 17749329121431007959/1219721186135354516*c_0101_3^2 + 1127937036880611901/609860593067677258*c_0101_3 + 478000473258259923/304930296533838629, c_0011_5 - 32919342342669003/4878884744541418064*c_0101_3^20 + 72911512619529025/4878884744541418064*c_0101_3^19 + 130835774117904191/2439442372270709032*c_0101_3^18 - 581156848360281963/4878884744541418064*c_0101_3^17 - 61492164385245889/256783407607443056*c_0101_3^16 + 2260924531891245025/4878884744541418064*c_0101_3^15 + 4086142513388396241/4878884744541418064*c_0101_3^14 - 2885612629575116933/2439442372270709032*c_0101_3^13 - 784547177185722470/304930296533838629*c_0101_3^12 + 3230158421697484483/1219721186135354516*c_0101_3^11 + 31332592046919839049/4878884744541418064*c_0101_3^10 - 1797246066785928216/304930296533838629*c_0101_3^9 - 59040314415163025681/4878884744541418064*c_0101_3^8 + 25660194892230279935/2439442372270709032*c_0101_3^7 + 42725056445538800645/2439442372270709032*c_0101_3^6 - 3415628195783528829/256783407607443056*c_0101_3^5 - 89786874681805374291/4878884744541418064*c_0101_3^4 + 7486477589019759139/609860593067677258*c_0101_3^3 + 5875871853636629023/609860593067677258*c_0101_3^2 - 1730871981313004673/304930296533838629*c_0101_3 - 345708527088395518/304930296533838629, c_0101_0 - 162877677737904403/9757769489082836128*c_0101_3^20 + 69706841038365927/4878884744541418064*c_0101_3^19 + 716760074497476785/4878884744541418064*c_0101_3^18 - 1018403856646249353/9757769489082836128*c_0101_3^17 - 4581216360475203/6757458094932712*c_0101_3^16 + 2909521443934352619/9757769489082836128*c_0101_3^15 + 5382212956471318399/2439442372270709032*c_0101_3^14 - 699466225833544069/2439442372270709032*c_0101_3^13 - 3638789689085111649/609860593067677258*c_0101_3^12 - 346585587948528191/1219721186135354516*c_0101_3^11 + 135267911080602196237/9757769489082836128*c_0101_3^10 + 6671260119592539001/9757769489082836128*c_0101_3^9 - 125457486867656771039/4878884744541418064*c_0101_3^8 - 5406913942513327021/4878884744541418064*c_0101_3^7 + 10897683869283154159/304930296533838629*c_0101_3^6 + 1418457729406683923/513566815214886112*c_0101_3^5 - 169086829129705729671/4878884744541418064*c_0101_3^4 - 2034985804552855439/2439442372270709032*c_0101_3^3 + 21916026408208325165/1219721186135354516*c_0101_3^2 - 673718968616233923/609860593067677258*c_0101_3 - 570051259897590225/304930296533838629, c_0101_1 + 15341797773221717/9757769489082836128*c_0101_3^20 - 24443225256752857/4878884744541418064*c_0101_3^19 - 62685707171873471/4878884744541418064*c_0101_3^18 + 368452412742970943/9757769489082836128*c_0101_3^17 + 7790970790897085/128391703803721528*c_0101_3^16 - 1439812668794694693/9757769489082836128*c_0101_3^15 - 549056129163649783/2439442372270709032*c_0101_3^14 + 939812867419840327/2439442372270709032*c_0101_3^13 + 435244229423494969/609860593067677258*c_0101_3^12 - 267067847419599211/304930296533838629*c_0101_3^11 - 17712176181821350099/9757769489082836128*c_0101_3^10 + 18571783808913733145/9757769489082836128*c_0101_3^9 + 17170921027004691525/4878884744541418064*c_0101_3^8 - 16180648181429155089/4878884744541418064*c_0101_3^7 - 1610561860283874159/304930296533838629*c_0101_3^6 + 2125797122970428467/513566815214886112*c_0101_3^5 + 28717432488396706061/4878884744541418064*c_0101_3^4 - 9055042397045056009/2439442372270709032*c_0101_3^3 - 2510661290520265469/609860593067677258*c_0101_3^2 + 1040106394809581847/609860593067677258*c_0101_3 + 503261394050179895/304930296533838629, c_0101_3^21 - 10*c_0101_3^19 - c_0101_3^18 + 50*c_0101_3^17 + 15*c_0101_3^16 - 166*c_0101_3^15 - 92*c_0101_3^14 + 432*c_0101_3^13 + 328*c_0101_3^12 - 975*c_0101_3^11 - 793*c_0101_3^10 + 1868*c_0101_3^9 + 1482*c_0101_3^8 - 2748*c_0101_3^7 - 2163*c_0101_3^6 + 2860*c_0101_3^5 + 2088*c_0101_3^4 - 1912*c_0101_3^3 - 1088*c_0101_3^2 + 576*c_0101_3 + 192 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB