On Wed, Oct 14, 2015 at 6:50 PM, Richard Sandiford
wrote:
> This patch fixes some fallout from my patch to move the sqrt and cbrt
> folding rules to match.pd. The rules included canonicalisations like:
>
>sqrt(sqrt(x))->pow(x,1/4)
>
> which in the original code was only ever done at the gener
This patch fixes some fallout from my patch to move the sqrt and cbrt
folding rules to match.pd. The rules included canonicalisations like:
sqrt(sqrt(x))->pow(x,1/4)
which in the original code was only ever done at the generic level.
My patch meant that we'd do it whenever we tried to fold a
