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