On Fri, Sep 12, 2014 at 12:04 PM, Marc Glisse wrote:
> Hello,
>
> here is a new predicate which tests if a number is 1, or (for vector and
> complex) a collection of 1. The only difference with integer_onep should be
> for complex where it wants 1+i and not 1. The main use would be in the match
>
Hello,
here is a new predicate which tests if a number is 1, or (for vector and
complex) a collection of 1. The only difference with integer_onep should
be for complex where it wants 1+i and not 1. The main use would be in the
match branch, so I didn't waste too much time adding many uses, I j