On 11/07/2012 02:35 PM, Sean wrote:
> Another question, is there a way to compare outputs of reveal function?
>
> namely, i want to compare
>
> reveal(-a*b,1)
> and
> reveal(-a*b,2).
>
> z = -a*b
> is(equal( reveal(z,1), reveal(z,2))) does not work : says unable to
> compare predikate.
Try with = instead of is(equal())
if reveal(-a+b,1)=reveal(-a+b,2) then "yes" else "no";
--> no
if reveal(-a+b,3)=reveal(-a+b,4) then "yes" else "no";
--> yes
Cheers,
Jaime