Interval arithmetic for Ada

エイダのための

区間演算はエイダのための間隔の実装を提供し、数学ライブラリです。それは、算術演算および関係演算が含まれています。
例：
トライステート·ロジック
パッケージ間隔は、ルートパッケージとして機能し、また間隔に関係演算を定義する必要がトライ·ステート·ロジックを提供します。論理型は、次のように定義されます
 論理型である（偽、真、不確実な）;
 以下の操作は、論理のために定義されています：
 機能 "ではない」（左：論理）は、論理返します。
 機能 "と"（左、右：論理）論理返します。
    機能 "と"（左：論理右：ブール）
       論理返します。
    機能 "と"（左：ブール;右：論理）
       論理返します。
 機能 "や"（左、右：論理）論理返します。
    機能 "や"（左：論理右：ブール）
       論理返します。
    機能 "や"（左：ブール;右：論理）
       論理返します。
 機能「XOR」（左、右：論理）論理返します。
    機能「XOR」（左：論理右：ブール）
       論理返します。
    機能「XOR」（左：ブール;右：論理）
       論理返す;

のこのリリースのの新機能：

• このリリースはFedoraとDebianの32ビットとするためにパッケージ化されている64ビットx86アーキテクチャます。