创建最大值的解匹配

Question

受documentation的启发，特别是显示如何编写将检查表达式是否为确定整数的函数的部分，我正在尝试编写一些代码来识别表达式是否为无穷大。

matchdeclare(x, atom);
matchdeclare(n, atom);
simp: false;
defmatch (checkinfsum, 'sum (f, n, 1, inf));
'sum(cos(n*x)/n^2,n,1,inf);

返回false，我不知道为什么。知道为什么吗？

Answer 1

您是错误的matchdeclare(f, all)。

matchdeclare(n, atom)$
matchdeclare(f, all)$
defmatch(checkinfsum, 'sum (f, n, 1, inf)), simp = false$
e: 'sum(cos(n*x)/n^2,n,1,inf)$
checkinfsum(e);

返回
                                         cos(n x)
(%o5)                        [n = n, f = --------]
                                             2
                                            n