Reduce программа что это

Содержание

Reduce

Reduce — бесплатная система компьютерной алгебры общего назначения, имеющая расширенные возможности для применения в физике.

Разработку начал в 1960-е годы Энтони Хёрн [en] , позднее к созданию системы присоединились и другие учёные. Система написана целиком на специально созданном для неё языке Portable Standard Lisp — диалекте Лиспа, включающим, в дополнении к языку со стандартным скобочным лисп-синтаксисом, специальный язык RSL с алголоподобным синтаксисом. RSL используется как основа для пользовательского языка системы.

С декабря 2008 года Reduce стал доступен бесплатно как открытое программное обеспечение под видоизменённой лицензией BSD license на сайте SourceForge, до этого пакет стоил 695 долларов.

Reduce имеет широкий набор средств для проведения аналитических вычислений, численных вычислений и построения графиков. По набору возможностей система близка к таким коммерческим системам как Maple и Mathematica. В то же время она обладает высокой степенью переносимости: она может работать на всех основных современных операционных системах на компьютерах, начиная от наладонных компьютеров, вплоть до самых мощных. Для редактирования научных текстов в Reduce может использоваться программа texmacs, что позволяет экспортировать документы в ряд популярных форматов, включая TeX (LaTeX) и HTML (MathML).

Функция reduce на примерах. Решаем задачи на reduce в javascript

Доступна на различных платформах Unix, Linux, Microsoft Windows, Apple Macintosh, iOS и Android. Почти все эти реализации основаны на Portable Standard Lisp или Codemist Standard Lisp.

Источник: wiki2.org

СИСТЕМА АНАЛИТИЧЕСКИХ ПРЕОБРАЗОВАНИЙ REDUCE

Развитие вычислительной техники начиналось с автоматизации выполнения арифметических действий. Вместе с тем известно, что компьютеры могут успешно оперировать математическими символами. Область вычислительной математики, связанная с аналитическими преобразованиями и получившая название компьютерной алгебры, в настоящее время развивается и получает широкое распространение в различных направлениях науки и образования. Основным объектом, над которым производит действие компьютер, является аналитическое (символьное) выражение, организованное и преобразуемое по заданным логическим правилам. Сегодня возможно компьютерное интегрирование и дифференцирование символьных выражений, перестановки и перегруппировки членов, приведение подобных членов, подстановки в выражения с последующим их преобразованием.

Очевидно, что известные системы программирования (Паскаль, СИ, Бейсик и т.п.) мало пригодны для анализа и преобразования символьной информации. Для этих целей созданы и развиваются специальные системы аналитических преобразований, которые можно разделить на универсальные, специализированные и общего назначения. Наибольшей популярностью пользуется универсальная система символьных вычислений REDUCE, автором которой является профессор А.Хиен. Система Reduce написана на языке высокого уровня ЛИСП.

Reduce это просто. JavaScript

Язык Reduce, составляющий ядро системы, трансляторы для которого разработаны для всех распространенных типов ЭВМ, предназначен прежде всего для проведения вычислении в аналитическом виде. Язык «знает» все операции алгебры с многочленами, приведением подобных членов, раскрытием скобок; все базовые элементарные функции, в том числе и в комплексной форме, ряд других функции; широкий набор операции над матрицами, включающий как входящие в обычные вузовские программы, так и выходящие за их пределы (например, функции от матриц); очень хорошо дифференцирует и несколько хуже вычисляет первообразные (но все же значительно лучше, чем большинство студентов, изучивших стандартный курс интегрального исчисления); умеет делать и ряд других действий.

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

Каждое отдельное неразрывное преобразование требовало, по-видимому, нескольких месяцев неустанной работы при максимальной аккуратности и напряжении. Поручить же эту работу ЭВМ было невозможно, так как в те времена языков аналитических преобразований в практически пригодном виде не существовало. О независимой проверке работы не приходилось и думать — это потребовало бы от другого человека не менее года работы. Примерно через 15 лет все эти выкладки были проделаны на ЭВМ в системе Reduce за несколько дней; оказалось, что автор диссертации почти все выкладки сделал безошибочно.

Разумеется, язык «умеет» производить и численные операции, причем его арифметика имеет произвольную точность, не привязанную к способу представления чисел с плавающей запятой в регистрах процессора и ячейках ОЗУ. Получить при вычислении 20 или 50 значащих цифр в результате для Reduce вполне возможно.

В системе Reduce программа записывается и выполняется по предложениям, каждое из которых представляет собой последовательность символов. Предложение завершается одним из символов: ; (точка с запятой), п (кружок с черточками). Если предложение оканчивается знаком «;», то результат его выполнения выводится на экран дисплея или печатающее устройство. В случае знака ◘ вывод не происходит.

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

Запуск программы на выполнение в системе осуществляется клавишей .

Ниже приведем несколько примеров программ в системе Reduce, которые позволят получить первоначальные представления о системах аналитических преобразований символьной информации.

Листинг результата программы следующий:

Комментарий: все переменные являются свободными, т.е. их значения совпадают с именами.

А:=123456789# В:= 123456789123456789#А*В;

Листинг результата программы следующий:

Комментарий: переменным А и В присваиваются целочисленные значения и вычисляется их произведение, причем результат вычисления точный без округления.

A:=S# A; A:=X*Y# A; Q:=X:=Y# Q; X;

Листинг результата программы следующий:

Х*У

Комментарий: переменной А присваивается сначала значение S, затем — X*Y.

13; 3+6; 2**64; 11-20; 25/(-125); 2*(3*A-6)/6;

Листинг результата программы следующий:

139 18446744073709551616 (-9) (-1)/5А-2

Комментарий: при проведении алгебраических преобразований для записи сложных выражений используют имена переменных и знаки арифметических операций.

Листинг результата программы следующий:

Комментарий: для использования комплексных чисел за латинской буквой I закреплено значение мнимой единицы.

OPERATOR F,W; W(X); F(5*X); (F(X)+A)**2;

Листинг результата программы следующий:

Научный форум dxdy

Я хочу привлечь внимание уважаемого форума к малоизвестной (незаслуженно!) в России системы символических вычислений:
«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

Re: «REDUCE» для всех
13.08.2008, 10:17
Eugeen1948 писал(а):
Вот здесь это решение в коде REDUCE:
http://rapidshare.com/files/136870166/R . t.rar.html

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

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

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

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

13.08.2008, 11:21
juna писал(а):

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. Ответ: Не возражаю против переноса в другой раздел на усмотрение уважаемых Модераторов.

13.08.2008, 11:47

Последний раз редактировалось juna 13.08.2008, 11:51, всего редактировалось 1 раз.

Информация с оффсайта писал(а):
The complete source code for REDUCE is available.

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

13.08.2008, 11:47
Eugeen1948 в сообщении #138426 писал(а):
Заметьте, я нигде не утверждаю о превосходстве одной системы над другой.

Да? А как же ваша фраза:
Eugeen1948 в сообщении #138381 писал(а):
а некоторые вещи никакой пакет, кроме REDUCE не сможет сделать!

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

13.08.2008, 12:51
maxal писал(а):
Eugeen1948 в сообщении #138426 писал(а):
Заметьте, я нигде не утверждаю о превосходстве одной системы над другой.

Да? А как же ваша фраза:
Eugeen1948 в сообщении #138381 писал(а):
а некоторые вещи никакой пакет, кроме REDUCE не сможет сделать!

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

Читайте также:

Matrix что за программа

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

juna писал(а):
Информация с оффсайта писал(а):
The complete source code for REDUCE is available.

Пожалйста, будьте внимательней. Я не видел предложений 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)

13.08.2008, 13:35

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

Eugeen1948 писал(а):
Contact them for detailed price and availability information.

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

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

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

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

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

13.08.2008, 19:44
juna писал(а):

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

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

13.08.2008, 20:13
Eugeen1948 писал(а):
Видно наступило другое время, когда быстро коммерциализируется наука.

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

14.08.2008, 07:01
juna писал(а):
Eugeen1948 писал(а):

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

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

Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей

Источник: dxdy.ru

10.3. Система аналитических преобразований reduce

Запуск программы на выполнение в системе осуществляется клавишей .

Листинг результата программы следующий:

Источник: studfile.net

REDUCE

7 декабря, 2016 0

REDUCE — бесплатная система компьютерной алгебры общего назначения, имеющая расширенные возможности для применения в физике.

Разработку начал в 1960-е годы Энтони Хёрн (Anthony C. Hearn), позднее к созданию системы присоединились и другие учёные. Система написана целиком на специально созданном для неё языке Portable Standard Lisp — диалекте Лиспа, включающим, в дополнении к языку со стандартным скобочным синтаксисом Lisp, специальный язык RSL с алголоподобным синтаксисом. RSL используется как основа для пользовательского языка системы.

С декабря 2008 года REDUCE стал доступен бесплатно как открытое программное обеспечение под видоизменённой лицензией BSD на сайте SourceForge, до этого пакет стоил 695 долларов.

REDUCE имеет широкий набор средств для проведения аналитических вычислений, численных вычислений и построения графиков. По набору возможностей система близка к таким коммерческим системам как Maple и Mathematica. В то же время она обладает высокой степенью переносимости: она может работать на всех основных современных операционных системах на компьютерах, начиная от наладонных компьютеров, вплоть до самых мощных. Для редактирования научных текстов в REDUCE может использоваться программа GNU TeXmacs, что позволяет экспортировать документы в ряд популярных форматов, включая TeX (LaTeX) и HTML (MathML).

Доступна на различных платформах Microsoft Windows, UNIX, Linux, Apple Macintosh, iOS и Android. Почти все эти реализации основаны на Portable Standard Lisp или Codemist Standard Lisp.

reduce

Ссылки

Reduce

СИСТЕМА АНАЛИТИЧЕСКИХ ПРЕОБРАЗОВАНИЙ REDUCE

Научный форум dxdy

Кто сейчас на конференции

10.3. Система аналитических преобразований reduce

REDUCE

Похожие программы

Для чего нужна программа компилятор

Программа смешанное белье для чего

Токси риск программа для чего

Программа аршин метрология для чего

Программа чек пфр для чего

Для чего нужна программа тренажер

Для чего нужна программа apkpure

Для чего предназначена программа стили