<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>I can introduce a flag to disable the training wheels. I'll try
and do it when I get back.</p>
<p>--Steve<br>
</p>
<br>
<div class="moz-cite-prefix">On 02/16/2017 11:04 PM, Frank Loeffler
wrote:<br>
</div>
<blockquote cite="mid:20170217040451.GA12455@topf.wg" type="cite">On
Thu, Feb 16, 2017 at 04:34:35PM -0600, Roland Haas wrote:
<br>
<blockquote type="cite">I asked the same question and (par for the
answer is): it is at parsing
<br>
it with both methods and then comparing so it must be strictly
<br>
slower :) This also qualifies for "debug code" I guess.
<br>
</blockquote>
<br>
The idea is to catch cases where the new parser gets to a
different result than the old, especially for thorns we don't have
access to. I wouldn't call it 'debugging', since there is nothing
to debug at the moement, maybe verification - but that is just a
name anyway.
<br>
<br>
The more interesting question is: how much slower did it get for
individual users - and was it piraha or something else? It
shouldn't be much more than twice as slow, because otherwise it
would mean piraha would be slower than the old method. It would
still be better than the old method, and it was never meant as a
replacement for efficiency reasons, but it would be interesting to
know what the difference is.
<br>
<br>
Steve (I know you are out of town, but at some point you are going
to read this): is there an easy way to temporarily disable one or
the other method, so that a speed-test could be made by anyone, on
their system, with their thorns?
<br>
<br>
Frank
<br>
<br>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Users@einsteintoolkit.org">Users@einsteintoolkit.org</a>
<a class="moz-txt-link-freetext" href="http://lists.einsteintoolkit.org/mailman/listinfo/users">http://lists.einsteintoolkit.org/mailman/listinfo/users</a>
</pre>
</blockquote>
<br>
</body>
</html>