Narcissist: Difference between revisions

Content added Content deleted
m (→‎{{header|TXR}}: Txr => TXR, because the wiki is case sensitive and the other 14 examples use TXR.)
(→‎{{header|TXR}}: Notes about termination in proof section.)
Line 173: Line 173:


These cases are an exhaustive partitioning of the possibilities; there are no ways to modify the data which do not land into one of these cases.
These cases are an exhaustive partitioning of the possibilities; there are no ways to modify the data which do not land into one of these cases.

Nothing in the query calls for any iteration or recursion. Termination depends on the base64 and sed utilities munching through the input, which presumably process an input of size N in O(N) steps. On that note, we could limit how many lines of the input are passed to base64 by using <code>sed -n -e '2,20p'</code>.