finding subterms in a bigger term

• Subject: finding subterms in a bigger term
• From: Richard Fateman
• Date: Mon, 17 Sep 2007 08:32:16 -0700

I do not understand your specification.

Consider  gamma(k)=(k-1) gamma(k-1).
so
(gamma (a + 1) gamma (b + 1) gamma (b + a + 3)

 is equal to  a*b*(a+b+2)*(a+b+1)*(a+b)* gamma(a)*gamma(b)*gamma(a+b).

Is this what you want?

• Prev by Date: ssubst on long strings
• Next by Date: finding subterms in a bigger term
• Previous by thread: finding subterms in a bigger term
• Next by thread: finding subterms in a bigger term
• Index(es):
  • Date
  • Thread