陳振孫書錄解題曰。步天歌一卷。未詳撰人。二十八舍歌也。三垣頌。五星陵犯賦。附於後。或曰唐王希明撰。自號丹元子。鄭樵通志天文略。則曰隋有丹元子。隱者之流也。不知名氏。作步天歌。王希明纂漢晉志以釋之。唐書誤以爲王希明。案樵天文略。全採此歌。故推之甚至。然丹元子爲隋人。不見他書。不知樵何所據。使果隋時所作。不應李淳風不知其人。隋書經籍志中竟不著錄。至唐書乃稱王希明也。疑以傳疑。闕所不知。可矣。其書以紫微太微天市。分上中下三垣宮。仍以四方之星分屬二十八舍。皆以七字爲句。條理詳明。歷代傳爲佳本。本朝御製。及欽定天文儀象諸書。咸採錄之。復有專刻官本。考度繪圖。測驗星躔。一一脗合。此本圖度未工。句多增減。所註占語。亦未詳出自誰手。未爲善本。又唐志。文獻通考。並稱一卷。而此本乃有七卷。其爲後人所竄亂。審矣。鄭樵亦稱世有數本。不勝其譌此或卽其一也。