[9CaraTT]

Axiom may2009 [i386] (tgz)

Название Программы: Axiom
Версия программы: may2009
Последняя Версия программы: may2009
Архитектура: i386
Формат пакета: tgz
Адрес официального сайта: http://www.axiom-developer.org/
Язык интерфейса: English
Таблетка: Не нужна
Системные требования:
openSuse
Ubuntu

Описание:
Axiom — свободная система компьютерной алгебры общего назначения. Она состоит из среды интерпретатора, компилятора и библиотеки, описывающей строго типизированную, математически правильную иерархию типов.

Особенности

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

Функция может получить тип в качестве аргумента, и её возвращаемое значение также может быть типом. Например, Fraction — функция, получающая IntegralDomain в качестве аргумента, и возвращающая поле отношений своего аргумента. В качестве другого примера кольцо 4\times 4 матриц действительных чисел может быть построено как SquareMatrix(4, Fraction Integer). Конечно, если работать в этом домене, 1 интерпретируется как единичная матрица и A^-1 позволяет получить обратную матрицу A, если она существует.

Некоторые операции могут иметь одинаковые имена, и тогда типы аргументов и результата используются для определения того, какая операция применяется, подобно тому, как в ООП.

Язык расширений Axiom называется SPAD. Вся математическая база Axiom написана на этом языке. Интерпретатор принимает почти такой же язык.

SPAD в дальнейшем разрабатывался под именем A# и позже Aldor. Последний, кроме того, может быть использован как альтернативный язык расширений. Однако, следует учесть, что он распространяется под другой лицензией.

Документация

Axiom — литературная программа. Исходный код доступен в наборе томов на сайте: axiom-developer.org. Эти тома содержат актуальный исходный код системы.

* Общее оглавление
* Volume 0: Axiom Jenks and Sutor — Основной учебник
* Volume 1: Axiom Tutorial — Простое введение
* Volume 2: Axiom Users Guide — Подробные примеры использования доменов (незавершенный)
* Volume 3: Axiom Programers Guide — Руководство в примерах для написания программ (незавершенный)
* Volume 4: Axiom Developers Guide — Короткие наброски на темы, специфичные для разработчиков (незавершенный)
* Volume 5: Axiom Intepreter — Исходый код интерпретатора Axiom (незавершенный)
* Volume 6: Axiom Command — Исходый код системных команд и скриптов (незавершенный)
* Volume 7: Axiom Hyperdoc — Исходный код и разъяснения браузера справки X11 Hyperdoc
o Volume 7.1 Axiom Hyperdoc Pages — Исходный код страниц Hyperdoc
* Volume 8: Axiom Graphics — Исходый код подсистемы X11 Graphics
* Volume 9: Axiom Compiler — Исходый код компилятора Spad (незавершенный)
* Volume 10: Axiom Algebra Implementation — Наброски особенностей реализации (незавершенный)
o Volume 10.1: Axiom Algebra Theory — Наброски, содержащие базовую теорию
o Volume 10.2: Axiom Algebra Categories — Исходный код категорий Axiom
o Volume 10.3: Axiom Algebra Domains — Исходый код доменов Axiom (незавершенный)
o Volume 10.4: Axiom Algebra Packages — Исходый код Axiom packages (незавершенный)
* Volume 11: Axiom Browser — Исходные страницы внешнего интерфейса Axiom для браузера Firefox
* Volume 12: Axiom Crystal — Исходный код внешнего интерфейса Axiom Crystal (незавершенный)

Время раздачи: C 10:00 до 24:00