In section 6.21 of the 'book' we have:

"This longer notation gives you patterns that the standard notation
won't handle. For example, the rule

rule %f(c * 'x) ==  c*%f(x)

means for all f and c, replace f(y) by c*f(x) when y is the product of c
and the explicit variable x."

This does not work unless %f is declared as BOP which is not what I
expected by the explanation above. Could it work the way I think it
should, g(y*x) -> y*g(x) ?
Kurt

-- 
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to