Interval arithmetic for Ada

số học Interval cho Ada là một thư viện toán học cung cấp một thực hiện khoảng thời gian cho Ada. Nó bao gồm số học và các hoạt động quan hệ.
Ví dụ:
Tri-trạng thái logic
The Khoảng gói phục vụ như là một gói rễ và cũng cung cấp lý tri-nhà nước cần thiết để xác định các hoạt động quan hệ trên các khoảng thời gian. Kiểu logic được định nghĩa là:
 loại Logical là (False, True, không chắc chắn);
 Các hoạt động sau đây được xác định cho hợp lý:
 chức năng "không" (Left: Logical) trở Lôgic;
 chức năng "và" (Left, Right: Logical) trở Lôgic;
    chức năng "và" (Left: Logical; Right: Boolean)
       trở Lôgic;
    chức năng "và" (Left: Boolean; Right: Logical)
       trở Lôgic;
 chức năng "hoặc" (Left, Right: Logical) trở Lôgic;
    chức năng "hoặc" (Left: Logical; Right: Boolean)
       trở Lôgic;
    chức năng "hoặc" (Left: Boolean; Right: Logical)
       trở Lôgic;
 chức năng "xor" (Left, Right: Logical) trở Lôgic;
    chức năng "xor" (Left: Logical; Right: Boolean)
       trở Lôgic;
    chức năng "xor" (Left: Boolean; Right: Logical)
       trở Lôgic;

là gì mới trong phiên bản này:

• Phiên bản này được đóng gói cho Fedora và Debian 32 và 64 bit, kiến ​​trúc x86.