竹下添池有小渠是什么诗？

Question

「竹下添池有小渠」出自哪首诗？作者是谁？

Accepted Answer

「竹下添池有小渠」出自唐代裴夷直的《晚凉》。下一句是「山客野僧归去后」。