 This work is a commentary and reworking of Ptolemy's "Almagest" and is the first criticism of it in the Islamic West.He particularly criticized the mathematical basis of the work.For example, he replaced the use of Menelaus' theorem with ones based on spherical trigonometry, in what seems to be an attempt to increase the mathematical precision of the work.