The escape symbel _ is necessary in order to defeat the magic.
Great, many thanks Bill! I saw the API for RewriteRule and I was willing to try
these functions, but I was unable to defeat interpreter's magics.
riccardo
--
You received this message because you are subscribed to the Google Grou
On Thu, Jul 5, 2018 at 12:20 PM, Riccardo GUIDA
wrote:
> Hi
>
> I do not understand how the syntax
>
> rule sin(x) == x -- see (1) below
>
> is accommodated to fit in the signature
> (EXPR(INT), EXPR(INT)) -> RULE(INT,INT,EXPR(INT))
> see fricas message below
>
> In other words: in (1) I do n