ifp: watch out!
<![CDATA[
boolean zero;
intVector X(N);
...
ifp (X == 0)
zero = true;
else
zero = false;
]]>
This will always set zero to true, then to false,
leaving it at false. The programmer probably wanted a reduction:
<![CDATA[
zero = all(X == 0);
or
zero = any(X == 0);
]]>
next...
prev...
begin lecture again...