Magma V2.19-8 Tue Aug 20 2013 16:17:28 on localhost [Seed = 1141233822] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1703 geometric_solution 5.41573535 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 -1 0 1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.121483259483 1.053202171413 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 -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.822137781617 0.876168027852 4 3 0 1 2310 3201 0132 3012 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.822137781617 0.876168027852 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.735568755054 0.415627304815 6 1 2 6 0132 0132 3201 1023 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445011325201 0.600220855679 5 3 5 3 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.593163034543 0.124040668517 4 6 6 4 0132 1230 3012 1023 0 0 0 0 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 1.805290633129 0.667514478231 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 234756992911735800773196607653569263852161/159048531283843205884467\ 873401506025344*c_0110_5^17 - 1010351467657624830298816514796382655\ 78039/79524265641921602942233936700753012672*c_0110_5^16 - 6587268830956247851060311025290492869921589/79524265641921602942233\ 936700753012672*c_0110_5^15 - 6605812204551785574174409137595615089\ 89481/159048531283843205884467873401506025344*c_0110_5^14 + 53443058918358027023440708151066925734467481/3976213282096080147111\ 6968350376506336*c_0110_5^13 + 253957880774719944593734727937720010\ 028401071/159048531283843205884467873401506025344*c_0110_5^12 - 905085933444104080534865237188568010625654441/159048531283843205884\ 467873401506025344*c_0110_5^11 - 9113110261900484427769252222876219\ 93401966023/79524265641921602942233936700753012672*c_0110_5^10 + 636697316071054059435886860435695456380554863/159048531283843205884\ 467873401506025344*c_0110_5^9 + 97758662138083928618089378476046917\ 0061333357/39762132820960801471116968350376506336*c_0110_5^8 + 652196677459853977886605273349411226211903615/159048531283843205884\ 467873401506025344*c_0110_5^7 - 25776158296010380985096188539623460\ 85043634073/159048531283843205884467873401506025344*c_0110_5^6 + 2660497758549988478439622855980624738652702043/15904853128384320588\ 4467873401506025344*c_0110_5^5 + 6177295940590517821835106838457442\ 85467749911/39762132820960801471116968350376506336*c_0110_5^4 - 129100527642086706738516002343272375980811379/159048531283843205884\ 467873401506025344*c_0110_5^3 - 24063633829024724620389566210133104\ 2048324935/79524265641921602942233936700753012672*c_0110_5^2 - 4797375971950883244342392426312428842294933/19881066410480400735558\ 484175188253168*c_0110_5 + 1682161561191992225389169426597330548864\ 509/19881066410480400735558484175188253168, c_0011_0 - 1, c_0011_1 - 67482667582775035159621760064074033/248513330131005009194481\ 0521898531646*c_0110_5^17 + 33592696190567515938505138922325907/124\ 2566650655025045972405260949265823*c_0110_5^16 + 3776865692963834235970881353012024335/24851333013100500919448105218\ 98531646*c_0110_5^15 - 318748273080835829876100476512383587/2485133\ 301310050091944810521898531646*c_0110_5^14 - 30669945510216983925136209605948918275/1242566650655025045972405260\ 949265823*c_0110_5^13 - 32352198519574220601789234385513734025/1242\ 566650655025045972405260949265823*c_0110_5^12 + 267804915955141691221804594389975777241/248513330131005009194481052\ 1898531646*c_0110_5^11 + 486139930777845428139686420545850853285/24\ 85133301310050091944810521898531646*c_0110_5^10 - 122166470246043247241340789290530462611/124256665065502504597240526\ 0949265823*c_0110_5^9 - 540079261861821406719069327806481687652/124\ 2566650655025045972405260949265823*c_0110_5^8 - 21150142131896981402762987400690019325/1242566650655025045972405260\ 949265823*c_0110_5^7 + 725147149799609584572019478959967463479/2485\ 133301310050091944810521898531646*c_0110_5^6 - 435774759198838221515876247888565354052/124256665065502504597240526\ 0949265823*c_0110_5^5 - 579083796716793075392929645912560241851/248\ 5133301310050091944810521898531646*c_0110_5^4 + 52444306880952322481557438765107712188/1242566650655025045972405260\ 949265823*c_0110_5^3 + 52186618937952251296689098183225333387/12425\ 66650655025045972405260949265823*c_0110_5^2 - 4810380840306348689570594572784849455/24851333013100500919448105218\ 98531646*c_0110_5 - 665317616610735099284375094546654700/1242566650\ 655025045972405260949265823, c_0101_0 - 50406616973988916874959302450050423/124256665065502504597240\ 5260949265823*c_0110_5^17 + 41921435199540318112770459031321049/124\ 2566650655025045972405260949265823*c_0110_5^16 + 2829970589013380604660048454632718243/12425666506550250459724052609\ 49265823*c_0110_5^15 + 224185742750935368924202524405956700/1242566\ 650655025045972405260949265823*c_0110_5^14 - 45890411580794139897765200367830755011/1242566650655025045972405260\ 949265823*c_0110_5^13 - 55861844958151031465225112036154819388/1242\ 566650655025045972405260949265823*c_0110_5^12 + 192640984945712760798591891540308703384/124256665065502504597240526\ 0949265823*c_0110_5^11 + 396843081325518708593087281923363920195/12\ 42566650655025045972405260949265823*c_0110_5^10 - 124759814922988427319681686343995781707/124256665065502504597240526\ 0949265823*c_0110_5^9 - 842344366037661335842688255614395813120/124\ 2566650655025045972405260949265823*c_0110_5^8 - 165120543856550089323334483775094994964/124256665065502504597240526\ 0949265823*c_0110_5^7 + 546010886334829744621256277021283431467/124\ 2566650655025045972405260949265823*c_0110_5^6 - 555849583792670400920547305389692011620/124256665065502504597240526\ 0949265823*c_0110_5^5 - 543622127654125769549614023172884277889/124\ 2566650655025045972405260949265823*c_0110_5^4 + 11820513472458157943003918789487916567/1242566650655025045972405260\ 949265823*c_0110_5^3 + 101093159062687731717455239085212248170/1242\ 566650655025045972405260949265823*c_0110_5^2 + 13211796121506204281543287950061967666/1242566650655025045972405260\ 949265823*c_0110_5 - 2272762561830631222972424406228255016/12425666\ 50655025045972405260949265823, c_0101_1 - 261061548207750853243286595076693463/24851333013100500919448\ 10521898531646*c_0110_5^17 + 116731122514659402133874562972467166/1\ 242566650655025045972405260949265823*c_0110_5^16 + 14641533607605869929141663888571815205/2485133301310050091944810521\ 898531646*c_0110_5^15 + 244605682843317582053361921674224211/248513\ 3301310050091944810521898531646*c_0110_5^14 - 118827557058410241348323568877716605455/124256665065502504597240526\ 0949265823*c_0110_5^13 - 137209858305539274454308693073803932954/12\ 42566650655025045972405260949265823*c_0110_5^12 + 1014423089148439998829273342600771188663/24851333013100500919448105\ 21898531646*c_0110_5^11 + 1990947378120155657418226397671673211343/\ 2485133301310050091944810521898531646*c_0110_5^10 - 384858759961646552396493548738746095492/124256665065502504597240526\ 0949265823*c_0110_5^9 - 2155060695754404371841594501183983169876/12\ 42566650655025045972405260949265823*c_0110_5^8 - 290924183274008425854103353153144860846/124256665065502504597240526\ 0949265823*c_0110_5^7 + 2860908599196497677124203373045619046347/24\ 85133301310050091944810521898531646*c_0110_5^6 - 1532250997143652058828676686859414653381/12425666506550250459724052\ 60949265823*c_0110_5^5 - 2629550454326597501693015909436214548643/2\ 485133301310050091944810521898531646*c_0110_5^4 + 108894502214034599611645700624931785119/124256665065502504597240526\ 0949265823*c_0110_5^3 + 253094862351543994073385575285508569541/124\ 2566650655025045972405260949265823*c_0110_5^2 + 26492145133540054610349729316377848573/2485133301310050091944810521\ 898531646*c_0110_5 - 6399668523322911115299449199956904532/12425666\ 50655025045972405260949265823, c_0101_4 - 109546471330699555438165067211798928/12425666506550250459724\ 05260949265823*c_0110_5^17 + 92980150893172301538401727011398604/12\ 42566650655025045972405260949265823*c_0110_5^16 + 6148471893183431477639573353168795365/12425666506550250459724052609\ 49265823*c_0110_5^15 + 382640957616917637074551596698544116/1242566\ 650655025045972405260949265823*c_0110_5^14 - 99728762288604793793534992235564779811/1242566650655025045972405260\ 949265823*c_0110_5^13 - 119720078905163327304757341447267922272/124\ 2566650655025045972405260949265823*c_0110_5^12 + 420574122965047000982351622823155352291/124256665065502504597240526\ 0949265823*c_0110_5^11 + 855449364508487759357474170915329042845/12\ 42566650655025045972405260949265823*c_0110_5^10 - 285162744011246512190673426776229369241/124256665065502504597240526\ 0949265823*c_0110_5^9 - 1826694817471393642570430564436222145782/12\ 42566650655025045972405260949265823*c_0110_5^8 - 329276454849512664400483324246309134115/124256665065502504597240526\ 0949265823*c_0110_5^7 + 1194789469853376196051626886563639743560/12\ 42566650655025045972405260949265823*c_0110_5^6 - 1223092691238343938361585144665665050391/12425666506550250459724052\ 60949265823*c_0110_5^5 - 1165227680653202367163248833555085894129/1\ 242566650655025045972405260949265823*c_0110_5^4 + 38062739075635064687663266887831255479/1242566650655025045972405260\ 949265823*c_0110_5^3 + 226863056862631948360340457552752955622/1242\ 566650655025045972405260949265823*c_0110_5^2 + 21136004079142837422322035680062875392/1242566650655025045972405260\ 949265823*c_0110_5 - 6815282650920303457862271667962683367/12425666\ 50655025045972405260949265823, c_0101_6 + 42897483722540242789584853171308523/497026660262010018388962\ 1043797063292*c_0110_5^17 - 63055796289216595611151063128930117/497\ 0266602620100183889621043797063292*c_0110_5^16 - 1187990958237970565321159941256796295/24851333013100500919448105218\ 98531646*c_0110_5^15 + 1333627687503276698783823871910299487/497026\ 6602620100183889621043797063292*c_0110_5^14 + 38641383361070553589238898769046204935/4970266602620100183889621043\ 797063292*c_0110_5^13 + 22832426357550992618572917597240830331/4970\ 266602620100183889621043797063292*c_0110_5^12 - 46407361905762527030538130790012231764/1242566650655025045972405260\ 949265823*c_0110_5^11 - 226627981636051074051074370671378645453/497\ 0266602620100183889621043797063292*c_0110_5^10 + 281804335118225958827929913587704121953/497026660262010018388962104\ 3797063292*c_0110_5^9 + 592570897380113134068770824010737915243/497\ 0266602620100183889621043797063292*c_0110_5^8 - 265570854027521856164025891401491250289/497026660262010018388962104\ 3797063292*c_0110_5^7 - 104420720931170283318771416089165097517/124\ 2566650655025045972405260949265823*c_0110_5^6 + 367321974629196739159710141162551932717/248513330131005009194481052\ 1898531646*c_0110_5^5 + 71673039985156232323146611721116117249/4970\ 266602620100183889621043797063292*c_0110_5^4 - 157104830229149317626191749353703923387/497026660262010018388962104\ 3797063292*c_0110_5^3 - 45319622394154878676691076956555866649/4970\ 266602620100183889621043797063292*c_0110_5^2 + 5510065334869449858124756364471003608/12425666506550250459724052609\ 49265823*c_0110_5 - 625286903414613773703685588045385351/1242566650\ 655025045972405260949265823, c_0110_5^18 - c_0110_5^17 - 56*c_0110_5^16 + 5*c_0110_5^15 + 911*c_0110_5^14 + 955*c_0110_5^13 - 4006*c_0110_5^12 - 7227*c_0110_5^11 + 3793*c_0110_5^10 + 16279*c_0110_5^9 + 459*c_0110_5^8 - 11366*c_0110_5^7 + 12862*c_0110_5^6 + 8947*c_0110_5^5 - 2015*c_0110_5^4 - 1973*c_0110_5^3 + 122*c_0110_5^2 + 80*c_0110_5 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB