Java Algebra System

Java Алгебра система (або JAS для стислості) з відкритим вихідним кодом, поширюється вільно, об'єктно-орієнтована, багато-і тип безпечного програмного забезпечення комп'ютерної алгебри, яка підтримує ядра на базі операційної Linux systems.Implemented в програмуванні languageThe особливостей проекту Java добре розроблені і повністю функціональний бібліотека програмне забезпечення, яке використовує узагальнені типи, щоб алгебраїчні обчислення з використанням віртуальної машини Java (Java Virtual Machine) інфраструктури виконання. Він реалізований у програмуванні Java language.Can використовуватися в інтерактивному режимі, інтерпретується за допомогою JRuby та програмне забезпечення JythonThe призначений для використання в інтерактивному режимі, інтерпретується за допомогою JRuby (Java Ruby) або Jython (Java Python) переднього кінця, або, як будь-яке інше програмне забезпечення Java упаковка. Android додаток також існує, на основі Ruboto (JRuby для Android) .Getting почалося з Java алгебри SystemFor вашої зручності, програмного забезпечення Java Алгебра System поширюється і як вбудованих двійковий файл у форматі JAR, а також у вигляді вихідного коду , У той час як файл JAR дозволяє використовувати Java Алгебра системи у вашому проекті (ів) відразу ж, вихідний пакет дозволяє зламати код і оптимізувати його.
Для перегляду повідомлення про використання в додатку, запустіть і lsquo; Java-банку JAS-2.5.5065-bin.jar і lsquo; Команда в програму емуляції терміналу, переконавшись, що ви перебуваєте в місці, де ви і Rsquo; ве зберегти файл JAR. Повідомлення про використання виглядає наступним чином: & ldquo; Застосування: RunGB [слід | слід + | п | п + | відстань | відстань + | disthyb | disthyb + | CLI [порт]] <файл> # прок / # threadsPerNode [machinefile] [перевірка] [NoLog ] & rdquo; працює на будь-якій операційній системі, де Java є availableBeing, написаної на мові програмування Java, програмне забезпечення Java Алгебра Система може працювати на будь-якій операційній системі комп'ютера, де технологія Java Runtime Environment (JRE) доступна, у тому числі GNU / Linux, Microsoft Windows , BSD, Solaris, і Mac OS X. В даний час підтримується на 64 і 32-розрядних платформ,

Що нового У цьому випуску :.

• Ця версія додає новий пакет edu.jas.fd для вирішуваних многочленів розрахунку спільний дільник.
• Він міститиме алгоритми для (не унікальна) факторизації доменів.
• Є методи полиномиального обчислення псевдо залишку по Оре в класі FDUtil.
• Інші методи для спільних дільників включені, але ще не закінчена.
• Реалізації MPJ і MPI були ще більш конвергентная і очистити.
• Javadocs для класів адаптера JLinAlg публікуються.

Що нового у версії 2.5.4688:

• Нью-вирішувана локальне кільце залишок SolvableLocalResidue як можна залагодити Поле приватних по модулю ідеалу. Нові родові розв'язувані поліноми QLRSolvablePolynomial з abstacted загальних коефіцієнтів ФОМ здійсненне фактор, місцеві Одер місцевого залишок кільця. Реалізація відповідні інтерфейси QuotPair і QuotPairFactory у відповідних класах. Налагодження та розширити приклади сценаріїв для нових класів. Вилучені відмінності і очистка різні версії Run * Гб автономні Грёбнера базових програм.

Що нового у версії 2.5.4658:

• Android версії JAS, заснований на Ruboto ( JRuby для Android), тепер доступний з підписаного коду і може бути встановлений безпосередньо.
• Цей реліз містить нові алгоритми для найменш загальних кратних і судового розгляду найбільший спільний дільник в вирішуваних поліноміальних кілець.
• Крім того, канонічний Simplifier Апель-Lassner для вирішуваних приватних доступний.
• Деякі рефакторінга повинен був зламати цикли з залежностями пакетів.
• Інші питання FindBugs були вирішені.
• Java 5 сумісність упустили.

Що нового у версії 2.5.4618:

• Ця версія містить нові розподілені базові алгоритми Гребнер на основі Java-палітурки OpenMPI аналогічно, але MPJ версії.
• Так як MPI і MPJ НЕ поточно-безпечним, робота навколо була розроблена, щоб розділити транспортний рівень, щоб дозволити вибір сокетов TCP / IP або MPI / MPJ каналів для транспортування.
• Гніздо основі розподілених хеш-таблиці тепер реалізує метод Clear (), який вирішує неспецифічні помилки в повторних розподілених Гребнер базових обчислень.
• В розв'язні множення були спрощені.
• Виправлення і поліпшення були зроблені для Jython і JRuby сценаріїв.

Що нового у версії 2.5.4555:

• Ця версія додає нові алгоритми для вирішуваних кілець многочленів над розв'язувані локальні кільця в класах LocalSolvablePolynomialRing і LocalSolvablePolynomial і нові приклади сценаріїв для таких вирішуваних поліноміальних кілець.
• Обробка некомутативних відносин вирішуваних многочленів був перероблений, щоб впроваджувати і використовувати інтерфейсний RelationGenerator.
• Ще кілька FindBugs і Eclipse, проблеми і ряд проблем, з JRuby в Android були зафіксовані і вдосконалюється.

Що нового у версії 2.5.4448:

• Ця версія приносить нові алгоритми для рекурсивних вирішуваних кілець многочленів і нові розв'язні поліноміальні кільця з вирішуваних коефіцієнтів фактор.
• Це кільця мають некомутативну множення змінних з коефіцієнтами.
• Є нові приклади сценаріїв для рекурсивних вирішуваних поліноміальних кілець і розв'язаних многочленів з вирішуваних коефіцієнтів фактор.

Що нового у версії 2.5.4408:

• Ця версія надає нові алгоритми для ідеалів в вирішуваною полінома кільця в класі SolvableIdeal, і нові структури для вирішуваних поліноміальних кілець в класах SolvableQuotient, SolvableResidue і відповідних заводів SolvableQuotientRing і SolvableResidueRing.
• Існує нова тема для RDoc документації на Ruby і сценарії були адаптовані до нової версії JRuby (1.7.3).
• Деякі дрібні виправлення і поліпшення включені.

Що нового у версії 2.5.4358:

• Java API буде більш стабільною тепер .
• Це фіксує стан гонки в розподілених (гібридних) Гребнер базові реалізації і покращує версію MPJ ГБ обчислень.

Був доданий
• GBFactory змінилася, і нова опція для вибору Гебауер і Moller критичну пару обробки в GBAlgorithmBuilder.
• точність за замовчуванням BigDecimal було змінено на DECIMAL128.
• реалізація GreatestCommonDivisorHensel поліпшується за допомогою точок ціле оцінці і подальшому оптимізації.

Що нового у версії 2.4.4308:

• Ця версія забезпечує в основному оптимізації продуктивності, невеликі зміни, і виправлення.
• Оптимізації включають комбіновані методи многочленів, як scaleSubtractMultiple (B, G, A, E, S), щоб обчислити вираз & Quot; BX ^ г це - сокира ^ е S & Quot; в одному пориві.
• Існує в даний час перша версія JAS Android App.
• додаток використовує JRuby сценаріїв інтерфейс і працює протягом Рубі IRB Android App Ruboto.

Що нового у версії 2.4.4278:

• Ця версія містить нові розподілені базові алгоритми Гребнер на основі MPI як зв'язку середнього посуду.
• реалізація використовує MPJ (MPI Java) API і може бути запущена або з MPJ Експрес або FastMPJ.
• виконавцям класи GroebnerBaseDistributedMPJ для чистого поширюваної версії, а GroebnerBaseDistributedHybridMPJ для розподіленої і багатопотокової версії.

Що нового у версії 2.4.4228:

• Ця версія містить нові деталі для безкоштовно некомутативними База обчислення Грёбнера і полиномиальное зведення.
• Він складається з нового WordGroebnerBase інтерфейсу і нових класів WordGroebnerBaseAbstract і WordGroebnerBaseSeq.
• Jython і JRuby доступ до некомутативних полиномов забезпечено WordPolyRing і WordIdeal класів.
• Крім того, є поліпшений спосіб для вибору (комутативність) Грёбнера базовий алгоритм реалізації з класом GBAlgorithmBuilder; Наприклад, частина вільного алгоритму оптимізації зі змінною порядку.

Що нового у версії 2.4.4008:

• Ця версія додає більше прикладів JRuby, виправлення для правих Модуль базиси Грёбнера і обчислення кратних коренів, і виправлення для конструктивних проблем помічена FindBugs.

Що нового у версії 2.4.3938:

• Це версія refactors і фіксує алгоритми для Wu-Риттих характерні набори в класі CharacteristicSetWu. Модульні тести в CharSetTest.
• Jython і JRuby скрипт доступ до характерних алгоритмів встановлених в методах CS (), ISCs (), і csReduction ().
• Невеликі виправлення і поліпшення.

Що нового у версії 2.4.3888:

• Рефакторинг для спрощення параметри типу і послабити умови типу.
• новий пакет edu.jas.ufdroot видалити циклічний залежностей пакетів знову.
• Покращений вибір факторизації реалізації в FactorFactory класів і краще підходять конструкторами реалізації факторизації.
• Невеликі виправлення і поліпшення.

Що нового у версії 2.4.3851:

• Це версія реалізує модульні варіанти і паралельні проксі версії Отримані алгоритми, очищає і наповнює відсутні методи в GreatestCommonDivisor * класи пакету edu.jas.ufd, фіксує ModLong конверсії ModInteger, і додає дрібних виправлень, поліпшень і рефакторінга методів до потрібних класам.

Що нового у версії 2.4.3828 :.

• Перейшли на Java 7 для розробки
• JAS раніше буде скомпілювати і запустити на Java 6 і Java 5.
• новий онлайн repositoriy для JAS на коді Google, яка містить баг-трекер.
• Визначення змінних для поліноміальних кілець генераторів в Jython і JRuby інтерфейс сценаріїв.
• Інші приклади JRuby.

Що нового у версії 2.4.3788:

• Відпустіть 2,4 оновлення всіх, що залежать від пакетів до останньої версії і готується до JAS 3.0. Оновлення для Jython 2.5.2 і JRuby 1.6.4. Новий індекс всіх алгоритмів з книги алгоритмів комп'ютерної алгебри по Геддес і Czapor і Labahn на їх еквівалентів Як. Невеликі поліпшення і виправлення знову в багатовимірному цілого многочлена факторизації.

Що нового у версії 2.3.3668:

• Експериментальна ідеальним комплексний корінь розрахунок був доданий в complexAlgebraicRoots () метод у класі PolyUtilApp.
• Простий ізоляції інтервал уточнення дійсних і комплексних коренів був реалізований.
• Альтернативна факторинг одновимірних многочленів над полів алгебраїчних чисел за допомогою простого ідеалу розкладання був доданий в класі FactorAlgebraicPrim.
• Розбір комплексних чисел була покращена.
• Термінові замовлення змушені в деяких ситуаціях. Крім того, були зроблені невеликі поліпшення і виправлення.

Що нового у версії 2.3.3598:

• Багатовимірні алгебраїчних розширень кільце / поле, використовуючи клас ResidueRing. JRuby і Jython версії і приклади розширення поля забудовника. Невеликі поліпшення і виправлення помилок для останніх Eclipse, і Java 1.7 версії.

Що нового у версії 2.3.3568:

• Простота у використанні будівництво веж розширених полів в клас ExtensionFieldBuilder з методами алгебраїчних і трансцендентних польових розширень.
• Покращення в дійсних і комплексних чисел алгебри.
• Покращена многочлен парсер для рекурсивних уявлень.
• виправлення маленька помилка.

Що нового у версії 2.3.3538:

• Новий клас HenselMultUtil для багатовимірного Hensel підйому. Буде використовуватися в polyomial факторизації в майбутньому. Деякі частини найбільшого загального дільника з використанням багатовимірного Hensel підйому. Джерело JAS (r3408) становить від Apache Harmony 6.0 (r991881). Модульні тести проходять за винятком тестів з участю серіалізациі об'єктів.

Що нового у версії 2.3.3458:

• Структура пакета був очищений і циклічні пакет Залежно були видалені.
• Завод розбір частини були розділені від GenPolynomialTokenizer в RingFactoryTokenizer.
• Деякі штучні код був зобов'язаний використовувати розв'язні многочленами кільцевих елементів, тому що вирішуються многочлени не можуть реалізувати RingElem.
• Це призвело у випадках неправильного відправлення методу для методу багаторазово () через оптимізації компілятора.
• обхідний шлях, щоб виявити і ремонт цьому в даний час здійснюється в GenPolynomial класу.

Що нового у версії 2.3.3408:

• Новий вибір critial пара для Гребнера базової comptation з сизигії на основі алгоритму після Gebauer і Моллер в класі OrderedSyzPairlist. Рефакторінг Гребнер базових класів додатково використовувати новий вибір пари. Повернутися порт деяких JDK 1.6 конструкціями, щоб бути знову сумісний з JDK 1.5. Невеликі поліпшення в Кронекера фактора комбінації в класі FactorAbstract. Виправлена ​​стан гонки в ThreadPool і поліпшене визначення припинення в Термінатора. Виправлення в паралельно знижується Гребнер базові обчислення. Виправлена ​​одновимірний поліном будівництво в ідеальних.

Що нового у версії 2.3.3368 :.

• Багатомірний Тейлор інтерфейс і реалізація розкладання в ряд
• покращене багатовимірний степеневий ряд для стандартного базового обчислень.
• Методи були перероблені, щоб краще підходять класів, а класи були переміщені, щоб відокремити пакети, наприклад, Коефіцієнт * в пакет edu.jas.ufd.
• Міні помилки і косметичні проблеми були виправлені.

Що нового у версії 2.3.3328 :.

• Багатомірний степеневий ряд класів MultiVarPowerSeries і MultiVarPowerSeriesRing
• Алгоритм усунення конус, дотичний Мора і нормативна база обчислення для статечних рядів у пакеті edu.jas.ps.
• итератор показником векторів.

Що нового у версії 2.3.3298:

• Цей випуск представляє ітератори для кінцевих і деякі нескінченні структури і кінцеві і нескінченні декартові вироби з них.
• Конструктори були зафіксовані відповідно до (нової) моделі пам'яті Java.
• Були також невеликі виправлення і поліпшення, більш значущі виключення, і деякі перейменування.

Що нового у версії 2.3.3248:

• Покращена многочлен парсер прийняти раціональні числа, що позначаються з десяткові крапки і прийняти коефіцієнти BigDecimal. Прибрано використання підкреслення для algebriac коефіцієнтів номер в полиномиальной аналізатором. Тепер кожен рекурсивний виклик розбору () з кільця заводі запускається у фігурні дужки, які можуть бути вкладені на будь-яку глибину. Виправлена ​​помилка синхронізації в вирішуваних поліноміальних таблиць реляційних і розпаралелювання помилка в паралельному вирішуваною многочлена Грёбнера базової обчислень. Додані відсутні частини для факторизації поліноміальних кілець характеристики р & GT; 0. Змінено скрипт rpresentaton Ан (AlgebraicNumbers). Використання необмежених пулів потоків, щоб уникнути мертвих замки.

Що нового у версії 2.3.3218:

• код був знижений на Java 5 мову і Система часу виконання для використання з системами, спираючись на старих Java версії, наприклад, MathPiper і GeoGebra.
• клас edu.jas.kern.TimeStatus був доданий, щоб забезпечити зворотний зв'язок з користувачем для тривалих задач за допомогою методу checkTime ().
• Деякі відсутні методи extGB () були реалізовані.
• GBFactory був доданий для вибору відповідних Грёбнера базових реалізацій.
• метод isFinite () був доданий для всіх ElemFactorys та використання в SquarefreeFactory.
• Деякі відсутні частини були додані для розкладання в поліноміальних кілець характеристики р & GT; 0 і ідеально розкладання.

Що нового у версії 2.3.3188:

• Новий завод з Гребнер реалізації базовий алгоритм в клас GBFactory.
• новий GBProxy, подібно GCDProxy, можливість запускати послідовне і паралельне базовий розрахунок Грёбнера одночасно.
• Primitive обчислення елемент виконаний за допомогою normalPositionFor () в методи primitiveElement () разом з методами кілька перетворення convertToPrimitiveElem ().
• Існує новий індекс всіх алгоритмів з книги базиси Грёбнера Беккером і Weispfenning еквівалентними, JAS реалізації.

Вимоги

• Oracle Java Standard Edition Runtime Environment