Magma V2.19-8 Tue Aug 20 2013 23:40:09 on localhost [Seed = 1107568358] Type ? for help. Type -D to quit. Loading file "K14n9156__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9156 geometric_solution 10.24464179 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 1 -1 1 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 0 0 1 10 -11 11 0 -11 0 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.978327876332 1.083377826819 0 5 2 6 0132 0132 1230 0132 0 0 0 0 0 1 -1 0 -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 10 -10 0 -11 0 11 0 -11 0 0 11 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472338005035 0.929272380144 7 0 8 1 0132 0132 0132 3012 0 0 0 0 0 0 0 0 -1 0 0 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 -1 0 1 -10 0 0 10 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.183653669694 0.452715462680 4 9 7 0 3120 0132 1230 0132 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 0 10 -10 -10 0 -1 11 0 0 0 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253871807489 0.407865084185 6 5 0 3 0132 1302 0132 3120 0 0 0 0 0 0 1 -1 -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 11 -11 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.852581040152 0.862160273893 8 1 10 4 1023 0132 0132 2031 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 -10 10 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.731381408821 0.949920289342 4 8 1 9 0132 3201 0132 1302 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 0 0 0 0 10 0 0 -10 0 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527903594999 1.111839280853 2 8 10 3 0132 1023 2310 3012 0 0 0 0 0 -1 0 1 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 -11 0 11 10 0 0 -10 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.186979999257 0.828701856465 7 5 6 2 1023 1023 2310 0132 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 11 0 -11 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.823693241701 1.032437607046 10 3 6 10 2310 0132 2031 1230 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 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.520850150029 1.429375282110 9 7 9 5 3012 3201 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 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511505351736 0.857232331403 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : negation(d['c_0101_1']), 'c_1001_8' : d['c_0101_5'], 'c_1010_10' : negation(d['c_0101_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_10']), '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_10' : 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_1100_9' : d['c_0101_5'], 'c_1100_8' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_4']), 'c_1100_10' : d['c_0011_3'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0110_5'], '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'], '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_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1'], '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_10' : d['c_0101_5'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_2'], '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_7'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_7, c_0101_8, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 11108261504454833053/42308207055331515938*c_0110_5^15 + 49473692560552850589/42308207055331515938*c_0110_5^14 - 133915426770752045619/21154103527665757969*c_0110_5^13 + 769369856733748250815/42308207055331515938*c_0110_5^12 - 2232555075986875104649/42308207055331515938*c_0110_5^11 + 2312382178274519324611/21154103527665757969*c_0110_5^10 - 8638866690021289798975/42308207055331515938*c_0110_5^9 + 12738640334920038927357/42308207055331515938*c_0110_5^8 - 8295057562702597605750/21154103527665757969*c_0110_5^7 + 18195028776823002347183/42308207055331515938*c_0110_5^6 - 16408490760158080662613/42308207055331515938*c_0110_5^5 + 5852035304394322332067/21154103527665757969*c_0110_5^4 - 7550613219337848712209/42308207055331515938*c_0110_5^3 + 3674350198631412811377/42308207055331515938*c_0110_5^2 - 155723160319700550585/42308207055331515938*c_0110_5 - 382759604502280991552/21154103527665757969, c_0011_0 - 1, c_0011_10 - 3358597754115/163224848015569*c_0110_5^15 + 10885501673958/163224848015569*c_0110_5^14 - 65881405858895/163224848015569*c_0110_5^13 + 146320168122624/163224848015569*c_0110_5^12 - 459593612867097/163224848015569*c_0110_5^11 + 754576717281733/163224848015569*c_0110_5^10 - 1431643744560510/163224848015569*c_0110_5^9 + 1675978326283938/163224848015569*c_0110_5^8 - 2172760187037825/163224848015569*c_0110_5^7 + 1920304753091662/163224848015569*c_0110_5^6 - 1459820099585368/163224848015569*c_0110_5^5 + 654698069601667/163224848015569*c_0110_5^4 - 572459144275919/163224848015569*c_0110_5^3 - 171025445175543/163224848015569*c_0110_5^2 + 190324111859974/163224848015569*c_0110_5 - 2266082942369/163224848015569, c_0011_3 + 1519711474088/163224848015569*c_0110_5^15 - 6691754319676/163224848015569*c_0110_5^14 + 36525507305290/163224848015569*c_0110_5^13 - 102694022151427/163224848015569*c_0110_5^12 + 299707410000252/163224848015569*c_0110_5^11 - 601512565162189/163224848015569*c_0110_5^10 + 1123442674503865/163224848015569*c_0110_5^9 - 1587287033526734/163224848015569*c_0110_5^8 + 2033842682658685/163224848015569*c_0110_5^7 - 2197300111922186/163224848015569*c_0110_5^6 + 1902145107111429/163224848015569*c_0110_5^5 - 1525060936766657/163224848015569*c_0110_5^4 + 704543774948831/163224848015569*c_0110_5^3 - 789584441514027/163224848015569*c_0110_5^2 + 57452781472783/163224848015569*c_0110_5 + 100662353868504/163224848015569, c_0011_4 - 1429638667068/163224848015569*c_0110_5^15 + 3592361980262/163224848015569*c_0110_5^14 - 23443877784139/163224848015569*c_0110_5^13 + 38478294960716/163224848015569*c_0110_5^12 - 128593399104881/163224848015569*c_0110_5^11 + 140635837499998/163224848015569*c_0110_5^10 - 247450468741690/163224848015569*c_0110_5^9 + 132972383311220/163224848015569*c_0110_5^8 - 133441041580051/163224848015569*c_0110_5^7 + 104971454479558/163224848015569*c_0110_5^6 + 74918451526950/163224848015569*c_0110_5^5 + 185450630532882/163224848015569*c_0110_5^4 - 309893873320429/163224848015569*c_0110_5^3 + 211635460960647/163224848015569*c_0110_5^2 - 57342753266138/163224848015569*c_0110_5 - 27214577269011/163224848015569, c_0101_0 + 805014328848/163224848015569*c_0110_5^15 - 3589572063144/163224848015569*c_0110_5^14 + 22075721904036/163224848015569*c_0110_5^13 - 64175808715086/163224848015569*c_0110_5^12 + 214488706123644/163224848015569*c_0110_5^11 - 450029094560154/163224848015569*c_0110_5^10 + 1002427115220104/163224848015569*c_0110_5^9 - 1531188286418244/163224848015569*c_0110_5^8 + 2419373861250612/163224848015569*c_0110_5^7 - 2726362491861294/163224848015569*c_0110_5^6 + 3092514095977632/163224848015569*c_0110_5^5 - 2457629353123332/163224848015569*c_0110_5^4 + 1713925494237756/163224848015569*c_0110_5^3 - 819929543089938/163224848015569*c_0110_5^2 + 263318934166971/163224848015569*c_0110_5 + 203660537626820/163224848015569, c_0101_1 + 5364/1406621*c_0110_5^15 - 6074/1406621*c_0110_5^14 + 63346/1406621*c_0110_5^13 + 4933/1406621*c_0110_5^12 + 142994/1406621*c_0110_5^11 + 544287/1406621*c_0110_5^10 - 865940/1406621*c_0110_5^9 + 2946679/1406621*c_0110_5^8 - 3581762/1406621*c_0110_5^7 + 4833209/1406621*c_0110_5^6 - 4826724/1406621*c_0110_5^5 + 2428638/1406621*c_0110_5^4 - 288974/1406621*c_0110_5^3 - 531497/1406621*c_0110_5^2 + 574854/1406621*c_0110_5 - 636343/1406621, c_0101_2 - 991955394348/163224848015569*c_0110_5^15 + 5070235992166/163224848015569*c_0110_5^14 - 24835672123496/163224848015569*c_0110_5^13 + 78673871638243/163224848015569*c_0110_5^12 - 207407560055764/163224848015569*c_0110_5^11 + 470749500622925/163224848015569*c_0110_5^10 - 796352980835360/163224848015569*c_0110_5^9 + 1291746098876833/163224848015569*c_0110_5^8 - 1513769250516356/163224848015569*c_0110_5^7 + 1892485266394019/163224848015569*c_0110_5^6 - 1530447888613008/163224848015569*c_0110_5^5 + 1216361555846310/163224848015569*c_0110_5^4 - 720385712753516/163224848015569*c_0110_5^3 + 401470414039864/163224848015569*c_0110_5^2 + 85433338802342/163224848015569*c_0110_5 - 112728774294734/163224848015569, c_0101_5 - 533339917637/163224848015569*c_0110_5^15 - 574529755189/163224848015569*c_0110_5^14 - 2377037190905/163224848015569*c_0110_5^13 - 23100529744612/163224848015569*c_0110_5^12 + 36682272264014/163224848015569*c_0110_5^11 - 205588869564238/163224848015569*c_0110_5^10 + 337402591761057/163224848015569*c_0110_5^9 - 740303540783044/163224848015569*c_0110_5^8 + 883975729608424/163224848015569*c_0110_5^7 - 1156150503863417/163224848015569*c_0110_5^6 + 1126934105961496/163224848015569*c_0110_5^5 - 790038841416765/163224848015569*c_0110_5^4 + 318589452498747/163224848015569*c_0110_5^3 - 265010732149031/163224848015569*c_0110_5^2 + 25864494037662/163224848015569*c_0110_5 + 173395310907075/163224848015569, c_0101_7 - 4678340375402/163224848015569*c_0110_5^15 + 19503538896524/163224848015569*c_0110_5^14 - 105894050137755/163224848015569*c_0110_5^13 + 288097747578965/163224848015569*c_0110_5^12 - 827677863513205/163224848015569*c_0110_5^11 + 1629573103950279/163224848015569*c_0110_5^10 - 2947113051760127/163224848015569*c_0110_5^9 + 4095347157646670/163224848015569*c_0110_5^8 - 5110990967638003/163224848015569*c_0110_5^7 + 5316322293152265/163224848015569*c_0110_5^6 - 4530125979592114/163224848015569*c_0110_5^5 + 2835312971952784/163224848015569*c_0110_5^4 - 2010138980123381/163224848015569*c_0110_5^3 + 848980991796347/163224848015569*c_0110_5^2 - 64753172801318/163224848015569*c_0110_5 - 170488929725274/163224848015569, c_0101_8 - 3215900923355/163224848015569*c_0110_5^15 + 15829974460132/163224848015569*c_0110_5^14 - 80950907392313/163224848015569*c_0110_5^13 + 245830816140915/163224848015569*c_0110_5^12 - 678777713989767/163224848015569*c_0110_5^11 + 1452673723074823/163224848015569*c_0110_5^10 - 2593278899486275/163224848015569*c_0110_5^9 + 3844142612211751/163224848015569*c_0110_5^8 - 4788954117516134/163224848015569*c_0110_5^7 + 5215330414221370/163224848015569*c_0110_5^6 - 4705992084980547/163224848015569*c_0110_5^5 + 3076864194893573/163224848015569*c_0110_5^4 - 2283299984036098/163224848015569*c_0110_5^3 + 1156210971662302/163224848015569*c_0110_5^2 - 336474148619755/163224848015569*c_0110_5 - 229310507168321/163224848015569, c_0110_5^16 - 4*c_0110_5^15 + 22*c_0110_5^14 - 58*c_0110_5^13 + 168*c_0110_5^12 - 322*c_0110_5^11 + 582*c_0110_5^10 - 788*c_0110_5^9 + 976*c_0110_5^8 - 990*c_0110_5^7 + 794*c_0110_5^6 - 456*c_0110_5^5 + 268*c_0110_5^4 - 82*c_0110_5^3 - 95*c_0110_5^2 + 64*c_0110_5 + 29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.460 Total time: 0.680 seconds, Total memory usage: 32.09MB