Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 172725814] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0183 geometric_solution 3.99549962 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.259334395730 0.081162983844 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 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.534995590977 0.541633994220 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.133650116953 0.100034444020 4 2 4 2 0132 2310 2310 0132 0 0 0 0 0 0 1 -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 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.542918762900 2.409110354780 3 3 5 6 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 -1 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.457878955634 0.868967577642 6 6 6 4 1023 2031 1230 0132 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 -1 1 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.478705512018 0.863917259635 5 5 4 5 1302 1023 0132 3012 0 0 0 0 0 0 0 0 -1 0 1 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 -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.478705512018 0.863917259635 ==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' : 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' : negation(d['1']), 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : d['c_0110_6'], 'c_1100_4' : d['c_0110_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0101_2'], '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_6' : d['c_0011_5'], '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_0'], 'c_1001_5' : negation(d['c_0110_6']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 23641635900220039871404081410350852/4786569815226902923469161839546\ 715*c_0110_6^19 - 13288034921129044949395577189486054/9573139630453\ 80584693832367909343*c_0110_6^18 - 479946046170360314184406191829356357/478656981522690292346916183954\ 6715*c_0110_6^17 + 1220443223694305181118508573071595986/4786569815\ 226902923469161839546715*c_0110_6^16 - 2304662733976898834937219112003733824/47865698152269029234691618395\ 46715*c_0110_6^15 - 21308405873548383082481478954075145874/47865698\ 15226902923469161839546715*c_0110_6^14 + 26984816803486161954454540003955135137/4786569815226902923469161839\ 546715*c_0110_6^13 + 7737396140365557828748684626714318041/95731396\ 3045380584693832367909343*c_0110_6^12 - 156909369276677494719923943904414527439/478656981522690292346916183\ 9546715*c_0110_6^11 + 145152712168459695256739632785545042511/47865\ 69815226902923469161839546715*c_0110_6^10 + 238808004391248730868175556043413505078/478656981522690292346916183\ 9546715*c_0110_6^9 - 305336544866820585932558184368094004269/478656\ 9815226902923469161839546715*c_0110_6^8 - 110022984543578710620305884557685437456/478656981522690292346916183\ 9546715*c_0110_6^7 + 116519986633079095385489051089445023364/478656\ 9815226902923469161839546715*c_0110_6^6 + 18975716916590777955763300638917015752/4786569815226902923469161839\ 546715*c_0110_6^5 + 15368776533084722611984328861414090058/47865698\ 15226902923469161839546715*c_0110_6^4 - 567901000757894585588590988140909237/478656981522690292346916183954\ 6715*c_0110_6^3 - 5351492990712265955430443815025265786/47865698152\ 26902923469161839546715*c_0110_6^2 - 512819754238151577055085722716867316/478656981522690292346916183954\ 6715*c_0110_6 - 286279850661165325159404001977259942/47865698152269\ 02923469161839546715, c_0011_0 - 1, c_0011_3 + 771391337321901709414093701597146/95731396304538058469383236\ 7909343*c_0110_6^19 - 2771831446018511627964103156729812/9573139630\ 45380584693832367909343*c_0110_6^18 - 13381796696154929498951376200815065/9573139630453805846938323679093\ 43*c_0110_6^17 + 49753010171417591555430146129385925/95731396304538\ 0584693832367909343*c_0110_6^16 - 115391468062407413189749065009559\ 455/957313963045380584693832367909343*c_0110_6^15 - 595443178620582414287742117710777069/957313963045380584693832367909\ 343*c_0110_6^14 + 1319299700623358006698089831397573772/95731396304\ 5380584693832367909343*c_0110_6^13 + 173976954079503160450800755167356678/957313963045380584693832367909\ 343*c_0110_6^12 - 4959475446945819392552335286788721283/95731396304\ 5380584693832367909343*c_0110_6^11 + 8326059990464565335048859267870368042/95731396304538058469383236790\ 9343*c_0110_6^10 + 657187555108822320937475400081821642/95731396304\ 5380584693832367909343*c_0110_6^9 - 8308491280733806384875138113238806421/95731396304538058469383236790\ 9343*c_0110_6^8 + 904904071493227367958426305194493211/957313963045\ 380584693832367909343*c_0110_6^7 + 2547807132105255801043739726331318494/95731396304538058469383236790\ 9343*c_0110_6^6 + 328366862105790627411654416978065479/957313963045\ 380584693832367909343*c_0110_6^5 - 168418715953822517037144775707047662/957313963045380584693832367909\ 343*c_0110_6^4 - 136172351674292146471816800155363894/9573139630453\ 80584693832367909343*c_0110_6^3 - 366386735238231246455059049458920\ 32/957313963045380584693832367909343*c_0110_6^2 + 1386815893000926169848392608634120/95731396304538058469383236790934\ 3*c_0110_6 + 1785593137914627841026228669948390/9573139630453805846\ 93832367909343, c_0011_5 + 349995590051088771811845906018168/95731396304538058469383236\ 7909343*c_0110_6^19 - 1121664144949044234676293687439297/9573139630\ 45380584693832367909343*c_0110_6^18 - 6600068035373222354079559822230849/95731396304538058469383236790934\ 3*c_0110_6^17 + 20365993717953985346149577416580429/957313963045380\ 584693832367909343*c_0110_6^16 - 4292784765572166321867414391119317\ 5/957313963045380584693832367909343*c_0110_6^15 - 293184030006420918734211911024749752/957313963045380584693832367909\ 343*c_0110_6^14 + 500225978437928798514483007697334456/957313963045\ 380584693832367909343*c_0110_6^13 + 340766085704473604744376078900388021/957313963045380584693832367909\ 343*c_0110_6^12 - 2292574059582680993853381937977953594/95731396304\ 5380584693832367909343*c_0110_6^11 + 2913485571933120962353548257029352522/95731396304538058469383236790\ 9343*c_0110_6^10 + 2014895106026608935995025353957420824/9573139630\ 45380584693832367909343*c_0110_6^9 - 4136444239293819875707531032491938874/95731396304538058469383236790\ 9343*c_0110_6^8 - 964561076811028761984664333510875743/957313963045\ 380584693832367909343*c_0110_6^7 + 1691308778883500720945779737507640685/95731396304538058469383236790\ 9343*c_0110_6^6 + 449985128786865584741149825082522154/957313963045\ 380584693832367909343*c_0110_6^5 - 96073167470913808433754608184840051/9573139630453805846938323679093\ 43*c_0110_6^4 - 80667191103170977042096922873442249/957313963045380\ 584693832367909343*c_0110_6^3 - 32921814008687513773217260487212127\ /957313963045380584693832367909343*c_0110_6^2 - 1797045591871796364375045378994687/95731396304538058469383236790934\ 3*c_0110_6 + 964279692511139788504918450511255/95731396304538058469\ 3832367909343, c_0101_0 + 180610446274208332187116483036594/95731396304538058469383236\ 7909343*c_0110_6^19 - 612579681606098912500042890519494/95731396304\ 5380584693832367909343*c_0110_6^18 - 3266897758595780665970900672680783/95731396304538058469383236790934\ 3*c_0110_6^17 + 11038961546381239763897533819413538/957313963045380\ 584693832367909343*c_0110_6^16 - 2466278401181849201533725301398146\ 9/957313963045380584693832367909343*c_0110_6^15 - 145222198202592178408165087450728390/957313963045380584693832367909\ 343*c_0110_6^14 + 282015299167853312111588193422165349/957313963045\ 380584693832367909343*c_0110_6^13 + 103273105621294252743693740008442129/957313963045380584693832367909\ 343*c_0110_6^12 - 1165694748515939427551913142418766792/95731396304\ 5380584693832367909343*c_0110_6^11 + 1736812019331436770347498421300193192/95731396304538058469383236790\ 9343*c_0110_6^10 + 558797434378156031785436246033096261/95731396304\ 5380584693832367909343*c_0110_6^9 - 2014594741007571090027964410617614430/95731396304538058469383236790\ 9343*c_0110_6^8 - 34563577143476540206137496522449885/9573139630453\ 80584693832367909343*c_0110_6^7 + 619143559589183205494825133849665\ 621/957313963045380584693832367909343*c_0110_6^6 + 92975721333326699912691689386738286/9573139630453805846938323679093\ 43*c_0110_6^5 + 24532511403091212790139372626949583/957313963045380\ 584693832367909343*c_0110_6^4 - 23450866899460380114223946412316201\ /957313963045380584693832367909343*c_0110_6^3 - 19324244551454940899677630865134161/9573139630453805846938323679093\ 43*c_0110_6^2 - 2683569745849980507517621350988189/9573139630453805\ 84693832367909343*c_0110_6 - 254038076018814989947632532203514/9573\ 13963045380584693832367909343, c_0101_1 + 362565786720101746500302440501054/95731396304538058469383236\ 7909343*c_0110_6^19 - 1303297514792341396354636252808128/9573139630\ 45380584693832367909343*c_0110_6^18 - 6257277235667222784573179674154218/95731396304538058469383236790934\ 3*c_0110_6^17 + 23266501397129588939495028206610560/957313963045380\ 584693832367909343*c_0110_6^16 - 5473797917080271839093638692190570\ 6/957313963045380584693832367909343*c_0110_6^15 - 277535237256027760051797967807861342/957313963045380584693832367909\ 343*c_0110_6^14 + 614827693636742904620669360042863645/957313963045\ 380584693832367909343*c_0110_6^13 + 59953800491268960251963670970030667/9573139630453805846938323679093\ 43*c_0110_6^12 - 2266142239522603830715044377431768507/957313963045\ 380584693832367909343*c_0110_6^11 + 3895371954472903546836959789093064866/95731396304538058469383236790\ 9343*c_0110_6^10 + 108785237327865262537896290291035135/95731396304\ 5380584693832367909343*c_0110_6^9 - 3472858260243041964054706802996039002/95731396304538058469383236790\ 9343*c_0110_6^8 + 268913839049304549524628168211016738/957313963045\ 380584693832367909343*c_0110_6^7 + 889145618778167102786694819318846183/957313963045380584693832367909\ 343*c_0110_6^6 + 332284085638760639280981698850724516/9573139630453\ 80584693832367909343*c_0110_6^5 - 351196511152203939689313147556452\ 92/957313963045380584693832367909343*c_0110_6^4 - 74042458982366489214330741561540265/9573139630453805846938323679093\ 43*c_0110_6^3 - 15848218692616659519773825401969035/957313963045380\ 584693832367909343*c_0110_6^2 - 3618059924888077999341418682082951/\ 957313963045380584693832367909343*c_0110_6 + 386366267616733690079900993995553/957313963045380584693832367909343\ , c_0101_2 - 10330899186669288172469640347739/957313963045380584693832367\ 909343*c_0110_6^19 - 171433428227029244254997912498755/957313963045\ 380584693832367909343*c_0110_6^18 + 989007418624608095990716660757112/957313963045380584693832367909343\ *c_0110_6^17 + 2726768003110835006210112919239790/95731396304538058\ 4693832367909343*c_0110_6^16 - 12917442430288865850465410746964273/\ 957313963045380584693832367909343*c_0110_6^15 + 43179142907955977332197747329441642/9573139630453805846938323679093\ 43*c_0110_6^14 + 133626395153606860380437630142240761/9573139630453\ 80584693832367909343*c_0110_6^13 - 404039166370186362048416545530479291/957313963045380584693832367909\ 343*c_0110_6^12 + 127737302006202544207800227868517804/957313963045\ 380584693832367909343*c_0110_6^11 + 1222909467718135867102938590363565289/95731396304538058469383236790\ 9343*c_0110_6^10 - 2640265889979828566411001802591667359/9573139630\ 45380584693832367909343*c_0110_6^9 + 641578332139027020419674316520754069/957313963045380584693832367909\ 343*c_0110_6^8 + 2154657955522567837431916872130405476/957313963045\ 380584693832367909343*c_0110_6^7 - 874387835042412127931073868645917537/957313963045380584693832367909\ 343*c_0110_6^6 - 505938352022423851602303050543999977/9573139630453\ 80584693832367909343*c_0110_6^5 + 471480272775753279713004370403316\ 20/957313963045380584693832367909343*c_0110_6^4 + 35415361931539961079964958746573637/9573139630453805846938323679093\ 43*c_0110_6^3 + 30963993058464234334632561888903972/957313963045380\ 584693832367909343*c_0110_6^2 + 3498395683910515201868689830867576/\ 957313963045380584693832367909343*c_0110_6 - 1137105358937037763542807893422317/95731396304538058469383236790934\ 3, c_0110_6^20 - 4*c_0110_6^19 - 16*c_0110_6^18 + 72*c_0110_6^17 - 174*c_0110_6^16 - 719*c_0110_6^15 + 2044*c_0110_6^14 - 389*c_0110_6^13 - 6742*c_0110_6^12 + 13461*c_0110_6^11 - 2828*c_0110_6^10 - 12588*c_0110_6^9 + 5975*c_0110_6^8 + 3884*c_0110_6^7 - 1442*c_0110_6^6 - 565*c_0110_6^5 - 57*c_0110_6^4 + 36*c_0110_6^3 + 34*c_0110_6^2 + c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB