数枝红菡萏，几尺碧涟漪出自哪首诗？

数枝红菡萏，几尺碧涟漪出自文同的《山池》。这句诗词出自文同的《山池》。
下面是这首诗的全文：
偪侧苍苔地，{左亻右瓜}邪白石池。数枝红菡萏，几尺碧涟漪。鱼鳖争香饵，儿童簇钓丝。爱来芳荫下，每日日西时。
《即事》《偶成》《北斋雨后》《再和》《送棋僧惟照》《仁宗皇帝挽诗十首》《仁宗皇帝挽诗十首》《仁宗皇帝挽诗十首》《仁宗皇帝挽诗十首》《仁宗皇帝挽诗十首》都是文同写的诗词。文同的所有诗词都被收录在了《文同诗集》中。
文同简介：
文同（1018～1079年），字与可，号笑笑居士、笑笑先生，人称石室先生。北宋梓州梓潼郡永泰县（今属四川省绵阳市盐亭县）人。著名画家、诗人。宋仁宗皇祐元年（1049年）进士，迁太常博士、集贤校理，历官邛州、大邑、陵州、洋州（今陕西洋县）等知州或知县。元丰初年，文同赴湖州（今浙江吴兴）就任，世人称文湖州。元丰二年（1079）正月二十日，文同在陈州（今河南省淮阳县）病逝，未到任而卒，享年61岁。他与苏轼是表兄弟，以学名世，擅诗文书画，深为文彦博、司马光等人赞许，尤受其从表弟苏轼敬重。