sagemath problem