diff: clpr division and \==

[Lee Naish]

In article <199709070558.PAA08916 at mundook.cs.mu.OZ.AU>, Tyson Richard DOWD <trd at cs.mu.OZ.AU> writes:
> Fergus Henderson 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' ??

	lee