Magma V2.19-8 Tue Aug 20 2013 16:18:20 on localhost [Seed = 3018993308] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2548 geometric_solution 5.85793685 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.083926022658 2.222317174785 0 0 3 2 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 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.076596813606 0.492401601838 4 4 1 5 0132 0213 0132 0132 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 -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.912016549544 1.199923969030 5 4 5 1 1230 2310 2031 0132 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 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.136039913689 1.244855101679 2 6 2 3 0132 0132 0213 3201 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.202243344417 1.534629899240 6 3 2 3 0213 3012 0132 1302 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 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.712188776825 0.427933811165 5 4 6 6 0213 0132 2031 1302 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 1 -1 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.267491285679 0.468914245782 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : negation(d['c_0110_5']), 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : negation(d['c_0011_5']), 'c_1010_0' : d['c_0011_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_2, c_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 16726003808811260081766029291234860352/2560759440260111825986181302\ 42023225*c_0110_5^17 - 1181563235522869482937220947828996124/853586\ 48008670394199539376747341075*c_0110_5^16 + 313276278514271243748087626364975680654/256075944026011182598618130\ 242023225*c_0110_5^15 + 46212897704358249004489222961588365013/5121\ 5188805202236519723626048404645*c_0110_5^14 - 2451071592879144531755997067504844358548/25607594402601118259861813\ 0242023225*c_0110_5^13 - 2970744867172034291758936384948079029157/3\ 41434592034681576798157506989364300*c_0110_5^12 + 13502686419289069141640708802207604021549/3414345920346815767981575\ 06989364300*c_0110_5^11 + 33660880029216052243284551169507435937871\ /1024303776104044730394472520968092900*c_0110_5^10 - 106737682323798194850159076249952808299/112190994096828557545944416\ 3163300*c_0110_5^9 - 6200978193586953907203430660129480470701/10243\ 0377610404473039447252096809290*c_0110_5^8 + 6141713967862462844790885775170990365498/51215188805202236519723626\ 048404645*c_0110_5^7 + 10759585570840356954622249103974264812769/17\ 0717296017340788399078753494682150*c_0110_5^6 - 83059891020592126502647806004572193085213/1024303776104044730394472\ 520968092900*c_0110_5^5 - 12384777314499185570291512805901917264921\ /341434592034681576798157506989364300*c_0110_5^4 + 31355604813209002653637103169937959528659/1024303776104044730394472\ 520968092900*c_0110_5^3 + 4411916826037158991185045611371080787027/\ 512151888052022365197236260484046450*c_0110_5^2 - 616083036414446862211791674207328458003/113811530678227192266052502\ 329788100*c_0110_5 - 4897377254856849304680166207618895483/10243037\ 76104044730394472520968092900, c_0011_0 - 1, c_0011_2 + 1187459690464673872099230774664/9405911626299767955872107630\ 561*c_0110_5^17 + 378422032363423479357730411464/940591162629976795\ 5872107630561*c_0110_5^16 - 21731273420287214673217624692106/940591\ 1626299767955872107630561*c_0110_5^15 - 18466480060874353464808016031929/9405911626299767955872107630561*c_\ 0110_5^14 + 163814545117539494316057321542056/940591162629976795587\ 2107630561*c_0110_5^13 + 166671488448675302907037393990368/94059116\ 26299767955872107630561*c_0110_5^12 - 643837447523858531382293694181104/9405911626299767955872107630561*c\ _0110_5^11 - 593533355130599517928053413401405/94059116262997679558\ 72107630561*c_0110_5^10 + 17659418182478529277546277291978/11332423\ 6461442987420145875067*c_0110_5^9 + 1029105117131679082713361295966409/9405911626299767955872107630561*\ c_0110_5^8 - 1672219903039079802808930958243211/9405911626299767955\ 872107630561*c_0110_5^7 - 1001115803602096971509789031402281/940591\ 1626299767955872107630561*c_0110_5^6 + 1029584562422426779760658498698440/9405911626299767955872107630561*\ c_0110_5^5 + 573446807419923228869947572594669/94059116262997679558\ 72107630561*c_0110_5^4 - 329897444366952302011738169591645/94059116\ 26299767955872107630561*c_0110_5^3 - 133549366411215506357278292615692/9405911626299767955872107630561*c\ _0110_5^2 + 37250997082564972824611061393612/9405911626299767955872\ 107630561*c_0110_5 + 3773174182718142569858606038357/94059116262997\ 67955872107630561, c_0011_3 + 3147963753565867019443566103496/9405911626299767955872107630\ 561*c_0110_5^17 + 7148077659304354102178860457960/94059116262997679\ 55872107630561*c_0110_5^16 - 52149495376957557807250360949938/94059\ 11626299767955872107630561*c_0110_5^15 - 158277010502885934429743659805705/9405911626299767955872107630561*c\ _0110_5^14 + 276398181308456249757491209941642/94059116262997679558\ 72107630561*c_0110_5^13 + 1198304508779727077229496014702789/940591\ 1626299767955872107630561*c_0110_5^12 - 414369389154322055300076453163021/9405911626299767955872107630561*c\ _0110_5^11 - 4150733659415043740290605904377015/9405911626299767955\ 872107630561*c_0110_5^10 - 7537952490880119929189438118976/11332423\ 6461442987420145875067*c_0110_5^9 + 7640903010769471197200287163990809/9405911626299767955872107630561*\ c_0110_5^8 + 3482562481896291249467131767794987/9405911626299767955\ 872107630561*c_0110_5^7 - 6542339880927223483781813341545502/940591\ 1626299767955872107630561*c_0110_5^6 - 4039771193311680174019992640498451/9405911626299767955872107630561*\ c_0110_5^5 + 2697436665348028594613922143980951/9405911626299767955\ 872107630561*c_0110_5^4 + 1873098220497328893797296583386924/940591\ 1626299767955872107630561*c_0110_5^3 - 574598615734144392840665609924159/9405911626299767955872107630561*c\ _0110_5^2 - 305420336550923578569599268484824/940591162629976795587\ 2107630561*c_0110_5 + 65745902789788102246788077280302/940591162629\ 9767955872107630561, c_0011_5 - 1243469800765183883037465509320/9405911626299767955872107630\ 561*c_0110_5^17 + 1336437595861478167940586183664/94059116262997679\ 55872107630561*c_0110_5^16 + 24246530689207577954321826701618/94059\ 11626299767955872107630561*c_0110_5^15 - 11755933365635460450743252197317/9405911626299767955872107630561*c_\ 0110_5^14 - 215236185033929458067614752705287/940591162629976795587\ 2107630561*c_0110_5^13 + 44234495214001605231470752010136/940591162\ 6299767955872107630561*c_0110_5^12 + 1035943871794430322880365409439230/9405911626299767955872107630561*\ c_0110_5^11 - 148186745998014997349055798855045/9405911626299767955\ 872107630561*c_0110_5^10 - 33969889735035326127471774226883/1133242\ 36461442987420145875067*c_0110_5^9 + 474139641500933651656957456102046/9405911626299767955872107630561*c\ _0110_5^8 + 4073785827842923379987338961485197/94059116262997679558\ 72107630561*c_0110_5^7 - 398805723630690364416879239148514/94059116\ 26299767955872107630561*c_0110_5^6 - 3198900373550152299595242624264012/9405911626299767955872107630561*\ c_0110_5^5 + 77030644731407709782310707772471/940591162629976795587\ 2107630561*c_0110_5^4 + 1346860958569486008465392478546630/94059116\ 26299767955872107630561*c_0110_5^3 - 44802642334527039368240869218918/9405911626299767955872107630561*c_\ 0110_5^2 - 228907515124095354544826119397613/9405911626299767955872\ 107630561*c_0110_5 + 29723851392444000266373956715928/9405911626299\ 767955872107630561, c_0101_0 + 3541763750209651799947612298864/9405911626299767955872107630\ 561*c_0110_5^17 + 2467112577096147993931441309504/94059116262997679\ 55872107630561*c_0110_5^16 - 63948125430890230942387808065540/94059\ 11626299767955872107630561*c_0110_5^15 - 78985724693835967341736099867242/9405911626299767955872107630561*c_\ 0110_5^14 + 459470395571513021854815786564096/940591162629976795587\ 2107630561*c_0110_5^13 + 666139477768117323463015426207225/94059116\ 26299767955872107630561*c_0110_5^12 - 1672711726587397679837443426171960/9405911626299767955872107630561*\ c_0110_5^11 - 2359253662331579066501868309712146/940591162629976795\ 5872107630561*c_0110_5^10 + 42133670687472536397588258852668/113324\ 236461442987420145875067*c_0110_5^9 + 4170941603660244561915664200812838/9405911626299767955872107630561*\ c_0110_5^8 - 3463927517729322001741468797846986/9405911626299767955\ 872107630561*c_0110_5^7 - 3715519098388273027983973501699570/940591\ 1626299767955872107630561*c_0110_5^6 + 1740737904522324349008547179834932/9405911626299767955872107630561*\ c_0110_5^5 + 1665156715327606225643858536759231/9405911626299767955\ 872107630561*c_0110_5^4 - 555448371766572606062681448087134/9405911\ 626299767955872107630561*c_0110_5^3 - 272712718558503300459694605770338/9405911626299767955872107630561*c\ _0110_5^2 + 99856779718156792263582047880658/9405911626299767955872\ 107630561*c_0110_5 - 14013883464051713992456478248252/9405911626299\ 767955872107630561, c_0101_3 + 2323278348044150119309073712080/9405911626299767955872107630\ 561*c_0110_5^17 + 4012421734108573797959706699168/94059116262997679\ 55872107630561*c_0110_5^16 - 40053862483020939145269629281268/94059\ 11626299767955872107630561*c_0110_5^15 - 94891991820366232495098781426502/9405911626299767955872107630561*c_\ 0110_5^14 + 243864449117111964722412836059046/940591162629976795587\ 2107630561*c_0110_5^13 + 742614393339033332713369793388006/94059116\ 26299767955872107630561*c_0110_5^12 - 616568286688820783614411745177715/9405911626299767955872107630561*c\ _0110_5^11 - 2635149700306983203913080915452679/9405911626299767955\ 872107630561*c_0110_5^10 + 7060953671223783408732576084435/11332423\ 6461442987420145875067*c_0110_5^9 + 4939765081598946011792792685003815/9405911626299767955872107630561*\ c_0110_5^8 + 785306876967710409215124595504683/94059116262997679558\ 72107630561*c_0110_5^7 - 4477164638528498981866414558072443/9405911\ 626299767955872107630561*c_0110_5^6 - 1601892483895182948790856672615577/9405911626299767955872107630561*\ c_0110_5^5 + 1967786662263492370684624146945039/9405911626299767955\ 872107630561*c_0110_5^4 + 850923423073464210634596004762339/9405911\ 626299767955872107630561*c_0110_5^3 - 400197060078646265135341495812381/9405911626299767955872107630561*c\ _0110_5^2 - 138146929202336365938717087294537/940591162629976795587\ 2107630561*c_0110_5 + 30327916689794509700305646068440/940591162629\ 9767955872107630561, c_0110_5^18 + c_0110_5^17 - 73/4*c_0110_5^16 - 225/8*c_0110_5^15 + 521/4*c_0110_5^14 + 1901/8*c_0110_5^13 - 933/2*c_0110_5^12 - 7151/8*c_0110_5^11 + 3861/4*c_0110_5^10 + 14215/8*c_0110_5^9 - 7835/8*c_0110_5^8 - 1883*c_0110_5^7 + 3953/8*c_0110_5^6 + 8783/8*c_0110_5^5 - 1139/8*c_0110_5^4 - 2689/8*c_0110_5^3 + 73/2*c_0110_5^2 + 169/4*c_0110_5 - 55/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB