Add concrete syntax for arithmetic operations such that we can
write

strong-siv(| ub, x) :
( |[ + ( * (i, x), j) ]|, |[ + ( * (i, x), k) ]|) -> “Strong SIV”
where (<subtS; try(abs)>(j,k),i) => distance
; ( ub, “1”) => range
; (distance, range)

as

strong-siv(| ub, x) :
( |[ ((i * x) + j) ]|, |[ ((i * x) + k) ]|) -> “Strong SIV”
where math(abs(j - k) / i <= ub - 1)

The idea here is that math(…) introduces a math strategy.

Submitted on 15 September 2004 at 12:39