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.