> A simple computation using patterns in trigonometric symbolic
> expressions as discussed on another recent email chain on this list is
> shown in
>
> http://axiom-wiki.newsynthesis.org/SandBoxSymbolicTrig
> <http://www.google.com/url?q=http%3A%2F%2Faxiom-wiki.newsynthesis.org%2FSandBoxSymbolicTrig&sa=D&sntz=1&usg=AFQjCNEh1lPSiN5EhXv8KL0dF5XyDO0sOQ>
>
>
>
This actually solves the problem :)
But one (possibly stupid) question: what is the meaning of the underscore
in "_rule"?
I'm slightly confused:
(4) -> _rule(x,y)
(4) x == y
Type:
RewriteRule(Integer,Integer,Expression(Integer))
(5) -> rule(x,y)
Line 1: rule(x,y)
......A
Error A: syntax error at top level
Error A: Improper syntax.
2 error(s) parsing
(5) -> rule x==Y
(5) x == Y
Type:
RewriteRule(Integer,Integer,Expression(Integer))
(6) -> _sin(x) -- line continuation?
(6) sin(x)
Type:
Expression(Integer)
)co sexpr
(x,y,z):SEXPR INT
t1 := cos(x)*sin(y) - cos(y)*sin(x)
t2 := - sin(x)*sin(y) + cos(x)*cos(y)
expr := tan(q)*tan(w) + t1*cos(x3) + t2*w*cos(a) + r3*t1*t2 + 5
rs:=_rule(cos(x)*sin(y)-sin(x)*cos(y), sin(y-x))
rc:=_rule(cos(x)*cos(y)-sin(x)*sin(y), cos(x+y))
expr_s := rc rs expr
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
