wolfram-mathematica - 如何清除一个符号的缓存，即Unset pattern-free DownValues 4

Question

考虑这段代码：

ClearCache[f_] := DownValues[f] = DeleteCases[DownValues[f], 
                                              _?(FreeQ[First[#], Pattern] &)]

问题：有人可以扩展段_?之前的含义(FreeQ...吗？我对 Mathematica 中模式语法的研究和理解_head打败了我。

Answer 1

_匹配任何内容，并且在传递给以下函数时，匹配的任何内容都会评估为的?检查：._TrueFreeQ[First[#], Pattern] &

一般来说，p?test是一个模式对象，它代表任何匹配的表达式p，并且在其上应用test给出，如您在此处True的相关文档中所见。