vermaseren / form

The FORM project for symbolic manipulation of very big expressions
GNU General Public License v3.0
1.14k stars 136 forks source link

[doc] "while" is not equivalent to "repeat" #157

Open tueda opened 7 years ago

tueda commented 7 years ago

I think I wrote it somewhere, but at least I can't find it in the Github Issues.

The manual shows the while/endwhile combination and the equivalent repeat/endrepeat construction. But this is wrong when the term doesn't change.

This explanation may be a reason why some people abuse repeat-endrepeat as while(1)-endwhile, which is conceptually wrong.