[m-dev.] Re: diff: clpr division and \==

[Fergus Henderson]

Lee Naish, you wrote:
> 
> >  > clpr/cfloat.m:
> >  > clpr/cfloat_float.m:
> >  > clpr/float_cfloat.m:
> >  > 	Add disequality constraints (\==).
> >  > 	Fix division so that it handles division by zero properly;
> >  > 	in particular, define `X/Y=Z' as if by `X=Y*Z, Y\==Z'
> 
> Should this be `X=Y*Z, Y\==0' ??

Yes.

(The code was correct, only the log message was wrong.)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.