隋书·志第十三

　　◎律历下
　　开皇二十年，袁充奏日长影短，高祖因以历事付皇太子，遣更研详著日长之候。太子征天下历算之士，咸集于东宫。刘焯以太子新立，复增修其书，名曰《皇极历》，驳正胄玄之短。太子颇嘉之，未获考验。焯为太学博士，负其精博，志解胄玄之印，官不满意，又称疾罢归。至仁寿四年，焯言胄玄之误于皇太子：
　　其一曰，张胄玄所上见行历，日月交食，星度见留，虽未尽善，得其大较，官至五品，诚无所愧。但因人成事，非其实录，就而讨论，违舛甚众。
　　其二曰，胄玄弦望晦朔，违古且疏，气节闰候，乖天爽命。时不从子半，晨前别为后日。日躔莫悟缓急，月逡妄为两种，月度之转，辄遗盈缩，交会之际，意造气差。七曜之行，不循其道，月星之度，行无出入，应黄反赤，当近更远，亏食乖准，阴阳无法。星端不协，珠璧不同，盈缩失伦，行度愆序。去极晷漏，应有而无，食分先后，弥为烦碎。测今不审，考古莫通，立术之疏，不可纪极。今随事纠驳，凡五百三十六条。
　　其三曰，胄玄以开皇五年，与李文琮于张宾历行之后，本州贡举，即赍所造历拟以上应。其历在乡阳流布，散写甚多，今所见行，与焯前历不异。玄前拟献，年将六十，非是忽迫仓卒始为，何故至京未几，即变同焯历，与旧悬殊？焯作于前，玄献于后，舍己从人，异同暗会。且孝孙因焯，胄玄后附孝孙，历术之文，又皆是孝孙所作，则元本偷窃，事甚分明。恐胄玄推讳，故依前历为驳，凡七十五条，并前历本俱上。
　　其四曰，玄为史官，自奏亏食，前后所上，多与历违，今算其乖舛有一十三事。又前与太史令刘晖等校其疏密五十四事，云五十三条新。计后为历应密于旧，见用算推，更疏于本。今纠发并前，凡四十四条。
　　其五曰，胄玄于历，未为精通。然孝孙初造，皆有意，徵天推步，事必出生，不是空文，徒为臆断。
　　其六曰，焯以开皇三年，奉敕修造，顾循记注，自许精微，秦汉以来，无所与让。寻圣人之迹，悟曩哲之心，测七曜之行，得三光之度，正诸气朔，成一历象，会通今古，符允经传，稽于庶类，信而有徵。胄玄所违，焯法皆合，胄玄所阙，今则尽有，隐括始终，谓为总备。
　　仍上启曰："自木铎寝声，绪言成烬，群生荡析，诸夏沸腾，曲技云浮，畴官雨绝，历纪废坏，千百年矣。焯以庸鄙，谬荷甄擢，专精艺业，耽玩数象，自力群儒之下，冀睹圣人之意。开皇之初，奉敕修撰，性不谐物，功不克终，犹被胄玄窃为己法，未能尽妙，协时多爽，尸官乱日，实玷皇猷。请征胄玄答，验其长短。"
　　焯又造历家同异，名曰《稽极》。大业元年，著作郎王邵、诸葛颍二人，因入侍宴，言刘焯善历，推步精审，证引阳明。帝曰："知之久矣。"仍下其书与胄玄参校。胄玄驳难云："焯历有岁率、月率，而立定朔，月有三大、三小。案岁率、月率者，平朔之章岁、章月也。以平朔之率而求定朔，值三小者，犹以减三五为十四；值三大者，增三五为十六也。校其理实，并非十五之正。故张衡及何承天创有此意，为难者执数以校其率，率皆自败，故不克成。今焯为定朔，则须除其平率，然后为可。"互相驳难，是非不决，焯又罢归。
　　四年，驾幸汾阳宫，太史奏曰："日食无效。"帝召焯，欲行其历。袁允方幸于帝，左右胄玄，共排焯历，又会焯死，历竟不行。术士咸称其妙，故录其术云。甲子元，距大隋仁寿四年甲子积一百万八千八百四十算。
　　岁率，六百七十六。
　　月率，八千三百六十一。
　　朔日法，千二百四十二。
　　朔实，三万六千六百七十七。
　　旬周，六十。
　　朔辰，百三半。
　　日干元，五十二。
　　日限，十一。
　　盈泛，十六。
　　亏总，十七。
　　推经朔术：
　　置入元距所求年，月率乘之，如岁率而一，为积月，不满为闰衰。朔实乘积月，满朔日法得一，为积日，不满为朔余。旬周去积日，不尽为日，即所求年天正经朔日及余。
　　求上下弦、望：加经朔日七、余四百七十五小，即上弦经日及余。又加得望、下弦及后月朔。就径求望者，加日十四、余九百五十半；下弦加日二十二、余百八十三大；后月朔加日二十九，余六百五十九。每月加闰衰二十大，即各其月闰衰也。