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 happening? Is this an interpreter (command line) language
construct that has nothing to do with standard function call of type rule(f,g)?
Can one rewrite (1) as an equivalent function call rule(f,g) for some f,g?
Thanks in advance for any hint,
Riccardo
(1) -> rule sin(x) == x -- unwise rule
Function Selection for sin
Arguments: VARIABLE(x)
-> no appropriate sin found in Variable(x)
-> no appropriate sin found in Symbol
-> no appropriate sin found in Variable(x)
-> no appropriate sin found in Symbol
Modemaps from Associated Packages
no modemaps
Remaining General Modemaps
[1] D -> D from D if D has TRIGCAT
[1] signature: EXPR(INT) -> EXPR(INT)
implemented: slot $$ from EXPR(INT)
Function Selection for rule
Arguments: (EXPR(INT), VARIABLE(x))
-> no appropriate rule found in Expression(Integer)
-> no appropriate rule found in Variable(x)
-> no appropriate rule found in Expression(Integer)
-> no appropriate rule found in Variable(x)
Modemaps from Associated Packages
no modemaps
Remaining General Modemaps
[1] (D1,D1) -> RewriteRule(D2,D3,D1) from RewriteRule(D2,D3,D1)
if D2 has SETCAT and D3 has Join(RING,PATMAB(D2),COMPAR,
KONVERT(PATTERN(D2))) and D1 has Join(FS(D3),PATMAB(D2),
KONVERT(PATTERN(D2)))
[1] signature: (EXPR(INT), EXPR(INT)) -> RULE(INT,INT,EXPR(INT))
implemented: slot $(Expression (Integer))(Expression (Integer)) from
RULE(INT,INT,EXPR(INT))
(1) sin(x) == x
Type: RewriteRule(Integer,Integer,Expression(Integer))
(2) ->
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
