Java Algebra System

Java Algebra System (eller JAS för kort) är en öppen källkod, fritt distribueras, objektorienterat, flertrådade och typ säker datoralgebraprogram som stöder Linux kernel-baserade operativsystem systems.Implemented i Java programmering språkprojektfunktioner en väl utformad och fullt fungerande mjukvarubibliotek som använder generiska typer att göra algebraiska beräkningar med hjälp av JVM (Java Virtual Machine) runtime infrastruktur. Det genomförs i Java-programmering language.Can användas interaktivt, tolkas via JRuby och JythonThe mjukvara är designad för att användas interaktivt, tolkas via JRuby (Java Ruby) eller Jython (Java Python) front-end, eller som någon annan Java-programvara paket. En Android App också finns, utifrån Ruboto (JRuby för Android) .Getting började med Java Algebra SystemFor din bekvämlighet Java Algebra System programvara distribueras som både en förbyggda binär fil i JAR-format, samt en källkodspaket . Medan JAR-filen kan du använda Java Algebra System i ditt projekt (s) på en gång, låter källpaketet du hacka koden och optimera den.
Om du vill visa hjlpskrm av app, kör & lsquo; java-jar jas-2.5.5065-bin.jar & lsquo; kommando i ett terminalprogram, se till att du är i den plats där du & rsquo; ve spara JAR-filen. Hjlpskrm ser ut så här: & ldquo; Användning: RunGB [seq | seq + | par | par + | dist | dist + | disthyb | disthyb + | cli [port]] # procs / # threadsPerNode [machinefile] [check] [nolog ] & rdquo; Körs på alla operativsystem där Java är availableBeing skriven i programmeringsspråket Java, kan Java Algebra System programvara köras på alla operativsystem där Java Runtime Environment (JRE) teknik finns tillgänglig, inklusive GNU / Linux, Microsoft Windows , BSD, Solaris och Mac OS X. Det stöds för närvarande på 64 och 32-bitars datorplattformar

Vad är nytt i den här versionen:.

• Denna version lägger ett nytt paket edu.jas.fd för lösbar polynom gemensamma delare beräkning.
• Det kommer att innehålla algoritmer för (icke-unika) faktorisering domäner.
• Det finns metoder för polynom pseudo resten beräkning över Ore domäner i klassen FDUtil.
• Fler metoder för gemensamma delare ingår, men ännu inte klar.
• De MPJ och MPI implementationer har ytterligare konvergerade och rengöras.
• JavaDocs för JLinAlg adapterklasser publiceras.

Vad är nytt i version 2.5.4688:

• Ny lösbar lokala restring SolvableLocalResidue så lösbar kvoten fält modulo ett ideal. Nya generiska lösbara polynom QLRSolvablePolynomial med abstacted generiska koefficienter fom lösbar kvoten, lokala oder lokal-rester ringar. Genomföra motsvarande gränssnitt QuotPair och QuotPairFactory i respektive klasser. Justera och utöka skriptexempel för de nya klasserna. Borttagna skillnader och sanera olika versioner av Run * GB fristående Gröbner basprogram.

Vad är nytt i version 2.5.4658:

• Android-versionen av JAS, baserat på Ruboto ( JRuby för Android), finns nu med undertecknad kod och kan monteras direkt.
• Den här versionen innehåller nya algoritmer för minsta gemensamma multipeln och en rättegång största gemensamma delaren i lösbara polynomringar.
• Dessutom finns det Apel-Lassner kanonisk simplifier för lösbara kvoter.
• Någon refacto krävdes för att bryta paketberoendecykler.
• Mer Findbugs frågor har lösts.
• Java 5 kompatibilitet har tappats.

Vad är nytt i version 2.5.4618:

• Denna version innehåller nya distribuerade Gröbner bas algoritmer baserade på Java bindningar av OpenMPI liknande sätt till MPJ versionen.
• Eftersom både MPI och MPJ inte trådsäker, en work-around utvecklades för att dela upp transportlagret för att möjliggöra val av TCP / IP-uttag eller MPI / MPJ kanaler för transport.
• socket baserade distribuerade hashtabell genomför nu den klart () metoden, som löser ospecifika fel i itererade distribuerade Gröbner bas beräkningar.
• De lösbara multiplikationer har förenklats.
• Korrigeringar och förbättringar har gjorts för Jython och JRuby skript.

