ابن سهل؛ إبراهيم بن سهل الاشبيلي، أبو إسحاق