Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 1629552039] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0294 geometric_solution 4.33478328 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.370605910807 0.096628857935 0 2 2 0 3201 0132 1023 0132 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 -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 1.139119212936 0.093563757725 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 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 0 1 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.182291999633 0.261556029402 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 0 0 1 -1 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 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.705654246855 0.541521165393 5 3 6 5 2103 0132 0132 2031 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 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.619416658813 0.579144221948 6 4 4 3 1023 1302 2103 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.619416658813 0.579144221948 6 5 6 4 2031 1023 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.615941827840 0.258382916850 ==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_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], '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' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], '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_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : 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_5, c_0101_0, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 14517062135744293515637245136884839/4360592243502643290874601345916\ 59*c_0101_4^20 + 142811543719799313644308795327052433/4360592243502\ 64329087460134591659*c_0101_4^19 + 484543394529443559950147589221634596/436059224350264329087460134591\ 659*c_0101_4^18 + 1325751225776138442605596895155776460/43605922435\ 0264329087460134591659*c_0101_4^17 + 3109363337027344836170218520141053976/43605922435026432908746013459\ 1659*c_0101_4^16 + 4883524446002963498781914416356331264/4360592243\ 50264329087460134591659*c_0101_4^15 + 3491635276167196955663807350621043406/43605922435026432908746013459\ 1659*c_0101_4^14 - 2629719304569590923035875918061802983/4360592243\ 50264329087460134591659*c_0101_4^13 - 11001627747518959441821187684162484218/4360592243502643290874601345\ 91659*c_0101_4^12 - 13671202588525715799265796438886647860/43605922\ 4350264329087460134591659*c_0101_4^11 - 7177609563373340191876106413599118101/43605922435026432908746013459\ 1659*c_0101_4^10 - 3344675924677832166186554230259830419/4360592243\ 50264329087460134591659*c_0101_4^9 + 11192583261875152418773181840160606807/4360592243502643290874601345\ 91659*c_0101_4^8 + 971627903911040398858303863051615603/43605922435\ 0264329087460134591659*c_0101_4^7 + 10683449223559840444683211434977482814/4360592243502643290874601345\ 91659*c_0101_4^6 + 3898847330796776533462994133236498707/4360592243\ 50264329087460134591659*c_0101_4^5 - 162865743279226463142444691976002749/436059224350264329087460134591\ 659*c_0101_4^4 + 663874004309323936289088348508429606/4360592243502\ 64329087460134591659*c_0101_4^3 - 849462289000410970915343362844509\ 734/436059224350264329087460134591659*c_0101_4^2 + 103863208068627638965627759546444042/436059224350264329087460134591\ 659*c_0101_4 - 53232516515793302476088617841674054/4360592243502643\ 29087460134591659, c_0011_0 - 1, c_0011_1 - 2423404592854206194784162427278/4360592243502643290874601345\ 91659*c_0101_4^20 - 23841052242261288865749285679443/43605922435026\ 4329087460134591659*c_0101_4^19 - 88070865626238782173261675937334/\ 436059224350264329087460134591659*c_0101_4^18 - 293958323117981139471727598043686/436059224350264329087460134591659\ *c_0101_4^17 - 778094992329087057873679142180192/436059224350264329\ 087460134591659*c_0101_4^16 - 1534060231263882949310032321492488/43\ 6059224350264329087460134591659*c_0101_4^15 - 2293712465920978299850574122849393/43605922435026432908746013459165\ 9*c_0101_4^14 - 2381332575935093790202853914528936/4360592243502643\ 29087460134591659*c_0101_4^13 - 509969817633246152832542901018979/4\ 36059224350264329087460134591659*c_0101_4^12 + 3155873197220350225851168411451635/43605922435026432908746013459165\ 9*c_0101_4^11 + 6954269992077535157997629659067293/4360592243502643\ 29087460134591659*c_0101_4^10 + 8639640151545868818444721967726752/\ 436059224350264329087460134591659*c_0101_4^9 + 3259632750216936911228772100132711/43605922435026432908746013459165\ 9*c_0101_4^8 + 2215274103469565224633611285525563/43605922435026432\ 9087460134591659*c_0101_4^7 - 6952619077154923435576553810416811/43\ 6059224350264329087460134591659*c_0101_4^6 - 2839100289550441690868993626146213/43605922435026432908746013459165\ 9*c_0101_4^5 - 4839306300986774369623396171713389/43605922435026432\ 9087460134591659*c_0101_4^4 - 3331621029883959500980387894161423/43\ 6059224350264329087460134591659*c_0101_4^3 + 141104340351968766267254403409708/436059224350264329087460134591659\ *c_0101_4^2 - 272527812016241415110115846322365/4360592243502643290\ 87460134591659*c_0101_4 + 130919992122707506569673083997538/4360592\ 24350264329087460134591659, c_0011_5 + 1589036506386807184678062118768/4360592243502643290874601345\ 91659*c_0101_4^20 + 28046071301515233194210481505260/43605922435026\ 4329087460134591659*c_0101_4^19 + 177908762906549862086002571431054\ /436059224350264329087460134591659*c_0101_4^18 + 585545718235854301785774768488000/436059224350264329087460134591659\ *c_0101_4^17 + 1556237392127725444377208788331593/43605922435026432\ 9087460134591659*c_0101_4^16 + 3412839464286836953024147106319266/4\ 36059224350264329087460134591659*c_0101_4^15 + 5071781644101519930340552220107323/43605922435026432908746013459165\ 9*c_0101_4^14 + 3469000047913484644328593142467894/4360592243502643\ 29087460134591659*c_0101_4^13 - 2960033726833458198509132212211975/\ 436059224350264329087460134591659*c_0101_4^12 - 11231430849989671696688081213402058/4360592243502643290874601345916\ 59*c_0101_4^11 - 13620133806903647004168088616976031/43605922435026\ 4329087460134591659*c_0101_4^10 - 749204251842757152365437428415081\ 0/436059224350264329087460134591659*c_0101_4^9 - 1756484504974489723997114242891816/43605922435026432908746013459165\ 9*c_0101_4^8 + 8753688094460093050013971641728046/43605922435026432\ 9087460134591659*c_0101_4^7 + 2803423026788691938821863338448505/43\ 6059224350264329087460134591659*c_0101_4^6 + 7876503209215669210691198140779878/43605922435026432908746013459165\ 9*c_0101_4^5 + 4471434530730419833515762719001095/43605922435026432\ 9087460134591659*c_0101_4^4 + 360380398289794424063553688197532/436\ 059224350264329087460134591659*c_0101_4^3 + 76483220362783111493926541220378/436059224350264329087460134591659*\ c_0101_4^2 - 219855940790856066650136693223736/43605922435026432908\ 7460134591659*c_0101_4 + 85361226472533475151455663783194/436059224\ 350264329087460134591659, c_0101_0 + 91856458885104914466063879028006/436059224350264329087460134\ 591659*c_0101_4^20 + 897491080122649306338128121181227/436059224350\ 264329087460134591659*c_0101_4^19 + 3001162486188214755053927524886291/43605922435026432908746013459165\ 9*c_0101_4^18 + 8141047435337768540017159115724517/4360592243502643\ 29087460134591659*c_0101_4^17 + 18967958032747175175229350918894935\ /436059224350264329087460134591659*c_0101_4^16 + 29181553401396941523849888455200106/4360592243502643290874601345916\ 59*c_0101_4^15 + 19076728784821311004985180637318195/43605922435026\ 4329087460134591659*c_0101_4^14 - 196332055340974075911725340488846\ 24/436059224350264329087460134591659*c_0101_4^13 - 69671157073926654207735298473180318/4360592243502643290874601345916\ 59*c_0101_4^12 - 81223449874876177675740623744717214/43605922435026\ 4329087460134591659*c_0101_4^11 - 363508439920368465008250052159253\ 09/436059224350264329087460134591659*c_0101_4^10 - 13693777024722526227989064947703834/4360592243502643290874601345916\ 59*c_0101_4^9 + 75090879854931841939869533426335433/436059224350264\ 329087460134591659*c_0101_4^8 + 2992152202780440944793345255205320/\ 436059224350264329087460134591659*c_0101_4^7 + 63828956727052772250259625235312557/4360592243502643290874601345916\ 59*c_0101_4^6 + 19564332520145952542692455584788477/436059224350264\ 329087460134591659*c_0101_4^5 - 6778778302818579953673701718180743/\ 436059224350264329087460134591659*c_0101_4^4 + 3231366187690190206817142283154923/43605922435026432908746013459165\ 9*c_0101_4^3 - 6397007537182521807885061940758979/43605922435026432\ 9087460134591659*c_0101_4^2 + 889524162368805650990726653601954/436\ 059224350264329087460134591659*c_0101_4 - 78500696671921200029192591921155/436059224350264329087460134591659, c_0101_2 + 39880552849344207552266770752015/436059224350264329087460134\ 591659*c_0101_4^20 + 384105756755721585087983001298060/436059224350\ 264329087460134591659*c_0101_4^19 + 1249321963631421693242794402966337/43605922435026432908746013459165\ 9*c_0101_4^18 + 3357822426352242233921120327370160/4360592243502643\ 29087460134591659*c_0101_4^17 + 7751688167573936988061729490788101/\ 436059224350264329087460134591659*c_0101_4^16 + 11530680349938499259185884524457175/4360592243502643290874601345916\ 59*c_0101_4^15 + 6512271101216509018777275590630061/436059224350264\ 329087460134591659*c_0101_4^14 - 9798988004827383043872051488051555\ /436059224350264329087460134591659*c_0101_4^13 - 29501347320165843050427842244350856/4360592243502643290874601345916\ 59*c_0101_4^12 - 31764053164086515565647504284276517/43605922435026\ 4329087460134591659*c_0101_4^11 - 113079446657981914239581880185056\ 87/436059224350264329087460134591659*c_0101_4^10 - 3146366790950049066295655471021927/43605922435026432908746013459165\ 9*c_0101_4^9 + 35115803374553536335722431342329520/4360592243502643\ 29087460134591659*c_0101_4^8 - 1794666943193926797659372634194486/4\ 36059224350264329087460134591659*c_0101_4^7 + 28568428086300608488010694167075302/4360592243502643290874601345916\ 59*c_0101_4^6 + 4061837567046246739114113548435329/4360592243502643\ 29087460134591659*c_0101_4^5 - 5125118819243536541188726867716857/4\ 36059224350264329087460134591659*c_0101_4^4 + 1153006595483443925288855441425948/43605922435026432908746013459165\ 9*c_0101_4^3 - 4196400949407934993070207965812130/43605922435026432\ 9087460134591659*c_0101_4^2 + 441368491710268902408262936816339/436\ 059224350264329087460134591659*c_0101_4 - 17398491355072255296696601614223/436059224350264329087460134591659, c_0101_3 + 10510361502796018392436534094945/436059224350264329087460134\ 591659*c_0101_4^20 + 106168877922425962463752867559817/436059224350\ 264329087460134591659*c_0101_4^19 + 380672244091272587515828275261474/436059224350264329087460134591659\ *c_0101_4^18 + 1075708451731842721919332628689875/43605922435026432\ 9087460134591659*c_0101_4^17 + 2568275779213471424477693970326447/4\ 36059224350264329087460134591659*c_0101_4^16 + 4278675322076004001523790309117422/43605922435026432908746013459165\ 9*c_0101_4^15 + 3767920315926151349668317978239294/4360592243502643\ 29087460134591659*c_0101_4^14 - 962887014903002339782119285599915/4\ 36059224350264329087460134591659*c_0101_4^13 - 8894111342423617661909847009582626/43605922435026432908746013459165\ 9*c_0101_4^12 - 13496668728100391783845338511168042/436059224350264\ 329087460134591659*c_0101_4^11 - 9737061527487443147840694391477248\ /436059224350264329087460134591659*c_0101_4^10 - 4417659385026747788841167826321883/43605922435026432908746013459165\ 9*c_0101_4^9 + 8973799921169687788318527730747361/43605922435026432\ 9087460134591659*c_0101_4^8 + 4004201909602431503317426026337924/43\ 6059224350264329087460134591659*c_0101_4^7 + 10361507993469362783727342925439778/4360592243502643290874601345916\ 59*c_0101_4^6 + 3655740843312070194046242384919022/4360592243502643\ 29087460134591659*c_0101_4^5 + 1568176704514736381160071958465976/4\ 36059224350264329087460134591659*c_0101_4^4 + 483910577060059296693496641232835/436059224350264329087460134591659\ *c_0101_4^3 - 1102184996148452802994043540554710/436059224350264329\ 087460134591659*c_0101_4^2 + 14598047730257617973285842887189/43605\ 9224350264329087460134591659*c_0101_4 + 124788688594585805292997920384726/436059224350264329087460134591659\ , c_0101_4^21 + 10*c_0101_4^20 + 35*c_0101_4^19 + 97*c_0101_4^18 + 230*c_0101_4^17 + 374*c_0101_4^16 + 302*c_0101_4^15 - 130*c_0101_4^14 - 775*c_0101_4^13 - 1064*c_0101_4^12 - 668*c_0101_4^11 - 347*c_0101_4^10 + 703*c_0101_4^9 + 175*c_0101_4^8 + 759*c_0101_4^7 + 402*c_0101_4^6 + 53*c_0101_4^5 + 64*c_0101_4^4 - 44*c_0101_4^3 - 3*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB