if_then_else_parallelized(c, a, b): Allow a and b to be BooleanBlock

[matthiasgeihs]

What is the problem you want to solve and can not with the current version?
Since the introduction of BooleanBlock in 0.5.0, k.if_then_else_parallelized(c, a, b) expects c to be a BooleanBlock and a and b to implement trait IntegerRadixCiphertext, for an integer radix key k.

Sometimes, however, we want to compute an if_then_else on a triple of boolean values (i.e., a and b being of type BooleanBlock). This is not possible currently.

Describe the solution you'd like
Either allow a and b of type BooleanBlock as an input to k.if_then_else_parallelized(c, a, b), or provide a separate function on the key that permits such inputs.

Describe alternatives you've considered
It is possible to achieve the desired functionality by converting to and from RadixCiphertext, or via k.boolean_bitor(k.boolean_bitand(c, a), k.boolean_bitand(k.boolean_bitnot(c), a)), but this is cumbersome.

Additional context
tfhe-rs = { version="0.5.0" }

[IceTDrinker]

Hello @matthiasgeihs yep, we'll add that possibility, it's really not much but it is indeed not available currently

[arajasek]

Is the proposal here simply to add an if_then_else_boolean_parallelized? I'm happy to open a PR implementing that if that's the case.

[IceTDrinker]

Yes I think it's the idea, we have been far more busy than anticipated and in the end did not tackle that, @arajasek if you have signed the CLA and see how to integrate that in integer and in the tests then sure