Vad är nytt i version 2.5.4555:

• Denna version lägger till nya algoritmer för lösbara polynomringar över lösbara lokala ringar i klasserna LocalSolvablePolynomialRing och LocalSolvablePolynomial och nya skriptexempel för sådana lösbara polynomringar.
• Hanteringen av icke-kommutativa relationer lösbara polynom har refactored att implementera och använda ett gränssnitt RelationGenerator.
• Några fler Findbugs och Eclipse frågor och flera problem med JRuby av Android har fastställts och förbättras.

Vad är nytt i version 2.5.4448:

• Denna version ger nya algoritmer för rekursiva lösbara polynomringar och nya lösbara polynomringar med lösbara kvot koefficienter.
• Denna ringar har icke-kommutativ multiplikation av variabler med koefficienter.
• Det finns nya skriptexempel för rekursiva lösbara polynomringar och lösbara polynom med lösbara kvot koefficienter.

Vad är nytt i version 2.5.4408:

• Denna version ger nya algoritmer för ideal i lösbar polynom ringar i klass SolvableIdeal och nya strukturer för lösbara polynomringar i klasserna SolvableQuotient, SolvableResidue, och motsvarande fabriker SolvableQuotientRing och SolvableResidueRing.
• Det finns ett nytt tema för Ruby rdoc dokumentation och skripten har anpassats till en nyare version av JRuby (1.7.3).
• Några små korrigeringar och förbättringar ingår.

Vad är nytt i version 2.5.4358:

• Java API kommer att vara mer stabil från och med nu .
• Det fixar ett konkurrenstillstånd i distribuerade (hybrid) Gröbner bas implementeringar och förbättrar MPJ ​​versionen av GB beräkningar.
• GBFactory har förändrats, och en ny möjlighet att välja Gebauer & Moller kritiska par hantering i GBAlgorithmBuilder sattes.
• Standard precision BigDecimal ändrades till DECIMAL128.
• Genomförandet GreatestCommonDivisorHensel förbättras genom att använda heltal utvärderingspunkter och ytterligare optimeringar.

Vad är nytt i version 2.4.4308:

• Denna version ger mestadels prestandaoptimeringar, små förbättringar, och fixar.
• De optimeringar inkluderar kombinerade metoder för polynom som scaleSubtractMultiple (b, g, a, e, S) för att beräkna uttrycket & quot; bx ^ g här - ax ^ e S & quot; i en kapplöpning.
• Det finns nu en första version av en JAS Android App.
• Appen använder sin JRuby scripting gränssnitt och körs inom Ruby IRB Android app Ruboto.

Vad är nytt i version 2.4.4278:

• Denna version innehåller nya distribuerade Gröbner bas algoritmer baserade på MPI som kommunikations mitten-ware.
• Genomförandet använder (MPI Java) API MPJ och kan köras med antingen MPJ Express eller FastMPJ.
• De genomförande klasser är GroebnerBaseDistributedMPJ för rena distribuerade versionen, och GroebnerBaseDistributedHybridMPJ för distribuerade och flertrådade versionen.

Vad är nytt i version 2.4.4228:

• Denna version innehåller nya delar till fri icke-kommutativ Gröbner bas beräkning och polynom minskning.
• Den består av ett nytt gränssnitt WordGroebnerBase och nya klasser WordGroebnerBaseAbstract och WordGroebnerBaseSeq.
• Jython och JRuby tillgång till icke-kommutativa polynom medföljer klasser WordPolyRing och WordIdeal.
• Dessutom finns det ett förbättrat sätt att välja (kommutativ) Gröbner bas algoritm implementeringar med klassen GBAlgorithmBuilder; till exempel, en fraktion fri algoritm med optimering av den variabla ordning.

Vad är nytt i version 2.4.4008:

