Magma V2.19-8 Tue Aug 20 2013 16:17:01 on localhost [Seed = 71669973] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1273 geometric_solution 5.16928814 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 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 -1 1 1 0 -1 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 1 0 -1 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 1 -1 -1 0 1 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.062843100722 0.387579986411 5 2 6 5 0132 0132 0132 3201 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 -1 1 0 0 0 0 -1 1 0 0 1 -1 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 5 2310 0132 0132 1023 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 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.734889552646 0.459756025067 3 3 4 4 0132 2310 3201 1023 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 -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 2310 0132 3201 0132 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 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.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' : negation(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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), '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_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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_0101_1']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], '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_0101_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], '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_0101_0, c_0101_1, c_0101_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 679393147573482050268418069441454861630320417193/299965053422399024\ 23602799908101423894843071452832*c_1001_3^14 - 886503008299495260068739453369423230172908920711/149982526711199512\ 11801399954050711947421535726416*c_1001_3^13 - 19317372446056738150202202466290962587637876507903/2999650534223990\ 2423602799908101423894843071452832*c_1001_3^12 - 7015974092429867089943216918406573705840101596719/10713037622228536\ 57985814282432193710530109694744*c_1001_3^11 + 11897247990429744717071205020222053152014654316425/4285215048891414\ 631943257129728774842120438778976*c_1001_3^10 - 999096767837546947008655650400225605370802255187675/749912633555997\ 5605900699977025355973710767863208*c_1001_3^9 + 4462585085341032652411581850215479580515170108595297/29996505342239\ 902423602799908101423894843071452832*c_1001_3^8 - 4857851572449356580399178193281765403622743327409713/74991263355599\ 75605900699977025355973710767863208*c_1001_3^7 + 149903487153061598716224324324402040062456141870299/789381719532629\ 011147442102844774313022186090864*c_1001_3^6 - 69563109776427631712299470574143133366082175183523/5092785287307283\ 9428867232441598342775624909088*c_1001_3^5 - 1200625784910514282077678869067747808435832389588649/93739079194499\ 6950737587497128169496713845982901*c_1001_3^4 - 4998900259732095734270085246486801789026165009311835/10713037622228\ 53657985814282432193710530109694744*c_1001_3^3 - 124212770637205252003932535188629896358769015648942515/299965053422\ 39902423602799908101423894843071452832*c_1001_3^2 - 62671305358436662900595709691983654770770951046204185/2999650534223\ 9902423602799908101423894843071452832*c_1001_3 - 19042452601116201735435526338544550636152153001790929/2999650534223\ 9902423602799908101423894843071452832, 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_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_3 - 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 + 25088435257197717139229752297465548995709459/3056893929956352906894\ 7918632411970453556368*c_1001_3 + 137317525770826681408391606493010\ 21552130399/30568939299563529068947918632411970453556368, c_0101_5 - 44648362892095837911219316407442614433/764223482489088226723\ 6979658102992613389092*c_1001_3^14 - 15742687152215604891049433190193239799/1910558706222720566809244914\ 525748153347273*c_1001_3^13 - 1152236983467459795409687060248052762\ 909/7642234824890882267236979658102992613389092*c_1001_3^12 - 2852761077886624510419746183595116964899/19105587062227205668092449\ 14525748153347273*c_1001_3^11 + 55195572931913464522601273977079734\ 3719/206546887159213034249648098867648449010516*c_1001_3^10 - 137416156573578271938646974310699727720241/382111741244544113361848\ 9829051496306694546*c_1001_3^9 + 6210943690040158924530688331906329\ 58356127/7642234824890882267236979658102992613389092*c_1001_3^8 - 441567014550567439165903999667140533921959/191055870622272056680924\ 4914525748153347273*c_1001_3^7 + 1104738056234671771803435683662041\ 737827329/3821117412445441133618489829051496306694546*c_1001_3^6 - 3919591811575026375545365779548902181291871/76422348248908822672369\ 79658102992613389092*c_1001_3^5 + 431299522364064592283300514174547\ 021287653/3821117412445441133618489829051496306694546*c_1001_3^4 - 3216691971179845746336113162370557083675583/38211174124454411336184\ 89829051496306694546*c_1001_3^3 + 115839286068692872614703437956564\ 5761746943/7642234824890882267236979658102992613389092*c_1001_3^2 + 6753831828914197775702544451002302551401783/76422348248908822672369\ 79658102992613389092*c_1001_3 + 49145937812839598724948743122985684\ 80916541/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