Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Draft decoration system for discussion



Vincent Lefevre wrote, replying to John Pryce:
> > My spec is
> >   If xx is an interval, return (yy,dy) = (xx,t) where t is the threshold.
>
> Do you really mean that for instance, if xx is [0,1] and the
> threshold is ill, then (yy,dd) = ([0,1], ill)?  Or if xx is Empty
> and the threshold is dac, then (yy,dd) = (Empty,dac)?

Vincent forgot that the threshold must not be less than trv, so those
cases can't arise.

Michel.
---Sent: 2012-12-11 14:41:27 UTC