• Denna version lägger till fler JRuby exempel, buggfixar för rätten modul Gröbner baser och flera rötter beräkning, och buggfixar för meningsfulla problem prickiga av findbugs.

Vad är nytt i version 2.4.3938:

• Denna version refactors och fixar algoritmer för Wu-Ritt karakteristiska uppsättningar i klassen CharacteristicSetWu. Enhetstester är i CharSetTest.
• Jython och JRuby skript tillgång till karakteristiska set algoritmer i metoder CS (), isCS (), och csReduction ().
• Små korrigeringar och förbättringar.

Vad är nytt i version 2.4.3888:

• Refacto att förenkla typparametrar och lossa typ förhållanden.
• Ett nytt paket edu.jas.ufdroot att avlägsna cykliska paketberoenden igen.
• Förbättrad urval av faktorisering implementationer i FactorFactory klasser och bättre lämpade konstruktörer av faktorisering implementationer.
• Små korrigeringar och förbättringar.

Vad är nytt i version 2.4.3851:

• Denna version implementerar modulära varianter och parallella proxy versioner av resulte algoritmer, rengör och fyller saknas metoder i GreatestCommonDivisor * klasser i edu.jas.ufd paketet, fixar ModLong till ModInteger konvertering, och lägger små fixar, förbättringar och refacto metoder till rätt klasserna.

Vad är nytt i version 2.4.3828:.

• Bytte till Java 7 för utveckling
• JAS kommer fortfarande kompilera och köra på Java 6 och Java 5.
• En ny online-repositoriy för JAS på Google-kod som innehåller en bugg-tracker.
• Definition av variabler för Polynomring generatorer i Jython och JRuby skriptgränssnittet.
• Mer JRuby exempel.

Vad är nytt i version 2.4.3788:

• Release 2.4 uppdaterar alla beroende paket till den senaste versionen och förbereder för JAS 3.0. Uppdateringar för Jython 2.5.2 och JRuby 1.6.4. En ny förteckning över alla algoritmer från boken Algoritmer för Computer Algebra av Geddes & Czapor & Labahn till deras JAS motsvarigheter. Små förbättringar och fixar igen i multivariat heltalspolynom faktorisering.

Vad är nytt i version 2.3.3668:

• Experimentell ideal komplex rot beräkning lades i complexAlgebraicRoots () metoden i PolyUtilApp klassen.
• Enkel isolera intervall förfining för reella och komplexa rötter fördes.
• Alternativ facto av univariata polynom över algebraiska nummerfält via primideal nedbrytning lades i FactorAlgebraicPrim klassen.
• tolkning av komplexa tal förbättrades.
• Term order tvingas i vissa situationer. Ytterligare små förbättringar och fixar gjordes.

Vad är nytt i version 2.3.3598:

• Multivariata algebraisk ring / kroppsutvidgningar använder klass ResidueRing. JRuby och Jython versioner och exempel på förlängningsfältet Builder. Små förbättringar och buggfixar för senaste Eclipse och Java 1.7-versionen.

Vad är nytt i version 2.3.3568:

• Lätt att använda byggandet av torn av förlängnings områden klass ExtensionFieldBuilder med metoder för algebraiska och transcendenkroppsutvidgningar.
• Förbättringar i reella och komplexa algebraiska tal.
• Förbättrad polynom parser för rekursiva representationer.
• Mindre buggfixar.

Vad är nytt i version 2.3.3538:

• Ny klass HenselMultUtil för multivariat Hensel lyft. Kommer att användas i polyomial faktorisering i framtiden. Vissa delar av största gemensamma delare med hjälp multivariat Hensel lyft. JAS källan (r3408) sammanställer på Apache Harmony 6,0 (r991881). De enhetstester passerar med undantag av testfall som involverar objekt serialisering.

Vad är nytt i version 2.3.3458:

• Paketet strukturen var rensas upp och alla cykliska paket beroenden togs bort.
• Fabrikspars delar delades från GenPolynomialTokenizer till RingFactoryTokenizer.
• Någon artificiell koden krävs för att använda lösbara polynom som ringelement eftersom lösbara polynom inte kan genomföra RingElem.
• Detta resulterade i fall av felaktig metod sändning för multiplicera () metoden på grund av kompilatoroptimeringar.
• En lösning för att upptäcka och reparera detta nu implementeras i GenPolynomial klassen.

Vad är nytt i version 2.3.3408:

• Ny critial par val för Gröbner bas comptation med syzygy baserade algoritmen efter Gebauer och Möller i klassen OrderedSyzPairlist. Refacto av Gröbner basklasser att eventuellt använda det nya paret valet. Tillbaka hamn vissa JDK 1.6 konstruktioner vara igen kompatibel med JDK 1.5. Små förbättringar i Kronecker faktor kombination i klass FactorAbstract. Fast race tillstånd i ThreadPool och förbättrad upptäckt uppsägning i Terminator. Fixar parallellt minskat Gröbner bas beräkningar. Fast univariat polynom konstruktion i Ideal.

Vad är nytt i version 2.3.3368:.

• multivariat Taylorutveckling serie gränssnitt och genomförande
• En förbättrad multivariat potensserier för standardbas beräkning.
• Metoder har refactored till bättre lämpade klasser och klasser har flyttats till frikoppla paket, t.ex. Kvot * till paketet edu.jas.ufd.
• Små buggar och kosmetiska frågor har fastställts.

Vad är nytt i version 2.3.3328:.

• multivariat potensserier i klasser MultiVarPowerSeries och MultiVarPowerSeriesRing
• Moras tangent kon minskning algoritm och standardbasen beräkning för potensserier i paket edu.jas.ps.
• Iterator över exponent vektorer.

Vad är nytt i version 2.3.3298:

• Denna utgåva innehåller iteratorer för ändliga och några oändliga strukturer och de ändliga och oändliga kartesiska produkter av dem.
• Konstruktörer fixerades för att följa (den nya) Java minnesmodell.
• Det fanns också små buggfixar och förbättringar, mer meningsfulla undantag, och en del döpa.

Vad är nytt i version 2.3.3248:

• Förbättrad polynomet tolken att acceptera rationella tal betecknas med decimaler och acceptera BigDecimal koefficienter. Tog bort användningen av streck för algebriac siffer koefficienter i polynomet tolken. Nu varje rekursivt anrop av parse () från ett ringfabrik utlöses av hängslen som kan kapslade i djupled. Fast synkronisering bugg i lösbara polynom relationstabeller och en parallel bugg parallellt lösbar polynom Gröbner bas beräkning. Inkom resterande delar för faktorisering i polynomringar av karakteristiska p & gt; 0. Ändrade manuset rpresentaton av AN (AlgebraicNumbers). Användning av obegränsade gäng pooler att undvika döda-lås.

Vad är nytt i version 2.3.3218:

• Koden nedgraderades för Java 5 språk och run-time system för användning med system förlitar sig på äldre Java-versioner, till exempel MathPiper och GeoGebra.
• edu.jas.kern.TimeStatus klassen sattes för att ge användaren feedback för långa löpande uppgifter via () metoden checkTime.
• Vissa saknade extGB () metoder genomfördes.
• GBFactory lades för val av lämpliga Gröbner bas implementationer.
• Metoden isFinite () tillsattes för alla ElemFactorys och användning i SquarefreeFactory.
• Vissa saknade delar tillkom för faktorisering i polynomringar av karakteristiska p & gt; 0 och perfekt nedbrytning.

Vad är nytt i version 2.3.3188:

• är en ny fabrik för Gröbner bas algoritm implementeringar i klass GBFactory.
• Det nya GBProxy är liksom GCDProxy, kunna köra en sekventiell och en parallell Gröbner bas beräkning samtidigt.
• primitiva elementet beräkning genomförs via normalPositionFor () i metoderna primitiveElement () tillsammans med flera konverteringsmetoder convertToPrimitiveElem ().
• Det finns ett nytt index över alla algoritmer från boken Gröbner baser av Becker och Weispfenning för likvärdiga JAS implementationer.

Krav :

• Oracle Java Standard Edition Runtime Environment