Java Algebra System

(또는 줄여서 JAS) 자바 대수 시스템은 오픈 소스, 무료로 배포된다 객체 지향, 멀티 스레드 및 Java 프로그램 languageThe 프로젝트 기능에 systems.Implemented 리눅스 커널 기반 운영을 지원하는 형태 보증 된 컴퓨터 대수 소프트웨어 제네릭 형식을 사용하는 잘 설계 및 모든 기능을 소프트웨어 라이브러리는 JVM (자바 가상 머신) 실행 인프라를 사용 대수 계산을 확인합니다. 그것은 JRuby를 통해 해석 대화식 사용될 language.Can Java 프로그램으로 구현되고 JythonThe 소프트웨어는 대화식 사용하도록 설계 JRuby를 (자바 루비) 또는 자이 (자바 파이썬) 프런트 엔드를 통해 해석, 또는 임의의 다른 자바 소프트웨어와 같은된다 패키지. Ruboto .Getting (안드로이드에 대한 JRuby를)을 기반으로 또한 존재하는 안드로이드 응용 프로그램은 자바 대수 SystemFor 여러분의 편의를 위해 자바 대수 시스템 소프트웨어 JAR 형식의 사전 구축 된 바이너리 파일뿐만 아니라 소스 패키지 모두로 배포됩니다 시작 . JAR 파일이 프로젝트 (들)에 자바 대수 시스템을 사용할 수 있지만 바로, 소스 패키지를 사용하면 코드를 해킹하고 최적화 할 수 있습니다.
응용 프로그램의 사용 메시지를 보려면, & lsquo을 실행, 자바 -jar JAS-2.5.5065-bin.jar를 & lsquo; 터미널 에뮬레이터 소프트웨어의 명령, 당신은 당신 및 다른 URL이 위치에 있는지 확인하고, JAR 파일을 저장했습니다. 사용법 메시지는 다음과 같습니다 : 제어판에서 & ldquo; 사용법 : RunGB [서열 | 서열 + | 파 | 파 + | DIST | DIST + | disthyb | disthyb + | CLI [포트] <파일> # 발동 / # 1 threadsPerNode [machinefile] [체크] [방 대 ] rdquo; 자바는 자바 프로그래밍 언어로 작성된 availableBeing 임의의 운영 체제에서 실행, 자바 대수 시스템 소프트웨어는 자바 런타임 환경 (JRE) 기술은 GNU / 리눅스, 마이크로 소프트 윈도우를 포함하여 사용할 수있는 컴퓨터의 운영 체제에서 실행할 수 , BSD는, Solaris 및 맥 OS X의 그것은 현재 64 비트 및 32 비트 컴퓨터 플랫폼에서 지원됩니다

이 릴리스의 새로운 기능입니다 무엇 :.

이 버전의 새로운 패키지를 추가 풀 수 다항식 공약수 계산을위한 edu.jas.fd.
그것은 (고유하지 않은) 인수 분해 도메인에 대한 알고리즘을 포함합니다.
클래스 FDUtil에서 광석 도메인을 통해 다항식 의사 나머지 계산을위한 방법이 있습니다.
공약수를위한 더 많은 방법이 포함되어 있지만 아직 완료되지 않습니다.
MPJ 및 MPI 구현은 더 통합 및 청소왔다.
JLinAlg 어댑터 클래스에 대한 Javadoc에 게시된다.

이 버전 2.5.4688의 새로운 기능 :

이 새로운 풀 수있는 지역 잔류 링 SolvableLocalResidue으로 풀 수있는 몫 필드는 이상적인 모듈로. abstacted 일반 계수를 가진 새로운 일반적인 풀 수 다항식 QLRSolvablePolynomial 풀수 지수, 지역 데르 로컬 잔류 링을 FOM. 각각의 클래스에 인터페이스 QuotPair 및 QuotPairFactory 해당 구현합니다. 조정하고 새로운 클래스 스크립트 예제를 확장 할 수 있습니다. 제거 차이점과 실행 * GB의 청소 다른 버전 혼자 Grobner 기본 프로그램을 서있다.

이 버전 2.5.4658의 새로운 기능 :

이 (안드로이드에 대한 JRuby를) Ruboto에 따라 JAS의 안드로이드 버전, 서명 코드를 사용할 수 있으며 직접 설치할 수 있습니다.
적어도 일반적인 배수 및 풀 수 다항식 반지의 재판의 최대 공약수를 위해이 릴리스는 새로운 알고리즘이 포함되어 있습니다.
또한, 풀 수있는 몫의 APEL-Lassner 정규 simplifier 사용할 수 있습니다.
일부 리팩토링은 패키지 종속성 사이클을 깰 필요했다.
더 Findbugs 문제가 해결되었습니다.
자바 5의 호환성이 삭제되었습니다.

이 버전 2.5.4618의 새로운 기능 :

이 버전의 유사 MPJ 버전으로는 OpenMPI의 자바 바인딩을 기반으로 새로운 분산 Grobner 기본 알고리즘을 포함하고 있습니다.
MPI 및 MPJ 모두 - 스레드 안전하지 않기 때문에, 작업 어라운드 TCP / IP 소켓 또는 수송 MPI / MPJ 채널의 선택을 허용하는 전송 계층을 분할하기 위해 개발되었다.
소켓 기반의 분산 해시 테이블은 이제 반복 분산 Grobner 기본 계산 비 특정 오류를 해결 맑은 () 메소드를 구현합니다.
풀 수 곱셈 단순화되었습니다.
수정 및 개선 자이 썬과 JRuby를 스크립트되었습니다.

이 버전 2.5.4555의 새로운 기능 :

이 버전은 풀 수 다항식 반지에 대한 풀 수 다항식 클래스 LocalSolvablePolynomialRing에 풀 수있는 지역 반지입니다 반지 LocalSolvablePolynomial 새로운 스크립트 예제를위한 새로운 알고리즘을 추가 .
실밥 다항식의 비 - 교환 적 관계 처리 구현 및 인터페이스를 사용하도록 RelationGenerator 리팩토링되었다.
좀 더 Findbugs 이클립스 문제와 안드로이드의 JRuby를 몇 가지 문제가 해결 및 개선되었습니다.

이 버전 2.5.4448의 새로운 기능 :

이 버전은 재귀 풀 수 다항식 반지 풀 수있는 몫 계수와 새로운 풀 수 다항식 반지를위한 새로운 알고리즘을 제공합니다.
이 반지는 계수와 변수의 비가 환 곱셈을 갖추고 있습니다.
풀 수있는 몫 계수 재귀 풀 수 다항식 반지 풀 수 다항식에 대한 새로운 스크립팅 사례가있다.

이 버전 2.5.4408의 새로운 기능 :

이 버전은 클래스에 풀 수 다항식 반지에 대한 클래스 SolvableIdeal에서 해결할 수 다항식 반지의 이상에 대한 새로운 알고리즘과 새로운 구조를 제공 SolvableQuotient, SolvableResidue 그리고 SolvableQuotientRing과 SolvableResidueRing 공장을 해당.
이 루비 rdoc 문서에 대한 새로운 테마이며, 스크립트는 JRuby를 최신 버전 (1.7.3)에 적용되고있다.
일부 작은 수정 및 개선이 포함되어 있습니다.

이 버전 2.5.4358의 새로운 기능 :

이 자바 API는 지금부터 더 안정 될 것이다.
그것은 분산 (하이브리드) Grobner 기본 구현에서 경쟁 조건을 수정 및 GB 계산의 MPJ 버전을 향상시킨다.
GBFactory이 변경되었습니다, 그리고 GBAlgorithmBuilder에서 처리 Gebauer & 몰러 중요한 쌍을 선택하는 새로운 옵션이 추가되었습니다.
의 BigDecimal의 기본 정밀도는 DECIMAL128로 변경되었습니다.
GreatestCommonDivisorHensel 구현은 정수 평가 점 또한 최적화를 사용함으로써 개선된다.

이 버전은 주로 성능 최적화, 작은 개선 및 수정 사항을 제공한다 :

이 버전 2.4.4308의 새로운 기능입니다.
도끼 ^ 전자 S & quot - BX ^ g이; 최적화 표현 & quot을 계산하는 scaleSubtractMultiple (B, G, A, E, S)와 같은 다항식 방법을 결합 포함 한 러쉬.
JAS 안드로이드 응용 프로그램의 첫 번째 버전은 있습니다.
응용 프로그램은 JRuby를 스크립팅 인터페이스를 사용하고 루비 IRB 안드로이드 애플 리케이션 Ruboto 내에서 실행됩니다.

이 버전 2.4.4278의 새로운 기능 :

이 버전의 통신 미들웨어로 MPI 기반으로 새로운 분산 Grobner 기본 알고리즘을 포함하고 있습니다.
구현은 MPJ (MPI 자바) API를 사용하고 MPJ Express 또는 FastMPJ 중 하나를 실행할 수 있습니다.
구현 클래스는 분산 및 멀티 스레드 버전의 순수한 분산 버전 GroebnerBaseDistributedMPJ 및 GroebnerBaseDistributedHybridMPJ된다.

이 버전 2.4.4228의 새로운 기능 :

이 버전은 무료로 비가 환 Grobner 기본 계산 및 다항식 감소를위한 새로운 부품이 포함되어 있습니다.
그것은 새로운 인터페이스 WordGroebnerBase 새로운 클래스 WordGroebnerBaseAbstract과 WordGroebnerBaseSeq로 구성되어 있습니다.
비가 환 다항식에 자이 썬과 JRuby를 액세스 클래스 WordPolyRing과 WordIdeal와 함께 제공됩니다.
또한, 클래스 GBAlgorithmBuilder와 Grobner 기본 알고리즘 구현 (교환 법칙)을 선택하는 개선 된 방법이있다; 예를 들어, 변수 순서의 최적화 알고리즘 분획 무료.

이 버전 2.4.4008의 새로운 기능 :

이 버전은 더 JRuby를 예 오른쪽 모듈 Grobner 기지 및 여러 뿌리 계산을위한 버그 수정 및 findbugs에 의해 발견 의미있는 문제에 대한 버그 수정을 추가합니다.

이 버전 refactors 및 클래스 CharacteristicSetWu에서 우 Ritt 특성 세트의 알고리즘을 해결합니다

이 어떤 버전 2.4.3938의 새로운 기능입니다. 단위 테스트 CharSetTest에 있습니다.
방법의 특성 세트 알고리즘에 자이 썬과 JRuby를 스크립트 액세스 CS (), ISCS () 및 csReduction ().
작은 수정 및 개선.

이 버전 2.4.3888의 새로운 기능 : 유형 매개 변수를 단순화하고 유형 조건을 느슨하게

이 리팩토링.
새로운 패키지 edu.jas.ufdroot 다시 순환 패키지 의존성을 제거합니다.
FactorFactory 클래스와 인수 분해 구현에 더 적합 생성자의 인수 분해 구현의 개선 선택.
작은 수정 및 개선.

이 버전 2.4.3851의 새로운 기능 :

이 버전은 모듈 형 변형 및 결과 알고리즘의 병렬 프록시 버전을 구현 청소하고 edu.jas에 GreatestCommonDivisor * 클래스에서 누락 된 방법을 채 웁니다 .ufd 패키지는 ModInteger 변환에 ModLong를 해결하고, 작은 수정, 개선, 오른쪽 클래스에 메소드 리팩토링을 추가합니다.

이 버전 2.4.3828의 새로운 기능 :

이 개발 자바 7로 전환.
JAS는 여전히 컴파일 및 자바 6와 자바 5에서 실행됩니다.
버그 추적 장치가 들어 구글 코드에 JAS위한 새로운 온라인 repositoriy.
자이 썬과 JRuby를 스크립팅 인터페이스 다항식 링 발전기에 대한 변수 정의.
더 JRuby를 예.

이 최신 버전 2.4 업데이트 모든 따라 패키지를 풀고 JAS 3.0을위한 준비 :

이 어떤 버전 2.4.3788의 새로운 기능입니다. 자이 썬 2.5.2과 JRuby를 1.6.4에 대한 업데이트. 자신의 JAS 당량 게 디스 & Czapor & Labahn으로 컴퓨터 대수에 대한 책 알고리즘의 모든 알고리즘의 새로운 인덱스입니다. 다변량 통합 다항식 인수 분해에 다시 작은 개선 및 수정.

이 버전 2.3.3668의 새로운 기능 : PolyUtilApp 클래스의

이 실험 이상적인 복잡한 루트 계산이 (complexAlgebraicRoots에서 추가되었다) 방법.
실수와 복소수의 뿌리에 대한 간단한 분리 간격 정제가 구현되었습니다.
주요 이상적인 분해를 통해 대수 번호 필드를 통해 단 변량 다항식의 대체 인수 분해는 FactorAlgebraicPrim 클래스에서 추가되었다.
복소수 파싱 향상되었다.
용어 주문은 경우에 따라 강제로. 또한 작은 개선 및 수정 하였다.

이 버전 2.3.3598의 새로운 기능 :

이 클래스 ResidueRing를 사용하여 복수 변수 대수 반지 / 필드 확장. JRuby를 자이 썬 버전 및 확장 필드 빌더의 예. 최신 이클립스와 자바 1.7 버전에 작은 개선 및 버그 수정.

이 버전 2.3.3568의 새로운 기능 :

이 쉬운 대수와 초월 필드 확장을위한 방법과 클래스 ExtensionFieldBuilder에 확장 필드의 타워의 건설을 사용합니다.
실수와 복소수 대수 숫자의 개선.
재귀 적 표현에 대한 개선 다항식 파서.
작은 버그 수정.

이 버전 2.3.3538의 새로운 기능 : 변수 헨셀 리프팅에 대한

이 새로운 클래스 HenselMultUtil. 미래에 polyomial 인수 분해에 사용됩니다. 다변량 헨셀 리프팅을 사용하여 최대 공약수의 일부. JAS 소스 (r3408)은 아파치 하모니 6.0 (r991881)에 컴파일합니다. 단위 테스트는 객체 직렬화를 포함하는 테스트 케이스를 제외하고 전달합니다.

이 버전 2.3.3458의 새로운 기능 :

이 패키지 구조를 정리하고 모든 순환 패키지 종속성을 제거 하였다.
공장 구문 분석하는 부분은 RingFactoryTokenizer에 GenPolynomialTokenizer에서 분리되었다.
일부 인공 코드는 풀 수 다항식이 RingElem을 구현할 수 없습니다 때문에 링 요소로 풀 수 다항식을 사용하는 데 필요한되었다.
이는 컴파일러 최적화에 곱하기 () 메소드에 대한 잘못된 방법 파견 가지 경우의 결과.
해결 방법은 감지하고이 이제 GenPolynomial 클래스에서 구현되는 복구합니다.

이 버전 2.3.3408의 새로운 기능 : 클래스 OrderedSyzPairlist에 Gebauer 및 몰러 후을 Syzygy 기반 알고리즘 Grobner 기본 comptation에 대한

이 새로운 critial 쌍의 선택. Grobner 기본 클래스의 리팩토링은 사용에게 새로운 쌍 선택을 선택적으로합니다. 일부 JDK 1.6 구조의 위로 포트는 JDK 1.5 다시 호환 가능합니다. 클래스 FactorAbstract에 맞췄다 인자 조합에 작은 개선. ThreadPool이에 고정 경쟁 조건과 터미네이터의 개선 종료 감지. 병렬 수정은 Grobner 기본 계산을 감소시켰다. 최적의 고정 단 변수 다항식 건설.

이 버전 2.3.3368의 새로운 기능 :

이 다변량 테일러 시리즈 확장 인터페이스 및 구현.
표준 기본 계산을위한 개선 된 변수 멱급수.
방법이 더 적합 클래스 리팩토링되었고, 클래스 패키지를 분리하는 이동 된, 예를 들어, 패키지 edu.jas.ufd에 지수의 *.
작은 버그와 문제가 수정되었습니다.

이 버전 2.3.3328의 새로운 기능 : 클래스 MultiVarPowerSeries 및 MultiVarPowerSeriesRing에서

이 다변량 전원 시리즈.
모라 접선 콘 감소 알고리즘 및 패키지 edu.jas.ps. 멱급수 표준베이스 연산
지수 경로를 통해 반복자.

이 릴리스는 유한과 무한 일부 구조 및 이들의 유한과 무한 직교 제품에 대한 반복자 특징 :

이 버전 2.3.3298의 새로운 기능입니다.
생성자 (신규) 자바 메모리 모델을 준수하도록 수정되었습니다.
또한 작은 버그 수정 및 개선,보다 의미있는 예외, 일부 이름 변경이 있었다.

이 버전 2.3.3248의 새로운 기능 :

는 소수점으로 표시 합리적인 번호를 허용하고 BigDecimal의 계수를 허용하도록 다항식 파서를 개선. 다항식 파서 algebriac 수 계수에 대한 밑줄의 사용을 제거. 이제 링 공장에서 구문 분석의 모든 재귀 호출 ()는 어떤 깊이로 중첩 될 수 있습니다 중괄호에 의해 트리거됩니다. 고정 풀 수 다항식 관계 테이블의 동기화 버그 및 병렬 풀 수 다항식 Grobner 기본 연산의 병렬화 버그. 특성 페이지 하였다 다항식 반지의 인수 분해를 위해 나머지 부분을 추가; 0은 (AlgebraicNumbers)의 스크립트 rpresentaton 변경되었습니다. 바운드 스레드 풀의 사용은 교착 상태를 방지 할 수 있습니다.

이 어떤 버전 2.3.3218의 새로운 기능 :

이 코드는 자바 5 언어 다운 그레이드 및 런타임 시스템을 예를 들어, 이전 자바 버전에 의존하는 시스템에 사용 된 MathPiper 와 GeoGebra의.
edu.jas.kern.TimeStatus 클래스는 checkTime () 메소드를 통해 장기 실행 작업에 대한 사용자 피드백을 제공하기 위해 추가되었다.
일부 누락 된 extGB () 메소드가 실행되었다.
GBFactory 적절한 Grobner베이스 구현 선택에 첨가 하였다.
isFinite () 메소드는 SquarefreeFactory의 모든 ElemFactorys 및 사용을 위해 추가되었습니다.
일부 누락 된 부분은 특성 P & 하였다 다항식 반지의 인수 분해에 대한 추가되었다; 0 이상 분해.

이 버전 2.3.3188의 새로운 기능 :

이 Grobner 기본 알고리즘 구현을위한 새로운 공장 클래스 GBFactory입니다.
새로운 GBProxy는 GCDProxy처럼 동시에 순차 및 병렬 Grobner 기본 계산을 실행 할 수 있습니다.
원시 요소의 계산은 여러 가지 변환 방법 convertToPrimitiveElem와 함께 메소드 primitiveElement에 normalPositionFor () ()를 통해 구현된다 ().
동등한 JAS 구현에 베커와 Weispfenning에 의해 도서 Grobner 기지에서 모든 알고리즘의 새로운 인덱스가 있습니다.

이 요구 사항 :

이 오라클 자바 스탠다드 에디션 런타임 환경