下垣一宫名天市，
两扇垣墙二十二。
当门六角黑市楼，
门左两撺是车肆。
两个宗正四宗人，
宗撺一{雨/只}亦依次。
帛度两撺屠肆前，
候撺还在帝坐边。
帝坐一撺常光明，
四个微茫宦者撺。
以次两撺名列肆，
斗斛帝前依其次，
斗是五撺斛是四。
垣北九个贯索撺，
索口横者七公成。
天纪恰似七公形，
数着分明多两撺。
纪北三撺名女床，
此坐还依织女傍。
三元之象无相侵，
二十八宿随其阴。
水火土木幷与金，
以次别有五行分。
（以上三首录《通志》卷三九《天文略》第二）（按：
〖1〗《崇文总目》辑本卷四《天文占书类》有“《丹元子步天歌》一卷，
王希明撰”。
〖2〗《新唐书·艺文志》“天文类”云：
“王希明《丹元步天歌》一卷。
”）-811-（〖3〗黄伯思《东观余论》卷下《校正〈崇文总目〉十七条》云：
“《丹元子步天歌》，
此但记列撺所在，
并其象数，
使人易识耳，
非占说也。
”〖4〗郑樵《通志·天文略》云：
“隋有丹元子者，
隐者之流也。
不知名氏，
作《步天歌》，
见者可以观象焉。
王希明纂汉晋志以释之，
《唐书》误以为王希明也。
……此本只传灵台，
不传人间，
术家秘之，
名曰《鬼料窍》。
世有数本，
不胜其讹，
今则取之，
仰观以从稽定。
”〖5〗晁公武《郡斋读书志》〖袁本〗卷三上录《步天歌》一卷：
“右未详撰人。
二十八宿地歌也。
三垣颂、五撺凌犯赋于后。
或云唐王希明，
自号丹元子。
”〖6〗王应麟《困学纪闻》卷九《天道》云：
“《步天歌》，
《唐志》谓王希明丹元子。
今本司天右拾遗内供奉王希明撰，
乔令来注。
二十八宿歌、三垣颂，
五行吟，
总为一卷。
”次引郑樵之说，
末谓“然则王希明丹元子盖二人也”。
〖7〗钱大昕《十驾斋养新录》卷十四云：
“《丹元子步天歌》，
不着撰人姓名。
相传以为唐王希明所撰。
郑樵独非之。
以为丹元子隋之隐者，
与希明各是一人。
然歌词浅陋，
不似隋人文字，
《隋书·经籍志》亦无此书，
其非隋人明矣。
古天文家未有以太微、天市配紫宫为三垣者。
《太史公书》，
太微属南宫，
天市属东宫。
《晋》、《隋》二志，
则分中外宫与二十八宿为三列、而太微、天市杂叙于中宫之次。
使丹元子果隋人，
则唐初李淳风修《隋志》，
何不一述三垣之说乎？
渔仲好异而无识，
欲取俚鄙之歌，
驾乎前志之上，
所谓弃周鼎而宝康瓠者也。
”〖8〗沈曾植《海日楼札丛》卷三云：
“世或谓《丹元子步天歌》是隋时人作，
郑渔仲《天文略》亦谓丹元子隋人撰歌，
王希明唐人撰释。
然《通志》天文书目：
《丹元子步天歌》一卷，
注云：
‘唐右拾遗内供奉王希明撰。
’固无丹元子隋人之说也。
《唐志》五行类，
王希明《太一金镜式经》十卷，
注‘开元中诏撰’则希明乃术数学家，
非天文专家。
”〖9〗罗振玉《雪堂校刊群书叙录》卷下云：
“郑氏《通志·天文略》谓撰《步天歌》之丹元子乃隋人，
于前藉无征，
恐未可信。
”）-812-。