Magma V2.19-8 Tue Aug 20 2013 16:17:01 on localhost [Seed = 863154146] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1272 geometric_solution 5.16928814 oriented_manifold CS_known -0.0000000000000005 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 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.649791862206 0.155651091601 2 0 2 0 0132 2310 1023 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 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.894766157355 0.192985366000 1 3 1 4 0132 0132 1023 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 -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 1.062843100722 0.387579986411 4 2 6 5 3120 0132 0132 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.734889552646 0.459756025067 5 6 2 3 1023 0132 0132 3120 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 -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.734889552646 0.459756025067 5 4 3 5 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 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.022022706948 0.611834732499 6 4 6 3 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.915354325755 0.950867837762 ==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' : negation(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' : negation(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' : negation(d['1']), 's_1_2' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0101_1'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], '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_4, c_0101_0, c_0101_1, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 7340630447534990896797845011641492285698176053/93739079194499695073\ 7587497128169496713845982901*c_1001_3^14 + 28798358005593156756137811987945493583242602869/3749563167779987802\ 950349988512677986855383931604*c_1001_3^13 - 732632976577792884790658492410702682220749089851/374956316777998780\ 2950349988512677986855383931604*c_1001_3^12 + 2051030658564672547783174726084081445981915033131/10713037622228536\ 57985814282432193710530109694744*c_1001_3^11 + 600308079798791121375508983280981155139656404943/133912970277856707\ 248226785304024213816263711843*c_1001_3^10 + 369642062854889543736296249114439682069608778557489/749912633555997\ 5605900699977025355973710767863208*c_1001_3^9 + 959752514745159482650428046399995607538887026217537/749912633555997\ 5605900699977025355973710767863208*c_1001_3^8 + 2579441686412716063089523109274507112320152971710955/74991263355599\ 75605900699977025355973710767863208*c_1001_3^7 + 192271741224124738605091127808707823545848295692923/394690859766314\ 505573721051422387156511093045432*c_1001_3^6 + 1241056871416981007731601992881804562391782732662/15914954022835262\ 32152101013799948211738278409*c_1001_3^5 + 3559660866023869974114122524560471202473408755358437/74991263355599\ 75605900699977025355973710767863208*c_1001_3^4 + 1430910376962144153647000766727943542246523991033237/10713037622228\ 53657985814282432193710530109694744*c_1001_3^3 + 8066027436765627471550549595535642975766285975774681/74991263355599\ 75605900699977025355973710767863208*c_1001_3^2 - 81498649934551952244536642020186656454100331502439/2026790901502696\ 10970289188568252864154345077384*c_1001_3 + 3196305668512540172997863591495006619182360427275517/74991263355599\ 75605900699977025355973710767863208, c_0011_0 - 1, c_0011_1 - 23520000003318599874074413555703655/138509013591135156633203\ 07490898038266224*c_1001_3^14 + 39873452685532455708137660587293489\ /6925450679556757831660153745449019133112*c_1001_3^13 - 643805836947954403162153804310140713/138509013591135156633203074908\ 98038266224*c_1001_3^12 + 897334695309331129950933870074968825/1731\ 362669889189457915038436362254783278*c_1001_3^11 - 551499478019820866570375769452251207/138509013591135156633203074908\ 98038266224*c_1001_3^10 + 7258109269180248415807881170434838995/865\ 681334944594728957519218181127391639*c_1001_3^9 + 23358229187339312744875045701955454523/1385090135911351566332030749\ 0898038266224*c_1001_3^8 + 16167054628607288500368437375823199283/1\ 731362669889189457915038436362254783278*c_1001_3^7 - 475497438072234523961970030705103445539/692545067955675783166015374\ 5449019133112*c_1001_3^6 - 649004429219231128235137751050914617583/\ 13850901359113515663320307490898038266224*c_1001_3^5 - 490435048918361993385497275145525603537/346272533977837891583007687\ 2724509566556*c_1001_3^4 + 299807715727335450833964987138100070216/\ 865681334944594728957519218181127391639*c_1001_3^3 - 699604757935616723750272782606709339505/138509013591135156633203074\ 90898038266224*c_1001_3^2 - 427195991490789683766852600692208513026\ 1/13850901359113515663320307490898038266224*c_1001_3 + 6335372409127688322568498234052907611813/13850901359113515663320307\ 490898038266224, c_0011_4 - 400118530980610175554025663834706386777/30568939299563529068\ 947918632411970453556368*c_1001_3^14 + 181852786886997011574003917697662323945/152844696497817645344739593\ 16205985226778184*c_1001_3^13 - 99828194992002928354155674949172755\ 43363/30568939299563529068947918632411970453556368*c_1001_3^12 + 6075896911750589797038866680781542169205/19105587062227205668092449\ 14525748153347273*c_1001_3^11 + 23510222004616965911457602253822054\ 9188239/30568939299563529068947918632411970453556368*c_1001_3^10 + 635996635209529345533632785854409455022839/764223482489088226723697\ 9658102992613389092*c_1001_3^9 + 6710537965487680954686819094467949\ 323282489/30568939299563529068947918632411970453556368*c_1001_3^8 + 1138776084551702690307833665895219063877061/19105587062227205668092\ 44914525748153347273*c_1001_3^7 + 130960985480871028533750586076646\ 07573286671/15284469649781764534473959316205985226778184*c_1001_3^6 + 42756276075885943738753897492119053747253871/30568939299563529068\ 947918632411970453556368*c_1001_3^5 + 3544878349315618198096347598397432056833693/38211174124454411336184\ 89829051496306694546*c_1001_3^4 + 189755500972979670463925268359396\ 76775159531/7642234824890882267236979658102992613389092*c_1001_3^3 + 62378505179149768584486675024939122011862885/3056893929956352906894\ 7918632411970453556368*c_1001_3^2 + 5480504042365811929718166334946421457846909/30568939299563529068947\ 918632411970453556368*c_1001_3 + 1373175257708266814083916064930102\ 1552130399/30568939299563529068947918632411970453556368, c_0101_0 + 366486245195118595117968980266533473/13850901359113515663320\ 307490898038266224*c_1001_3^14 - 1512694501551650778982889273278539\ 61/6925450679556757831660153745449019133112*c_1001_3^13 + 9018412185854985998601023970341852795/13850901359113515663320307490\ 898038266224*c_1001_3^12 - 5503269396498190279285993912250435093/86\ 5681334944594728957519218181127391639*c_1001_3^11 - 225427123033932434671890912240120413031/138509013591135156633203074\ 90898038266224*c_1001_3^10 - 58026337628011615695747221668997341622\ 7/3462725339778378915830076872724509566556*c_1001_3^9 - 170795787385057658615699793156458279453/374348685381446369278927229\ 483730763952*c_1001_3^8 - 1040284954096217674748680503403604784948/\ 865681334944594728957519218181127391639*c_1001_3^7 - 331500702735919687301420727949998109187/187174342690723184639463614\ 741865381976*c_1001_3^6 - 38399820515231469395504251059451239173383\ /13850901359113515663320307490898038266224*c_1001_3^5 - 3340778850069492010190998964813271108555/17313626698891894579150384\ 36362254783278*c_1001_3^4 - 161597638401153987816959491090533889528\ 47/3462725339778378915830076872724509566556*c_1001_3^3 - 62200160419738275990787950381212499943661/1385090135911351566332030\ 7490898038266224*c_1001_3^2 + 2089822803485538889756468706042904153\ 9963/13850901359113515663320307490898038266224*c_1001_3 - 11510931366669146763744240126112634526887/1385090135911351566332030\ 7490898038266224, c_0101_1 + 55631566539981587858926385112574791/138509013591135156633203\ 07490898038266224*c_1001_3^14 - 49564771280534859069544885720209271\ /6925450679556757831660153745449019133112*c_1001_3^13 + 1437173251804013345205453435516311373/13850901359113515663320307490\ 898038266224*c_1001_3^12 - 921247621532452476337634784490513725/865\ 681334944594728957519218181127391639*c_1001_3^11 - 20702200160045120875094601648942565265/1385090135911351566332030749\ 0898038266224*c_1001_3^10 - 81602378540273703991492362620244920413/\ 3462725339778378915830076872724509566556*c_1001_3^9 - 625022959085126535264673130807425315287/138509013591135156633203074\ 90898038266224*c_1001_3^8 - 109586844632191903151312602753651010524\ /865681334944594728957519218181127391639*c_1001_3^7 - 785403419318623300213318729178441085001/692545067955675783166015374\ 5449019133112*c_1001_3^6 - 3181401326072123052890917156545423829713\ /13850901359113515663320307490898038266224*c_1001_3^5 - 85793700567397228308362521195979214959/1731362669889189457915038436\ 362254783278*c_1001_3^4 - 2464678498502637820165141238833832551421/\ 3462725339778378915830076872724509566556*c_1001_3^3 - 694088555689336560048714888896355115275/138509013591135156633203074\ 90898038266224*c_1001_3^2 + 726584387879609462166708797772789749775\ 7/13850901359113515663320307490898038266224*c_1001_3 + 4683390498969495025681057848190861301279/13850901359113515663320307\ 490898038266224, c_0101_5 + 72200762773453086536264651471505789409/764223482489088226723\ 6979658102992613389092*c_1001_3^14 - 8207253405877231847202732629606100930/19105587062227205668092449145\ 25748153347273*c_1001_3^13 + 18180042102507092496213703336918052754\ 81/7642234824890882267236979658102992613389092*c_1001_3^12 - 4191427719309907561693819906399309028810/19105587062227205668092449\ 14525748153347273*c_1001_3^11 - 49295418270052786373696819331216152\ 717663/7642234824890882267236979658102992613389092*c_1001_3^10 - 244746945496440454199161329929025945868129/382111741244544113361848\ 9829051496306694546*c_1001_3^9 - 3914650611841286679823104068305851\ 1695471/206546887159213034249648098867648449010516*c_1001_3^8 - 1029405005360882206540370602961943462883750/19105587062227205668092\ 44914525748153347273*c_1001_3^7 - 349038587979969560524011007335389\ 7564178055/3821117412445441133618489829051496306694546*c_1001_3^6 - 11623838515655477087575619153343267133265411/7642234824890882267236\ 979658102992613389092*c_1001_3^5 - 5456823415471008831224215384497082280370055/38211174124454411336184\ 89829051496306694546*c_1001_3^4 - 917330814679065484988865472907799\ 1842075037/3821117412445441133618489829051496306694546*c_1001_3^3 - 16970541130863835274500490606350389125919727/7642234824890882267236\ 979658102992613389092*c_1001_3^2 - 4231742353996009733594095294178958060401125/76422348248908822672369\ 79658102992613389092*c_1001_3 - 44522722166813712580826993495608370\ 36508905/7642234824890882267236979658102992613389092, c_1001_3^15 - c_1001_3^14 + 25*c_1001_3^13 - 245*c_1001_3^12 - 567*c_1001_3^11 - 6291*c_1001_3^10 - 16237*c_1001_3^9 - 43793*c_1001_3^8 - 61790*c_1001_3^7 - 99541*c_1001_3^6 - 60079*c_1001_3^5 - 171668*c_1001_3^4 - 134553*c_1001_3^3 + 49790*c_1001_3^2 - 57004*c_1001_3 + 3689 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB