combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs01/ecs_0181.json

@@ -0,0 +1,38 @@
+{
+    "id": 181,
+    "name": "Denumerant for coin values 1, 2, 5, 10, 50, 100",
+    "description": "number of ways to make n cents with coins of 1 2 5 10 50 100 cents",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        11,
+        12,
+        15,
+        16,
+        19,
+        22,
+        25,
+        28,
+        31,
+        34,
+        40
+    ],
+    "references": [
+        "EIS A001312"
+    ],
+    "gf": "1/(-1+_x)/(_x^2-1)/(_x^5-1)/(_x^10-1)/(_x^50-1)/(_x^100-1)",
+    "rec": "{-122275643160-3705594754*_n+120*_f(_n)+1680*_f(_n+2)-_n^5+600*_f(_n+1)-44918775*_n^2+16200*_f(_n+6)+600000*_f(_n+85)+600000*_f(_n+86)+384000*_f(_n+38)+396000*_f(_n+39)+408000*_f(_n+40)+420000*_f(_n+41)+432000*_f(_n+42)+444000*_f(_n+43)+456000*_f(_n+44)+468000*_f(_n+45)+480000*_f(_n+46)+492000*_f(_n+47)+504000*_f(_n+48)+516000*_f(_n+49)+527880*_f(_n+50)+539400*_f(_n+51)+550320*_f(_n+52)+560400*_f(_n+53)+569400*_f(_n+54)+577200*_f(_n+55)+583800*_f(_n+56)+589200*_f(_n+57)+593400*_f(_n+58)+596400*_f(_n+59)+598320*_f(_n+60)+599400*_f(_n+61)+599880*_f(_n+62)+600000*_f(_n+63)+600000*_f(_n+64)+600000*_f(_n+65)+600000*_f(_n+66)+600000*_f(_n+67)+600000*_f(_n+68)+600000*_f(_n+69)+600000*_f(_n+70)+600000*_f(_n+71)+600000*_f(_n+72)+600000*_f(_n+73)+600000*_f(_n+74)+600000*_f(_n+75)+600000*_f(_n+76)+600000*_f(_n+77)+600000*_f(_n+78)+600000*_f(_n+79)+600000*_f(_n+80)+600000*_f(_n+81)+600000*_f(_n+82)+600000*_f(_n+83)+600000*_f(_n+84)+10800*_f(_n+5)+6600*_f(_n+4)+3600*_f(_n+3)+600000*_f(_n+87)-272245*_n^3+480000*_f(_n+116)+468000*_f(_n+117)+456000*_f(_n+118)+444000*_f(_n+119)+432000*_f(_n+120)+420000*_f(_n+121)+408000*_f(_n+122)+396000*_f(_n+123)+384000*_f(_n+124)+372000*_f(_n+125)+360000*_f(_n+126)+348000*_f(_n+127)+336000*_f(_n+128)+324000*_f(_n+129)+312000*_f(_n+130)+300000*_f(_n+131)+288000*_f(_n+132)+276000*_f(_n+133)+264000*_f(_n+134)+252000*_f(_n+135)+240000*_f(_n+136)+228000*_f(_n+137)+216000*_f(_n+138)+204000*_f(_n+139)+192000*_f(_n+140)+180000*_f(_n+141)+168000*_f(_n+142)+156000*_f(_n+143)+144000*_f(_n+144)+132000*_f(_n+145)+120000*_f(_n+146)+108000*_f(_n+147)+96000*_f(_n+148)+84000*_f(_n+149)+72120*_f(_n+150)+60600*_f(_n+151)+49680*_f(_n+152)+39600*_f(_n+153)+30600*_f(_n+154)+22800*_f(_n+155)+16200*_f(_n+156)+10800*_f(_n+157)+6600*_f(_n+158)+3600*_f(_n+159)+1680*_f(_n+160)+600*_f(_n+161)+120*_f(_n+162)+600000*_f(_n+88)+600000*_f(_n+89)+600000*_f(_n+90)+600000*_f(_n+91)+600000*_f(_n+92)+600000*_f(_n+93)+600000*_f(_n+94)+600000*_f(_n+95)+600000*_f(_n+96)+600000*_f(_n+97)+600000*_f(_n+98)+600000*_f(_n+99)+599880*_f(_n+100)+599400*_f(_n+101)+598320*_f(_n+102)+596400*_f(_n+103)+593400*_f(_n+104)+589200*_f(_n+105)+583800*_f(_n+106)+577200*_f(_n+107)+569400*_f(_n+108)+560400*_f(_n+109)+550320*_f(_n+110)+539400*_f(_n+111)+527880*_f(_n+112)+516000*_f(_n+113)+504000*_f(_n+114)+492000*_f(_n+115)-825*_n^4+22800*_f(_n+7)+30600*_f(_n+8)+39600*_f(_n+9)+49680*_f(_n+10)+60600*_f(_n+11)+72120*_f(_n+12)+84000*_f(_n+13)+96000*_f(_n+14)+108000*_f(_n+15)+120000*_f(_n+16)+132000*_f(_n+17)+144000*_f(_n+18)+156000*_f(_n+19)+168000*_f(_n+20)+180000*_f(_n+21)+192000*_f(_n+22)+204000*_f(_n+23)+216000*_f(_n+24)+228000*_f(_n+25)+240000*_f(_n+26)+252000*_f(_n+27)+264000*_f(_n+28)+276000*_f(_n+29)+288000*_f(_n+30)+300000*_f(_n+31)+312000*_f(_n+32)+324000*_f(_n+33)+336000*_f(_n+34)+348000*_f(_n+35)+360000*_f(_n+36)+372000*_f(_n+37), _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 2, _f(4) = 3, _f(5)= 4, _f(6) = 5, _f(7) = 6, _f(8) = 7, _f(9) = 8, _f(10) = 11, _f(11) = 12, _f(12) = 15, _f(13) = 16, _f(14) = 19, _f(15) = 22, _f(16) = 25, _f(17) = 28, _f(18) = 31, _f(19) = 34, _f(20) = 40, _f(21) = 43, _f(22) = 49, _f(23) = 52, _f(24) = 58, _f(25) = 64, _f(26) = 70, _f(27) = 76, _f(28) = 82, _f(29) = 88, _f(30) = 98, _f(31) = 104, _f(32) = 114, _f(33) = 120, _f(34) = 130, _f(35) = 140, _f(36) = 150, _f(37) = 160, _f(38) = 170, _f(39) = 180, _f(40) = 195, _f(41)= 205, _f(42) = 220, _f(43) = 230, _f(44) = 245, _f(45) = 260, _f(46) = 275, _f(47) = 290, _f(48) = 305, _f(49) = 320, _f(50) = 342, _f(51) = 357, _f(52) =379, _f(53) = 394, _f(54) = 416, _f(55) = 438, _f(56) = 460, _f(57) = 482, _f(58) = 504, _f(59) = 526, _f(60) = 557, _f(61) = 579, _f(62) = 610, _f(63) = 632, _f(64) = 663, _f(65) = 694, _f(66) = 725, _f(67) = 756, _f(68) = 787, _f(69) = 818, _f(70) = 860, _f(71) = 891, _f(72) = 933, _f(73) = 964, _f(74) = 1006, _f(75) = 1048, _f(76) = 1090, _f(77) = 1132, _f(78) = 1174, _f(79) = 1216, _f(80) = 1271, _f(81) = 1313, _f(82) = 1368, _f(83) = 1410, _f(84) = 1465, _f(85) = 1520, _f(86) = 1575, _f(87) = 1630, _f(88) = 1685, _f(89) = 1740, _f(90) = 1810, _f(91) = 1865, _f(92) = 1935, _f(93) = 1990, _f(94) = 2060, _f(95) = 2130, _f(96) = 2200, _f(97) = 2270, _f(98) = 2340, _f(99) = 2410, _f(100) = 2499, _f(101) = 2569, _f(102) = 2658, _f(103) = 2728, _f(104)= 2817, _f(105) = 2906, _f(106) = 2995, _f(107) = 3084, _f(108) = 3173, _f(109) = 3262, _f(110) = 3374, _f(111) = 3463, _f(112) = 3575, _f(113) = 3664, _f(114) = 3776, _f(115) = 3888, _f(116) = 4000, _f(117) = 4112, _f(118) = 4224, _f(119) = 4336, _f(120) = 4475, _f(121) = 4587, _f(122) = 4726, _f(123) = 4838, _f(124) = 4977, _f(125) = 5116, _f(126) = 5255, _f(127) = 5394, _f(128) = 5533, _f(129) = 5672, _f(130) = 5842, _f(131) = 5981, _f(132) = 6151, _f(133)= 6290, _f(134) = 6460, _f(135) = 6630, _f(136) = 6800, _f(137) = 6970, _f(138) = 7140, _f(139) = 7310, _f(140) = 7515, _f(141) = 7685, _f(142) = 7890, _f(143) = 8060, _f(144) = 8265, _f(145) = 8470, _f(146) = 8675, _f(147) = 8880, _f(148) = 9085, _f(149) = 9290, _f(150) = 9536, _f(151) = 9741, _f(152) = 9987, _f(153) = 10192, _f(154) = 10438, _f(155) = 10684, _f(156) = 10930, _f(157)= 11176, _f(158) = 11422, _f(159) = 11668, _f(160) = 11961, _f(161) = 12207}",
+    "closedform": "31457567/40000000*_n+1/60000000*_n^5+54579/1000000*_n^2+12007/12000000*_n^3+Sum(1/12500*_alpha^(-_n-2)*(_n+1)*(-2-3*_alpha-4*_alpha^4-4*_alpha^3-3*_alpha^2-17/2*_alpha^23-8*_alpha^22-9*_alpha^21-17/2*_alpha^20-15/2*_alpha^24-7*_alpha^10-5*_alpha^5-4*_alpha^33+_alpha^39-_alpha^37-3*_alpha^34-4*_alpha^29-6*_alpha^27-5*_alpha^31-7*_alpha^26-4*_alpha^32-5*_alpha^28-3*_alpha^35-2*_alpha^36-5*_alpha^30-8*_alpha^25-7*_alpha^19-15/2*_alpha^18-8*_alpha^17-17/2*_alpha^16-9*_alpha^15-8*_alpha^14-17/2*_alpha^13-15/2*_alpha^12-8*_alpha^11-5*_alpha^9-5*_alpha^8-5*_alpha^7-5*_alpha^6),_alpha = RootOf(_Z^40+_Z^30+_Z^20+_Z^10+1))+Sum(1/25000*(654*_alpha^39+494*_alpha^38+330*_alpha^37+162*_alpha^36-10*_alpha^35-186*_alpha^34-222*_alpha^33-404*_alpha^32-442*_alpha^31-630*_alpha^30-16*_alpha^29-216*_alpha^28-420*_alpha^27-628*_alpha^26-840*_alpha^25-1056*_alpha^24-1040*_alpha^23-1261*_alpha^22-1244*_alpha^21-1470*_alpha^20-798*_alpha^19-938*_alpha^18-1080*_alpha^17-1224*_alpha^16-1370*_alpha^15-1518*_alpha^14-1412*_alpha^13-1561*_alpha^12-1450*_alpha^11-1600*_alpha^10-830*_alpha^9-870*_alpha^8-910*_alpha^7-950*_alpha^6-990*_alpha^5-1030*_alpha^4-886*_alpha^3-924*_alpha^2-774*_alpha-810)*_alpha^(-1-_n),_alpha = RootOf(_Z^40+_Z^30+_Z^20+_Z^10+1))+Sum(-1/1000000*(1+_alpha)^3*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(1/500000*(97*_alpha^3-165*_alpha^2-156*_alpha-339)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(1/500000*(12383*_alpha^3-8274*_alpha^2+6572*_alpha-17461)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(1/60000000*(33*_alpha^4+17*_alpha^3+17*_alpha^2+33*_alpha+25)*_alpha^(-_n-4)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^5+2*_Z^4+2*_Z^3+2*_Z^2+2*_Z+1))+Sum(-1/10000000*(1009*_alpha^4+675*_alpha^3+1339*_alpha^2+1335*_alpha+687)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^5+2*_Z^4+2*_Z^3+2*_Z^2+2*_Z+1))+Sum(1/40000000*(188899*_alpha^4+100883*_alpha^3+196819*_alpha^2+7523*_alpha+10163)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^5+2*_Z^4+2*_Z^3+2*_Z^2+2*_Z+1))+Sum(-1/200000000*(789033*_alpha^4-14751751*_alpha^3-7228055*_alpha^2-16151639*_alpha+1255257)*_alpha^(-1-_n),_alpha = RootOf(_Z^5+2*_Z^4+2*_Z^3+2*_Z^2+2*_Z+1))+Sum(-1/1600*(190*_alpha^49+195*_alpha^48+200*_alpha^47+205*_alpha^46+210*_alpha^45+215*_alpha^44+210*_alpha^43+215*_alpha^42+210*_alpha^41+215*_alpha^40+210*_alpha^39+205*_alpha^38+200*_alpha^37+195*_alpha^36+190*_alpha^35+185*_alpha^34+174*_alpha^33+169*_alpha^32+158*_alpha^31+153*_alpha^30+142*_alpha^29+131*_alpha^28+120*_alpha^27+109*_alpha^26+98*_alpha^25+87*_alpha^24+74*_alpha^23+63*_alpha^22+50*_alpha^21+39*_alpha^20+26*_alpha^19+13*_alpha^18-13*_alpha^16-26*_alpha^15-39*_alpha^14-50*_alpha^13-63*_alpha^12-74*_alpha^11-87*_alpha^10-98*_alpha^9-109*_alpha^8-120*_alpha^7-131*_alpha^6-142*_alpha^5-153*_alpha^4-158*_alpha^3-169*_alpha^2-174*_alpha-185)*_alpha^(-1-_n),_alpha = RootOf(_Z^50+1))+7/1000000*_n^4-48067509/10000000",
+    "equiv": "(-1/100000*exp(Complex(1)*(arctan((-3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^3+2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122))/(3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^3-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2+RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2-RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)+1))+Pi)*_n)/(-1+RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,-.951056516295122)))/(RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,-.951056516295122))^2-1)/(RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,-.951056516295122))^5-1)/RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,-.951056516295122))^160-1/100000*exp(Complex(-1)*(arctan((-3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^3+2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122))/(3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^3-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2+RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2-RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)+1))+Pi)*conjugate(_n))/(-1+RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,.951056516295122)))/(RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,.951056516295122))^2-1)/(RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,.951056516295122))^5-1)/RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,.951056516295122))^160)*_n^2*(RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^6+3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2+3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^4+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^6-2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^5-4*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^4+3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^4+2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^4-4*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^3+4*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2+3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)+1)^(-1/2*ln(exp(-_n)))"
+}

combstruct/data/ecs01/ecs_0182.json

@@ -0,0 +1,38 @@
+{
+    "id": 182,
+    "name": "Denumerant for coin values 1, 2, 5, 10, 20, 50",
+    "description": "number of ways to make n cents with coins of 1 2 5 10 20 50 cents",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        11,
+        12,
+        15,
+        16,
+        19,
+        22,
+        25,
+        28,
+        31,
+        34,
+        41
+    ],
+    "references": [
+        "EIS A001313"
+    ],
+    "gf": "1/(-1+_x)/(_x^2-1)/(_x^5-1)/(_x^10-1)/(_x^20-1)/(_x^50-1)",
+    "rec": "{-4433982840-260894754*_n+120*_f(_n)+1680*_f(_n+2)-_n^5+600*_f(_n+1)-6139975*_n^2+16200*_f(_n+6)+240000*_f(_n+38)+240000*_f(_n+39)+240000*_f(_n+40)+240000*_f(_n+41)+240000*_f(_n+42)+240000*_f(_n+43)+240000*_f(_n+44)+240000*_f(_n+45)+240000*_f(_n+46)+240000*_f(_n+47)+240000*_f(_n+48)+240000*_f(_n+49)+239880*_f(_n+50)+239400*_f(_n+51)+238320*_f(_n+52)+236400*_f(_n+53)+233400*_f(_n+54)+229200*_f(_n+55)+223800*_f(_n+56)+217200*_f(_n+57)+209400*_f(_n+58)+200400*_f(_n+59)+190320*_f(_n+60)+179400*_f(_n+61)+167880*_f(_n+62)+156000*_f(_n+63)+144000*_f(_n+64)+132000*_f(_n+65)+120000*_f(_n+66)+108000*_f(_n+67)+96000*_f(_n+68)+84000*_f(_n+69)+72120*_f(_n+70)+60600*_f(_n+71)+49680*_f(_n+72)+39600*_f(_n+73)+30600*_f(_n+74)+22800*_f(_n+75)+16200*_f(_n+76)+10800*_f(_n+77)+6600*_f(_n+78)+3600*_f(_n+79)+1680*_f(_n+80)+600*_f(_n+81)+120*_f(_n+82)+10800*_f(_n+5)+6600*_f(_n+4)+3600*_f(_n+3)-72245*_n^3-425*_n^4+22800*_f(_n+7)+30600*_f(_n+8)+39600*_f(_n+9)+49680*_f(_n+10)+60600*_f(_n+11)+72120*_f(_n+12)+84000*_f(_n+13)+96000*_f(_n+14)+108000*_f(_n+15)+120000*_f(_n+16)+132000*_f(_n+17)+144000*_f(_n+18)+156000*_f(_n+19)+167880*_f(_n+20)+179400*_f(_n+21)+190320*_f(_n+22)+200400*_f(_n+23)+209400*_f(_n+24)+217200*_f(_n+25)+223800*_f(_n+26)+229200*_f(_n+27)+233400*_f(_n+28)+236400*_f(_n+29)+238320*_f(_n+30)+239400*_f(_n+31)+239880*_f(_n+32)+240000*_f(_n+33)+240000*_f(_n+34)+240000*_f(_n+35)+240000*_f(_n+36)+240000*_f(_n+37), _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 2, _f(4) = 3, _f(5) = 4, _f(6) = 5, _f(7) = 6, _f(8) = 7, _f(9) = 8, _f(10) = 11, _f(11) = 12, _f(12) = 15, _f(13) = 16, _f(14) = 19, _f(15) = 22, _f(16) = 25, _f(17) = 28, _f(18) = 31, _f(19) = 34, _f(20) = 41, _f(21) = 44, _f(22) = 51, _f(23) = 54, _f(24) = 61, _f(25) = 68, _f(26) = 75, _f(27) = 82, _f(28) = 89, _f(29) = 96, _f(30) = 109, _f(31) = 116, _f(32) = 129, _f(33) = 136,_f(34) = 149, _f(35) = 162, _f(36) = 175, _f(37) = 188, _f(38) = 201, _f(39) =214, _f(40) = 236, _f(41) = 249, _f(42) = 271, _f(43) = 284, _f(44) = 306, _f(45) = 328, _f(46) = 350, _f(47) = 372, _f(48) = 394, _f(49) = 416, _f(50) = 451, _f(51) = 473, _f(52) = 508, _f(53) = 530, _f(54) = 565, _f(55) = 600, _f(56) = 635, _f(57) = 670, _f(58) = 705, _f(59) = 740, _f(60) = 793, _f(61) = 828, _f(62) = 881, _f(63) = 916, _f(64) = 969, _f(65) = 1022, _f(66) = 1075, _f(67) = 1128, _f(68) = 1181, _f(69) = 1234, _f(70) = 1311, _f(71) = 1364, _f(72) = 1441, _f(73) = 1494, _f(74) = 1571, _f(75) = 1648, _f(76) = 1725, _f(77)= 1802, _f(78) = 1879, _f(79) = 1956, _f(80) = 2064, _f(81) = 2141}",
+    "closedform": "3532767/8000000*_n+1/12000000*_n^5+25927/600000*_n^2+3367/2400000*_n^3+11/600000*_n^4+Sum(-1/200000*(1+_alpha)^3*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(1/100000*(57*_alpha^3-85*_alpha^2-76*_alpha-179)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(1/100000*(3543*_alpha^3-2134*_alpha^2+1972*_alpha-4741)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(1/320*(2*_alpha^9+_alpha^8-_alpha^6-2*_alpha^5-3*_alpha^4-2*_alpha^3-3*_alpha^2-2*_alpha-3)*_alpha^(-1-_n),_alpha = RootOf(_Z^10+1))+Sum(1/12000000*(33*_alpha^4+17*_alpha^3+17*_alpha^2+33*_alpha+25)*_alpha^(-_n-4)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^5+2*_Z^4+2*_Z^3+2*_Z^2+2*_Z+1))+Sum(-1/2000000*(509*_alpha^4+335*_alpha^3+679*_alpha^2+675*_alpha+347)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^5+2*_Z^4+2*_Z^3+2*_Z^2+2*_Z+1))+Sum(1/8000000*(49299*_alpha^4+26563*_alpha^3+53379*_alpha^2+1043*_alpha+2403)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^5+2*_Z^4+2*_Z^3+2*_Z^2+2*_Z+1))+Sum(-1/40000000*(87633*_alpha^4-2137951*_alpha^3-1095855*_alpha^2-2520239*_alpha+214657)*_alpha^(-1-_n),_alpha = RootOf(_Z^5+2*_Z^4+2*_Z^3+2*_Z^2+2*_Z+1))+Sum(1/250*(_alpha^39-_alpha^37-2*_alpha^36-3*_alpha^35-4*_alpha^34-4*_alpha^33-5*_alpha^32-5*_alpha^31-6*_alpha^30-5*_alpha^29-6*_alpha^28-7*_alpha^27-8*_alpha^26-9*_alpha^25-10*_alpha^24-9*_alpha^23-10*_alpha^22-9*_alpha^21-10*_alpha^20-8*_alpha^19-8*_alpha^18-8*_alpha^17-8*_alpha^16-8*_alpha^15-8*_alpha^14-7*_alpha^13-7*_alpha^12-6*_alpha^11-6*_alpha^10-4*_alpha^9-4*_alpha^8-4*_alpha^7-4*_alpha^6-4*_alpha^5-4*_alpha^4-3*_alpha^3-3*_alpha^2-2*_alpha-2)*_alpha^(-1-_n),_alpha = RootOf(_Z^40+_Z^30+_Z^20+_Z^10+1))+612821/2000000",
+    "equiv": "(1/300000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,-.951056516295148)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,-.951056516295148))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,-.951056516295148))^85+1/300000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,.951056516295148)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,.951056516295148))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,.951056516295148))^85+1/300000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295153)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295153))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295153))^85+1/300000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295154)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295154))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295154))^85+1/300000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374948,-.951056516295157)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374948,-.951056516295157))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374948,-.951056516295157))^85)*_n^3*(RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^6+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^6+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^5+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^4+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3-4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)+1)^(-1/2*ln(exp(-_n)))"
+}

combstruct/data/ecs01/ecs_0183.json

@@ -0,0 +1,38 @@
+{
+    "id": 183,
+    "name": "Denumerant for coin values 2, 5, 5, 10, 20, 50",
+    "description": "number of ways to make n cents with coins of 2 5 5 10 20 50 cents",
+    "specification": "{S = Prod(Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        1,
+        0,
+        1,
+        2,
+        1,
+        2,
+        1,
+        2,
+        5,
+        2,
+        5,
+        2,
+        5,
+        8,
+        5,
+        8,
+        5,
+        8,
+        15
+    ],
+    "references": [
+        "EIS A001314"
+    ],
+    "gf": "1/(_x^2-1)/(_x^5-1)^2/(_x^10-1)/(_x^20-1)/(_x^50-1)",
+    "rec": "{-5580534960-313592394*_n+120*_f(_n)+2400*_f(_n+2)-_n^5+720*_f(_n+1)-7048355*_n^2+38880*_f(_n+6)+720*_f(_n+85)+120*_f(_n+86)+1200000*_f(_n+38)+1200000*_f(_n+39)+1200000*_f(_n+40)+1200000*_f(_n+41)+1200000*_f(_n+42)+1200000*_f(_n+43)+1200000*_f(_n+44)+1200000*_f(_n+45)+1200000*_f(_n+46)+1200000*_f(_n+47)+1200000*_f(_n+48)+1200000*_f(_n+49)+1199880*_f(_n+50)+1199280*_f(_n+51)+1197600*_f(_n+52)+1194000*_f(_n+53)+1187400*_f(_n+54)+1176720*_f(_n+55)+1161120*_f(_n+56)+1140000*_f(_n+57)+1113000*_f(_n+58)+1080000*_f(_n+59)+1041120*_f(_n+60)+996720*_f(_n+61)+947400*_f(_n+62)+894000*_f(_n+63)+837600*_f(_n+64)+779280*_f(_n+65)+719880*_f(_n+66)+660000*_f(_n+67)+600000*_f(_n+68)+540000*_f(_n+69)+480120*_f(_n+70)+420720*_f(_n+71)+362400*_f(_n+72)+306000*_f(_n+73)+252600*_f(_n+74)+203280*_f(_n+75)+158880*_f(_n+76)+120000*_f(_n+77)+87000*_f(_n+78)+60000*_f(_n+79)+38880*_f(_n+80)+23280*_f(_n+81)+12600*_f(_n+82)+6000*_f(_n+83)+2400*_f(_n+84)+23280*_f(_n+5)+12600*_f(_n+4)+6000*_f(_n+3)-79205*_n^3-445*_n^4+60000*_f(_n+7)+87000*_f(_n+8)+120000*_f(_n+9)+158880*_f(_n+10)+203280*_f(_n+11)+252600*_f(_n+12)+306000*_f(_n+13)+362400*_f(_n+14)+420720*_f(_n+15)+480120*_f(_n+16)+540000*_f(_n+17)+600000*_f(_n+18)+660000*_f(_n+19)+719880*_f(_n+20)+779280*_f(_n+21)+837600*_f(_n+22)+894000*_f(_n+23)+947400*_f(_n+24)+996720*_f(_n+25)+1041120*_f(_n+26)+1080000*_f(_n+27)+1113000*_f(_n+28)+1140000*_f(_n+29)+1161120*_f(_n+30)+1176720*_f(_n+31)+1187400*_f(_n+32)+1194000*_f(_n+33)+1197600*_f(_n+34)+1199280*_f(_n+35)+1199880*_f(_n+36)+1200000*_f(_n+37), _f(0)= 1, _f(1) = 0, _f(2) = 1, _f(3) = 0, _f(4) = 1, _f(5) = 2, _f(6) = 1, _f(7) =2, _f(8) = 1, _f(9) = 2, _f(10) = 5, _f(11) = 2, _f(12) = 5, _f(13) = 2, _f(14) = 5, _f(15) = 8, _f(16) = 5, _f(17) = 8, _f(18) = 5, _f(19) = 8, _f(20) = 15, _f(21) = 8, _f(22) = 15, _f(23) = 8, _f(24) = 15, _f(25) = 22, _f(26) = 15,_f(27) = 22, _f(28) = 15, _f(29) = 22, _f(30) = 35, _f(31) = 22, _f(32) = 35,_f(33) = 22, _f(34) = 35, _f(35) = 48, _f(36) = 35, _f(37) = 48, _f(38) = 35,_f(39) = 48, _f(40) = 70, _f(41) = 48, _f(42) = 70, _f(43) = 48, _f(44) = 70,_f(45) = 92, _f(46) = 70, _f(47) = 92, _f(48) = 70, _f(49) = 92, _f(50) = 127,_f(51) = 92, _f(52) = 127, _f(53) = 92, _f(54) = 127, _f(55) = 162, _f(56) = 127, _f(57) = 162, _f(58) = 127, _f(59) = 162, _f(60) = 215, _f(61) = 162, _f(62) = 215, _f(63) = 162, _f(64) = 215, _f(65) = 268, _f(66) = 215, _f(67) = 268, _f(68) = 215, _f(69) = 268, _f(70) = 345, _f(71) = 268, _f(72) = 345, _f(73) = 268, _f(74) = 345, _f(75) = 422, _f(76) = 345, _f(77) = 422, _f(78) = 345, _f(79) = 422, _f(80) = 530, _f(81) = 422, _f(82) = 530, _f(83) = 422, _f(84) = 530, _f(85) = 638}",
+    "closedform": "1/480000*(_n+46)*(_n^2+92*_n+2655/2)*(-1)^(-_n)+1/60000000*_n^5+23/6000000*_n^4+1241/4000000*_n^3+12443/1200000*_n^2+Sum(-1/15000000*(182*_alpha^3+348*_alpha^2+93*_alpha+267)*_alpha^(-_n-4)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/5000000*(5297*_alpha^3+1587*_alpha^2-1419*_alpha+3350)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/800000*(10009*_alpha^3-2987*_alpha^2+14076*_alpha-6318)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(-1/15000000*(_alpha-1)*_alpha^(-_n-5)*(_n+1)*(_n+2)*(_n+3)*(_n+4)*(_alpha^2+1/2*_alpha+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/100000000*(9893477*_alpha^3+1989039*_alpha^2+16373516*_alpha+5197558)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/320*(_alpha^8+_alpha^6-_alpha^4-_alpha^2-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^10+1))+Sum(-1/1250*(_alpha^39-4*_alpha^38+_alpha^37-4*_alpha^36+_alpha^35+6*_alpha^34+_alpha^33+6*_alpha^32+_alpha^31+6*_alpha^30+7*_alpha^29+2*_alpha^28+7*_alpha^27+2*_alpha^26+7*_alpha^25+12*_alpha^24+7*_alpha^23+12*_alpha^22+7*_alpha^21+12*_alpha^20+8*_alpha^19+8*_alpha^18+8*_alpha^17+8*_alpha^16+8*_alpha^15+8*_alpha^14+8*_alpha^13+8*_alpha^12+8*_alpha^11+8*_alpha^10+4*_alpha^9+4*_alpha^8+4*_alpha^7+4*_alpha^6+4*_alpha^5+4*_alpha^4+4*_alpha^3+4*_alpha^2+4*_alpha+4)*_alpha^(-1-_n),_alpha = RootOf(_Z^40+_Z^30+_Z^20+_Z^10+1))+Sum(1/400000*(3*_alpha^3-_alpha^2-_alpha-2)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(1/400000*(178*_alpha^3+95*_alpha^2+91*_alpha-261)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(-1/2500000*(35511*_alpha^3-23275*_alpha^2+19474*_alpha+48459)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+14941453/120000000*_n+1016117/4000000",
+    "equiv": "(-1/6000000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)-1))*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,-.951056516295148))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,-.951056516295148))^90-1/6000000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)-1))*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,.951056516295148))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,.951056516295148))^90-1/6000000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)-1))*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295153))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295153))^90-1/6000000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)-1))*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295154))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295154))^90-1/6000000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)-1))*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374948,-.951056516295157))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374948,-.951056516295157))^90)*_n^4*(RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^6+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^6+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^5+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^4+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3-4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)+1)^(-1/2*ln(exp(-_n)))"
+}

combstruct/data/ecs01/ecs_0184.json

@@ -0,0 +1,38 @@
+{
+    "id": 184,
+    "name": "Denumerant for coin values 2, 5, 10, 20, 50",
+    "description": "number of ways to make n cents with coins of 2 5 10 20 50 cents",
+    "specification": "{S = Prod(Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        1,
+        0,
+        1,
+        1,
+        1,
+        1,
+        1,
+        1,
+        3,
+        1,
+        3,
+        1,
+        3,
+        3,
+        3,
+        3,
+        3,
+        3,
+        7
+    ],
+    "references": [
+        "EIS A001319"
+    ],
+    "gf": "-1/(_x^2-1)/(_x^5-1)/(_x^10-1)/(_x^20-1)/(_x^50-1)",
+    "rec": "{50965320+2412982*_n-24*_f(_n)-336*_f(_n+2)-120*_f(_n+1)+42839*_n^2-3240*_f(_n+6)-48000*_f(_n+38)-48000*_f(_n+39)-48000*_f(_n+40)-48000*_f(_n+41)-48000*_f(_n+42)-48000*_f(_n+43)-48000*_f(_n+44)-48000*_f(_n+45)-48000*_f(_n+46)-48000*_f(_n+47)-48000*_f(_n+48)-48000*_f(_n+49)-47976*_f(_n+50)-47880*_f(_n+51)-47664*_f(_n+52)-47280*_f(_n+53)-46680*_f(_n+54)-45840*_f(_n+55)-44760*_f(_n+56)-43440*_f(_n+57)-41880*_f(_n+58)-40080*_f(_n+59)-38064*_f(_n+60)-35880*_f(_n+61)-33576*_f(_n+62)-31200*_f(_n+63)-28800*_f(_n+64)-26400*_f(_n+65)-24000*_f(_n+66)-21600*_f(_n+67)-19200*_f(_n+68)-16800*_f(_n+69)-14424*_f(_n+70)-12120*_f(_n+71)-9936*_f(_n+72)-7920*_f(_n+73)-6120*_f(_n+74)-4560*_f(_n+75)-3240*_f(_n+76)-2160*_f(_n+77)-1320*_f(_n+78)-720*_f(_n+79)-336*_f(_n+80)-120*_f(_n+81)-24*_f(_n+82)-2160*_f(_n+5)-1320*_f(_n+4)-720*_f(_n+3)+338*_n^3+_n^4-4560*_f(_n+7)-6120*_f(_n+8)-7920*_f(_n+9)-9936*_f(_n+10)-12120*_f(_n+11)-14424*_f(_n+12)-16800*_f(_n+13)-19200*_f(_n+14)-21600*_f(_n+15)-24000*_f(_n+16)-26400*_f(_n+17)-28800*_f(_n+18)-31200*_f(_n+19)-33576*_f(_n+20)-35880*_f(_n+21)-38064*_f(_n+22)-40080*_f(_n+23)-41880*_f(_n+24)-43440*_f(_n+25)-44760*_f(_n+26)-45840*_f(_n+27)-46680*_f(_n+28)-47280*_f(_n+29)-47664*_f(_n+30)-47880*_f(_n+31)-47976*_f(_n+32)-48000*_f(_n+33)-48000*_f(_n+34)-48000*_f(_n+35)-48000*_f(_n+36)-48000*_f(_n+37), _f(0) = 1, _f(1) = 0, _f(2) = 1, _f(3) = 0, _f(4) = 1, _f(5) = 1, _f(6) = 1, _f(7) = 1, _f(8) = 1, _f(9) = 1, _f(10) = 3, _f(11) = 1, _f(12) = 3, _f(13) = 1, _f(14) = 3, _f(15) = 3, _f(16) = 3, _f(17) = 3, _f(18) = 3, _f(19) = 3, _f(20)= 7, _f(21) = 3, _f(22) = 7, _f(23) = 3, _f(24) = 7, _f(25) = 7, _f(26) = 7, _f(27) = 7, _f(28) = 7, _f(29) = 7, _f(30) = 13, _f(31) = 7, _f(32) = 13, _f(33) = 7, _f(34) = 13, _f(35) = 13, _f(36) = 13, _f(37) = 13, _f(38) = 13, _f(39) = 13, _f(40) = 22, _f(41) = 13, _f(42) = 22, _f(43) = 13, _f(44) = 22, _f(45) = 22, _f(46) = 22, _f(47) = 22, _f(48) = 22, _f(49) = 22, _f(50) = 35, _f(51) = 22, _f(52) = 35, _f(53) = 22, _f(54) = 35, _f(55) = 35, _f(56) = 35, _f(57) = 35, _f(58) = 35, _f(59) = 35, _f(60) = 53, _f(61) = 35, _f(62) = 53, _f(63) = 35, _f(64) = 53, _f(65) = 53, _f(66) = 53, _f(67) = 53, _f(68) = 53, _f(69) = 53, _f(70) = 77, _f(71) = 53, _f(72) = 77, _f(73) = 53, _f(74) = 77, _f(75) = 77, _f(76) = 77, _f(77) = 77, _f(78) = 77, _f(79) = 77, _f(80) = 108, _f(81) = 77}",
+    "closedform": "3198151/8000000+9839/2400000*_n^2+6583/80000*_n+1/2400000*_n^4+29/400000*_n^3+Sum(1/250*(_alpha^39+_alpha^38+_alpha^37+_alpha^36+_alpha^35+_alpha^33+_alpha^31+_alpha^29+_alpha^28+_alpha^27+_alpha^26+_alpha^25-_alpha^24+_alpha^23-_alpha^22+_alpha^21-_alpha^20-_alpha^14-_alpha^12-_alpha^10-_alpha^4-_alpha^2-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^40+_Z^30+_Z^20+_Z^10+1))+Sum(1/200000*(3*_alpha^3-_alpha^2-_alpha-2)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(1/100000*(84*_alpha^3+45*_alpha^2+43*_alpha-123)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(1/100000*(2191*_alpha^3-648*_alpha^2+3094*_alpha-1377)*_alpha^(-1-_n),_alpha =RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(1/320*(_alpha^9+_alpha^8+_alpha^7+_alpha^6+_alpha^5-_alpha^4+_alpha^3-_alpha^2+_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^10+1))+Sum(1/6000000*(41*_alpha^4+33*_alpha^3+25*_alpha^2+37*_alpha+29)*_alpha^(-_n-4)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^5+2*_Z^4+2*_Z^3+2*_Z^2+2*_Z+1))+Sum(-1/4000000*(2351*_alpha^4+1331*_alpha^3+2027*_alpha^2+2659*_alpha+1687)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^5+2*_Z^4+2*_Z^3+2*_Z^2+2*_Z+1))+Sum(1/4000000*(58631*_alpha^4+34551*_alpha^3+72751*_alpha^2+45919*_alpha+24463)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^5+2*_Z^4+2*_Z^3+2*_Z^2+2*_Z+1))+Sum(-1/8000000*(430871*_alpha^4-199929*_alpha^3+266551*_alpha^2-512969*_alpha+58055)*_alpha^(-1-_n),_alpha = RootOf(_Z^5+2*_Z^4+2*_Z^3+2*_Z^2+2*_Z+1))",
+    "equiv": "(-1/300000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)-1))*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,-.951056516295148))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,-.951056516295148))^85-1/300000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)-1))*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,.951056516295148))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,.951056516295148))^85-1/300000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295153)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)-1))*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295153))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295153))^85-1/300000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)-1))*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295154))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295154))^85-1/300000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)-1))*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374948,-.951056516295157))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374948,-.951056516295157))^85)*_n^3*(RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^6+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^6+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^5+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^4+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3-4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)+1)^(-1/2*ln(exp(-_n)))"
+}

