Magma V2.19-8 Tue Aug 20 2013 23:57:08 on localhost [Seed = 3516381499] Type ? for help. Type -D to quit. Loading file "L14n29777__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n29777 geometric_solution 11.66985311 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 3012 0132 1 1 1 0 0 -1 0 1 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 5 1 -6 -1 0 0 1 -1 0 0 1 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434489107987 0.817485478977 0 0 5 4 0132 1230 0132 0132 1 1 0 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 0 0 0 0 0 0 0 1 0 -1 0 2 -1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572330161634 0.827343209343 4 0 6 4 0132 0132 0132 2031 1 1 0 1 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 -5 5 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.452633137623 1.148209839796 7 8 0 9 0132 0132 0132 0132 1 1 1 1 0 1 -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 0 0 0 0 -6 6 0 6 0 -1 -5 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.583234482797 1.394946374748 2 2 1 7 0132 1302 0132 3201 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 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 0 0 0 0 0 0 0 0 0 0.702852850480 0.753783257536 9 10 8 1 0321 0132 3201 0132 1 1 1 1 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 -1 1 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350565060587 1.180314579082 10 10 11 2 0132 2310 0132 0132 1 1 1 1 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 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.060938186195 0.702602720227 3 4 11 9 0132 2310 0321 0321 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378798322997 0.838671290864 5 3 11 11 2310 0132 0213 2310 1 1 1 1 0 -1 0 1 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 6 0 -6 0 0 6 -6 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.352683366473 0.438818975924 5 7 3 10 0321 0321 0132 3012 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582137171141 0.834733319620 6 5 9 6 0132 0132 1230 3201 1 1 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 0 0 0 0 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472641372622 1.015920041161 8 8 7 6 3201 0213 0321 0132 1 1 1 1 0 0 0 0 0 0 0 0 -1 1 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 6 -6 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.317560480374 0.756859756139 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_6']), 'c_1001_9' : d['c_1001_11'], 'c_1001_8' : d['c_1001_11'], 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_1001_1']), 'c_1100_8' : d['c_0011_11'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : d['c_1001_7'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_1001_7'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_7'], 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_7']), 'c_1010_3' : d['c_1001_11'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : negation(d['c_0101_6']), 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : negation(d['c_0101_6']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_10']), '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_6'], 'c_0110_10' : d['c_0101_6'], 'c_0110_0' : negation(d['c_0011_9']), 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_9']), 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : negation(d['c_0011_9']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0101_11']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_9']), 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_6, c_1001_1, c_1001_11, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 59656196264695588439767338661/2995076823967552723513827485600*c_100\ 1_7^10 - 2185083277778754708884513871/37438460299594409043922843570\ *c_1001_7^9 - 21202955436204240958426049243/18719230149797204521961\ 4217850*c_1001_7^8 + 1046431707667213584530382945837/29950768239675\ 52723513827485600*c_1001_7^7 + 287397155577647438483143349869/14975\ 38411983776361756913742800*c_1001_7^6 - 49446807377623518217683975809/119803072958702108940553099424*c_1001\ _7^5 - 3101171786870122003598291674113/2995076823967552723513827485\ 600*c_1001_7^4 + 1899281178051798982999129654161/299507682396755272\ 3513827485600*c_1001_7^3 + 5938551528314770135330805059689/14975384\ 11983776361756913742800*c_1001_7^2 - 3057925919417732570382354998513/748769205991888180878456871400*c_10\ 01_7 + 1169091765335109727123515655989/2995076823967552723513827485\ 600, c_0011_0 - 1, c_0011_10 - 4456136200012406845/66482211724709721547982*c_1001_7^10 - 42381030258056266858/33241105862354860773991*c_1001_7^9 - 33520419197321888498/33241105862354860773991*c_1001_7^8 + 1199038004396861432615/66482211724709721547982*c_1001_7^7 + 1185953725701328811859/33241105862354860773991*c_1001_7^6 - 6889165973939447660759/66482211724709721547982*c_1001_7^5 - 8907446875164746941719/66482211724709721547982*c_1001_7^4 + 5423138988120709013793/66482211724709721547982*c_1001_7^3 + 9780617654190654016653/33241105862354860773991*c_1001_7^2 + 14340177525431266623854/33241105862354860773991*c_1001_7 - 77663400771436791898617/66482211724709721547982, c_0011_11 + 398772148854107179593/66482211724709721547982*c_1001_7^10 - 432537542090638794475/33241105862354860773991*c_1001_7^9 - 1197557902913592999169/33241105862354860773991*c_1001_7^8 + 4412161389244210211435/66482211724709721547982*c_1001_7^7 + 1841307968358452715714/33241105862354860773991*c_1001_7^6 - 4924587471828744522831/66482211724709721547982*c_1001_7^5 - 9058673628517987292855/66482211724709721547982*c_1001_7^4 + 10148001066834844238017/66482211724709721547982*c_1001_7^3 + 34101939007401285103727/33241105862354860773991*c_1001_7^2 - 31648705672101692820160/33241105862354860773991*c_1001_7 + 5267063846244519031207/66482211724709721547982, c_0011_3 - 420670493060709030399/66482211724709721547982*c_1001_7^10 + 435739744851084927324/33241105862354860773991*c_1001_7^9 + 1231711169236127949052/33241105862354860773991*c_1001_7^8 - 2830214946454247687811/66482211724709721547982*c_1001_7^7 - 1908844497968660007794/33241105862354860773991*c_1001_7^6 - 6588912460955189465505/66482211724709721547982*c_1001_7^5 + 12256671170266624545679/66482211724709721547982*c_1001_7^4 + 11954820645231399979567/66482211724709721547982*c_1001_7^3 - 23248948759644802054600/33241105862354860773991*c_1001_7^2 + 237724486053788520818/33241105862354860773991*c_1001_7 - 56273591663932953095373/66482211724709721547982, c_0011_9 + 1, c_0101_0 + 1153227175801277463315/132964423449419443095964*c_1001_7^10 - 275139071037293925181/33241105862354860773991*c_1001_7^9 - 2258718727545348139583/33241105862354860773991*c_1001_7^8 + 1666932007559887630219/132964423449419443095964*c_1001_7^7 + 10562143195704881390673/66482211724709721547982*c_1001_7^6 + 24886798720107737592013/132964423449419443095964*c_1001_7^5 - 43645761140403051086499/132964423449419443095964*c_1001_7^4 - 66824401609121158144461/132964423449419443095964*c_1001_7^3 + 76448498453130610476541/66482211724709721547982*c_1001_7^2 + 4576963767665700275362/33241105862354860773991*c_1001_7 + 75318727584603032767735/132964423449419443095964, c_0101_10 + 187088061824984249137/33241105862354860773991*c_1001_7^10 - 281690250874003842964/33241105862354860773991*c_1001_7^9 - 1178657958846094386922/33241105862354860773991*c_1001_7^8 + 741672316843423762220/33241105862354860773991*c_1001_7^7 + 2790842601687493670131/33241105862354860773991*c_1001_7^6 + 1927676820348444916536/33241105862354860773991*c_1001_7^5 - 9150716735621512553230/33241105862354860773991*c_1001_7^4 - 1753962868681216374265/33241105862354860773991*c_1001_7^3 + 26292757624136169632556/33241105862354860773991*c_1001_7^2 - 26046091107145339083657/33241105862354860773991*c_1001_7 + 7228131459458467099939/33241105862354860773991, c_0101_11 - 119344304683629465700/33241105862354860773991*c_1001_7^10 + 84096417870091541295/33241105862354860773991*c_1001_7^9 + 1024439487328855308697/33241105862354860773991*c_1001_7^8 - 44556998863235663377/33241105862354860773991*c_1001_7^7 - 2472218014672063371743/33241105862354860773991*c_1001_7^6 - 3141731911608393644805/33241105862354860773991*c_1001_7^5 + 4123209646437688288470/33241105862354860773991*c_1001_7^4 + 10096030731156789804692/33241105862354860773991*c_1001_7^3 - 7940054676928777427280/33241105862354860773991*c_1001_7^2 - 22760221238873921256509/33241105862354860773991*c_1001_7 - 31638698569939834923329/33241105862354860773991, c_0101_6 + 74112724606112793055/66482211724709721547982*c_1001_7^10 - 62780761709797413360/33241105862354860773991*c_1001_7^9 - 573808569376676517558/33241105862354860773991*c_1001_7^8 + 2225762929764362006501/66482211724709721547982*c_1001_7^7 + 2161977192081087336631/33241105862354860773991*c_1001_7^6 - 2676204075737976505545/66482211724709721547982*c_1001_7^5 - 12117189582194717862119/66482211724709721547982*c_1001_7^4 - 18167967806224547407663/66482211724709721547982*c_1001_7^3 + 16265302833065365984855/33241105862354860773991*c_1001_7^2 - 7685345023167801307076/33241105862354860773991*c_1001_7 - 29429832023450140221831/66482211724709721547982, c_1001_1 - 187088061824984249137/33241105862354860773991*c_1001_7^10 + 281690250874003842964/33241105862354860773991*c_1001_7^9 + 1178657958846094386922/33241105862354860773991*c_1001_7^8 - 741672316843423762220/33241105862354860773991*c_1001_7^7 - 2790842601687493670131/33241105862354860773991*c_1001_7^6 - 1927676820348444916536/33241105862354860773991*c_1001_7^5 + 9150716735621512553230/33241105862354860773991*c_1001_7^4 + 1753962868681216374265/33241105862354860773991*c_1001_7^3 - 26292757624136169632556/33241105862354860773991*c_1001_7^2 - 7195014755209521690334/33241105862354860773991*c_1001_7 + 26012974402896393674052/33241105862354860773991, c_1001_11 - 76483066209805594651/33241105862354860773991*c_1001_7^10 - 63018841607726934195/33241105862354860773991*c_1001_7^9 + 164191453934924691654/33241105862354860773991*c_1001_7^8 + 1807589586167508612487/33241105862354860773991*c_1001_7^7 + 1253698695467462035065/33241105862354860773991*c_1001_7^6 - 5061399494993983799218/33241105862354860773991*c_1001_7^5 - 4156769122678361964057/33241105862354860773991*c_1001_7^4 + 2339058550016742982323/33241105862354860773991*c_1001_7^3 + 2337218818674989992156/33241105862354860773991*c_1001_7^2 - 18635509733244633501045/33241105862354860773991*c_1001_7 - 24670016095010208446709/33241105862354860773991, c_1001_7^11 - 43/13*c_1001_7^10 - 64/13*c_1001_7^9 + 245/13*c_1001_7^8 + 103/13*c_1001_7^7 - 199/13*c_1001_7^6 - 58*c_1001_7^5 + 24*c_1001_7^4 + 2371/13*c_1001_7^3 - 3010/13*c_1001_7^2 + 1033/13*c_1001_7 - 2747/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.250 Total time: 0.460 seconds, Total memory usage: 32.09MB