On entry, .
Constraint: for all .
On entry, for , , and .
Constraint: if then for all .
On entry, .
Constraint: .
On entry, .
Constraint: .
On entry, .
Constraint: .
On entry, .
Constraint: .
On entry, .
Constraint: .
On entry, .
Constraint: for all .
On entry, .
Constraint: , or .
On entry,
or
,
and
.
Constraint: if
or
and
then
neqg must retain its value from the prior call with
.
On entry,
or
and
.
Constraint: if
or
then
neqf must retain its value,
, from the prior call with
.
On entry,
or
and
.
Constraint: if
or
then
vectol must retain its value from the prior call with
.
On entry,
or
and
.
Constraint: if
or
then
vectol must retain its value from the prior call with
.
On entry, , and .
Constraint: if then .
On entry, , and .
Constraint: if then .