Richard Fateman wrote: > you could do this: > matchdeclare([a,b,c,d],any); > > f[Interval(a,b),Interval(b,c)):=fInterval(a,b,c,d) I should have said.. tellsimp(f(Interval(a,b),Interval(b,c)), fInterval(a,b,c,d))