# exact and approximate

From: <Marina_Nikitina@infoimage.com>
Date: Tue, 18 May 1999 11:22:23 -0700

Message-ID: <07256775.0064E0AF.00@mail.infoimage.com>
```In 2.5.1.4 you are defining approximate datatypes as follows:

Then for every value v' in C, there is a corresponding value v in M and a real
value h such that P(x) = v' for all X in M such that |v - x| < h.

First of all, because of absolute value,  h should be >0 (or >=0).
Then x in M must  be different from v in M. So, you better say , for example,
... and a real value h >0 such that P(x) = v' for all x != v in M such that |v -
x| < h

Next:  Furthermore, for at least one value v' in C, there is more than one value
y in M such that P(y) = v'
Question: is it possible for  v'' from C and v'' !=v' that P(y) =v' and
P(y)=v''?
I am just trying to understand your concept of "approximate datatype".

Thanks
```
Received on Tuesday, 18 May 1999 14:22:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 18:12:46 GMT