Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
The command subst([a^b=x],a^b+a^(2*b)) fails, while subst([a^b=x],a^b+a^(2*b)) works fine. Also, the alternative
syntax subst( [a=b],exp) is not documented in the manual, even though it appears in some of the examples given.