Interval arithmetic for Ada

aritmatika Interval untuk Ada adalah perpustakaan matematika yang menyediakan implementasi interval untuk Ada. Ini termasuk aritmatika dan operasi relasional.
Contoh:
Tri-state logika
Para Interval Paket berfungsi sebagai paket akar dan juga menyediakan logika tri-state yang diperlukan untuk mendefinisikan operasi relasional pada interval. Jenis logis didefinisikan sebagai:
 Jenis logis adalah (False, True, Uncertain);
 Pengoperasian berikut didefinisikan untuk Logical:
 Fungsi "tidak" (Kiri: logis) kembali logis;
 Fungsi "dan" (Kiri, Kanan: Logical) kembali logis;
    Fungsi "dan" (Kiri: logis; Kanan: Boolean)
       kembali Logical;
    Fungsi "dan" (Kiri: Boolean; Kanan: Logical)
       kembali Logical;
 Fungsi "atau" (Kiri, Kanan: Logical) kembali logis;
    Fungsi "atau" (Kiri: logis; Kanan: Boolean)
       kembali Logical;
    Fungsi "atau" (Kiri: Boolean; Kanan: Logical)
       kembali Logical;
 Fungsi "XOR" (Kiri, Kanan: Logical) kembali logis;
    Fungsi "XOR" (Kiri: logis; Kanan: Boolean)
       kembali Logical;
    Fungsi "XOR" (Kiri: Boolean; Kanan: Logical)
       kembali logis;

Apa yang baru dalam rilis ini:

• Rilis ini dikemas untuk Fedora dan Debian 32 dan 64 arsitektur x86 bit.