Magma V2.19-8 Tue Aug 20 2013 16:17:08 on localhost [Seed = 3431813144] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1376 geometric_solution 5.23276729 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 2.394859166163 0.216774795348 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 1 0 -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 -1 0 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.765930675319 0.515433309308 1 1 3 4 2310 0132 0132 0132 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 1 0 -1 0 0 1 -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.223744025414 0.433590048690 5 4 6 2 0132 3012 0132 0132 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 0 0 0 1 0 0 -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.682320553594 0.843938916016 3 5 2 6 1230 0132 0132 3201 0 0 0 0 0 0 -1 1 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 -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 0 0 0 0 0.682320553594 0.843938916016 3 4 5 5 0132 0132 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 -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 0 0 0.825469623486 1.307549453993 6 4 6 3 2031 2310 1302 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.803506661992 1.241941731757 ==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' : 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' : 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' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0011_6']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0101_2']), '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_0011_3, c_0011_6, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 22976875741380255816263838091070278/4950375783188330328488836768149\ 5*c_0101_3^23 + 10420069982925605961586913637906782/495037578318833\ 03284888367681495*c_0101_3^22 - 5762845250261168009190857860940163/\ 49503757831883303284888367681495*c_0101_3^21 - 594976325669308333051029543012986936/495037578318833032848883676814\ 95*c_0101_3^20 + 108622117169075677564764755203617258/4950375783188\ 3303284888367681495*c_0101_3^19 + 102654713164930819990952016882500\ 6152/49503757831883303284888367681495*c_0101_3^18 + 13262260145600976925213436923579336256/4950375783188330328488836768\ 1495*c_0101_3^17 + 5788652444424117969557888419279525607/4950375783\ 1883303284888367681495*c_0101_3^16 - 17099833527650986205803589877385475953/9900751566376660656977673536\ 299*c_0101_3^15 + 20729160650448389856523235715546847073/4950375783\ 1883303284888367681495*c_0101_3^14 + 139369231396356779202473993464894906738/495037578318833032848883676\ 81495*c_0101_3^13 - 37119519270299277001771466351651101974/49503757\ 831883303284888367681495*c_0101_3^12 - 123435755889220371479818084128295269897/495037578318833032848883676\ 81495*c_0101_3^11 + 14067720957275769989421986246832096902/49503757\ 831883303284888367681495*c_0101_3^10 + 90454888526945029184524935592860158707/4950375783188330328488836768\ 1495*c_0101_3^9 - 8799147729793156502244989158489350512/49503757831\ 883303284888367681495*c_0101_3^8 - 46036802391654013665011182594707747783/4950375783188330328488836768\ 1495*c_0101_3^7 + 10091743860069548258179195187044469554/4950375783\ 1883303284888367681495*c_0101_3^6 + 11633005183585233727368560226457307899/4950375783188330328488836768\ 1495*c_0101_3^5 - 4306721591884262329180724315254707319/49503757831\ 883303284888367681495*c_0101_3^4 - 131296722045215331094948592976422338/707196540455475761212690966878\ 5*c_0101_3^3 + 142975572058447829807768577755159595/990075156637666\ 0656977673536299*c_0101_3^2 - 44184468837524056896315358712844553/4\ 9503757831883303284888367681495*c_0101_3 - 42106993197704331440525604853599097/4950375783188330328488836768149\ 5, c_0011_0 - 1, c_0011_1 + 950821167432721128280969618992271/49503757831883303284888367\ 681495*c_0101_3^23 - 445024806402649557585688598647889/495037578318\ 83303284888367681495*c_0101_3^22 + 218822570267706035516114630833716/49503757831883303284888367681495*\ c_0101_3^21 + 24621825859408889749470943367728972/49503757831883303\ 284888367681495*c_0101_3^20 - 4865986288459844253189971133953811/49\ 503757831883303284888367681495*c_0101_3^19 - 43086031098715466053449112881396529/4950375783188330328488836768149\ 5*c_0101_3^18 - 548274793866059775067903265654952922/49503757831883\ 303284888367681495*c_0101_3^17 - 2306276705212295160395542968369921\ 69/49503757831883303284888367681495*c_0101_3^16 + 711372322376935406664490621955259156/990075156637666065697767353629\ 9*c_0101_3^15 - 897982008343140610816900602216387711/49503757831883\ 303284888367681495*c_0101_3^14 - 5843546964372222082001187621201541\ 111/49503757831883303284888367681495*c_0101_3^13 + 1619243268705594290982189449497026338/49503757831883303284888367681\ 495*c_0101_3^12 + 5215268886422317801791882598789639079/49503757831\ 883303284888367681495*c_0101_3^11 - 651621835129685386628118560359352519/495037578318833032848883676814\ 95*c_0101_3^10 - 3835522152407209572349681261687936669/495037578318\ 83303284888367681495*c_0101_3^9 + 394395128701731389602416744594396\ 939/49503757831883303284888367681495*c_0101_3^8 + 1966515603242167554434038889301430751/49503757831883303284888367681\ 495*c_0101_3^7 - 434174757833611124861521009005665683/4950375783188\ 3303284888367681495*c_0101_3^6 - 5033837369427328656139694064473690\ 43/49503757831883303284888367681495*c_0101_3^5 + 185602296268514077427150798662517078/495037578318833032848883676814\ 95*c_0101_3^4 + 5785595567179217505318639251701431/7071965404554757\ 612126909668785*c_0101_3^3 - 6219090466078898709664517369956455/990\ 0751566376660656977673536299*c_0101_3^2 + 1913079605960315071385671829692256/49503757831883303284888367681495\ *c_0101_3 + 1924167496679580382888668011630689/49503757831883303284\ 888367681495, c_0011_3 + 292801662890556090654193155188492/49503757831883303284888367\ 681495*c_0101_3^23 - 168312603133723845986190952159968/495037578318\ 83303284888367681495*c_0101_3^22 + 69654850381802642135686727858882/49503757831883303284888367681495*c\ _0101_3^21 + 7561930906376881437386990496387589/4950375783188330328\ 4888367681495*c_0101_3^20 - 2310596759999966556748848521069527/4950\ 3757831883303284888367681495*c_0101_3^19 - 13438793798035981889582930757262198/4950375783188330328488836768149\ 5*c_0101_3^18 - 167849792747774684148333603741336344/49503757831883\ 303284888367681495*c_0101_3^17 - 5255601809872594424987137348436897\ 3/49503757831883303284888367681495*c_0101_3^16 + 222134563767704995384615012996945858/990075156637666065697767353629\ 9*c_0101_3^15 - 379341129942794047118507829584319192/49503757831883\ 303284888367681495*c_0101_3^14 - 1806473690989835375027078570264581\ 302/49503757831883303284888367681495*c_0101_3^13 + 639951417408638064956699779064619391/495037578318833032848883676814\ 95*c_0101_3^12 + 1620912168540505672964105764576120868/495037578318\ 83303284888367681495*c_0101_3^11 - 302263218372555452664985263793927408/495037578318833032848883676814\ 95*c_0101_3^10 - 1215490828412825334417397339639176098/495037578318\ 83303284888367681495*c_0101_3^9 + 186968788545177845240366816203197\ 818/49503757831883303284888367681495*c_0101_3^8 + 620342608289279497196079806820513327/495037578318833032848883676814\ 95*c_0101_3^7 - 158793489994559972424382729518202861/49503757831883\ 303284888367681495*c_0101_3^6 - 15550109758338621174771513905186754\ 1/49503757831883303284888367681495*c_0101_3^5 + 60304832168403354992563500465111786/4950375783188330328488836768149\ 5*c_0101_3^4 + 1765545595603256263303542614816837/70719654045547576\ 12126909668785*c_0101_3^3 - 1925294847980061868392432127956400/9900\ 751566376660656977673536299*c_0101_3^2 + 526895288721066835770065151285112/49503757831883303284888367681495*\ c_0101_3 + 623628283767753918650435606002618/4950375783188330328488\ 8367681495, c_0011_6 + 307111830176364552688048072681104/49503757831883303284888367\ 681495*c_0101_3^23 - 125712750234443560008035701703551/495037578318\ 83303284888367681495*c_0101_3^22 + 70081929057307394231088865554084/49503757831883303284888367681495*c\ _0101_3^21 + 7963011575403780757300556932707203/4950375783188330328\ 4888367681495*c_0101_3^20 - 1102710962372231124970312002514269/4950\ 3757831883303284888367681495*c_0101_3^19 - 13801021858048340674713680093050196/4950375783188330328488836768149\ 5*c_0101_3^18 - 177693024263278614596714165560015313/49503757831883\ 303284888367681495*c_0101_3^17 - 8516398640437453211051479616260139\ 6/49503757831883303284888367681495*c_0101_3^16 + 227923733079733827839026892922513405/990075156637666065697767353629\ 9*c_0101_3^15 - 230306958669780534955405110958007579/49503757831883\ 303284888367681495*c_0101_3^14 - 1880497477968504711844371204199145\ 609/49503757831883303284888367681495*c_0101_3^13 + 437260970126490175767549996717487412/495037578318833032848883676814\ 95*c_0101_3^12 + 1673116548469877547836290846767428601/495037578318\ 83303284888367681495*c_0101_3^11 - 147026285165461783024186870020489316/495037578318833032848883676814\ 95*c_0101_3^10 - 1216861796809131845300648539339045126/495037578318\ 83303284888367681495*c_0101_3^9 + 870847348427933149283834013359941\ 96/49503757831883303284888367681495*c_0101_3^8 + 624549655159083191090050545849582769/495037578318833032848883676814\ 95*c_0101_3^7 - 123799245069565032760108284212990812/49503757831883\ 303284888367681495*c_0101_3^6 - 16204676475057330539018288396199988\ 7/49503757831883303284888367681495*c_0101_3^5 + 57418782122219039284510375488930227/4950375783188330328488836768149\ 5*c_0101_3^4 + 1911845360276631283687631276118464/70719654045547576\ 12126909668785*c_0101_3^3 - 1986482795364897579435989929982873/9900\ 751566376660656977673536299*c_0101_3^2 + 588350009153864022442921372422724/49503757831883303284888367681495*\ c_0101_3 + 592594475880367286719125583594726/4950375783188330328488\ 8367681495, c_0101_0 - 989060672920857178272435051481736/49503757831883303284888367\ 681495*c_0101_3^23 + 457999849373965130019169439332089/495037578318\ 83303284888367681495*c_0101_3^22 - 250891711349404412645519565564166/49503757831883303284888367681495*\ c_0101_3^21 - 25604129874822468254042582224778832/49503757831883303\ 284888367681495*c_0101_3^20 + 4919228292779999145122981250940171/49\ 503757831883303284888367681495*c_0101_3^19 + 44184334196237332025094749453586694/4950375783188330328488836768149\ 5*c_0101_3^18 + 570598016392143468596806045934843222/49503757831883\ 303284888367681495*c_0101_3^17 + 2436453734376776378538866076677862\ 24/49503757831883303284888367681495*c_0101_3^16 - 736765795725629828084082059642966145/990075156637666065697767353629\ 9*c_0101_3^15 + 923951856103134285805988598524058036/49503757831883\ 303284888367681495*c_0101_3^14 + 5994371852162669771780772155851094\ 936/49503757831883303284888367681495*c_0101_3^13 - 1637188920627380740288050465433860418/49503757831883303284888367681\ 495*c_0101_3^12 - 5309983248334602468079550995309139319/49503757831\ 883303284888367681495*c_0101_3^11 + 629853619837011218638760410182129644/495037578318833032848883676814\ 95*c_0101_3^10 + 3900200606787255544926625028616622644/495037578318\ 83303284888367681495*c_0101_3^9 - 394181590705465990897684278361259\ 974/49503757831883303284888367681495*c_0101_3^8 - 1982494775260934541286952481535626836/49503757831883303284888367681\ 495*c_0101_3^7 + 438372248862975728352381377808291383/4950375783188\ 3303284888367681495*c_0101_3^6 + 4991426395431696813189642850223355\ 73/49503757831883303284888367681495*c_0101_3^5 - 184106059973157368531832684977731078/495037578318833032848883676814\ 95*c_0101_3^4 - 5680944428577942291953174225541471/7071965404554757\ 612126909668785*c_0101_3^3 + 6112025876039218285968138663334872/990\ 0751566376660656977673536299*c_0101_3^2 - 1757611266586187635466280185503581/49503757831883303284888367681495\ *c_0101_3 - 1913789350274255911479988648550909/49503757831883303284\ 888367681495, c_0101_2 - 76452654665407023279311803042308/495037578318833032848883676\ 81495*c_0101_3^23 + 100918488840998311388542172077762/4950375783188\ 3303284888367681495*c_0101_3^22 - 18637865321280374207332870742473/\ 49503757831883303284888367681495*c_0101_3^21 - 1951336532898435719928885199228721/49503757831883303284888367681495\ *c_0101_3^20 + 2086279656598069992042332958308873/49503757831883303\ 284888367681495*c_0101_3^19 + 3905010448992434146743021914103462/49\ 503757831883303284888367681495*c_0101_3^18 + 41691919839680852736426055574225831/4950375783188330328488836768149\ 5*c_0101_3^17 - 20114001700776255720420677965750428/495037578318833\ 03284888367681495*c_0101_3^16 - 63953922010505839501438675538810420\ /9900751566376660656977673536299*c_0101_3^15 + 292488096670094478371191310612476288/495037578318833032848883676814\ 95*c_0101_3^14 + 503209094255346571950308806033522888/4950375783188\ 3303284888367681495*c_0101_3^13 - 467071116754689130510837076204447\ 224/49503757831883303284888367681495*c_0101_3^12 - 468463725239701048409448882866789217/495037578318833032848883676814\ 95*c_0101_3^11 + 318989284172661055536396921706804892/4950375783188\ 3303284888367681495*c_0101_3^10 + 393942658960530535607853256568183\ 727/49503757831883303284888367681495*c_0101_3^9 - 203188397862831431648603387643988262/495037578318833032848883676814\ 95*c_0101_3^8 - 205525122144357176904640877547809728/49503757831883\ 303284888367681495*c_0101_3^7 + 11176073538812080442013238802281181\ 4/49503757831883303284888367681495*c_0101_3^6 + 46181482733646850358617288376542929/4950375783188330328488836768149\ 5*c_0101_3^5 - 31533613886640432695081212096485684/4950375783188330\ 3284888367681495*c_0101_3^4 - 167111904333643245551225718983683/707\ 1965404554757612126909668785*c_0101_3^3 + 778854265292364204295202987300295/9900751566376660656977673536299*c\ _0101_3^2 - 677766383879116691050244165116543/495037578318833032848\ 88367681495*c_0101_3 - 267083385166023508838078101263862/4950375783\ 1883303284888367681495, c_0101_3^24 + 26*c_0101_3^21 + 7*c_0101_3^20 - 48*c_0101_3^19 - 598*c_0101_3^18 - 512*c_0101_3^17 + 3634*c_0101_3^16 + 814*c_0101_3^15 - 6625*c_0101_3^14 - 1191*c_0101_3^13 + 6346*c_0101_3^12 + 1907*c_0101_3^11 - 4410*c_0101_3^10 - 1502*c_0101_3^9 + 2297*c_0101_3^8 + 531*c_0101_3^7 - 760*c_0101_3^6 - 59*c_0101_3^5 + 139*c_0101_3^4 - 12*c_0101_3^3 - 14*c_0101_3^2 + 3*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB