Interval arithmetic for Ada

інтервального арифметики для Ада математична бібліотека, яка забезпечує реалізацію інтервалів для Ада. Вона включає в себе арифметичні та операції відношення.
Приклади:
Tri-State Logic
Інтервали пакет служить як кореневого пакету, а також забезпечує три-державного логіку, необхідну для визначення реляційних операцій на інтервали. Тип Логічний визначається як:
 тип Логічний є (False, True, ясна);
 Наступні операції визначені для Логічні:
 Функція "не" (Зліва: логічний) повертають логічні;
 Функція "і" (Left, Right: логічний) повертають логічні;
    Функція "і" (Зліва: логічний; Справа: Boolean)
       повертають логічні;
    Функція "і" (Лівий: Boolean; Справа: логічний)
       повертають логічні;
 Функція "або" (Left, Right: логічний) повертають логічні;
    Функція "або" (Зліва: логічний; Справа: Boolean)
       повертають логічні;
    Функція "або" (Лівий: Boolean; Справа: логічний)
       повертають логічні;
 Функція "виключає або" (Left, Right: логічний) повертають логічні;
    Функція "виключає або" (Зліва: логічний; Справа: Boolean)
       повертають логічні;
    Функція "виключає або" (Лівий: Boolean; Справа: логічний)
       повертають логічні;

Що нового У цьому випуску:

• Цей реліз упаковані для Fedora і Debian 32- і 64- біт x86 архітектури.