占星術是利用未知方程的壹般方法，與現代代數中方程的方法基本壹致。在古代數學中，方程與解是兩個相互聯系的重要問題。
“天元”壹詞最早出現在北宋數學家江舟的《易·吉谷》中。此後，的《趙旦》、釋心道的《仲景》、劉的《儒釋道》、的《東原九容》等著作都不同程度地闡發了“天元術”。但這些方法並不系統，壹般都是討論。對天文學做出最大貢獻的數學家是葉莉和朱時傑。葉莉的《圓海鏡》、《壹古衍斷》、朱世傑的《算術啟蒙》和思遠遇見都系統地介紹了用天術建立二次方程。
公元1248年，12卷的專著《測圓海鏡》誕生了。從這本書開始，文字代數演變成了符號代數。《圓海鏡》是壹本高雅而地道的數學專著。它的優雅有三個方面:
首先，它是總結性的。該書第壹卷《辨雜註》闡述了用勾股弦求內切圓直徑的方法，這些方法都是用預積分代數作的。這本書有600多個定義，是古代畢達哥拉斯和聲的總結。從第二冊開始，他總結了壹套行之有效的天體程序，用182種方式回答了148個問題。
二是專業性高。書中列舉的天體理論、畢達哥拉斯解、數學抽象的新起點，都是當時最前沿的理論知識。
三是敢於創新。為方便計算，書中首次使用了減號(數字上方有橫線)和符號○(中國數字)，以及壹套高級十進制記數法。這些比西方數學家早了幾百年。
李誌很快意識到，他花了十幾年心血寫的《測圓海鏡》這本書，太高雅太深奧，壹般人看不懂。如何普及天體魔法？為此，他決心寫壹本天體科學基礎讀物。經過十幾年的努力，他終於完成了三卷本的《藝古演義》。“壹古”是指江舟的專著《壹吉谷》，“段”是指《壹吉谷》中論證的分段法。所謂切片法，是根據古書《九章算術》中用幾何方法代替代數方程的方法，因方程中的各項都用條狀面積表示而得名。顯然，切片法是壹種古老的方法。雖然很直觀，但是計算起來很麻煩，而且占用空間。《易古衍端》是第壹部將分段法轉化為天道之術的理論著作，正如序言所說:“若大略知壹百事，必欲吐於室，故勿憂！”
《壹古衍端》最大的特點就是用天師技能解決日常生活中的正方形和圓形面積問題。除了四題是壹次方程，其他都是二次方程，內容安排基本是由易到難。那時候只要熟悉壹古顏段，壹幅葫蘆畫瓢列出方程就能解決類似的問題。可以說，目前初中數學教材中二次方程的解題思路都來源於葉莉的《壹古衍端》。
《圓海鏡》和《壹古煙端》成為世界上最著名的關於“天堂”的小說