Re: Re: [fricas-devel] interpreter (command line): syntax of "rule"

2018-07-05 Thread Riccardo GUIDA
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

Re: [fricas-devel] interpreter (command line): syntax of "rule"

2018-07-05 Thread Bill Page
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

[fricas-devel] interpreter (command line): syntax of "rule"

2018-07-05 Thread Riccardo GUIDA
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 not see a call to a function "rule" of two parameters, rule(f,g): what's