《淵穎集》

王樸五代《欽天曆》又謂蝕神首尾僅行於民間，小曆而已。