Interval arithmetic for Ada

에이다에 대한 간격 산술 에이다에 대한 간격의 구현을 제공하는 수학 라이브러리입니다. 그것은 산술과 관계형 작업이 포함됩니다.
예 :
트라이 - 상태 로직
패키지 간격 루트 패키지로서 기능하고 또한 간격에 관계 연산을 정의 할 필요가 삼 상태 로직을 제공한다. 논리 형태는 다음과 같이 정의된다 :
 논리 유형이 (거짓, 사실, 불확실한);
 다음 작업은 논리에 대해 정의 :
 기능 "없습니다"(왼쪽 : 논리)는 논리를 반환;
 기능 "과"(왼쪽, 오른쪽 : 논리)는 논리를 반환;
    기능 "과"(왼쪽 : 논리, 오른쪽 : 부울)
       논리 반환;
    기능 "과"(왼쪽 : 부울; 오른쪽 : 논리)
       논리 반환;
 기능 "또는"(왼쪽, 오른쪽 : 논리)는 논리를 반환;
    기능 "또는"(왼쪽 : 논리, 오른쪽 : 부울)
       논리 반환;
    기능 "또는"(왼쪽 : 부울; 오른쪽 : 논리)
       논리 반환;
 기능 "XOR"(왼쪽, 오른쪽 : 논리)는 논리를 반환;
    기능 "XOR"(왼쪽 : 논리, 오른쪽 : 부울)
       논리 반환;
    기능 "XOR"(왼쪽 : 부울; 오른쪽 : 논리)
       논리 반환;

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

이 릴리스는 페도라와 데비안 32 비트 및 64 비트 x86 아키텍처 용 패키지됩니다.