Java Algebra System

Java Algebra System (of JAS in het kort) is een open source, gratis verspreid, object-georiënteerde, multi-threaded en het type veilige computer algebra software die Linux-kernel gebaseerd besturingssysteem systems.Implemented in de Java-programmeertaal taal kiezenDe project functies ondersteunt een goed ontworpen en volledig functionele software-bibliotheek die algemene soorten gebruikt om algebraïsche berekeningen met behulp van de JVM (Java Virtual Machine) runtime infrastructuur. Het wordt uitgevoerd in de Java-programmeertaal language.Can interactief worden gebruikt, geïnterpreteerd via JRuby en JythonThe software is ontworpen om interactief te gebruiken, geïnterpreteerd via JRuby (Java Ruby) of Jython (Java Python) front-end, of als alle andere Java-software pakket. Een Android App bestaat ook, op basis van Ruboto (jruby voor Android) .Getting begonnen met Java Algebra SystemFor uw gemak, de Java-Algebra System software wordt gedistribueerd als zowel een pre-built binaire bestand in de JAR-formaat, evenals een bron pakket . Terwijl de JAR-bestand kunt u Java-Algebra System gebruiken in uw project (en) meteen, de bron pakket kunt u de code te hacken en te optimaliseren.
Om het gebruik boodschap van de app te bekijken, voert u de & lsquo; java -jar jas-2.5.5065-bin.jar & lsquo; commando in een terminal emulator software, zorg ervoor dat u zich in de locatie waar u & rsquo; ve redden het JAR-bestand. Het gebruik bericht ziet er als volgt uit: & ldquo; Gebruik: RunGB [seq | volgende + | par | par + | dist | dist + | disthyb | disthyb + | cli [port]] # procs / # threadsPerNode [machinefile] [check] [nolog ] & rdquo; Werkt op elk besturingssysteem waar Java is availableBeing geschreven in de programmeertaal Java, kan het Java-Algebra System-software draaien op elke computer besturingssysteem waar de Java Runtime Environment (JRE) technologie is beschikbaar, waaronder GNU / Linux, Microsoft Windows , BSD, Solaris en Mac OS X. Het wordt momenteel ondersteund op 64 en 32-bit computer platforms

Wat is nieuw in deze release:.

• Deze versie voegt een nieuw pakket edu.jas.fd voor oplosbaar polynoom gemene deler berekening.
• Het zal algoritmen voor (niet-unieke) factorisatiedomeinen bevatten.
• Er zijn methodes om polynoom pseudo percentages berekenen dan Ore domeinen in de klas FDUtil.
• Meer methoden voor gemeenschappelijke delers zijn inbegrepen, maar nog niet klaar.
• De MPJ en MPI-implementaties zijn verder geconvergeerde geweest en schoongemaakt.
• javadocs voor de JLinAlg adapter klassen worden gepubliceerd.

Wat is nieuw in versie 2.5.4688:

• als oplosbaar quotiënt veld Nieuw oplosbaar lokale residu ring SolvableLocalResidue modulo een ideaal. Nieuwe generieke oplosbaar veeltermen QLRSolvablePolynomial met abstacted generieke coëfficiënten fom oplosbaar quotiënt, lokale oder lokale residu-ringen. Implementeren bijbehorende interfaces QuotPair en QuotPairFactory in de respectievelijke klassen. Te passen en uit te breiden scripting voorbeelden voor de nieuwe klassen. Verwijderd verschillen en clean-up verschillende versies van Run * GB stand alone Grobner basisprogramma's.

Wat is nieuw in versie 2.5.4658:

• De Android-versie van JAS, gebaseerd op Ruboto ( JRuby voor Android), is nu beschikbaar met gesigneerde code en kan direct worden geïnstalleerd.
• Deze versie bevat nieuwe algoritmen voor de kleinste gemene veelvouden en een proef grootste gemene deler in oplosbaar veeltermringen.
• Daarnaast is de Apel-Lassner canonieke vereenvoudiger voor oplosbaar quotiënten is beschikbaar.
• Sommige refactoring nodig was om pakket afhankelijkheid cycli te breken.
• Meer FindBugs problemen zijn opgelost.
• Java 5 compatibiliteit is gevallen.

Wat is nieuw in versie 2.5.4618:

• Deze versie bevat nieuwe gedistribueerde Grobner basis algoritmen gebaseerd op de Java-bindingen van OpenMPI vergelijkbaar met de MPJ versie.
• Aangezien zowel MPI en MPJ niet thread-safe, een work-around is ontwikkeld om de transportlaag gesplitst om selectie van TCP / IP sockets of MPI / MPJ kanalen zorgen voor vervoer.
• De socket-gebaseerde gedistribueerde hash tabel van de methode clear (), die niet-specifieke fouten in herhaald verdeeld Grobner basis van berekeningen lost implementeert nu.
• De oplosbaar vermenigvuldigingen zijn vereenvoudigd.
• Fixes en verbeteringen zijn aangebracht voor Jython en JRuby scripts.

Wat is nieuw in versie 2.5.4555:

• Deze versie voegt nieuwe algoritmen voor oplosbaar veeltermringen boven oplosbaar lokale ringen in klassen LocalSolvablePolynomialRing en LocalSolvablePolynomial en nieuwe scripting voorbeelden voor dergelijke oplosbaar veeltermringen.
• De behandeling van niet-commutatieve relaties van oplosbaar veeltermen is herwerkt tot implementatie en het gebruik van een interface RelationGenerator.
• Wat meer FindBugs en Eclipse kwesties en verschillende problemen met jruby van Android zijn vastgesteld en verbeterd.

Wat is nieuw in versie 2.5.4448:

• Deze versie brengt nieuwe algoritmen voor recursieve oplosbaar veeltermringen en nieuwe oplosbaar veeltermringen met oplosbaar quotiënt coëfficiënten.
• Deze ringen zijn voorzien van niet-commutatieve vermenigvuldiging van variabelen met coëfficiënten.
• Er zijn nieuwe scripting voorbeelden van recursieve oplosbaar veeltermringen en oplosbaar veeltermen met oplosbaar quotiënt coëfficiënten.

Wat is nieuw in versie 2.5.4408:

• Deze versie biedt nieuwe algoritmen voor idealen in oplosbaar polynoom ringen in de klas SolvableIdeal en nieuwe structuren voor oplosbaar veeltermringen in klassen SolvableQuotient, SolvableResidue, en de bijbehorende fabrieken SolvableQuotientRing en SolvableResidueRing.
• Er is een nieuw thema voor Ruby rdoc documentatie, en de scripts zijn aangepast naar een nieuwere versie van jruby (1.7.3).
• Een paar kleine fixes en verbeteringen worden opgenomen.

Wat is nieuw in versie 2.5.4358:

• De Java API zal stabieler zijn vanaf nu .
• Het lost een race condition in gedistribueerde (hybride) Grobner basis implementaties en verbetert de MPJ versie van GB berekeningen.
• De GBFactory is veranderd, en een nieuwe optie om Gebauer & Moller kritische paar hanteren in GBAlgorithmBuilder selecteren werd toegevoegd.
• De standaard precisie van BigDecimal werd veranderd in DECIMAL128.
• De implementatie GreatestCommonDivisorHensel wordt verbeterd door het gebruik van integer evaluatie punten en verdere optimalisaties.

Wat is nieuw in versie 2.4.4308:

• Deze versie biedt meestal prestaties optimalisaties, kleine verbeteringen, en fixes.
• De optimalisaties omvatten gecombineerde methoden voor veeltermen zoals scaleSubtractMultiple (b, g, a, e, S) om de expressie & quot berekenen; bx ^ g dit - ax ^ e S & quot; in een haast.
• Er is nu een eerste versie van een JAS Android App.
• De app maakt gebruik van haar JRuby scripting interface en loopt binnen de Ruby IRB Android app Ruboto.

Wat is nieuw in versie 2.4.4278:

• Deze versie bevat nieuwe gedistribueerde Grobner basis algoritmen gebaseerd op MPI als communicatie middle-ware.
• De toepassing maakt gebruik van de MPJ (MPI Java) API en kan worden uitgevoerd met ofwel MPJ Express of FastMPJ.
• De uitvoering klassen zijn GroebnerBaseDistributedMPJ voor de pure gedistribueerde versie, en GroebnerBaseDistributedHybridMPJ voor de gedistribueerde en multi-threaded versie.

Wat is nieuw in versie 2.4.4228:

• Deze versie bevat nieuwe onderdelen voor gratis niet-commutatieve Grobner basis berekening en polynomiale reductie.
• Het bestaat uit een nieuwe interface WordGroebnerBase en nieuwe klassen WordGroebnerBaseAbstract en WordGroebnerBaseSeq.
• De jython en jruby toegang tot niet-commutatieve veeltermen is voorzien van de klassen WordPolyRing en WordIdeal.
• Daarnaast is er een betere manier om (commutatieve) Grobner basis algoritme implementaties met de klas GBAlgorithmBuilder selecteren; bijvoorbeeld een fractie vrij algoritme optimalisatie van de variabele order.

Wat is nieuw in versie 2.4.4008:

• Deze versie voegt meer JRuby voorbeelden, bugfixes voor rechts module Gröbnerbasissen en meerdere wortels berekening, en bugfixes voor zinvolle problemen gespot door FindBugs.

Wat is nieuw in versie 2.4.3938:

• Deze versie refactors en repareert algoritmen voor Wu-Ritt karakteristieke sets in de klas CharacteristicSetWu. Unit tests zijn in CharSetTest.
• Jython en JRuby script toegang tot karakteristieke set algoritmen in methoden CS (), ISC (), en csReduction ().
• Kleine fixes en verbeteringen.

Wat is nieuw in versie 2.4.3888:

• Refactoren type parameters vereenvoudigen en los soort omstandigheden.
• Een nieuw pakket edu.jas.ufdroot cyclische pakket te verwijderen afhankelijkheden weer.
• Verbeterde selectie van factorisatie implementaties in FactorFactory klassen en beter geschikt constructeurs van de factorisatie implementaties.
• Kleine fixes en verbeteringen.

Wat is nieuw in versie 2.4.3851:

• Deze versie bevat modulaire varianten en parallelle proxy versies van resulterende algoritmen, reinigt en vult ontbrekende methoden in GreatestCommonDivisor * klassen in het edu.jas.ufd pakket, lost ModLong om ModInteger conversie, en voegt kleine fixes, verbeteringen, en refactorings van methoden om de juiste klassen.

Wat is nieuw in versie 2.4.3828:.

• overschakelde naar Java 7 voor ontwikkeling
• JAS zal nog steeds compileren en uitvoeren van Java 6 en Java 5.
• Een nieuwe online repositoriy voor JAS op Google code, die een bug-tracker bevat.
• Definitie van de variabelen voor polynoomring generatoren in de jython en jruby scripting interface.
• Meer JRuby voorbeelden.

Wat is nieuw in versie 2.4.3788:

• Laat 2.4 updates al naar gelang pakketten naar de nieuwste versie en bereidt zich voor JAS 3.0. Updates voor Jython 2.5.2 en JRuby 1.6.4. Een nieuwe index van alle algoritmen uit het boek Algoritmes voor Computer Algebra van Geddes & Czapor & Labahn hun JAS equivalenten. Kleine verbeteringen en fixes weer in multivariate integraal veelterm ontbinden in factoren.

Wat is nieuw in versie 2.3.3668:

• Experimental ideale complexe wortel berekening werd in de complexAlgebraicRoots toegevoegd () methode in de klasse PolyUtilApp.
• De eenvoudige isoleren interval verfijning voor de reële en complexe wortels werd geïmplementeerd.
• Alternatieve factoring van univariate polynomen over algebraïsche aantal velden via priemideaal ontleding werd toegevoegd in de klas FactorAlgebraicPrim.
• parseren van complexe getallen is verbeterd.
• Term bestellingen worden gedwongen in sommige situaties. Verdere kleine verbeteringen en fixes werden gemaakt.

Wat is nieuw in versie 2.3.3598:

• Multivariate algebraïsche ring / velduitbreidingen met klasse ResidueRing. Jruby en Jython versies en voorbeelden van de uitbreiding veld bouwer. Kleine verbeteringen en bugfixes voor de nieuwste Eclipse en Java 1.7-versie.

Wat is nieuw in versie 2.3.3568:

• Makkelijk om de bouw van de torens van de uitbreiding velden gebruiken in klasse ExtensionFieldBuilder met methoden voor algebraïsche en transcendente velduitbreidingen.
• Verbeteringen in de reële en complexe algebraïsche getallen.
• Verbeterde polynoom parser voor recursieve voorstellingen.
• Kleine bug fixes.

Wat is nieuw in versie 2.3.3538:

• Nieuwe klasse HenselMultUtil voor multivariate Hensel tillen. Zal worden gebruikt in polyomial factorisatie in de toekomst. Sommige delen van de grootste gemene deler met behulp van multivariate Hensel tillen. De JAS bron (r3408) compileert op Apache Harmony 6.0 (r991881). De unit tests met uitzondering van de test cases waarbij object serialisatie.

Wat is nieuw in versie 2.3.3458:

• Het pakket structuur werd opgeruimd en alle cyclische pakket afhankelijkheden werden verwijderd.
• Factory parsing onderdelen werden afgesplitst van GenPolynomialTokenizer naar RingFactoryTokenizer.
• Sommige kunstmatige code is nodig om oplosbaar veeltermen als ring elementen gebruiken omdat oplosbaar veeltermen niet kan toepassen RingElem.
• Dit resulteerde in geval van onjuiste methode verzending voor de methode vermenigvuldigen () als gevolg van compiler optimalisaties.
• Een tijdelijke oplossing op te sporen en te repareren dit wordt nu geïmplementeerd in de GenPolynomial klasse.

Wat is nieuw in versie 2.3.3408:

• Nieuwe critial paar selectie voor Grobner basis comptation met syzygy gebaseerd algoritme na Gebauer en Moller in de klas OrderedSyzPairlist. Refactoring van Grobner basis klassen om gebruik eventueel de nieuwe selectie paar. Terug haven, van JDK 1.6 constructies om weer compatibel met JDK 1.5 zijn. Kleine verbeteringen in Kronecker factor combinatie in de klas FactorAbstract. Vaste race condition in ThreadPool en verbeterde detectie beëindiging in Terminator. Fixes parallel verminderd Grobner basis berekeningen. Vaste univariate polynoom bouw in Ideal.

Wat is nieuw in versie 2.3.3368:.

• Multivariate Taylor expansie serie interface en implementatie
• Een verbeterde multivariate machtreeks voor standaard base berekening.
• Er zijn methoden gerefactored om beter geschikt klassen, en klassen zijn verplaatst naar pakketten los te koppelen, bv Quotient * om het pakket edu.jas.ufd.
• Kleine bugs en cosmetische problemen zijn opgelost.

Wat is nieuw in versie 2.3.3328:.

• Multivariate machtreeks in klassen MultiVarPowerSeries en MultiVarPowerSeriesRing
• Mora's tangens kegel reductie algoritme en standaard base berekening voor de macht serie in pakket edu.jas.ps.
• Iterator dan exponent vectoren.

Wat is nieuw in versie 2.3.3298:

• Deze versie beschikt over iteratoren voor eindige en sommige oneindige structuren , en het eindige en oneindige Cartesiaanse producten van hen.
• Constructeurs zijn vastgesteld om te voldoen aan de (nieuwe) Java geheugen model.
• Er waren ook kleine bugfixes en verbeteringen, meer zinvolle uitzonderingen, en sommige hernoemen.

Wat is nieuw in versie 2.3.3248:

• Verbeterde polynoom parser naar rationale getallen aangeduid met accepteren decimale punten en BigDecimal coëfficiënten accepteren. Verwijderd het gebruik van de underscore voor algebriac aantal coëfficiënten in de polynoom parser. Nu elke recursieve aanroep van parse () van een ring fabriek wordt geactiveerd door beugels die kunnen worden genest om elke diepte. Vaste synchronisatie bug in oplosbaar polynoom relatie tafels en een parallellisatie bug parallel oplosbaar polynoom Grobner basis berekening. Toegevoegd resterende onderdelen voor de factorisatie in veeltermringen van karakteristieke p & gt; 0. Veranderde het script rpresentaton van AN (AlgebraicNumbers). Gebruik van onbegrensde draad zwembaden om dode-sloten te voorkomen.

Wat is nieuw in versie 2.3.3218:

• De code werd gedegradeerd voor het Java 5 taal en run-time systeem voor gebruik met systemen die op oudere Java-versies, bijvoorbeeld MathPiper en GeoGebra.
• De edu.jas.kern.TimeStatus klasse werd toegevoegd aan de gebruiker feedback voor langlopende opdrachten te verstrekken via de methode checkTime ().
• Een aantal ontbrekende extGB () methodes werden geïmplementeerd.
• GBFactory werd toegevoegd voor de selectie van geschikte Grobner base implementaties.
• De methode isFinite () werd toegevoegd voor alle ElemFactorys en gebruik in SquarefreeFactory.
• Een aantal ontbrekende delen werden toegevoegd voor de factorisatie in veeltermringen van karakteristieke p & gt; 0 en ideaal afbraak.

Wat is nieuw in versie 2.3.3188:

• Een nieuwe fabriek voor Grobner basis algoritme implementaties is in de klasse GBFactory.
• De nieuwe GBProxy is, net als GCDProxy, in staat om een ​​sequentiële en parallelle Grobner basis berekeningen gelijktijdig te gebruiken.
• De primitieve element berekening wordt via normalPositionFor () samen geïmplementeerd in de methoden primitiveElement () met verschillende conversie methoden convertToPrimitiveElem ().
• Er is een nieuwe index van alle algoritmen uit het boek Gröbnerbasissen door Becker en Weispfenning gelijkwaardige JAS implementaties.

Eisen

• Oracle Java Standard Edition Runtime Environment