Interval arithmetic for Ada

aritmético Intervalo de Ada es una biblioteca matemática que proporciona una implementación de intervalos para Ada. Incluye operaciones aritméticas y relacionales.
Ejemplos:
Tri-estado lógico
Los intervalos de paquete sirve como un paquete raíz y también proporciona la lógica necesaria para definir las operaciones relacionales en intervalos de tres estados. El tipo de lógica se define como:
 Tipo Lógico es (False, True, incierto);
 Las operaciones siguientes se definen para lógico:
 función "no" (Izquierda: Lógico) volver Lógico;
 función "y" (Izquierda, Derecha: Lógico) volver Lógico;
    función "y" (Izquierda: Lógico; Derecha: Boolean)
       volver Lógico;
    función "y" (Izquierda: Boolean; Derecha: Lógico)
       volver Lógico;
 función "o" (Izquierda, Derecha: Lógico) volver Lógico;
    función "o" (Izquierda: Lógico; Derecha: Boolean)
       volver Lógico;
    función "o" (Izquierda: Boolean; Derecha: Lógico)
       volver Lógico;
 función "xor" (Izquierda, Derecha: Lógico) volver Lógico;
    función "xor" (Izquierda: Lógico; Derecha: Boolean)
       volver Lógico;
    función "xor" (Izquierda: Boolean; Derecha: Lógico)
       volver Lógico;

¿Cuál es nuevo en esta versión:

• Este comunicado está empaquetado para Fedora y Debian de 32 y 64 arquitecturas x86 bits.