大宋翰林天文，師從陳摶，專習天文術數之理。