История изменений
Исправление AntonI, (текущая версия) :
Спасибо. Но я продолжаю не понимать, в частности потому что не знаю Хаскеля.
Я вижу последовательность из членов ряда и остатков. Ок, Вы можете такое сделать и можете даже хранить это в честных рациональных числах. С этим можно работать (складывать/умножать, делить уже гораздо сложнее), но возникают вопросы:
-
Когда такое число вычисляется (приводится к float), как производится суммирование? Потому что в рациональных числах это будет очень долго, а во floating point это может оказаться очень неправильно за счет ошибки округления (если ряд знакопеременный).
-
Для каких именно чисел Вы это используете? Это таки накладывает ограничения на способ порождения ряда - для корней вид членов будет один, для синусов другой и т.д. И я не понял как именно Вы порождаете ряд для корня - раскладываетесь в Тейлора в окрестностях ближайшего квадрата рационального числа? Еще как то?
-
Если это корни, то не очень понятно зачем (кроме как джаст фор фан, что тоже ответ)? Народ упарывается по всякому - полиномы Эрмита, сферические функции, я раскладывал экспоненту от суммы скалярных произведений на сфере и еще черти чего. Для корней я бы просто ввел корень как корень из рационального числа - они бы прекрасно перемножались, складывать было бы сложнее (так и оставались бы суммой), но в любом случае ИМНО это было бы удобнее ряда. Да и эстетически симпатичнее;-)
Все это фактически элементы CAS, сделанные на коленке и заточенные под решение какой то узкой задачи. Вот хочется эту задачу понять;-)
Исправление AntonI, :
Спасибо. Но я продолжаю не понимать, в частности потому что не знаю Хаскеля.
Я вижу последовательность из членов ряда и остатков. Ок, Вы можете такое сделать и можете даже хранить это в честных рациональных числах. С этим можно работать (складывать/умножать, делить уже гораздо сложнее), но возникают вопросы:
-
Когда такое число вычисляется (приводится к float), как производится суммирование? Потому что в рациональных числах это будет очень долго, а во floating point это может оказаться очень неправильно за счет ошибки округления (если ряд знакопеременный).
-
Для каких именно чисел Вы это используете? Это таки накладывает ограничения на способ порождения ряда - для корней вид членов будет один, для синусов другой и т.д. И я не понял как именно Вы порождаете ряд для корня - раскладываетесь в Тейлора в окрестностях ближайшего квадрата рационального числа? Еще как то?
-
Если это корни, то не очень понятно зачем (кроме как джаст фор фан, что тоже ответ)? Народ упарывается по всякому - полиномы Эрмита, сферические функции, я раскладывал экспоненту от суммы скалярных произведений на сфере и еще черти чего. Для корней я бы просто ввел корень как корень из рационального числа - они бы прекрасно перемножались, складывать было бы сложнее (так и оставались бы суммой), но в любом случае ИМНО это было бы удобнее ряда. Да и эстетически симпатичнее;-)
Все это фактически элементы CAS, сделанные на коленке и заточенные под решение какой то узкой задачи.
Исходная версия AntonI, :
Спасибо. Но я продолжаю не понимать, в частности потому что не знаю Хаскеля.
Я вижу последовательность из членов ряда и остатков. Ок, Вы можете такое сделать и можете даже хранить это в честных рациональных числах. С этим можно работать (складывать/умножать, делить уже гораздо сложнее), но возникают вопросы:
-
Когда такое число вычисляется (приводится к float), как производится суммирование? Потому что в рациональных числах это будет очень долго, а во floating point это может оказаться очень неправильно за счет ошибки округления (если ряд знакопеременный).
-
Для каких именно чисел Вы это используете. Это таки накладывает ограничения на способ порождения ряда - для корней вид членов будет один, для синусов другой и т.д. И я не понял как именно Вы порождаете ряд для корня - раскладываетесь в Тейлора в окрестностях ближайшего квадрата рационального числа? Еще как то?
-
Если это корни, то не очень понятно зачем (кроме как джаст фор фан, что тоже ответ). Народ упарывается по всякому - полиномы Эрмита, сферические функции, я раскладывал экспоненту от суммы скалярных произведений на сфере и еще черти чего. Для корней я бы просто ввел корень как корень из рационального числа - они бы прекрасно перемножались, складывать было бы сложнее (так и оставались бы суммой), но в любом случае ИМНО это было бы удобнее ряда. Да и эстетически симпатичнее;-)
Все это фактически элементы CAS, сделанные на коленке и заточенные под решение какой то узкой задачи.