while ... repeat vs until ... repeat

[Ralf Hemmecke]

Oh, I must have missed this. Obviously, the FriCAS compiler
allows "until" as a keyword.

https://github.com/fricas/fricas/blob/master/src/algebra/ffpoly.spad#L250

I guess the meaning of

until x repeat y

is

while not x repeat y

Right?

I'm not aware that "until" is documented. Am I wrong?

Ralf

[Nasser M. Abbasi]

I do not know about FriCAS. but I think the difference is that "until x repeat  y" the test is done at end of loop but in "while not x repeat y" the test is done at start of loop.  So "until x repeat  y" will loop at least one time.