Magma V2.19-8 Wed Aug 21 2013 00:25:04 on localhost [Seed = 2160497558] Type ? for help. Type -D to quit. Loading file "K14n14025__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14025 geometric_solution 11.26336743 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 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 -1 1 0 0 0 -1 1 0 0 0 0 20 0 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.869264075028 0.770341713608 0 5 7 6 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 -20 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.148027732163 1.347629423128 8 0 10 9 0132 0132 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 1 -1 0 1 0 -1 0 -20 0 0 20 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.084819784707 0.734552655003 5 4 11 0 3201 0321 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 1 -1 -1 0 0 1 -20 0 0 20 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.941635223223 0.497700798769 11 9 0 3 2103 0132 0132 0321 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 -1 1 20 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.281529531968 1.144378891657 8 1 11 3 1023 0132 0213 2310 0 0 0 0 0 0 1 -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 1 -21 20 1 0 0 -1 -1 0 0 1 0 -20 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.869264075028 0.770341713608 7 9 1 10 1230 3012 0132 2310 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 -1 1 -20 0 0 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.215499504331 0.545942267161 11 6 12 1 0132 3012 0132 0132 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 -20 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.301155207720 0.389098013461 2 5 10 12 0132 1023 1023 2310 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 1 0 -1 0 1 0 -1 1 0 0 20 0 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.084819784707 0.734552655003 6 4 2 12 1230 0132 0132 3201 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 0 20 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417255991070 0.581941942636 6 12 8 2 3201 3201 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 -1 1 -1 0 0 1 -20 0 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.282975856814 1.714190208761 7 5 4 3 0132 0213 2103 0132 0 0 0 0 0 -1 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 0 21 -20 -1 0 0 0 0 0 0 0 0 20 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565865910113 0.387672602326 8 9 10 7 3201 2310 2310 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.609381649513 1.025494728234 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_4'], 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_1001_12']), 'c_1001_7' : negation(d['c_0011_6']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : negation(d['c_1001_12']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : negation(d['c_0011_6']), 'c_1010_11' : d['c_0011_3'], 'c_1010_10' : negation(d['c_1001_12']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0011_11'], '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_12']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_12']), 'c_1100_11' : d['c_0011_3'], 'c_1100_10' : negation(d['c_0011_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_12'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_1001_12']), 'c_1010_9' : negation(d['c_1001_12']), 'c_1010_8' : negation(d['c_0101_3']), '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_10'], 's_1_7' : 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' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : negation(d['c_0101_12']), 'c_0110_12' : d['c_0101_3'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_12']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_12']), 'c_0101_8' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : negation(d['c_0101_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_12']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_11']), 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 44129925910495219417088/9912150869319346945*c_1001_12^11 + 8072577597242812137472/21806731912502563279*c_1001_12^10 - 1860677234862871608819712/109033659562512816395*c_1001_12^9 - 125832980507622203981824/109033659562512816395*c_1001_12^8 + 27947162926175843647488/948118778804459273*c_1001_12^7 + 62467478892301749714944/9912150869319346945*c_1001_12^6 - 608236999999285234794496/21806731912502563279*c_1001_12^5 - 148743415519533029326848/21806731912502563279*c_1001_12^4 + 471423942558601511043072/109033659562512816395*c_1001_12^3 - 58549813884524744704/47969053921035115*c_1001_12^2 - 1009564852140002399635456/109033659562512816395*c_1001_12 - 1064035812352257356325888/109033659562512816395, c_0011_0 - 1, c_0011_10 - 3481636864/7102945433*c_1001_12^11 + 114351255808/78132399763*c_1001_12^10 - 175151360/7102945433*c_1001_12^9 - 238454354560/78132399763*c_1001_12^8 + 10893161472/78132399763*c_1001_12^7 + 399688520368/78132399763*c_1001_12^6 - 127252261104/78132399763*c_1001_12^5 - 205653384964/78132399763*c_1001_12^4 + 4463320608/7102945433*c_1001_12^3 + 7064590633/78132399763*c_1001_12^2 + 17416740554/78132399763*c_1001_12 - 95904795762/78132399763, c_0011_11 - 47467773952/78132399763*c_1001_12^11 + 76740968448/78132399763*c_1001_12^10 + 114472587264/78132399763*c_1001_12^9 - 191196311296/78132399763*c_1001_12^8 - 17787023360/7102945433*c_1001_12^7 + 278676466176/78132399763*c_1001_12^6 + 155267293184/78132399763*c_1001_12^5 - 166852148928/78132399763*c_1001_12^4 - 41568052928/78132399763*c_1001_12^3 + 28568642160/78132399763*c_1001_12^2 + 81856843987/78132399763*c_1001_12 - 44665486784/78132399763, c_0011_12 - 2048/25003*c_1001_12^11 + 9728/25003*c_1001_12^10 - 7936/25003*c_1001_12^9 - 8256/25003*c_1001_12^8 + 512/2273*c_1001_12^7 + 14752/25003*c_1001_12^6 - 15392/25003*c_1001_12^5 + 6884/25003*c_1001_12^4 - 4992/25003*c_1001_12^3 + 7747/25003*c_1001_12^2 - 3156/25003*c_1001_12 - 33633/100012, c_0011_3 + 13127680/7102945433*c_1001_12^11 + 34840679424/78132399763*c_1001_12^10 - 57755752448/78132399763*c_1001_12^9 - 60180038656/78132399763*c_1001_12^8 + 9973080064/7102945433*c_1001_12^7 + 99765835200/78132399763*c_1001_12^6 - 149003167552/78132399763*c_1001_12^5 - 50150783400/78132399763*c_1001_12^4 + 53494224448/78132399763*c_1001_12^3 - 11353280232/78132399763*c_1001_12^2 + 936542104/7102945433*c_1001_12 - 27458765272/78132399763, c_0011_4 + 18194579456/78132399763*c_1001_12^11 - 67004813312/78132399763*c_1001_12^10 + 2278100224/7102945433*c_1001_12^9 + 103688444928/78132399763*c_1001_12^8 - 2139743744/7102945433*c_1001_12^7 - 165650868736/78132399763*c_1001_12^6 + 83783544512/78132399763*c_1001_12^5 + 45276472768/78132399763*c_1001_12^4 - 755493360/78132399763*c_1001_12^3 + 52458116352/78132399763*c_1001_12^2 + 3780158048/78132399763*c_1001_12 + 70703971271/78132399763, c_0011_6 + 37958176768/78132399763*c_1001_12^11 - 73541670144/78132399763*c_1001_12^10 - 65546016000/78132399763*c_1001_12^9 + 152534799552/78132399763*c_1001_12^8 + 142657315968/78132399763*c_1001_12^7 - 245847502048/78132399763*c_1001_12^6 - 97431131984/78132399763*c_1001_12^5 + 121089296972/78132399763*c_1001_12^4 + 37370018736/78132399763*c_1001_12^3 - 35190233808/78132399763*c_1001_12^2 - 73722993862/78132399763*c_1001_12 + 37566589338/78132399763, c_0101_0 + 23589482496/78132399763*c_1001_12^11 - 73211163648/78132399763*c_1001_12^10 + 519458816/78132399763*c_1001_12^9 + 155778194304/78132399763*c_1001_12^8 - 1079568384/7102945433*c_1001_12^7 - 239104068288/78132399763*c_1001_12^6 + 71369520960/78132399763*c_1001_12^5 + 133576857864/78132399763*c_1001_12^4 - 32710197984/78132399763*c_1001_12^3 - 2931040848/78132399763*c_1001_12^2 - 12164185256/78132399763*c_1001_12 + 21450617565/156264799526, c_0101_1 - 28984385536/78132399763*c_1001_12^11 + 79417513984/78132399763*c_1001_12^10 + 24020184832/78132399763*c_1001_12^9 - 207867943680/78132399763*c_1001_12^8 + 19393024/7102945433*c_1001_12^7 + 312557267840/78132399763*c_1001_1\ 2^6 - 58955497408/78132399763*c_1001_12^5 - 221877242960/78132399763*c_1001_12^4 + 64664902608/78132399763*c_1001_12^3 + 58320198048/78132399763*c_1001_12^2 + 28108528560/78132399763*c_1001_12 - 107011445820/78132399763, c_0101_12 - 32185344/34374131*c_1001_12^11 + 59806464/34374131*c_1001_12^10 + 31828352/34374131*c_1001_12^9 - 93503424/34374131*c_1001_12^8 - 6641472/3124921*c_1001_12^7 + 149249952/34374131*c_1001_12^6 + 14081736/34374131*c_1001_12^5 - 39106956/34374131*c_1001_12^4 - 34442470/34374131*c_1001_12^3 + 30824616/34374131*c_1001_12^2 + 101406517/68748262*c_1001_12 - 17408563/34374131, c_0101_3 + 23733886976/78132399763*c_1001_12^11 - 38370484224/78132399763*c_1001_12^10 - 57236293632/78132399763*c_1001_12^9 + 95598155648/78132399763*c_1001_12^8 + 8893511680/7102945433*c_1001_12^7 - 139338233088/78132399763*c_1001_12^6 - 77633646592/78132399763*c_1001_12^5 + 83426074464/78132399763*c_1001_12^4 + 20784026464/78132399763*c_1001_12^3 - 14284321080/78132399763*c_1001_12^2 - 1862222112/78132399763*c_1001_12 + 22332743392/78132399763, c_1001_0 + 23733886976/78132399763*c_1001_12^11 - 38370484224/78132399763*c_1001_12^10 - 57236293632/78132399763*c_1001_12^9 + 95598155648/78132399763*c_1001_12^8 + 8893511680/7102945433*c_1001_12^7 - 139338233088/78132399763*c_1001_12^6 - 77633646592/78132399763*c_1001_12^5 + 83426074464/78132399763*c_1001_12^4 + 20784026464/78132399763*c_1001_12^3 - 14284321080/78132399763*c_1001_12^2 - 1862222112/78132399763*c_1001_12 + 22332743392/78132399763, c_1001_12^12 - 2*c_1001_12^11 - c_1001_12^10 + 7/2*c_1001_12^9 + 31/16*c_1001_12^8 - 43/8*c_1001_12^7 + 7/32*c_1001_12^6 + 7/4*c_1001_12^5 - 5/64*c_1001_12^4 - 75/128*c_1001_12^3 - 303/256*c_1001_12^2 + 441/512*c_1001_12 + 641/4096 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.790 Total time: 4.990 seconds, Total memory usage: 64.12MB