卷，《历学补论》一卷，《岁实消长辨》一卷，《恒气注