Magma V2.19-8 Tue Aug 20 2013 16:18:51 on localhost [Seed = 2614757093] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3012 geometric_solution 6.18403635 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 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 1 0 -1 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.429242454879 1.028968171438 0 2 4 3 0132 3201 0132 0132 0 0 0 0 0 0 0 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 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.226361403381 0.493112421985 5 6 1 0 0132 0132 2310 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 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.522410175719 1.387613947668 3 5 1 3 3201 1230 0132 2310 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 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.259100146967 1.154612494803 6 5 5 1 0213 2310 3012 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.238860494020 0.943936850180 2 4 3 4 0132 1230 3012 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 1 -1 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.568574258575 0.395623456028 4 2 6 6 0213 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.295103085969 0.837221397455 ==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' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : negation(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_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_2']), '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_2'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], '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_2, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 197718262361248832075369136087227426255/997062134209619758036183300\ 22167922044*c_0101_2^20 - 5868166275888137431002725900736199136999/\ 199412426841923951607236660044335844088*c_0101_2^19 - 5792310770117317408440450396290787135783/49853106710480987901809165\ 011083961022*c_0101_2^18 - 10190727535182074274051148925289147373/2\ 4926553355240493950904582505541980511*c_0101_2^17 + 32645053894094911266243867087097936213657/4985310671048098790180916\ 5011083961022*c_0101_2^16 + 119118774590284135553459310582986812534\ 763/199412426841923951607236660044335844088*c_0101_2^15 - 97088794671774170333290682193852680270719/1994124268419239516072366\ 60044335844088*c_0101_2^14 - 11967934138823481700722133535277616949\ 7389/199412426841923951607236660044335844088*c_0101_2^13 - 21464712123209938753817558676949210192914/2492655335524049395090458\ 2505541980511*c_0101_2^12 - 388238065542160053794113367878073005942\ 17/49853106710480987901809165011083961022*c_0101_2^11 + 42775873361584095187757938509716012696099/2492655335524049395090458\ 2505541980511*c_0101_2^10 - 570207187404256742997675878445828061671\ 07/99706213420961975803618330022167922044*c_0101_2^9 - 241943788654949224536743478628904808147255/498531067104809879018091\ 65011083961022*c_0101_2^8 + 611919492580549040242879035511395734637\ 31/24926553355240493950904582505541980511*c_0101_2^7 + 1515609964982233388479969528743694454609729/19941242684192395160723\ 6660044335844088*c_0101_2^6 - 2627558019083983559365991094589615032\ 45717/199412426841923951607236660044335844088*c_0101_2^5 - 462816671815085010387153164953015803874327/997062134209619758036183\ 30022167922044*c_0101_2^4 + 467812876186107006587454765296596829869\ 59/99706213420961975803618330022167922044*c_0101_2^3 + 218956076377222746246612323426522674332299/199412426841923951607236\ 660044335844088*c_0101_2^2 - 44752777240415057597105885510860132896\ 137/199412426841923951607236660044335844088*c_0101_2 - 2119418677411847809725961030950193272523/11730142755407291271013921\ 179078579064, c_0011_0 - 1, c_0011_2 - 13643577288097179516597020521527899/345004198688449743265115\ 328796428796*c_0101_2^20 - 200281197471804571299113352070048275/345\ 004198688449743265115328796428796*c_0101_2^19 - 384843997992988113773139620396721759/172502099344224871632557664398\ 214398*c_0101_2^18 + 21331417549740827730244933433291103/8625104967\ 2112435816278832199107199*c_0101_2^17 + 4352305400919609424171931672784644399/34500419868844974326511532879\ 6428796*c_0101_2^16 + 1699093739779607990213039409442675653/1725020\ 99344224871632557664398214398*c_0101_2^15 - 1587895862454172215758385357176996793/17250209934422487163255766439\ 8214398*c_0101_2^14 - 2914504958043985078763677738897961345/3450041\ 98688449743265115328796428796*c_0101_2^13 - 2857990556062452327335293570297664955/17250209934422487163255766439\ 8214398*c_0101_2^12 - 2455936978962451324553043451945356953/1725020\ 99344224871632557664398214398*c_0101_2^11 + 5729910046100455291361555252251624733/17250209934422487163255766439\ 8214398*c_0101_2^10 - 1697845039342622901294434333187456863/8625104\ 9672112435816278832199107199*c_0101_2^9 - 7682541976623491332287444756922384979/86251049672112435816278832199\ 107199*c_0101_2^8 + 20742301905955981345570733373508331173/34500419\ 8688449743265115328796428796*c_0101_2^7 + 10974396706978449827386588998013244253/8625104967211243581627883219\ 9107199*c_0101_2^6 - 13893683869465092871895799895160714147/3450041\ 98688449743265115328796428796*c_0101_2^5 - 11367583787395919361615047196827822433/1725020993442248716325576643\ 98214398*c_0101_2^4 + 6430172046275142929421347001041075281/3450041\ 98688449743265115328796428796*c_0101_2^3 + 1832048475630687134897525091486356851/17250209934422487163255766439\ 8214398*c_0101_2^2 - 506460261484255706720189897486787099/862510496\ 72112435816278832199107199*c_0101_2 - 576323999672972699205400135166864443/345004198688449743265115328796\ 428796, c_0011_3 + 10378161494668545211625216181354753/345004198688449743265115\ 328796428796*c_0101_2^20 + 72185135112240758671709931776514423/1725\ 02099344224871632557664398214398*c_0101_2^19 + 116892707243314448305981864672102565/862510496721124358162788321991\ 07199*c_0101_2^18 - 132883594120274005584177790914628645/8625104967\ 2112435816278832199107199*c_0101_2^17 - 3374964859170343319982600103105285417/34500419868844974326511532879\ 6428796*c_0101_2^16 - 294433829474941967704315293089332495/34500419\ 8688449743265115328796428796*c_0101_2^15 + 4671647039156264472401504659434922663/34500419868844974326511532879\ 6428796*c_0101_2^14 + 924148207671460224662117813297334703/17250209\ 9344224871632557664398214398*c_0101_2^13 + 865070213386335906835540721519111447/862510496721124358162788321991\ 07199*c_0101_2^12 + 16787754395187565846917460250733195/17250209934\ 4224871632557664398214398*c_0101_2^11 - 3038085846701618481048264937003827720/86251049672112435816278832199\ 107199*c_0101_2^10 + 2365030211805778202283609250734301396/86251049\ 672112435816278832199107199*c_0101_2^9 + 4673937506012720032970655588852488114/86251049672112435816278832199\ 107199*c_0101_2^8 - 31689775867657252750067874353776357335/34500419\ 8688449743265115328796428796*c_0101_2^7 - 26843395764562420056557340012823919215/3450041986884497432651153287\ 96428796*c_0101_2^6 + 14741208605702126851554160596438453869/172502\ 099344224871632557664398214398*c_0101_2^5 + 4134410329152798713618450473627400662/86251049672112435816278832199\ 107199*c_0101_2^4 - 11025278958772611368703042220311938911/34500419\ 8688449743265115328796428796*c_0101_2^3 - 1706931706145541186013383841537452733/34500419868844974326511532879\ 6428796*c_0101_2^2 + 1893372358077115012383091539120795323/34500419\ 8688449743265115328796428796*c_0101_2 + 28832975224192062684650164818632616/8625104967211243581627883219910\ 7199, c_0011_4 + 1225753281078449695246101764947389/3450041986884497432651153\ 28796428796*c_0101_2^20 + 14643221614878817331516676083807209/34500\ 4198688449743265115328796428796*c_0101_2^19 + 10262381944239084102897047606410929/1725020993442248716325576643982\ 14398*c_0101_2^18 - 94439158785931509794344513535045575/17250209934\ 4224871632557664398214398*c_0101_2^17 - 344966523920050484689282298892496779/345004198688449743265115328796\ 428796*c_0101_2^16 + 363173781543228016872594781864022631/172502099\ 344224871632557664398214398*c_0101_2^15 + 223447714022056983656809768659313629/862510496721124358162788321991\ 07199*c_0101_2^14 - 552422398235642746538368914529636009/3450041986\ 88449743265115328796428796*c_0101_2^13 + 111420153757204902778319866630743943/172502099344224871632557664398\ 214398*c_0101_2^12 - 177770261040453552696252014618807149/862510496\ 72112435816278832199107199*c_0101_2^11 - 476577184686413496635060425298029768/862510496721124358162788321991\ 07199*c_0101_2^10 + 880978822803229456734075259062447993/8625104967\ 2112435816278832199107199*c_0101_2^9 + 57568804943865016628311390544774715/1725020993442248716325576643982\ 14398*c_0101_2^8 - 9157586386926360422616168023552958593/3450041986\ 88449743265115328796428796*c_0101_2^7 + 583409893483151901182556236421636155/862510496721124358162788321991\ 07199*c_0101_2^6 + 9660681224094578726156507191468817563/3450041986\ 88449743265115328796428796*c_0101_2^5 - 1930244345344028464324941685895391355/17250209934422487163255766439\ 8214398*c_0101_2^4 - 4417971739320393169500965623541774759/34500419\ 8688449743265115328796428796*c_0101_2^3 + 1303094708254344364379481145769990207/17250209934422487163255766439\ 8214398*c_0101_2^2 + 174060799958467219993642136275688679/862510496\ 72112435816278832199107199*c_0101_2 - 209076153387825073807037757941085017/345004198688449743265115328796\ 428796, c_0101_0 + 12542045661311082045104647064398115/345004198688449743265115\ 328796428796*c_0101_2^20 + 184042291873884963201082108303514669/345\ 004198688449743265115328796428796*c_0101_2^19 + 177616484537676041182523215712997055/862510496721124358162788321991\ 07199*c_0101_2^18 - 12228276194817265901403717402742367/17250209934\ 4224871632557664398214398*c_0101_2^17 - 3772722375183971525470742814321281015/34500419868844974326511532879\ 6428796*c_0101_2^16 - 1531960971288006494790661540054597939/1725020\ 99344224871632557664398214398*c_0101_2^15 + 471370035806738937092581602859980979/862510496721124358162788321991\ 07199*c_0101_2^14 + 1628185183902850064488767943902623299/345004198\ 688449743265115328796428796*c_0101_2^13 + 1280156390365957787133790255542023375/86251049672112435816278832199\ 107199*c_0101_2^12 + 1148603580294837307957493275795193950/86251049\ 672112435816278832199107199*c_0101_2^11 - 4407739701708272504106930230625340959/17250209934422487163255766439\ 8214398*c_0101_2^10 + 3924199147094981823247482780032165149/1725020\ 99344224871632557664398214398*c_0101_2^9 + 13338337486187621115745393171476973771/1725020993442248716325576643\ 98214398*c_0101_2^8 - 16375693606546020728507196802688218661/345004\ 198688449743265115328796428796*c_0101_2^7 - 8282127157192459953336157477853025317/86251049672112435816278832199\ 107199*c_0101_2^6 + 10669544434411043214743405189515259497/34500419\ 8688449743265115328796428796*c_0101_2^5 + 7000269823006032917373080553350263603/17250209934422487163255766439\ 8214398*c_0101_2^4 - 6307612175229595114432689058714948865/34500419\ 8688449743265115328796428796*c_0101_2^3 - 434538651785567325997825113380704693/862510496721124358162788321991\ 07199*c_0101_2^2 + 344480036999746293154000189881059774/86251049672\ 112435816278832199107199*c_0101_2 + 135108262284291777685429411366439705/345004198688449743265115328796\ 428796, c_0101_1 + 7842112538628644555435353824958561/3450041986884497432651153\ 28796428796*c_0101_2^20 + 112298825017086340780583329398180203/3450\ 04198688449743265115328796428796*c_0101_2^19 + 200519041605842775510427620965652211/172502099344224871632557664398\ 214398*c_0101_2^18 - 52622242680191716519090099110277452/8625104967\ 2112435816278832199107199*c_0101_2^17 - 2522466716553553254997596353980487065/34500419868844974326511532879\ 6428796*c_0101_2^16 - 301294226021794401848952037701018628/86251049\ 672112435816278832199107199*c_0101_2^15 + 632207450459833629050677422583021585/862510496721124358162788321991\ 07199*c_0101_2^14 + 1780458859791537509562262204238329133/345004198\ 688449743265115328796428796*c_0101_2^13 + 1637575567807026218247842994827029029/17250209934422487163255766439\ 8214398*c_0101_2^12 + 721022537005256090949955560817144943/17250209\ 9344224871632557664398214398*c_0101_2^11 - 3884168524045401320510697465599441857/17250209934422487163255766439\ 8214398*c_0101_2^10 + 1279689879608605282069061321131878596/8625104\ 9672112435816278832199107199*c_0101_2^9 + 3852866982280931679083095427708502749/86251049672112435816278832199\ 107199*c_0101_2^8 - 16676415057027083834634423105388629519/34500419\ 8688449743265115328796428796*c_0101_2^7 - 11489704451718020616880696746208548925/1725020993442248716325576643\ 98214398*c_0101_2^6 + 12177815783531814713367939007017050011/345004\ 198688449743265115328796428796*c_0101_2^5 + 6618735157114132570918931255420597457/17250209934422487163255766439\ 8214398*c_0101_2^4 - 3312435710951942954239918983003241923/34500419\ 8688449743265115328796428796*c_0101_2^3 - 516014971898069942806249168768711534/862510496721124358162788321991\ 07199*c_0101_2^2 + 257429959648750416353733124333538865/17250209934\ 4224871632557664398214398*c_0101_2 + 420554781269867090924988723620425823/345004198688449743265115328796\ 428796, c_0101_2^21 + 15*c_0101_2^20 + 61*c_0101_2^19 + 10*c_0101_2^18 - 329*c_0101_2^17 - 356*c_0101_2^16 + 189*c_0101_2^15 + 344*c_0101_2^14 + 491*c_0101_2^13 + 464*c_0101_2^12 - 790*c_0101_2^11 + 146*c_0101_2^10 + 2468*c_0101_2^9 - 807*c_0101_2^8 - 4006*c_0101_2^7 - 34*c_0101_2^6 + 2421*c_0101_2^5 + 199*c_0101_2^4 - 588*c_0101_2^3 + 9*c_0101_2^2 + 112*c_0101_2 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB