Magma V2.19-8 Tue Aug 20 2013 16:17:12 on localhost [Seed = 3120047462] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1440 geometric_solution 5.26535554 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 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 0 0 0 0 -0.242361542909 0.144554596429 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 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 -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 2.249232224597 1.722805931336 3 1 1 4 0132 3201 0132 0132 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 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 0 0 0 0 0.487961928539 0.555841712976 2 5 4 6 0132 0132 3201 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 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.049381992041 1.091208854227 3 6 2 5 2310 0132 0132 2310 0 0 0 0 0 -1 1 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 -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.049381992041 1.091208854227 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.414668533077 0.347034150591 6 4 3 6 3201 0132 0132 2310 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 0.041387036919 0.914541906259 ==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' : negation(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' : negation(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_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], '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' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 2436534601751388075220357441472/2142561255361299030432390911*c_0110\ _5^25 + 14335628579229504134711221538763/21425612553612990304323909\ 11*c_0110_5^23 - 139649017139387763517777964454010/2142561255361299\ 030432390911*c_0110_5^21 + 2834483635334287637226082361319602/21425\ 61255361299030432390911*c_0110_5^19 - 17771035392304839475461965583193408/2142561255361299030432390911*c_\ 0110_5^17 + 67524683458299137874794980256832305/2142561255361299030\ 432390911*c_0110_5^15 - 84513978944702216589684454992190835/2142561\ 255361299030432390911*c_0110_5^13 + 37053914319895508864920061796646987/2142561255361299030432390911*c_\ 0110_5^11 - 23151391953331973827255258853931060/2142561255361299030\ 432390911*c_0110_5^9 - 893447088604380255501910581557377/2142561255\ 361299030432390911*c_0110_5^7 + 1645007153402851646315505244234854/\ 2142561255361299030432390911*c_0110_5^5 + 33688955699426322140961882520193/2142561255361299030432390911*c_011\ 0_5^3 - 20830837853236347681290500598908/21425612553612990304323909\ 11*c_0110_5, c_0011_0 - 1, c_0011_2 - 3235394618496666584018456924/2142561255361299030432390911*c_\ 0110_5^24 + 19051864738157973582236505757/2142561255361299030432390\ 911*c_0110_5^22 - 185532740649927281072418175167/214256125536129903\ 0432390911*c_0110_5^20 + 3764755112473126916408088676899/2142561255\ 361299030432390911*c_0110_5^18 - 23616417665585084602125840768543/2\ 142561255361299030432390911*c_0110_5^16 + 89784294399915798764410130388894/2142561255361299030432390911*c_011\ 0_5^14 - 112689280388187383819041774614634/214256125536129903043239\ 0911*c_0110_5^12 + 49839153121035290045645484270328/214256125536129\ 9030432390911*c_0110_5^10 - 31083215182742546842940056709830/214256\ 1255361299030432390911*c_0110_5^8 - 985884756353023525419433573999/2142561255361299030432390911*c_0110_\ 5^6 + 2151325290158951263378315831513/2142561255361299030432390911*\ c_0110_5^4 + 35509247737780861741450618604/214256125536129903043239\ 0911*c_0110_5^2 - 28438122941039628509352341963/2142561255361299030\ 432390911, c_0011_4 + 12883484217267769316292706608/2142561255361299030432390911*c\ _0110_5^25 - 75793031154324847309491904739/214256125536129903043239\ 0911*c_0110_5^23 + 738351305613822191499174827710/21425612553612990\ 30432390911*c_0110_5^21 - 14987139267295491074004653300795/21425612\ 55361299030432390911*c_0110_5^19 + 93956151865129920616355522733858/2142561255361299030432390911*c_011\ 0_5^17 - 356970913877328401307715290464146/214256125536129903043239\ 0911*c_0110_5^15 + 446560598137726146803812037495452/21425612553612\ 99030432390911*c_0110_5^13 - 195303305353719369565946332240267/2142\ 561255361299030432390911*c_0110_5^11 + 121802166957073103297011506990058/2142561255361299030432390911*c_01\ 10_5^9 + 5102973498992408619086321212183/21425612553612990304323909\ 11*c_0110_5^7 - 8859044221485457319544417352679/2142561255361299030\ 432390911*c_0110_5^5 - 148968959749289479495889865977/2142561255361\ 299030432390911*c_0110_5^3 + 118191790960466782105303476234/2142561\ 255361299030432390911*c_0110_5, c_0101_0 - 32356947857593914491311994866/2142561255361299030432390911*c\ _0110_5^25 + 190309128316136693631560548979/21425612553612990304323\ 90911*c_0110_5^23 - 1854145181989315265647510694373/214256125536129\ 9030432390911*c_0110_5^21 + 37637912501416549753496975328904/214256\ 1255361299030432390911*c_0110_5^19 - 235920735578723232212242524167071/2142561255361299030432390911*c_01\ 10_5^17 + 896248302038125691615486718899978/21425612553612990304323\ 90911*c_0110_5^15 - 1120565105916876764864186958907878/214256125536\ 1299030432390911*c_0110_5^13 + 490019822344115210761207550588739/21\ 42561255361299030432390911*c_0110_5^11 - 306598505566651672785638142954721/2142561255361299030432390911*c_01\ 10_5^9 - 12597717539644616868272022579850/2142561255361299030432390\ 911*c_0110_5^7 + 21811046332162882648053107632403/21425612553612990\ 30432390911*c_0110_5^5 + 410075947140652040843865840037/21425612553\ 61299030432390911*c_0110_5^3 - 281726457165940529918843256907/21425\ 61255361299030432390911*c_0110_5, c_0101_1 - 13495358849541964055719051298/2142561255361299030432390911*c\ _0110_5^24 + 79413850250702500715108256028/214256125536129903043239\ 0911*c_0110_5^22 - 773560060099789513243227663095/21425612553612990\ 30432390911*c_0110_5^20 + 15700241997115152961639209411973/21425612\ 55361299030432390911*c_0110_5^18 - 98444070364772251891579587175627/2142561255361299030432390911*c_011\ 0_5^16 + 374099621318248151814582030179320/214256125536129903043239\ 0911*c_0110_5^14 - 468486421326520125684632636824212/21425612553612\ 99030432390911*c_0110_5^12 + 205813005389270013652080689353287/2142\ 561255361299030432390911*c_0110_5^10 - 128562749337537832409136475916358/2142561255361299030432390911*c_01\ 10_5^8 - 4813969461620223587893217647045/21425612553612990304323909\ 11*c_0110_5^6 + 9082758560566284537051302927791/2142561255361299030\ 432390911*c_0110_5^4 + 154608743287504585084417626009/2142561255361\ 299030432390911*c_0110_5^2 - 115699258289633644488456884699/2142561\ 255361299030432390911, c_0101_3 + 6393049697297719062339577465/2142561255361299030432390911*c_\ 0110_5^24 - 37643628106049347931912957084/2142561255361299030432390\ 911*c_0110_5^22 + 366594333497024933052720438612/214256125536129903\ 0432390911*c_0110_5^20 - 7438921002908627441281195144945/2142561255\ 361299030432390911*c_0110_5^18 + 46662706125243985966807263476856/2\ 142561255361299030432390911*c_0110_5^16 - 177394875251873072871468708490222/2142561255361299030432390911*c_01\ 10_5^14 + 222610133428414054158762908380537/21425612553612990304323\ 90911*c_0110_5^12 - 98414182553407922071442722470416/21425612553612\ 99030432390911*c_0110_5^10 + 61401915891297327110528425377558/21425\ 61255361299030432390911*c_0110_5^8 + 1970053536885676624496774368090/2142561255361299030432390911*c_0110\ _5^6 - 4254793246323449363933569386134/2142561255361299030432390911\ *c_0110_5^4 - 69646906794830124297449924793/21425612553612990304323\ 90911*c_0110_5^2 + 54410682693387666014023206895/214256125536129903\ 0432390911, c_0110_5^26 - 6*c_0110_5^24 + 58*c_0110_5^22 - 1170*c_0110_5^20 + 7429*c_0110_5^18 - 28563*c_0110_5^16 + 37916*c_0110_5^14 - 19261*c_0110_5^12 + 11290*c_0110_5^10 - 745*c_0110_5^8 - 713*c_0110_5^6 + 66*c_0110_5^4 + 10*c_0110_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB