エイダ：1行1列

Question

問題ステートメント

とReal_Matrixにアクセス最初の要素は、私は1行1列とReal_Matrixを有します。行1、列1の単一要素の値を評価したいと思います。 Matrix（I、J）構文を使用して行列にアクセスしようとするとエラーが発生します。以下を参照してください：

CODE

with Ada.Numerics.Real_Arrays; use Ada.Numerics.Real_Arrays; 
with Ada.Text_IO;    use Ada.Text_IO; 

procedure Matrix is 

    ------------------------------------ 
    -- Real_Matrix Division Operation -- 
    ------------------------------------ 

    function "/" (Left : Real_Matrix; 
       Right : Real_Matrix) return Real_Matrix 
    is 
    begin 
     return Left * Inverse(Right); 
    end "/"; 

    α : Real_Matrix := ((Integer'First => 1.0), 
         (Integer'First => 2.0)); 
    β : Real_Matrix := ((Integer'First => 3.0), 
         (Integer'First => 4.0)); 

begin 

    -- This operation returns an matrix with one row and one column -- 

    Put_Line(Float'Image(((Transpose(α) * α)/(Transpose(β) * β))(Integer'First, Integer'First))); -- Error: Missing "," -- 

end Matrix; 

Answer 1

私はあなたが、これはコンパイラの障害や適切な動作ですが、コンパイラを強制した場合、あなたのコードをコンパイルするかどうかをあなたに伝えるために、実際の言語の弁護士が必要だと思います

Put_Line 
    (Float'Image 
    (Real_Matrix'((Transpose(α) * α)/(Transpose(β) * β)) 
     (Integer'First, Integer'First))); 

---

： /操作は Real_Matrixを生成することを認識し、

私はこれを試してみましたが、Constraint_Errorがあります。私は、BrianDrummondの提案@

γ : constant Real_Matrix := (Transpose(α) * α)/(Transpose(β) * β); 

を試してみましたが、それは（これはMacOSのシエラのGNAT GPL 2016である）γ’First (2)が1であるのに対しγ’First (1)は、-2147483648であることが判明しました。

さらなる調査：これはGNATのInverseのバグだと確信しています。 ARM G.3.1(72)は

この関数は、* Bが単位行列に（ほぼ）等しくなるように行列Bを返し言います。結果のインデックス範囲はA'Range（2）とA'Range（1）です。 Constraint_Errorは、A'Length（1）がA'Length（2）と等しくない場合に発生します。 Constraint_Errorは、行列Aの状態が悪い場合に発生します。

とGNATの実装はSolve（同じ符号は、（70））

この関数はAにY Xとなるように（ほぼ）等しい行列を返す言う

function Inverse (A : Real_Matrix) return Real_Matrix is 
    (Solve (A, Unit_Matrix (Length (A)))); 

あります* Y。これは、一連の線形方程式を解くための標準的な数学的演算です。結果のインデックス範囲はA'Range（2）とX'Range（2）です。 Constraint_Errorは、A'Length（1）、A'Length（2）、およびX'Length（1）が等しくない場合に発生します。 Constraint_Errorは、行列Aの状態が悪い場合に発生します。

とUnit_Matrix（同じ参照、（79））

function Unit_Matrix (Order   : Positive; 
         First_1, First_2 : Integer := 1) return Real_Matrix; 

あるFirst_1、First_2のデフォルト値に注目してください！