$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
From: Joel Young (jdy_at_[hidden])
Date: 2002-09-05 22:59:14
From: Douglas Gregor <gregod_at_[hidden]>
> I can vouch for the need for the definition:
> [a,b] RelOp [c,d] := x RelOp y for all (x, y) where a <= x <= c, b <= y <= d
Hi Doug,
Could you describe some of the RelOps you find interesting?
Thanks!