Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 1427425676] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1816 geometric_solution 5.47633722 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.250404322745 0.262141470312 2 0 3 0 0132 2310 0132 0132 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 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.844228023088 1.732536069090 1 3 4 5 0132 3201 0132 0132 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 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.042443786646 0.860720982909 5 4 2 1 1023 3201 2310 0132 0 0 0 0 0 0 0 0 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 1 0 -1 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.042443786646 0.860720982909 4 4 3 2 1302 2031 2310 0132 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 0.414227815327 0.492043705001 6 3 2 6 0132 1023 0132 1023 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 -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.891147723734 0.803436693961 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.726886345763 0.383881152940 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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_0011_4']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_4']), '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_4, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 9172656608405573940363007012286521889269050023/14695821120286621473\ 8751020416623953245803211*c_0101_6^24 - 7651353844821567168089022538209466623315095616/14695821120286621473\ 8751020416623953245803211*c_0101_6^23 - 63061801736259785136723260415175015907066156146/1469582112028662147\ 38751020416623953245803211*c_0101_6^22 - 1958912829748576557892138696070474171640016284/18602305215552685409\ 96848359704100673997509*c_0101_6^21 + 355048127640650225351177626651786795578587978609/146958211202866214\ 738751020416623953245803211*c_0101_6^20 - 24983546726998674292294280352736300438646319249/6389487443602878901\ 684826974635824054165357*c_0101_6^19 + 1329188023135979402703494101296719575276748729677/14695821120286621\ 4738751020416623953245803211*c_0101_6^18 - 2282425444679299763719010099486633576260745345501/14695821120286621\ 4738751020416623953245803211*c_0101_6^17 + 1258126716817590232597344955174662856846319947236/14695821120286621\ 4738751020416623953245803211*c_0101_6^16 - 10915222745362237102617414297637119319686715352993/1469582112028662\ 14738751020416623953245803211*c_0101_6^15 + 11649345080272414893799443772358132435861580416250/1469582112028662\ 14738751020416623953245803211*c_0101_6^14 - 83866914067260851510296234576552414505990175319/1860230521555268540\ 996848359704100673997509*c_0101_6^13 + 13386073528290136102669588727277483666665062112697/1469582112028662\ 14738751020416623953245803211*c_0101_6^12 + 20142467335409702328329727566054244640213448845983/1469582112028662\ 14738751020416623953245803211*c_0101_6^11 - 35003437806514753427939785571611893498844157409778/1469582112028662\ 14738751020416623953245803211*c_0101_6^10 - 1175899762586285308373018646894732353288105979247/14695821120286621\ 4738751020416623953245803211*c_0101_6^9 + 14661580422495181406408349449714994560529107543337/1469582112028662\ 14738751020416623953245803211*c_0101_6^8 - 9204773475230179700523211223914130039548919293302/14695821120286621\ 4738751020416623953245803211*c_0101_6^7 + 3171562309895080840859719886340357906625882132363/14695821120286621\ 4738751020416623953245803211*c_0101_6^6 + 3631683649821061204818507502351498925427314272950/14695821120286621\ 4738751020416623953245803211*c_0101_6^5 - 4193125180913922952951119807927259437071208413859/14695821120286621\ 4738751020416623953245803211*c_0101_6^4 + 716332976053338548569415317433001049489788415379/146958211202866214\ 738751020416623953245803211*c_0101_6^3 + 847068419701712671253158844809249030981776050369/146958211202866214\ 738751020416623953245803211*c_0101_6^2 - 345141819933123964260339385965136148852788932005/146958211202866214\ 738751020416623953245803211*c_0101_6 + 33043572074997473233595337487258094308189365203/1469582112028662147\ 38751020416623953245803211, c_0011_0 - 1, c_0011_1 - 4519825592761431105961501423861482133476974/6389487443602878\ 901684826974635824054165357*c_0101_6^24 - 5272877919876334650274214765988277405612992/63894874436028789016848\ 26974635824054165357*c_0101_6^23 - 32619934595624537338081051847483589039961780/6389487443602878901684\ 826974635824054165357*c_0101_6^22 - 1098610733160545021164921387084106490493872/80879587893707327869428\ 189552352203217283*c_0101_6^21 + 1476846085327240572939405536347690\ 12288088949/6389487443602878901684826974635824054165357*c_0101_6^20 - 229506088428240784008926465241914738682423283/6389487443602878901\ 684826974635824054165357*c_0101_6^19 + 573432183506364335371352176110292354527650027/638948744360287890168\ 4826974635824054165357*c_0101_6^18 - 924965306640143619914503746145440490743793175/638948744360287890168\ 4826974635824054165357*c_0101_6^17 + 290475003694499258252687897240412076480654742/638948744360287890168\ 4826974635824054165357*c_0101_6^16 - 5248185429325328524262024193397270212542079275/63894874436028789016\ 84826974635824054165357*c_0101_6^15 + 3996575173093256687230786319944431102852956611/63894874436028789016\ 84826974635824054165357*c_0101_6^14 - 21549263319917236722226536707926432702918797/8087958789370732786942\ 8189552352203217283*c_0101_6^13 + 593411264643981823724257448804358\ 3612465425297/6389487443602878901684826974635824054165357*c_0101_6^\ 12 + 11934609406602060863000419800449104581382740792/63894874436028\ 78901684826974635824054165357*c_0101_6^11 - 13474307306074927645264975581911449341977245952/6389487443602878901\ 684826974635824054165357*c_0101_6^10 - 5696804706462891456233654199014880179230117659/63894874436028789016\ 84826974635824054165357*c_0101_6^9 + 5781332919518352935553175205600322079879932502/63894874436028789016\ 84826974635824054165357*c_0101_6^8 - 2254068932410377057315028030638034816528645540/63894874436028789016\ 84826974635824054165357*c_0101_6^7 + 526362017328569563396522852199919379374200801/638948744360287890168\ 4826974635824054165357*c_0101_6^6 + 2025842555888252632581825840368464939149771918/63894874436028789016\ 84826974635824054165357*c_0101_6^5 - 1347993373324187333887420194919376753321803783/63894874436028789016\ 84826974635824054165357*c_0101_6^4 - 209845486433102032270199193525044436370147690/638948744360287890168\ 4826974635824054165357*c_0101_6^3 + 397071254909815333378492887644305639181137138/638948744360287890168\ 4826974635824054165357*c_0101_6^2 - 4927069883753347968712118235476426313257821/63894874436028789016848\ 26974635824054165357*c_0101_6 - 12213633146692790557966214256491305\ 476172081/6389487443602878901684826974635824054165357, c_0011_3 - 8901472640946918100756962073502305151385846/6389487443602878\ 901684826974635824054165357*c_0101_6^24 - 11132562912020119510581157537377837918823983/6389487443602878901684\ 826974635824054165357*c_0101_6^23 - 64858932447688522591481140277949448317769840/6389487443602878901684\ 826974635824054165357*c_0101_6^22 - 2230874931335534790966019748860030462212949/80879587893707327869428\ 189552352203217283*c_0101_6^21 + 2780490369521691537611441825538302\ 47129371108/6389487443602878901684826974635824054165357*c_0101_6^20 - 424319826061416065516663189144141401762545470/6389487443602878901\ 684826974635824054165357*c_0101_6^19 + 1078381998427194958466715240824452633537888276/63894874436028789016\ 84826974635824054165357*c_0101_6^18 - 1708533641105783687426218461848575278864656495/63894874436028789016\ 84826974635824054165357*c_0101_6^17 + 374445607805804560504564768820666126241564286/638948744360287890168\ 4826974635824054165357*c_0101_6^16 - 10209485656169955259636928257590855897491227754/6389487443602878901\ 684826974635824054165357*c_0101_6^15 + 6943360127401182227458560229858698067274129045/63894874436028789016\ 84826974635824054165357*c_0101_6^14 - 30119491911563608224945683475373340702142404/8087958789370732786942\ 8189552352203217283*c_0101_6^13 + 109200552032875025654177815323118\ 84030155173430/6389487443602878901684826974635824054165357*c_0101_6\ ^12 + 24717482853181564584596775460879424226465716697/6389487443602\ 878901684826974635824054165357*c_0101_6^11 - 25062487851760986540414136421415220611575100757/6389487443602878901\ 684826974635824054165357*c_0101_6^10 - 13865654509043107897170523633908459498371152303/6389487443602878901\ 684826974635824054165357*c_0101_6^9 + 11765674719359300157269496122611580127728429407/6389487443602878901\ 684826974635824054165357*c_0101_6^8 - 3584164935458021009355289136625040042001602940/63894874436028789016\ 84826974635824054165357*c_0101_6^7 + 257418279918925922274137407090487019707343376/638948744360287890168\ 4826974635824054165357*c_0101_6^6 + 4392250224605291034793161496464993167812579451/63894874436028789016\ 84826974635824054165357*c_0101_6^5 - 2517015414787182993209699241314714384090819822/63894874436028789016\ 84826974635824054165357*c_0101_6^4 - 695415446589374466397431884719006729016424579/638948744360287890168\ 4826974635824054165357*c_0101_6^3 + 892365741898132149789706452625038739224945457/638948744360287890168\ 4826974635824054165357*c_0101_6^2 + 2655820315991874867067226277322159238442569/63894874436028789016848\ 26974635824054165357*c_0101_6 - 39046810363936270785092173589969584\ 203745595/6389487443602878901684826974635824054165357, c_0011_4 + 503772704648909409645381858478696351458799/63894874436028789\ 01684826974635824054165357*c_0101_6^24 + 482937411005858675015236721564287226743606/638948744360287890168482\ 6974635824054165357*c_0101_6^23 + 353726350223081922941684052921510\ 7589274515/6389487443602878901684826974635824054165357*c_0101_6^22 + 112738709030693287254803148655931946975158/808795878937073278694281\ 89552352203217283*c_0101_6^21 - 18362999614126424878710484317675346\ 657180423/6389487443602878901684826974635824054165357*c_0101_6^20 + 29120321567486651241357678790668798057788750/6389487443602878901684\ 826974635824054165357*c_0101_6^19 - 70942901779356604393175422185513769032850444/6389487443602878901684\ 826974635824054165357*c_0101_6^18 + 118173957797877466014800026271047913662095078/638948744360287890168\ 4826974635824054165357*c_0101_6^17 - 59277497883849950623379625597654775788883685/6389487443602878901684\ 826974635824054165357*c_0101_6^16 + 601070081746991857278550572912538234966393150/638948744360287890168\ 4826974635824054165357*c_0101_6^15 - 576803147695728185120369692668296647333519469/638948744360287890168\ 4826974635824054165357*c_0101_6^14 + 3968837487122157929706343786946651809870024/80879587893707327869428\ 189552352203217283*c_0101_6^13 - 7732004944309130899953432422499351\ 77713118576/6389487443602878901684826974635824054165357*c_0101_6^12 - 1166327721468865533397629777580564899891926232/638948744360287890\ 1684826974635824054165357*c_0101_6^11 + 1694405542051504167387688353780685400934663364/63894874436028789016\ 84826974635824054165357*c_0101_6^10 + 313328240470229512172124332224476755337917238/638948744360287890168\ 4826974635824054165357*c_0101_6^9 - 631603456437363089455756887961289728719053333/638948744360287890168\ 4826974635824054165357*c_0101_6^8 + 397259754402388749527821468876085579603982240/638948744360287890168\ 4826974635824054165357*c_0101_6^7 - 140854410763805285367620484477051227973865198/638948744360287890168\ 4826974635824054165357*c_0101_6^6 - 173905799675499562465032265706012934123249733/638948744360287890168\ 4826974635824054165357*c_0101_6^5 + 192252579859502561553438297586382562000639325/638948744360287890168\ 4826974635824054165357*c_0101_6^4 - 23662527678555891485609107507057328028996949/6389487443602878901684\ 826974635824054165357*c_0101_6^3 - 38781264201189054760654701968213485488900413/6389487443602878901684\ 826974635824054165357*c_0101_6^2 + 1551041110322567512028082554557563348432101/63894874436028789016848\ 26974635824054165357*c_0101_6 - 14697516081099256345242400761201082\ 89344023/6389487443602878901684826974635824054165357, c_0101_0 + 2133067457879838386447779312120304565334714/6389487443602878\ 901684826974635824054165357*c_0101_6^24 + 2277844508195915325846112935393702688022570/63894874436028789016848\ 26974635824054165357*c_0101_6^23 + 14504407353516490792426405853132944252801877/6389487443602878901684\ 826974635824054165357*c_0101_6^22 + 486734687195464554136027573157008217081684/808795878937073278694281\ 89552352203217283*c_0101_6^21 - 78983799285291477365086222093727835\ 487855689/6389487443602878901684826974635824054165357*c_0101_6^20 + 100567479631729895500012435401025695882705664/638948744360287890168\ 4826974635824054165357*c_0101_6^19 - 267470978735540698845102456689981220928237046/638948744360287890168\ 4826974635824054165357*c_0101_6^18 + 430463453433530445191075021401750793036458694/638948744360287890168\ 4826974635824054165357*c_0101_6^17 - 105228563865101553369621162797365579267159909/638948744360287890168\ 4826974635824054165357*c_0101_6^16 + 2373389349748028888311862494420645241598359908/63894874436028789016\ 84826974635824054165357*c_0101_6^15 - 2104364681362258662186155640724452360760027204/63894874436028789016\ 84826974635824054165357*c_0101_6^14 + 2616436796721634200583481615756703051258682/80879587893707327869428\ 189552352203217283*c_0101_6^13 - 2582806587561207642534984343867372\ 620115786902/6389487443602878901684826974635824054165357*c_0101_6^1\ 2 - 5771825592451715933325455772314749356838753286/6389487443602878\ 901684826974635824054165357*c_0101_6^11 + 7734039921432767498582903172964541242791776282/63894874436028789016\ 84826974635824054165357*c_0101_6^10 + 3888624152851259877982333059642053890775281644/63894874436028789016\ 84826974635824054165357*c_0101_6^9 - 3950489729468839379739444786267884712804128068/63894874436028789016\ 84826974635824054165357*c_0101_6^8 + 795786957840017224159144907568112208404108564/638948744360287890168\ 4826974635824054165357*c_0101_6^7 - 108945399967096794722566903421285875174294543/638948744360287890168\ 4826974635824054165357*c_0101_6^6 - 1275870494613270967975828988567425883869997574/63894874436028789016\ 84826974635824054165357*c_0101_6^5 + 783301614486940999306755469124575900745663267/638948744360287890168\ 4826974635824054165357*c_0101_6^4 + 206652358686374454606862436022702284101361151/638948744360287890168\ 4826974635824054165357*c_0101_6^3 - 300680597881553089735640338937070809294536147/638948744360287890168\ 4826974635824054165357*c_0101_6^2 + 2856400048433808484407796949329587036800224/63894874436028789016848\ 26974635824054165357*c_0101_6 + 16835423854007001782084096945754139\ 552845532/6389487443602878901684826974635824054165357, c_0101_1 + 10641132027343438301790411342273875142654349/638948744360287\ 8901684826974635824054165357*c_0101_6^24 + 13709945285882562388795929644194821890369616/6389487443602878901684\ 826974635824054165357*c_0101_6^23 + 78498153773625278671598555710820984531351720/6389487443602878901684\ 826974635824054165357*c_0101_6^22 + 2715337917538462222697702043546166622417157/80879587893707327869428\ 189552352203217283*c_0101_6^21 - 3203917234329463315242358721000740\ 21623620831/6389487443602878901684826974635824054165357*c_0101_6^20 + 506773422466866076679966906992958506834891715/6389487443602878901\ 684826974635824054165357*c_0101_6^19 - 1275456545262118609239219281735689157424419684/63894874436028789016\ 84826974635824054165357*c_0101_6^18 + 2013098754993486093057650124992686228429325135/63894874436028789016\ 84826974635824054165357*c_0101_6^17 - 413429150834772124398257170623397067786708261/638948744360287890168\ 4826974635824054165357*c_0101_6^16 + 12248269862464164153260818079623175127627357207/6389487443602878901\ 684826974635824054165357*c_0101_6^15 - 7820990544299873251217872743662705741933253512/63894874436028789016\ 84826974635824054165357*c_0101_6^14 + 38984491075925272842876235391653740040808001/8087958789370732786942\ 8189552352203217283*c_0101_6^13 - 129176187174846738604932928059461\ 86267117227713/6389487443602878901684826974635824054165357*c_0101_6\ ^12 - 29841792531907219323457912629567944243356731233/6389487443602\ 878901684826974635824054165357*c_0101_6^11 + 28418832786721582629306679657546934570038762502/6389487443602878901\ 684826974635824054165357*c_0101_6^10 + 16146228823903494405596665724957303294772669392/6389487443602878901\ 684826974635824054165357*c_0101_6^9 - 13279823360377406353629673865957649150057134483/6389487443602878901\ 684826974635824054165357*c_0101_6^8 + 4415397030872979743733306018656467309604448806/63894874436028789016\ 84826974635824054165357*c_0101_6^7 - 240175768294806931126734293068307450819753980/638948744360287890168\ 4826974635824054165357*c_0101_6^6 - 5110247394034065106470017583683049472185414216/63894874436028789016\ 84826974635824054165357*c_0101_6^5 + 2891605534747972172811551382074268129960934578/63894874436028789016\ 84826974635824054165357*c_0101_6^4 + 814661318271638218211330171917617618521396684/638948744360287890168\ 4826974635824054165357*c_0101_6^3 - 998820541911867825670648295974793882651709902/638948744360287890168\ 4826974635824054165357*c_0101_6^2 + 1632422319694478054959768296095147911420812/63894874436028789016848\ 26974635824054165357*c_0101_6 + 41987288093599613391155201945556110\ 070354041/6389487443602878901684826974635824054165357, c_0101_6^25 + c_0101_6^24 + 7*c_0101_6^23 + 18*c_0101_6^22 - 36*c_0101_6^21 + 56*c_0101_6^20 - 134*c_0101_6^19 + 224*c_0101_6^18 - 94*c_0101_6^17 + 1164*c_0101_6^16 - 1071*c_0101_6^15 + 496*c_0101_6^14 - 1323*c_0101_6^13 - 2446*c_0101_6^12 + 3471*c_0101_6^11 + 791*c_0101_6^10 - 1628*c_0101_6^9 + 732*c_0101_6^8 - 157*c_0101_6^7 - 464*c_0101_6^6 + 395*c_0101_6^5 + 3*c_0101_6^4 - 111*c_0101_6^3 + 23*c_0101_6^2 + 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB