Question: pattern matching for function inputs ?

The following works:

  u+v*w;
  patmatch(%,a::name*b::name +c::name,'p');
  p;

                                 true
                        [a = v, b = w, c = u]


But how can I use pattern matching on function inputs?

  g(u+v*w);
  patmatch(%,h::name(a::name*b::name +c::name),'p');

                                false

How can I tell the system, that I want to view that as some function
on a linear input (without knowing the function name in advance [for
example in a nested situation like the Horner form of a polynomial,
or more advanced: defining integration rules or such stuff]) ?
Please Wait...