Magma V2.19-8 Tue Aug 20 2013 16:17:37 on localhost [Seed = 4004475400] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1857 geometric_solution 5.49579337 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 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 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 1.696172814970 0.449173381294 0 2 3 0 0132 0132 0132 3201 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 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 0.792057694255 0.690777333262 4 1 5 3 0132 0132 0132 3201 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 1 0 -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.108163637412 0.760875525235 5 2 4 1 1023 2310 2310 0132 0 0 0 0 0 0 0 0 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 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.108163637412 0.760875525235 2 3 6 6 0132 3201 2310 0132 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 1 -1 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.139130277429 0.862462734715 5 3 5 2 2310 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.183132359940 1.288241907267 6 4 4 6 3201 3201 0132 2310 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 0 0 0 1 0 0 -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.693676146368 0.814546111635 ==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' : negation(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' : negation(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' : negation(d['1']), 's_1_3' : negation(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' : negation(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_0011_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_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_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], '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_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], '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_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), '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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 68455987829923746978556853239509193985693077451/3181331967120415142\ 9213936044301578711033600*c_0101_4^20 - 285003824065048902087528700378989195183363317907/318133196712041514\ 29213936044301578711033600*c_0101_4^19 - 43325751576583272492966165260574700659922993827/1590665983560207571\ 4606968022150789355516800*c_0101_4^18 + 7399693456126759737160076148300576806710155049/39766649589005189286\ 51742005537697338879200*c_0101_4^17 + 4383795708839628366469070211068507133069620149/12725327868481660571\ 68557441772063148441344*c_0101_4^16 + 106784695143082309173798790827805055691923810021/636266393424083028\ 5842787208860315742206720*c_0101_4^15 + 796122594135685764939063018458155105483482365971/318133196712041514\ 29213936044301578711033600*c_0101_4^14 + 1251009414427073984588508811724481628824336426237/31813319671204151\ 429213936044301578711033600*c_0101_4^13 - 93217666792333254242827137612976822555493044621/6362663934240830285\ 842787208860315742206720*c_0101_4^12 + 762895819882381879794746323001989294504939188441/318133196712041514\ 29213936044301578711033600*c_0101_4^11 - 255783551529679796202066913915827186860159415443/397666495890051892\ 8651742005537697338879200*c_0101_4^10 - 137872610176326736050868721803064270896732475893/318133196712041514\ 2921393604430157871103360*c_0101_4^9 - 1550242183042292003659988106636637175800870119499/31813319671204151\ 429213936044301578711033600*c_0101_4^8 - 534936031893404909675199343426071240436722797241/795332991780103785\ 7303484011075394677758400*c_0101_4^7 - 315585865278804701461038751057981608536117481749/318133196712041514\ 29213936044301578711033600*c_0101_4^6 - 400723328828035031721616672162769311784031117669/159066598356020757\ 14606968022150789355516800*c_0101_4^5 + 96568405517763335369799216064877107428397504749/1590665983560207571\ 4606968022150789355516800*c_0101_4^4 + 80895670283696569590052969425332654173332635597/3181331967120415142\ 9213936044301578711033600*c_0101_4^3 + 98279952071591198848227165626026206849414226063/3181331967120415142\ 9213936044301578711033600*c_0101_4^2 + 69660933148839763537097964300378086673751981733/3181331967120415142\ 9213936044301578711033600*c_0101_4 - 1285276364438911755879718137474875719828635887/31813319671204151429\ 213936044301578711033600, c_0011_0 - 1, c_0011_3 + 50349453876962929539840912107735611192977783/795332991780103\ 7857303484011075394677758400*c_0101_4^20 - 216278355216482615435256766953582882968632831/795332991780103785730\ 3484011075394677758400*c_0101_4^19 - 18846340963797688281013983157304387427898991/3976664958900518928651\ 742005537697338879200*c_0101_4^18 + 7093197512414431786448173362998466120431117/99416623972512973216293\ 5501384424334719800*c_0101_4^17 + 351524033796765263756539880560625\ 5828302281/318133196712041514292139360443015787110336*c_0101_4^16 + 75828788073137518456635520803114383895537433/1590665983560207571460\ 696802215078935551680*c_0101_4^15 + 515036746968542622505656837281322516415118943/795332991780103785730\ 3484011075394677758400*c_0101_4^14 + 822170257871588695194364667661202862123399121/795332991780103785730\ 3484011075394677758400*c_0101_4^13 - 97936181044862283861160963849793808516481793/1590665983560207571460\ 696802215078935551680*c_0101_4^12 + 570874399311778381495514249432681064999172253/795332991780103785730\ 3484011075394677758400*c_0101_4^11 - 195711901734824751847014430291246438384389719/994166239725129732162\ 935501384424334719800*c_0101_4^10 - 75415667122442022501775327964925488987916329/7953329917801037857303\ 48401107539467775840*c_0101_4^9 - 959233031668128095410554450917986\ 434342842167/7953329917801037857303484011075394677758400*c_0101_4^8 - 338865299041482455074365092882203022690570053/1988332479450259464\ 325871002768848669439600*c_0101_4^7 + 6920927144272073194255716476164067275763383/79533299178010378573034\ 84011075394677758400*c_0101_4^6 - 277700445801185326971351380322439\ 765649124377/3976664958900518928651742005537697338879200*c_0101_4^5 + 97533248021907997164594974037671145048681217/39766649589005189286\ 51742005537697338879200*c_0101_4^4 + 13664396813987127835209554871491868521537601/7953329917801037857303\ 484011075394677758400*c_0101_4^3 + 50304561423440341610642413480072775338505579/7953329917801037857303\ 484011075394677758400*c_0101_4^2 + 33622737710452057570873003003838416430837689/7953329917801037857303\ 484011075394677758400*c_0101_4 - 3281369696289926158963241102512520\ 040759371/7953329917801037857303484011075394677758400, c_0011_6 - 47664208536774668920985854626636317/219386397460804687394775\ 02849787136*c_0101_4^20 + 205331165247986839531895469132151885/2193\ 8639746080468739477502849787136*c_0101_4^19 + 10227188676308479948200913036616413/1096931987304023436973875142489\ 3568*c_0101_4^18 - 1163624150263565647601191224200875/2742329968260\ 058592434687856223392*c_0101_4^17 - 30669297762215320847246501533292299/2193863974608046873947750284978\ 7136*c_0101_4^16 - 362272013142299329273907244528819735/21938639746\ 080468739477502849787136*c_0101_4^15 - 538196448388547538606411823207644533/219386397460804687394775028497\ 87136*c_0101_4^14 - 889785537166692870188186020314815747/2193863974\ 6080468739477502849787136*c_0101_4^13 + 270482563462616004725660050160624135/219386397460804687394775028497\ 87136*c_0101_4^12 - 844478151967017455642302885915049367/2193863974\ 6080468739477502849787136*c_0101_4^11 + 190441312164264492205359623182468005/274232996826005859243468785622\ 3392*c_0101_4^10 + 369299210975410306106930457341666191/10969319873\ 040234369738751424893568*c_0101_4^9 + 1252189064701658720879222902812625933/21938639746080468739477502849\ 787136*c_0101_4^8 + 424907148005885248582633962698699909/5484659936\ 520117184869375712446784*c_0101_4^7 + 383862282367416099415841373480913195/219386397460804687394775028497\ 87136*c_0101_4^6 + 423265890905405848214323243605466443/10969319873\ 040234369738751424893568*c_0101_4^5 - 44141005484352000106438444446306027/1096931987304023436973875142489\ 3568*c_0101_4^4 + 42457380184469296514384866557695877/2193863974608\ 0468739477502849787136*c_0101_4^3 - 90703809122743690764357992216433793/2193863974608046873947750284978\ 7136*c_0101_4^2 - 45776146943163366018033042535257459/2193863974608\ 0468739477502849787136*c_0101_4 - 173795419148145021887671996670662\ 07/21938639746080468739477502849787136, c_0101_0 + 2864237994001984222624589480477939389/1582998752845780327132\ 93334654508800*c_0101_4^20 - 12374049392886562308667994478835508973\ /158299875284578032713293334654508800*c_0101_4^19 - 776410165129460113415226580083718653/791499376422890163566466673272\ 54400*c_0101_4^18 + 275004326315107209498353947838091211/1978748441\ 0572254089161666831813600*c_0101_4^17 + 155851279743194081732417322284459043/633199501138312130853173338618\ 0352*c_0101_4^16 + 4419649208830094722188658694635452619/3165997505\ 6915606542658666930901760*c_0101_4^15 + 30082747706155391071670660380505698069/1582998752845780327132933346\ 54508800*c_0101_4^14 + 48473894822874472127018311444005983843/15829\ 9875284578032713293334654508800*c_0101_4^13 - 5070830288563885429890698154592950779/31659975056915606542658666930\ 901760*c_0101_4^12 + 38169732134536667481215446190921454199/1582998\ 75284578032713293334654508800*c_0101_4^11 - 11589311170113815256981574878663071877/1978748441057225408916166683\ 1813600*c_0101_4^10 - 4249995577096838468057987498938245347/1582998\ 7528457803271329333465450880*c_0101_4^9 - 60541317766243635615959612436083238061/1582998752845780327132933346\ 54508800*c_0101_4^8 - 21019649603051926182275896488352134949/395749\ 68821144508178323333663627200*c_0101_4^7 - 1881009203531289082759598773423203211/15829987528457803271329333465\ 4508800*c_0101_4^6 - 18321320088063955857458410906321966891/7914993\ 7642289016356646667327254400*c_0101_4^5 + 6107729547915720861944887936255921611/79149937642289016356646667327\ 254400*c_0101_4^4 + 826507050270521596914545572645464283/1582998752\ 84578032713293334654508800*c_0101_4^3 + 3450121528614947324988307173243351457/15829987528457803271329333465\ 4508800*c_0101_4^2 + 2427411152767704527298501491679109587/15829987\ 5284578032713293334654508800*c_0101_4 - 383040311358531749761096404997004993/158299875284578032713293334654\ 508800, c_0101_1 - 1949255911965857272497917358315863359/7914993764228901635664\ 6667327254400*c_0101_4^20 + 8159875816134895539445391646855866823/7\ 9149937642289016356646667327254400*c_0101_4^19 + 1171447698683383322116914201360654743/39574968821144508178323333663\ 627200*c_0101_4^18 - 249000020345976374714617307119317221/989374220\ 5286127044580833415906800*c_0101_4^17 - 640383160459399817258499020016924997/158299875284578032713293334654\ 50880*c_0101_4^16 - 2993909021884002146034541749961584913/158299875\ 28457803271329333465450880*c_0101_4^15 - 22136956124766699144247231585910930279/7914993764228901635664666732\ 7254400*c_0101_4^14 - 34709247172699794741119342443696425353/791499\ 37642289016356646667327254400*c_0101_4^13 + 588746521698908863382479011035255269/316599750569156065426586669309\ 0176*c_0101_4^12 - 21028599340458633375651915292362211509/791499376\ 42289016356646667327254400*c_0101_4^11 + 7266062263713477271229595919331822647/98937422052861270445808334159\ 06800*c_0101_4^10 + 3801107536191328789934922484671002689/791499376\ 4228901635664666732725440*c_0101_4^9 + 41564338500400283472128311572186271231/7914993764228901635664666732\ 7254400*c_0101_4^8 + 14628573327070973143064758622309717229/1978748\ 4410572254089161666831813600*c_0101_4^7 + 6726693854809817029836226058078140481/79149937642289016356646667327\ 254400*c_0101_4^6 + 10690201703770855885331214446580417041/39574968\ 821144508178323333663627200*c_0101_4^5 - 2925201068203786822544570342074844441/39574968821144508178323333663\ 627200*c_0101_4^4 - 1958593370763586023599006578871851193/791499376\ 42289016356646667327254400*c_0101_4^3 - 2339417415037230748779745306083034387/79149937642289016356646667327\ 254400*c_0101_4^2 - 1628264282048982370682556998892697457/791499376\ 42289016356646667327254400*c_0101_4 + 187813262607399826550752961701277043/791499376422890163566466673272\ 54400, c_0101_2 + 268412775548242743883243995701453577/10969319873040234369738\ 751424893568*c_0101_4^20 - 1134949265201623768643932039209893313/10\ 969319873040234369738751424893568*c_0101_4^19 - 133882124505049647523155122949779377/548465993652011718486937571244\ 6784*c_0101_4^18 + 32535679889974406710673696243566659/137116498413\ 0029296217343928111696*c_0101_4^17 + 399356929681420669314431958645128351/109693198730402343697387514248\ 93568*c_0101_4^16 + 2074464394002776394896658215155980995/109693198\ 73040234369738751424893568*c_0101_4^15 + 2994436431422350769380246377974959137/10969319873040234369738751424\ 893568*c_0101_4^14 + 4679880556463758944332947169137421167/10969319\ 873040234369738751424893568*c_0101_4^13 - 2148431737446317735554618056638260219/10969319873040234369738751424\ 893568*c_0101_4^12 + 3126432141348192908159815872507264483/10969319\ 873040234369738751424893568*c_0101_4^11 - 1021097122537426556092587593720333105/13711649841300292962173439281\ 11696*c_0101_4^10 - 2469099607706422861258819086049343251/548465993\ 6520117184869375712446784*c_0101_4^9 - 5602900402628648283704903314285910217/10969319873040234369738751424\ 893568*c_0101_4^8 - 2013328599921043403608413722110036811/274232996\ 8260058592434687856223392*c_0101_4^7 - 706409642788841859884663604194406007/109693198730402343697387514248\ 93568*c_0101_4^6 - 1534587161610387041369467930661484007/5484659936\ 520117184869375712446784*c_0101_4^5 + 424479359302098973985334363050086751/548465993652011718486937571244\ 6784*c_0101_4^4 + 264614491707328533832666603967868095/109693198730\ 40234369738751424893568*c_0101_4^3 + 310123642215291902218163236459921685/109693198730402343697387514248\ 93568*c_0101_4^2 + 241982591122534953894801807508837063/10969319873\ 040234369738751424893568*c_0101_4 - 27163701119069141658021416298903221/1096931987304023436973875142489\ 3568, c_0101_4^21 - 516/119*c_0101_4^20 - 65/119*c_0101_4^19 + 130/119*c_0101_4^18 + 169/119*c_0101_4^17 + 890/119*c_0101_4^16 + 72/7*c_0101_4^15 + 1940/119*c_0101_4^14 - 168/17*c_0101_4^13 + 212/17*c_0101_4^12 - 537/17*c_0101_4^11 - 254/17*c_0101_4^10 - 2281/119*c_0101_4^9 - 3279/119*c_0101_4^8 + 3/7*c_0101_4^7 - 1335/119*c_0101_4^6 + 536/119*c_0101_4^5 + 59/119*c_0101_4^4 + 8/7*c_0101_4^3 + 88/119*c_0101_4^2 - 22/119*c_0101_4 + 1/119 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB