>
|
|
>
|
|
>
|
|
>
|
|
In the following case, is even, but the default zero testing algorithm does not recognize this.
>
|
|
>
|
|
By changing the zero testing algorithm, we can make this return true. By default, Testzero calls Normalizer. In this case, we strengthen Normalizer.
>
|
|