combstruct/data/ecs01/ecs_0185.json

@@ -0,0 +1,38 @@
+{
+    "id": 185,
+    "name": "Denumerant for coin values 5, 10, 20, 50, 100",
+    "description": "number of ways to make n cents with coins of 5 10 20 50 100 cents",
+    "specification": "{S = Prod(Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        0,
+        0,
+        0,
+        1,
+        0,
+        0,
+        0,
+        0,
+        2,
+        0,
+        0,
+        0,
+        0,
+        2,
+        0,
+        0,
+        0,
+        0,
+        4
+    ],
+    "references": [
+        "EIS A001343"
+    ],
+    "gf": "-1/(_x^5-1)/(_x^10-1)/(_x^20-1)/(_x^50-1)/(_x^100-1)",
+    "rec": "{1109223024+24312650*_n-24*_f(_n)-360*_f(_n+2)-120*_f(_n+1)+199835*_n^2-4920*_f(_n+6)-1200000*_f(_n+85)-1200000*_f(_n+86)-552000*_f(_n+38)-576000*_f(_n+39)-600000*_f(_n+40)-624000*_f(_n+41)-648000*_f(_n+42)-672000*_f(_n+43)-696000*_f(_n+44)-720000*_f(_n+45)-744000*_f(_n+46)-768000*_f(_n+47)-792000*_f(_n+48)-816000*_f(_n+49)-839976*_f(_n+50)-863880*_f(_n+51)-887640*_f(_n+52)-911160*_f(_n+53)-934320*_f(_n+54)-957000*_f(_n+55)-979080*_f(_n+56)-1000440*_f(_n+57)-1020960*_f(_n+58)-1040520*_f(_n+59)-1059024*_f(_n+60)-1076400*_f(_n+61)-1092600*_f(_n+62)-1107600*_f(_n+63)-1121400*_f(_n+64)-1134000*_f(_n+65)-1145400*_f(_n+66)-1155600*_f(_n+67)-1164600*_f(_n+68)-1172400*_f(_n+69)-1179024*_f(_n+70)-1184520*_f(_n+71)-1188960*_f(_n+72)-1192440*_f(_n+73)-1195080*_f(_n+74)-1197000*_f(_n+75)-1198320*_f(_n+76)-1199160*_f(_n+77)-1199640*_f(_n+78)-1199880*_f(_n+79)-1199976*_f(_n+80)-1200000*_f(_n+81)-1200000*_f(_n+82)-1200000*_f(_n+83)-1200000*_f(_n+84)-3000*_f(_n+5)-1680*_f(_n+4)-840*_f(_n+3)-1200000*_f(_n+87)+730*_n^3-1121400*_f(_n+116)-1107600*_f(_n+117)-1092600*_f(_n+118)-1076400*_f(_n+119)-1059024*_f(_n+120)-1040520*_f(_n+121)-1020960*_f(_n+122)-1000440*_f(_n+123)-979080*_f(_n+124)-957000*_f(_n+125)-934320*_f(_n+126)-911160*_f(_n+127)-887640*_f(_n+128)-863880*_f(_n+129)-839976*_f(_n+130)-816000*_f(_n+131)-792000*_f(_n+132)-768000*_f(_n+133)-744000*_f(_n+134)-720000*_f(_n+135)-696000*_f(_n+136)-672000*_f(_n+137)-648000*_f(_n+138)-624000*_f(_n+139)-600000*_f(_n+140)-576000*_f(_n+141)-552000*_f(_n+142)-528000*_f(_n+143)-504000*_f(_n+144)-480000*_f(_n+145)-456000*_f(_n+146)-432000*_f(_n+147)-408000*_f(_n+148)-384000*_f(_n+149)-360024*_f(_n+150)-336120*_f(_n+151)-312360*_f(_n+152)-288840*_f(_n+153)-265680*_f(_n+154)-243000*_f(_n+155)-220920*_f(_n+156)-199560*_f(_n+157)-179040*_f(_n+158)-159480*_f(_n+159)-140976*_f(_n+160)-123600*_f(_n+161)-107400*_f(_n+162)-92400*_f(_n+163)-78600*_f(_n+164)-66000*_f(_n+165)-54600*_f(_n+166)-44400*_f(_n+167)-35400*_f(_n+168)-27600*_f(_n+169)-20976*_f(_n+170)-15480*_f(_n+171)-11040*_f(_n+172)-1200000*_f(_n+88)-1200000*_f(_n+89)-1200000*_f(_n+90)-1200000*_f(_n+91)-1200000*_f(_n+92)-1200000*_f(_n+93)-1200000*_f(_n+94)-1200000*_f(_n+95)-1200000*_f(_n+96)-1200000*_f(_n+97)-1200000*_f(_n+98)-1200000*_f(_n+99)-1199976*_f(_n+100)-1199880*_f(_n+101)-1199640*_f(_n+102)-1199160*_f(_n+103)-1198320*_f(_n+104)-1197000*_f(_n+105)-1195080*_f(_n+106)-1192440*_f(_n+107)-1188960*_f(_n+108)-1184520*_f(_n+109)-1179024*_f(_n+110)-1172400*_f(_n+111)-1164600*_f(_n+112)-1155600*_f(_n+113)-1145400*_f(_n+114)-1134000*_f(_n+115)+_n^4-7560*_f(_n+7)-11040*_f(_n+8)-15480*_f(_n+9)-20976*_f(_n+10)-27600*_f(_n+11)-35400*_f(_n+12)-44400*_f(_n+13)-54600*_f(_n+14)-66000*_f(_n+15)-78600*_f(_n+16)-92400*_f(_n+17)-107400*_f(_n+18)-123600*_f(_n+19)-140976*_f(_n+20)-159480*_f(_n+21)-179040*_f(_n+22)-199560*_f(_n+23)-220920*_f(_n+24)-243000*_f(_n+25)-265680*_f(_n+26)-288840*_f(_n+27)-312360*_f(_n+28)-336120*_f(_n+29)-360024*_f(_n+30)-384000*_f(_n+31)-408000*_f(_n+32)-432000*_f(_n+33)-456000*_f(_n+34)-480000*_f(_n+35)-504000*_f(_n+36)-528000*_f(_n+37)-7560*_f(_n+173)-4920*_f(_n+174)-3000*_f(_n+175)-1680*_f(_n+176)-840*_f(_n+177)-360*_f(_n+178)-120*_f(_n+179)-24*_f(_n+180), _f(0) = 1, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 1, _f(6) = 0, _f(7) = 0, _f(8) = 0, _f(9) = 0, _f(10) = 2, _f(11) = 0, _f(12) = 0, _f(13) = 0, _f(14) = 0, _f(15) = 2, _f(16) = 0, _f(17) = 0, _f(18) =0, _f(19) = 0, _f(20) = 4, _f(21) = 0, _f(22) = 0, _f(23) = 0, _f(24) = 0, _f(25) = 4, _f(26) = 0, _f(27) = 0, _f(28) = 0, _f(29) = 0, _f(30) = 6, _f(31) =0, _f(32) = 0, _f(33) = 0, _f(34) = 0, _f(35) = 6, _f(36) = 0, _f(37) = 0, _f(38) = 0, _f(39) = 0, _f(40) = 9, _f(41) = 0, _f(42) = 0, _f(43) = 0, _f(44) =0, _f(45) = 9, _f(46) = 0, _f(47) = 0, _f(48) = 0, _f(49) = 0, _f(50) = 13, _f(51) = 0, _f(52) = 0, _f(53) = 0, _f(54) = 0, _f(55) = 13, _f(56) = 0, _f(57)= 0, _f(58) = 0, _f(59) = 0, _f(60) = 18, _f(61) = 0, _f(62) = 0, _f(63) = 0,_f(64) = 0, _f(65) = 18, _f(66) = 0, _f(67) = 0, _f(68) = 0, _f(69) = 0, _f(70) = 24, _f(71) = 0, _f(72) = 0, _f(73) = 0, _f(74) = 0, _f(75) = 24, _f(76) =0, _f(77) = 0, _f(78) = 0, _f(79) = 0, _f(80) = 31, _f(81) = 0, _f(82) = 0, _f(83) = 0, _f(84) = 0, _f(85) = 31, _f(86) = 0, _f(87) = 0, _f(88) = 0, _f(89)= 0, _f(90) = 39, _f(91) = 0, _f(92) = 0, _f(93) = 0, _f(94) = 0, _f(95) = 39,_f(96) = 0, _f(97) = 0, _f(98) = 0, _f(99) = 0, _f(100) = 50, _f(101) = 0, _f(102) = 0, _f(103) = 0, _f(104) = 0, _f(105) = 50, _f(106) = 0, _f(107) = 0, _f(108) = 0, _f(109) = 0, _f(110) = 62, _f(111) = 0, _f(112) = 0, _f(113) = 0, _f(114) = 0, _f(115) = 62, _f(116) = 0, _f(117) = 0, _f(118) = 0, _f(119) = 0,_f(120) = 77, _f(121) = 0, _f(122) = 0, _f(123) = 0, _f(124) = 0, _f(125) = 77, _f(126) = 0, _f(127) = 0, _f(128) = 0, _f(129) = 0, _f(130) = 93, _f(131) =0, _f(132) = 0, _f(133) = 0, _f(134) = 0, _f(135) = 93, _f(136) = 0, _f(137) =0, _f(138) = 0, _f(139) = 0, _f(140) = 112, _f(141) = 0, _f(142) = 0, _f(143)= 0, _f(144) = 0, _f(145) = 112, _f(146) = 0, _f(147) = 0, _f(148) = 0, _f(149) = 0, _f(150) = 134, _f(151) = 0, _f(152) = 0, _f(153) = 0, _f(154) = 0, _f(155) = 134, _f(156) = 0, _f(157) = 0, _f(158) = 0, _f(159) = 0, _f(160) = 159,_f(161) = 0, _f(162) = 0, _f(163) = 0, _f(164) = 0, _f(165) = 159, _f(166) = 0, _f(167) = 0, _f(168) = 0, _f(169) = 0, _f(170) = 187, _f(171) = 0, _f(172) =0, _f(173) = 0, _f(174) = 0, _f(175) = 187, _f(176) = 0, _f(177) = 0, _f(178)= 0, _f(179) = 0}",
+    "closedform": "Sum(1/400000*_alpha^2*(9*_alpha^45+9*_alpha^40+25*_alpha^35+25*_alpha^30+41*_alpha^25+41*_alpha^20+25*_alpha^15+25*_alpha^10+25*_alpha^5+25)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^50+2*_Z^40+2*_Z^30+2*_Z^20+2*_Z^10+1))+Sum(1/400000*(801*_alpha^46+846*_alpha^41+2225*_alpha^36+2350*_alpha^31+3649*_alpha^26+3854*_alpha^21+2545*_alpha^16+2670*_alpha^11+2545*_alpha^6+2670*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^50+2*_Z^40+2*_Z^30+2*_Z^20+2*_Z^10+1))+Sum(1/12000000*_alpha^(-_n)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^5+1))+Sum(181/8000000*_alpha^(-_n)*(_n+2)*(_n+1),_alpha = RootOf(_Z^5+1))+Sum(14383/8000000*_alpha^(-_n)*(_n+1),_alpha = RootOf(_Z^5+1))+Sum(622627/16000000*_alpha^(-_n),_alpha = RootOf(_Z^5+1))+Sum(1/1000*(3*_alpha^36+3*_alpha^31-6*_alpha^26-6*_alpha^21-_alpha^16-_alpha^11-7*_alpha^6-7*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^40-_Z^30+_Z^20-_Z^10+1))+Sum(1/120000000*_alpha^(-_n-5)*(_n+1)*(_n+2)*(_n+3)*(_n+4),_alpha = RootOf(_Z^5-1))+Sum(3/1000000*_alpha^(-_n)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^5-1))+Sum(1421/4000000*_alpha^(-_n)*(_n+2)*(_n+1),_alpha = RootOf(_Z^5-1))+Sum(6097/400000*_alpha^(-_n)*(_n+1),_alpha= RootOf(_Z^5-1))+Sum(13327679/80000000*_alpha^(-_n),_alpha = RootOf(_Z^5-1))",
+    "equiv": "0"
+}

