Первый свободный релиз AXIOM

Злоебучий проект, между прочим -- 25 метров исходников (в tgz)! Героические люди, которые взялись его поддерживать, там работы еще лет на 30 хватит.

Кстати кто-нибудь в курсе сколько кода было в Netscape, когда его открыли?

А что это за длительная переработка и почему она потребовалась?

Например приделали к нему TeXmacs в качестве интерфейса, заставили собираться стандартным гнутым способом configure/make/make install.

люди которые этого мастадонта видели говорят, что мол крутая весчь. Что Математика и Мапла у них покупают алгоритмы... всмысле у НАГ. а поддерживает его все те же люди что его в НАГ клепали.

ОПять же народ жалуется на что нифига документации нет

> люди которые этого мастадонта видели говорят, что мол крутая весчь

Вот теперь такой шанс есть у всех желающих. Компилится часов за восемь на PIII-1200/256.

> ОПять же народ жалуется на что нифига документации нет

дык эта, сырцы же есть :)

а если серьезно то я где-то видел туеву хучу самплов для этой штуки...

> дык эта, сырцы же есть :)

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

Багов в нем еще не меряно! Не майтесь с компиляцией! Используйте готовый код. Отсутствие документации не помеха для homosapience. Например в статье http://math.unm.edu/~wester/cas_review.html можно увидеть сколько раз axioma облажалась с правильным ответом, а также найти агоритмы решения задач. Maxima рулит!

по моему это на новость года тянет

В догонку. В debian-sid axioma уже больше месяца как есть. Это я к тому какой из дистров самый передовой суть!

Теперь ждем выхода свободного Reduce.

А в чем суть? Можно и под слаку пакет сделать, только его не станут в каждый дисковый дистрибутив пихать, что в общем-то правильно, поскольку софт весьма специальный.

А какие планы есть на этот счет?

>А в чем суть? Можно и под слаку пакет сделать, только...

суть не в том включить или нет тот или иной пакет в дистрибутив. А в том что, колхоз под названием Debian пашет по всем направлениям!

Редкий случай на ЛОРе -- действительно полезная новость о некоммерческом софте. Спасибо. Попробую поюзать.

Любопытная книга ("Computer Algebra Systems: A Practical Guide"). У тебя нет полной электронной версии?

>>>Попробую поюзать.

Не стоит - ей богу. Ну разве в целях самоутверждения только. Полные и абсолютные дрова. То ли это IBM прошлое, обязуещее любой софт вышедший оттуда быть отстоем. То ли бестолковость нынешней команды - что еще более страшно. Короче, включаешь - глюкает. Хотя идеи вроде хорошие заложены - но ДРОВА. (я бы даже сказал - ДРОВЫНЮКА) Будем надеятся на лучшее ... (хотя надежда - самое оно, если нет ничего лучше 8)

а зачем, если под linux есть Maple?

>Что Математика и Мапла у них покупают алгоритмы... всмысле у НАГ

Maple использует библиотеку численных методов NAG. И еще много чего: GMP, Atlas...

Кому нужны алгоритмы. Есть www.nr.com Там не все, но доступно.

>Кому нужны алгоритмы. Есть www.nr.com

Для свалившихся с Луны. Axiom это в первую очередь CAS! И только во вторую или даже в десятую для работы с числом. Maple и ММА движутся в этом направлении только для завоевания рынка.

Ну во-первых maple не свободен, и даже стоит довльно больших денег (хотя деньги это не проблема); Во вторых, как я слышал от одного коллеги, в задачах алгебраической геометрии мапл не рулит а рулит как раз АХЮМ. Так что выбор той или иной CAS зависит, в первую очередь, от задачи.

А подскажите что есть CAS? Я немного занимаюсь криптологией и на данный момент пользуюсь матлабом. В основном области вычислений: поля по простому модулю, большие числа, матрицы, статистика. Вот интересно, AXIOM чем-нить поможет или это не для моей области?

CAS -- computer algebra system.

рекомендую почитать http://en2.wikipedia.org/wiki/Computer_algebra_system, и добавить, если есть что.

Буквально вчера смотрел руководство по AXIOM -- он точно умеет работать с многочленами над полями по простому модулю. Так что наверное поможет.

>над полями по простому модулю

Юмористы, блин. Как будто существуют поля по составному модулю. Матчасть учите!

я курс алгебры еще не забыл :).

только не пойму, как ты их называть предлагаешь -- просто "поля по модулю"?

поле вычетов -- стандартный русский термин

согласен, так правильно. Я просто повторил то о чем спрашивал OgreSwamp, по-моему всем понятно о чем речь.

2 anonymous (*) (20.11.2003 22:54:02)

> а зачем, если под linux есть Maple?

Maple is just a big calculator. It has no sane programming language ( all variables are global, no ADT,... ) AXIOM is the only CAS wich offers functional, object-oriented programming language ( and compiler ).

> Maple is just a big calculator. It has no sane programming language ( all variables are global, no ADT,... ) AXIOM is the only CAS wich offers functional, object-oriented programming language ( and compiler ).

Ну это по большому счету понты. В мапле есть много элементов из функционального программирования (в отличие от maxima, где с ФП совсем плозо), а про АХЮМ пишут (сами же разработчики), что ее язык не является в полном смысле функциональным, там функции могут иметь side effects etc.

Pole vychetov po modulju n. Z/Zn!

abyrvalg

2 tws:

> Ну это по большому счету понты.

No, that's just experience.

> В мапле есть много элементов из функционального программирования

But there are no data types :(

> в отличие от maxima, где с ФП совсем плозо

Yes, maxima's language is [IMHO] completely brain-dead. But unlike Maple and Mathematica, maxima gives correct answers.

Example:

Integrate[ Log[x*a + (1-x)*b-x*(1-x)], { x, 0,1}]

> что ее язык не является в полном смысле функциональным, там функции могут иметь side effects

There are only few "pure functional" languages. Having both functional and imperative features is a Good Thing (TM).