politician and 1st zhuangyuan of the Ming Dynasty; with Li Chong, Huihui masters Mashayihei, Mahama, etc., translated Zij known as Huihui Lifa (1384)