combstruct/data/ecs01/ecs_0186.json

@@ -0,0 +1,38 @@
+{
+    "id": 186,
+    "name": "Denumerant for coin values 1, 2, 4, 10",
+    "description": "number of ways to make n cents with coins of 1 2 4 10 cents",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        2,
+        4,
+        4,
+        6,
+        6,
+        9,
+        9,
+        13,
+        13,
+        18,
+        18,
+        24,
+        24,
+        31,
+        31,
+        39,
+        39,
+        49
+    ],
+    "references": [
+        "EIS A001362"
+    ],
+    "gf": "1/(-1+_x)/(_x^2-1)/(_x^4-1)/(_x^10-1)",
+    "rec": "{6*_f(_n)+18*_f(_n+1)+30*_f(_n+2)+42*_f(_n+3)+48*_f(_n+4)+48*_f(_n+5)+48*_f(_n+6)+48*_f(_n+7)+48*_f(_n+8)+48*_f(_n+9)+42*_f(_n+10)+30*_f(_n+11)+18*_f(_n+12)+6*_f(_n+13)-_n^3-45*_n^2-674*_n-3360, _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 2, _f(4) = 4, _f(5) = 4, _f(6) = 6, _f(7) = 6, _f(8) = 9, _f(9) = 9, _f(10) = 13, _f(11) = 13, _f(12)= 18}",
+    "closedform": "Sum(1/50*(_alpha^7+_alpha^6+2*_alpha^5+_alpha^3+_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^8+_Z^6+_Z^4+_Z^2+1))+Sum(1/32*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+1))+1/960*(3*_n^2+51*_n+186)*(-1)^(-_n)+1/480*_n^3+17/320*_n^2+373/960*_n+119/160",
+    "equiv": "1/480*_n^3"
+}