Magma V2.19-8 Tue Aug 20 2013 16:14:57 on localhost [Seed = 4071845611] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s931 geometric_solution 5.83937742 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 1 0 0 -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 1 0 -1 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.615593298175 0.828246863149 0 3 5 4 0132 0132 0132 0132 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 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.661902321004 0.649227696212 3 0 4 5 3201 0132 3201 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 -1 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 0 0.661902321004 0.649227696212 4 1 4 2 1302 0132 2031 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 -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.358245267718 0.845226993894 2 3 1 3 2310 2031 0132 1302 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 -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.917549587827 0.743030692899 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.874054254712 0.755959183302 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : 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_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : 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_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_4']), '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 5078181995015561635456418571024823/57041822856302665928816252558619\ 90*c_0101_5^17 - 75907069912794095946778156714300357/85562734284453\ 99889322437883792985*c_0101_5^16 + 12110218122543150691008966355692824/2852091142815133296440812627930\ 995*c_0101_5^15 - 15174235382714273183188160283014270/1711254685689\ 079977864487576758597*c_0101_5^14 + 1566577668564833765532662792293997947/17112546856890799778644875767\ 585970*c_0101_5^13 - 10256956019989538375249139059354700244/8556273\ 428445399889322437883792985*c_0101_5^12 - 216755475697018775387367499606510496/171125468568907997786448757675\ 8597*c_0101_5^11 + 33404459047852422332086822559137093148/855627342\ 8445399889322437883792985*c_0101_5^10 + 1102837673472451260462475597487743601/17112546856890799778644875767\ 585970*c_0101_5^9 - 85375066440751121557619812565019231527/17112546\ 856890799778644875767585970*c_0101_5^8 + 11538117147509046509794292702593830044/8556273428445399889322437883\ 792985*c_0101_5^7 + 39387854347076169962561748478494238088/85562734\ 28445399889322437883792985*c_0101_5^6 - 29227360194423370760180382660172043/3933918817676045926125258797146\ 2*c_0101_5^5 - 1447835412815838384517325426776432108/57041822856302\ 6659288162525586199*c_0101_5^4 + 2844177075028457919636559260114653\ 11/1901394095210088864293875085287330*c_0101_5^3 + 2118421844487936494815816078143007436/28520911428151332964408126279\ 30995*c_0101_5^2 + 472037133123670653918543092689834967/17112546856\ 890799778644875767585970*c_0101_5 - 627676664004176138696751409661682403/855627342844539988932243788379\ 2985, c_0011_0 - 1, c_0011_4 - 9969461511552848158372569824135/3540526935908441333512732917\ 43158*c_0101_5^17 + 53785002860049999655626245875295/17702634679542\ 2066675636645871579*c_0101_5^16 - 133541405866139577181403740129829\ /354052693590844133351273291743158*c_0101_5^15 + 90906256942010444026435070250496/177026346795422066675636645871579*\ c_0101_5^14 - 1157258978755359509938371345915235/354052693590844133\ 351273291743158*c_0101_5^13 + 14339543750437033064596150316477789/3\ 54052693590844133351273291743158*c_0101_5^12 - 5058341103370867442757993794955857/17702634679542206667563664587157\ 9*c_0101_5^11 - 6518661916314223309443968484817583/5900878226514068\ 8891878881957193*c_0101_5^10 + 3530590850532232528350915167268313/3\ 9339188176760459261252587971462*c_0101_5^9 + 20165785275373947826733169390464626/1770263467954220666756366458715\ 79*c_0101_5^8 - 49639743501450329453687028302475595/354052693590844\ 133351273291743158*c_0101_5^7 - 11032200271729236194866525459220125\ /177026346795422066675636645871579*c_0101_5^6 + 1776375193038056722348047258205244/19669594088380229630626293985731\ *c_0101_5^5 + 1899314265826486878289901039882005/590087822651406888\ 91878881957193*c_0101_5^4 - 2171941706172954569671576178973422/5900\ 8782265140688891878881957193*c_0101_5^3 - 924380130770565562473652905687764/177026346795422066675636645871579\ *c_0101_5^2 + 208617608452210144693248684525865/3933918817676045926\ 1252587971462*c_0101_5 + 102800308060773430390189084468598/17702634\ 6795422066675636645871579, c_0101_0 - 19893437517267678557991190558577/354052693590844133351273291\ 743158*c_0101_5^17 + 208815387839563312590015715458937/354052693590\ 844133351273291743158*c_0101_5^16 - 101181579595136636436951663443008/177026346795422066675636645871579\ *c_0101_5^15 + 271812228144351951842673813630815/354052693590844133\ 351273291743158*c_0101_5^14 - 2184352405262787293035274832081151/35\ 4052693590844133351273291743158*c_0101_5^13 + 27913020142883625362282463078414455/3540526935908441333512732917431\ 58*c_0101_5^12 - 11657087518739167899419116579783591/35405269359084\ 4133351273291743158*c_0101_5^11 - 285555784146921619539862111448140\ 91/118017564530281377783757763914386*c_0101_5^10 + 14028921071070261245317676534936665/1180175645302813777837577639143\ 86*c_0101_5^9 + 51785668650086019759721284342417277/177026346795422\ 066675636645871579*c_0101_5^8 - 80312364334527064007422735876749769\ /354052693590844133351273291743158*c_0101_5^7 - 77064317970597244684828226961621383/3540526935908441333512732917431\ 58*c_0101_5^6 + 6388189121310329719955658308400883/3933918817676045\ 9261252587971462*c_0101_5^5 + 7091681336772234454494714322020124/59\ 008782265140688891878881957193*c_0101_5^4 - 7753325869644815062112463946074211/11801756453028137778375776391438\ 6*c_0101_5^3 - 11537944439851714294615153592991529/3540526935908441\ 33351273291743158*c_0101_5^2 + 1185670188604140232399393124485291/1\ 18017564530281377783757763914386*c_0101_5 + 494537459866555555172667565667249/177026346795422066675636645871579\ , c_0101_1 + 1819809086785454869974102147761/1966959408838022963062629398\ 5731*c_0101_5^17 - 57393197029697126437807296591974/590087822651406\ 88891878881957193*c_0101_5^16 + 12588820965884705018351202774805/13\ 113062725586819753750862657154*c_0101_5^15 - 77527454859101586000605420335694/59008782265140688891878881957193*c\ _0101_5^14 + 602299882298683181391821506427782/59008782265140688891\ 878881957193*c_0101_5^13 - 15345185868793284196387481053490557/1180\ 17564530281377783757763914386*c_0101_5^12 + 3342651967491288545103971223868453/59008782265140688891878881957193\ *c_0101_5^11 + 46369246254078130248457917735606575/1180175645302813\ 77783757763914386*c_0101_5^10 - 11862352849692736428490177262282719\ /59008782265140688891878881957193*c_0101_5^9 - 54835260925907456688548084392479199/1180175645302813777837577639143\ 86*c_0101_5^8 + 22190665187186156343664743091189297/590087822651406\ 88891878881957193*c_0101_5^7 + 19963018136560495543787944725226477/\ 59008782265140688891878881957193*c_0101_5^6 - 10365825442608379386864334667484989/3933918817676045926125258797146\ 2*c_0101_5^5 - 3624732945394907397070943862395567/19669594088380229\ 630626293985731*c_0101_5^4 + 4197099298782032222214926836131305/393\ 39188176760459261252587971462*c_0101_5^3 + 1928030515016635133083990885117207/39339188176760459261252587971462\ *c_0101_5^2 - 941776964411902350522884188033552/5900878226514068889\ 1878881957193*c_0101_5 - 583165253522969407471643221688761/11801756\ 4530281377783757763914386, c_0101_2 + 64085795468230966267291546083715/354052693590844133351273291\ 743158*c_0101_5^17 - 666615302240904749906062047076031/354052693590\ 844133351273291743158*c_0101_5^16 + 592679845684866509275762040575237/354052693590844133351273291743158\ *c_0101_5^15 - 858160586224066893857767320890377/354052693590844133\ 351273291743158*c_0101_5^14 + 6968213985565158772983506750174873/35\ 4052693590844133351273291743158*c_0101_5^13 - 44653198537561928119749909662370560/1770263467954220666756366458715\ 79*c_0101_5^12 + 29488540487879403399387764521929281/35405269359084\ 4133351273291743158*c_0101_5^11 + 151950552957934429940240055106197\ 52/19669594088380229630626293985731*c_0101_5^10 - 37032682411320221753948246494327507/1180175645302813777837577639143\ 86*c_0101_5^9 - 328325370020537587720146938694635827/35405269359084\ 4133351273291743158*c_0101_5^8 + 2302449121354060450663359938846132\ 93/354052693590844133351273291743158*c_0101_5^7 + 253514965109278153611436769187240487/354052693590844133351273291743\ 158*c_0101_5^6 - 2935266748446842904729215206428056/655653136279340\ 9876875431328577*c_0101_5^5 - 22963660310027701367621015401219361/5\ 9008782265140688891878881957193*c_0101_5^4 + 10574792265291066268860498194626504/5900878226514068889187888195719\ 3*c_0101_5^3 + 18996190619357107790261047253744632/1770263467954220\ 66675636645871579*c_0101_5^2 - 3200997695772015064920051951213157/1\ 18017564530281377783757763914386*c_0101_5 - 4004565056738909520506458009526213/35405269359084413335127329174315\ 8, c_0101_5^18 - 10*c_0101_5^17 + 5*c_0101_5^16 - 9*c_0101_5^15 + 103*c_0101_5^14 - 1349*c_0101_5^13 - 107*c_0101_5^12 + 4544*c_0101_5^11 - 12*c_0101_5^10 - 6094*c_0101_5^9 + 1534*c_0101_5^8 + 5706*c_0101_5^7 - 986*c_0101_5^6 - 3405*c_0101_5^5 + 156*c_0101_5^4 + 1115*c_0101_5^3 + 92*c_0101_5^2 - 146*c_0101_5 - 29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB