Improvement. Specialise the replace function more for replacing symbols by other things. This is considerably faster.
Improvement. Specialise the replace function more for replacing symbols by other things. This is considerably faster.

git-svn-id: 5069ba8be4c997ee907bf46f8ec9a2bbfb655637@1186 e59a4935-1847-0410-ae03-e826735625c1

linpc/STP,linpc/STP,linpc/STP,linpc/STP,linpc/STP