Hat-Observe N+M Counter?
Hi, I am wondering if there's no more M+N Counter. In the documentation is an explanation that it shows the number of evaluated and nonevaluated functions when using :info. Is there an option to set this option? I am using hat 2.04 Maik -- Maik Barz Wilhelmplatz 4 - 24116 Kiel www.Barzille.de
Maik,
I am wondering if there's no more M+N Counter. In the documentation is an explanation that it shows the number of evaluated and nonevaluated functions when using :info. Is there an option to set this option? I am using hat 2.04 The M+N counts in the :info tables of hat-observe are still shown just as before.
You mention 'evaluated and nonevaluated' applications, but that is not what M+N counts represent: counts of this form are used to indicate M applications that were demanded but not successfully reduced; and N reduced applications. Applications whose results are never demanded are not counted at all. Regards Colin R
"Maik Barz"
I am wondering if there's no more M+N Counter. In the documentation is an explanation that it shows the number of evaluated and nonevaluated functions when using :info. Is there an option to set this option?
You are right, the (m+n) count of (reduced applications + unevaluated apps) has been removed. I could not find anything in the commit log messages to say why. Would this be a useful feature to re-instate? There are actually three counts available: * reduced applications * applications entered but never completed (blackholes) * applications that were never demanded The original (m+n) count included the first two of these. We reasoned that the third count was uninteresting, because if a value was never demanded, then it had absolutely no effect on the computation. Regards, Malcolm
participants (3)
-
Colin Runciman -
Maik Barz -
Malcolm Wallace