Program Gauss
assign
<[] :: {pivot with row }
<|| : notequal ::
:=
if notequal 0>
|| <|| ::
, if notequal 0>>
[] {exchange rows}
<|| : notequal ::
<|| :: :=
if and and
( notequal 0 or notequal 0)>>
end {Gauss}