"REDUCE" для всех

[Eugeen1948]

Я хочу привлечь внимание уважаемого форума к малоизвестной (незаслуженно!) в России системы символических вычислений:
"REDUCE Computer Algebra System". Это самая старая и давно развивающаяся система (см. напр.: http://en.wikipedia.org/wiki/Comparison ... ra_systems )
Многие последователи позаимствовали из REDUCE различные вещи даже не ссылаясь на первоисточник.
Широту охвата проблем, которые решает REDUCE можно посмотреть в далеко не полном списке:
http://www.reduce-algebra.com/
http://www.uni-koeln.de/REDUCE/
http://www.zib.de/Symbolik/reduce/
http://www.codemist.co.uk/reduce/
http://centaur.maths.qmw.ac.uk/Emacs/REDUCE_IDE/
http://mathforum.org/library/view/1941.html
http://www.derekroconnor.net/Software/Software.htm
Отточеная на разных платформах, REDUCE дает решение намного быстрее чем, напр. Maple,
а некоторые вещи никакой пакет, кроме REDUCE не сможет сделать!

На этом форуме один, весьма самоуверенный и хамоватый форумянин, утверждал: "..Скромные возможности пакета (REDUCE!), которые
представлены на сайте заставляют меня подумать, что Вы никогда не пользовались современными пакетами типа MatLab, Mathematica и другими."
А про сайт http://www.reduce-algebra.com/ было сказано: "Это случайно не та лабуда, которая там в pdf формате встречается?"
Так вот с помощью этой "лабуды"я запрограммировал и а REDUCE довольно быстро решил задачу из топика:
http://dxdy.ru/topic15747.html
Вот здесь это решение в коде REDUCE:
http://rapidshare.com/files/136870166/R ... t.rar.html

[Henrylee]

Eugeen1948 писал(а):

Вот здесь это решение в коде REDUCE:
http://rapidshare.com/files/136870166/R ... t.rar.html

лучше приведит решение в коде TeX, правил форума Вы не нарушите, они к данной ситуации не относятся.

[juna]

Вообще, это довольно старая развитая система, работающая исключительно из под консоли, насколько я помню.
Возникает несколько вопросов
1. на каком языке реализовано ядро;
2. что конкретно может Reduce и не может, например, Mathematica, Maple, Maxima;
3. является ли эта система открытой;
4. почему рекламу этой системы Вы поместили в разделе "Помогите решить".

Добавлено спустя 21 минуту 14 секунд:

Извиняюсь,
по вашей ссылке http://en.wikipedia.org/wiki/Comparison ... ra_systems нашел ответ #3: код закрыт и просят денег

[Eugeen1948]

juna писал(а):

Вообще, это довольно старая развитая система, работающая исключительно из под консоли, насколько я помню.
Возникает несколько вопросов
1. на каком языке реализовано ядро;
2. что конкретно может Reduce и не может, например, Mathematica, Maple, Maxima;
3. является ли эта система открытой;
4. почему рекламу этой системы Вы поместили в разделе "Помогите решить".

1. Ответ на оффсайте: "..REDUCE is based on a dialect of Lisp called Standard Lisp, and the differences between versions are the result of different implementations of this Lisp; in each case the source code for REDUCE itself remains the same".
2. Ответ: Все системы похожи по направленности ("Computer Algebra System"). Заметьте, я нигде не утверждаю о превосходстве одной системы над другой. Во описаниях всех систем нет абсолютно четких границ применимости. Поэтому берем конкретную задачу и решаем с помощью всех пакетов, экспериментально определяем пригодность или непригодность.
3. Ответ на оффсайте: "..Full source code availability. From the beginning, it has been possible to obtain the complete REDUCE source code, including the "kernel." Consequently, REDUCE is a valuable educational resource and a good foundation for experiments in the discipline of computer algebra. Many users do in fact effectively modify the source code for their own purposes".
4. Ответ: Не возражаю против переноса в другой раздел на усмотрение уважаемых Модераторов.

[juna]

Информация с оффсайта писал(а):

The complete source code for REDUCE is available.

Кроме пакетов расширения на оффсайте и демоверсии http://www.zib.de/Symbolik/reduce/ я ничего не нашел. Дайте, пожалуйста, ссылку на источник кода под Unix.

[maxal]

Eugeen1948 в сообщении #138426 писал(а):

Заметьте, я нигде не утверждаю о превосходстве одной системы над другой.

Да? А как же ваша фраза:

Eugeen1948 в сообщении #138381 писал(а):

а некоторые вещи никакой пакет, кроме REDUCE не сможет сделать!

Кстати, неплохо бы подкреплять такие утверждения примерами. Что же такое никакой другой пакет, кроме REDUCE, не сможет сделать?

[Eugeen1948]

maxal писал(а):

Eugeen1948 в сообщении #138426 писал(а):

Заметьте, я нигде не утверждаю о превосходстве одной системы над другой.

Да? А как же ваша фраза:

Eugeen1948 в сообщении #138381 писал(а):

а некоторые вещи никакой пакет, кроме REDUCE не сможет сделать!

Кстати, неплохо бы подкреплять такие утверждения примерами. Что же такое никакой другой пакет, кроме REDUCE, не сможет сделать?

Ну хотя бы задачу из топика: http://dxdy.ru/topic15747.html (я не увидел решения другими, и сам не смог это сделать ни на Waterloo Maple (v. 10.04) ни на WOLFRAM RESEARCH MATHEMATICA (v. 6.0.2).
Тем не менее слова:".. превосходство одной системы над другой" и ".. некоторые вещи.." имеют, по-моему, нетождественный смысл.

Добавлено спустя 9 минут 22 секунды:

juna писал(а):

Информация с оффсайта писал(а):

The complete source code for REDUCE is available.

Кроме пакетов расширения на оффсайте и демоверсии http://www.zib.de/Symbolik/reduce/ я ничего не нашел. Дайте, пожалуйста, ссылку на источник кода под Unix.

Пожалйста, будьте внимательней. Я не видел предложений REDUCE вообще под Unix. Там, на оффсайте четко прописаны платформы и условия по получению REDUCE :
Versions Available:
The following table describes the versions of REDUCE supported by the various distributors. Contact them for detailed price and availability information.

The generic ANSI C version forms the basis of the more specialized CSL versions listed below. In addition it can be built for a wide range of Unix systems and has run on a variety of more unusual platforms. Contact Codemist Ltd. for advice about its suitability in particular cases.

System Description Distributors (Lisp Used)
Generic 32 or 64-bit Unix or Unix-compatible systems built from source by customers on their own machines Codemist (CSL)
AMD 64-bit systems running Linux Codemist (CSL)
Apple computers using Darwin and Apple's X server Codemist (CSL)
Cray T3D, T3E ZIB (PSL)
DEC Alpha PC running MS Windows NT or Linux ZIB (PSL)
DEC Alpha series running DEC Unix or Open VMS ZIB (PSL)
HP 9000/700 series ZIB (PSL)
IBM-compatible PCs with Intel 80386 or higher processors running MS-DOS, Windows 3.x, Windows 9x, Windows NT, Windows 2000 or Windows XP ZIB (PSL)
IBM-compatible PCs with Intel 80386 or higher processors running UNIX (Solaris X86, Free BSD or Linux) ZIB (PSL)
IBM RISC System/6000 ZIB (PSL)
Intel, AMD and other compatible 32-bit computers running Linux Codemist (CSL)
Intel, AMD and other compatible 32-bit computers running Windows 98 or higher Codemist (CSL)
Silicon Graphics Mips-based systems (32/64 bit) ZIB (PSL)
Silicon Graphics Irix Codemist (CSL)
Sun 4 systems and compatibles (32/64 bits) ZIB (PSL)

[juna]

Хм, на вопрос #3 об открытости кода Вы отвечали словами оффсайта, что весь код доступен и для начала можно добыть код, запустить ядро...
Я грешным делом подумал, что это open sourse и просил ссылку.
Однако следующий Ваш ответ:

Eugeen1948 писал(а):

Contact them for detailed price and availability information.

развеял сомнения.
По информации из Википедии за код попросят 695$ - хорошая альтернатива для вложения средств
Между тем http://sourceforge.net/project/showfile ... 1&abmode=1 живет и здравствует.

[Eugeen1948]

juna писал(а):

Хм, на вопрос #3 об открытости кода Вы отвечали словами оффсайта, что весь код доступен и для начала можно добыть код, запустить ядро...
Я грешным делом подумал, что это open sourse и просил ссылку.
Однако следующий Ваш ответ:

Eugeen1948 писал(а):

Contact them for detailed price and availability information.

развеял сомнения.
По информации из Википедии за код попросят 695$ - хорошая альтернатива для вложения средств
Между тем http://sourceforge.net/project/showfile ... 1&abmode=1 живет и здравствует.

А разве Waterloo Maple или WOLFRAM RESEARCH MATHEMATICA дешевле?
Правда, я думаю что в каждом конкретном случае для соответствующей платформы можно торговаться по цене. Знаю что многие конторы за бугром готовы даже бесплатно давать софт взамен каких-либо обязательств (дистрибутирования, спецразработок для этого софта и т.п.).

[juna]

Eugeen1948 в сообщении #138481 писал(а):

Правда, я думаю что в каждом конкретном случае для соответствующей платформы можно торговаться по цене. Знаю что многие конторы за бугром готовы даже бесплатно давать софт взамен каких-либо обязательств (дистрибутирования, спецразработок для этого софта и т.п.).

Понимаете, это все-таки научный софт, а в моем сознании наука и торговля несколько разные вещи.
Такими системами можно побаловаться за счет каких-то там уникальных сервисов, но все эти проприетарные лицензионные соглашения сдерживают или даже ставят крест на их дальнейшем развитии. Считаю, что научный софт должен быть свободен. Я, например, могу ковыряться в коде Maxima, расширять эту систему как хочу, публиковать свой код в рамках GNU проекта. Я отдаю предпочтение таким системам.

[Eugeen1948]

juna писал(а):

Считаю, что научный софт должен быть свободен. Я, например, могу ковыряться в коде Maxima, расширять эту систему как хочу, публиковать свой код в рамках GNU проекта. Я отдаю предпочтение таким системам.

Я с Вами согласен.
В советской системе, работая в ВНИИАМ над методиками и программами расчета для АЭС я даже и не помышлял о каком либо лицензировании софта. Наоборот был горд, когда программами нчинали пользоваться (естественно безвозмездно!) другие специалисты. Мы даже просто передавали программы в "братские " страны - Польшу, Чехословакию, Болгарию, Венгрию, ГДР (сейчас я бы этого ни за что не сделал бы!).
Видно наступило другое время, когда быстро коммерциализируется наука. Но кто в этом виноват?

[juna]

Eugeen1948 писал(а):

Видно наступило другое время, когда быстро коммерциализируется наука.

В данном случае убеждение, что все бесплатное хуже платного - предрассудок. Посмотрите по Вашей же ссылке из википедии сколько software - open sourse, cost - free - большинство. А по своему скромному опыту могу сказать, Maxima не уступает Maple.
Про Reduce могу сказать, что система привлекательна для меня тем, что ядро реализовано на диалекте Lisp и можно, хотя и за деньги, получить исходные коды. Но (опять же лично для меня) все это из разряда "шкурка не стоит выделки".

[Eugeen1948]

juna писал(а):

Eugeen1948 писал(а):

А по своему скромному опыту могу сказать, Maxima не уступает Maple.
Про Reduce могу сказать, что система привлекательна для меня тем, что ядро реализовано на диалекте Lisp и можно, хотя и за деньги, получить исходные коды. Но (опять же лично для меня) все это из разряда "шкурка не стоит выделки".

Я, к сожалению,не успел ознакомиться с Maxima хотя, судя по публикациям, это динамично развивающаяся система.
В Reduce же есть одно важное преимущество. Вы наверное помните из анекдота что "молодость - это когда есть зубы, но нет мяса, а старость - это когда есть мясо но нет зубов"! Так вот в Reduce, за многие годы применения, наработан очень большой потенциал успешно решенных задач ("мясо"): http://www.reduce-algebra.com/bibliography.htm
(Согласитесь, количество впечатляет!)
Я. обычно перед решением какой-либо задачи, сначала смотрю имеющийся задел по публикациям о применении Reduce и в половине случаев нахожу уже готовое решение. А "молдодые" системы пока требуют крепких "зубов", т.к. их задел только нарабатывается.

[juna]

Назвав Maxima "молодой", Вы сделали ей большой комплимент. На самом деле - это вторая старушка после Reduce.

[barga44]

Не рекомендую редьюс, для начинающих, так как для него нет хороших книг,учебников на русском.

Для матлаб,mapple,маткад и математики есть множество учебников с примерами.И они распространены больше всего.
aвтор топика не может показать нам пример с решением.Он его запаролил.