Ptolemaios, Alphonsus, Arzachel