Ibn-al-Fāriḍ, ʿUmar Ibn-ʿAlī