Palindrome test (source code)

= Palindrome test

Decide whether a finite <string> is a <palindrome> by comparing corresponding symbols from opposite ends. The test needs at most half as many symbol comparisons as the <string> length and can use constant auxiliary space.