Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 4105529386] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1496 geometric_solution 5.30531071 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 0 1 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.754258770250 0.075024700041 0 2 0 2 0132 0132 1023 1023 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 0 0 0 0.606382068293 0.212280473734 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -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 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.617165503146 1.846535517048 2 5 4 6 0132 0132 0213 0132 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 -1 0 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.339510468109 0.698216477607 6 3 5 2 3201 0213 3201 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.339510468109 0.698216477607 4 3 5 5 2310 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 0 0 0 0 0 0 0 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.436752930366 1.158339497371 6 6 3 4 1302 2031 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 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.469997877235 0.559241431032 ==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' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : 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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 58039293587437054209517171/4143140457298558234448872*c_0101_5^19 + 19057098127426395370165989/2071570228649279117224436*c_0101_5^18 + 161571795363522518552211883/2071570228649279117224436*c_0101_5^17 + 763550005038142817317752015/2071570228649279117224436*c_0101_5^16 + 213515080884423836933275277/1035785114324639558612218*c_0101_5^15 + 205219500322264849386742735/4143140457298558234448872*c_0101_5^14 - 363451419693105948413204289/4143140457298558234448872*c_0101_5^13 + 1673658270871656383175941869/2071570228649279117224436*c_0101_5^12 - 6452326006628790083628000461/4143140457298558234448872*c_0101_5^11 - 6658009104581880242073621985/2071570228649279117224436*c_0101_5^10 + 1622435847176923269872595799/2071570228649279117224436*c_0101_5^9 + 21227668959363804468486047973/4143140457298558234448872*c_0101_5^8 - 9288067557515141441330179683/2071570228649279117224436*c_0101_5^7 - 21293299374289607475933353397/4143140457298558234448872*c_0101_5^6 + 7544464239305915665021511807/1035785114324639558612218*c_0101_5^5 + 29631087878766408743375843507/4143140457298558234448872*c_0101_5^4 - 23113558154073113271681441351/4143140457298558234448872*c_0101_5^3 - 12131802525140547230690946003/4143140457298558234448872*c_0101_5^2 + 1040561500485498039813229325/1035785114324639558612218*c_0101_5 + 140181540457286734837435935/1035785114324639558612218, c_0011_0 - 1, c_0011_4 - 385115356281144768605563/2071570228649279117224436*c_0101_1*\ c_0101_5^19 + 83716715201948873846353/517892557162319779306109*c_01\ 01_1*c_0101_5^18 + 1105276088339592070290269/1035785114324639558612\ 218*c_0101_1*c_0101_5^17 + 4856076183174816580955777/10357851143246\ 39558612218*c_0101_1*c_0101_5^16 + 719724559203601298930834/517892557162319779306109*c_0101_1*c_0101_5\ ^15 - 3593649514409101831729529/2071570228649279117224436*c_0101_1*\ c_0101_5^14 - 8082195218853913613730123/2071570228649279117224436*c\ _0101_1*c_0101_5^13 + 4254048891818157795588033/5178925571623197793\ 06109*c_0101_1*c_0101_5^12 - 52681419810490927313444385/20715702286\ 49279117224436*c_0101_1*c_0101_5^11 - 22808006655471798234721210/517892557162319779306109*c_0101_1*c_0101\ _5^10 + 20862612759906180379585001/1035785114324639558612218*c_0101\ _1*c_0101_5^9 + 164535780142702949134275289/20715702286492791172244\ 36*c_0101_1*c_0101_5^8 - 33474048164275996519178314/517892557162319\ 779306109*c_0101_1*c_0101_5^7 - 138111759831414794939429681/2071570\ 228649279117224436*c_0101_1*c_0101_5^6 + 124116491796203626275023585/1035785114324639558612218*c_0101_1*c_01\ 01_5^5 + 212657524635862595111585371/2071570228649279117224436*c_01\ 01_1*c_0101_5^4 - 200675323181790696554939901/207157022864927911722\ 4436*c_0101_1*c_0101_5^3 - 107962057819386495490934265/207157022864\ 9279117224436*c_0101_1*c_0101_5^2 + 16519718262267780791219865/1035785114324639558612218*c_0101_1*c_010\ 1_5 + 1643983750290003793472589/517892557162319779306109*c_0101_1, c_0011_6 + 602888631946442402137161/2071570228649279117224436*c_0101_1*\ c_0101_5^19 - 146654612873955607060705/1035785114324639558612218*c_\ 0101_1*c_0101_5^18 - 1699105592689782441754133/10357851143246395586\ 12218*c_0101_1*c_0101_5^17 - 8209169132581285342696177/103578511432\ 4639558612218*c_0101_1*c_0101_5^16 - 2928973774343282733032809/517892557162319779306109*c_0101_1*c_0101_\ 5^15 - 4491946140228419862370397/2071570228649279117224436*c_0101_1\ *c_0101_5^14 + 2059547097714588168515731/2071570228649279117224436*\ c_0101_1*c_0101_5^13 - 17699442206650712957033873/10357851143246395\ 58612218*c_0101_1*c_0101_5^12 + 60037102446246423809661263/20715702\ 28649279117224436*c_0101_1*c_0101_5^11 + 73617188531197760246824023/1035785114324639558612218*c_0101_1*c_010\ 1_5^10 - 5052192273163187235638631/1035785114324639558612218*c_0101\ _1*c_0101_5^9 - 218969444476055247483190907/20715702286492791172244\ 36*c_0101_1*c_0101_5^8 + 80659231164972800235342485/103578511432463\ 9558612218*c_0101_1*c_0101_5^7 + 247643283180654927910797207/207157\ 0228649279117224436*c_0101_1*c_0101_5^6 - 68642573670123401744890176/517892557162319779306109*c_0101_1*c_0101\ _5^5 - 345724038897795256125479069/2071570228649279117224436*c_0101\ _1*c_0101_5^4 + 187266559739756096142793605/20715702286492791172244\ 36*c_0101_1*c_0101_5^3 + 148713719651555957330389569/20715702286492\ 79117224436*c_0101_1*c_0101_5^2 - 6453281519104713340466676/5178925\ 57162319779306109*c_0101_1*c_0101_5 - 1918198485686579708559094/517892557162319779306109*c_0101_1, c_0101_0 - 150591675133076771774651/517892557162319779306109*c_0101_1*c\ _0101_5^19 + 145687271627068703083401/1035785114324639558612218*c_0\ 101_1*c_0101_5^18 + 852081923078637273337279/5178925571623197793061\ 09*c_0101_1*c_0101_5^17 + 4103425524169424471704550/517892557162319\ 779306109*c_0101_1*c_0101_5^16 + 2924947133070386616903903/51789255\ 7162319779306109*c_0101_1*c_0101_5^15 + 1038410130332304376627875/517892557162319779306109*c_0101_1*c_0101_\ 5^14 - 1268314623945363337108023/1035785114324639558612218*c_0101_1\ *c_0101_5^13 + 17274862108695734195856247/1035785114324639558612218\ *c_0101_1*c_0101_5^12 - 15175308814007440480768367/5178925571623197\ 79306109*c_0101_1*c_0101_5^11 - 74622531468781670733779913/10357851\ 14324639558612218*c_0101_1*c_0101_5^10 + 2309524696373783093627221/517892557162319779306109*c_0101_1*c_0101_\ 5^9 + 54848520211439401356915071/517892557162319779306109*c_0101_1*\ c_0101_5^8 - 79943128551224640247522909/1035785114324639558612218*c\ _0101_1*c_0101_5^7 - 62666920674223064289583958/5178925571623197793\ 06109*c_0101_1*c_0101_5^6 + 137952943471113776126207175/10357851143\ 24639558612218*c_0101_1*c_0101_5^5 + 87505615053621515489606803/517892557162319779306109*c_0101_1*c_0101\ _5^4 - 92425000328812155531734261/1035785114324639558612218*c_0101_\ 1*c_0101_5^3 - 75757577682541910423280769/1035785114324639558612218\ *c_0101_1*c_0101_5^2 + 13451850917801727924190297/10357851143246395\ 58612218*c_0101_1*c_0101_5 + 1934349760644129239947486/517892557162\ 319779306109*c_0101_1, c_0101_1^2 + 10253376747484663016586557/58003966402179815282284208*c_01\ 01_5^19 - 754475768527735569985847/29001983201089907641142104*c_010\ 1_5^18 - 28535837872156790764156741/29001983201089907641142104*c_01\ 01_5^17 - 148785108340049414268083669/29001983201089907641142104*c_\ 0101_5^16 - 76841967763668671756138977/14500991600544953820571052*c\ _0101_5^15 - 221934659743236715123617809/58003966402179815282284208\ *c_0101_5^14 - 113052781232027260194984249/580039664021798152822842\ 08*c_0101_5^13 - 353141449357949592399620767/2900198320108990764114\ 2104*c_0101_5^12 + 712222841467122982838293171/58003966402179815282\ 284208*c_0101_5^11 + 188285840422208137396513729/414314045729855823\ 4448872*c_0101_5^10 + 49989302617478562970090253/414314045729855823\ 4448872*c_0101_5^9 - 3082361503057327634545693147/58003966402179815\ 282284208*c_0101_5^8 + 143168631553993165524343227/4143140457298558\ 234448872*c_0101_5^7 + 4740899453759907021925881907/580039664021798\ 15282284208*c_0101_5^6 - 746830729953371653747889615/14500991600544\ 953820571052*c_0101_5^5 - 6105129969577109391201052829/580039664021\ 79815282284208*c_0101_5^4 + 1111922509489005340305343953/5800396640\ 2179815282284208*c_0101_5^3 + 2189436675645050380911692005/58003966\ 402179815282284208*c_0101_5^2 - 28156891933613244552723629/14500991\ 600544953820571052*c_0101_5 - 50325876289531473553294579/1450099160\ 0544953820571052, c_0101_4 - 6166295013808787935981/517892557162319779306109*c_0101_5^19 + 3487641386101593086485/517892557162319779306109*c_0101_5^18 + 37496798928075141377838/517892557162319779306109*c_0101_5^17 + 164322883212627143718071/517892557162319779306109*c_0101_5^16 + 89697576269183311471137/517892557162319779306109*c_0101_5^15 - 47956004528421990761905/517892557162319779306109*c_0101_5^14 - 99859009406413181728384/517892557162319779306109*c_0101_5^13 + 323297759908714149496227/517892557162319779306109*c_0101_5^12 - 645874438325769910105180/517892557162319779306109*c_0101_5^11 - 1641314093987007359463692/517892557162319779306109*c_0101_5^10 + 476905437711624111493218/517892557162319779306109*c_0101_5^9 + 3001353084113065013275320/517892557162319779306109*c_0101_5^8 - 1719846998287215393631206/517892557162319779306109*c_0101_5^7 - 3458344134798203156596021/517892557162319779306109*c_0101_5^6 + 3620587651064348352637695/517892557162319779306109*c_0101_5^5 + 4701136117779283986437784/517892557162319779306109*c_0101_5^4 - 3266514355129577015686940/517892557162319779306109*c_0101_5^3 - 3528094097513753082863803/517892557162319779306109*c_0101_5^2 + 945543638575371682206208/517892557162319779306109*c_0101_5 + 731911415778648217671885/517892557162319779306109, c_0101_5^20 - 6*c_0101_5^18 - 30*c_0101_5^17 - 32*c_0101_5^16 - 13*c_0101_5^15 + 5*c_0101_5^14 - 52*c_0101_5^13 + 75*c_0101_5^12 + 304*c_0101_5^11 + 98*c_0101_5^10 - 403*c_0101_5^9 + 72*c_0101_5^8 + 571*c_0101_5^7 - 274*c_0101_5^6 - 857*c_0101_5^5 + 47*c_0101_5^4 + 471*c_0101_5^3 + 82*c_0101_5^2 - 52*c_0101_5 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB