Subject: Re: Ошибка в Рефал-
From: Sergei M. Abramov (abram@botik.ru)
Date: Thu Nov 13 2003 - 22:02:11 MSK
День добрый, всем!
> > Меня зовут Антон ;)
...
> > Сущностью задачи, при попытке решения которой была обнаружена ошибка
> > транслятора, является нахождение точных (и не очень грубых) оценок
> > индекса инерции рациональной симметрической матрицы большого порядка
> > (сотни или даже тысячи). Каким образом можно решать такую задачу
> > при помощи арифметики типа real, мне не вполне ясно. На мой взгляд,
> > эта задача должна решаться именно на основе длинной арифметики
> > поскольку рациональное число есть пара целых);
> > с этих позиций я к ней и подошёл.
Отлично. Кстати одно из первых (в истории Рефала) практических применений
Рефала было именно примерно таким же. Только не пара целых (a/b) почему-то
помнится, а что-то более навороченное: комбинации рациональных чисела и
корней из них... Но суть та же. Все идет по спирали...
Антон, если позволите, несколько реплик и вопросов:
=1= Сверхдлинная целочисленная арифметика поддержана стандартными (ну...
доступными) библиотеками в Linux/C++. То есть, можно комфортно писать
(перегрузив операции) на Си++ программы для матриц с точными рациональными.
Сверхдлинная арифметика (да и сверхдлинная рациональная, кажется) сразу и
стандартно поддержана в Haskell, Java и др. и т.п...
Вопрос: почему рефал? (Не то, чтобы я хотел бы Вас отговорить, а так, для
понимания возможных мотиваций).
=2= Сейчас на выходе кроме Рефала-5 еще много разных интересных
Рефал-реализаций. Рефал-6/Java доступем, старые реализации Рефала Плюс --
доступны и вот-вот появится Рефал Плюс с новыми интересными подходами к
компиляции в коды машины (через C++)...
(Не то, чтобы я хотел бы Вас отговорить от Рефала-5 в пользу 6 или Плюс, я о
другом...)
Когда появляются новые реализации всегда интересно их обкатать на каких-то
задачах. А если эти задачи были удачными тестами (вскрывали ошибки) по
отношению к подобным системам -- тем более.
...
> > Ничего секретного в моём предыдущем письме нет...
...
Вопрос: а в программе нет секретного? ;-) Можно ее получить и положить в
копилку тестов для рефал систем? Очень уж хочется...
Всего доброго,
Сергей
PS. Хорошо бы оформить как тест, который можно запускать и проверять
успешность скриптом: если на входе ...текст... то на выходе должно быть
...текст...
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:59 MSD