aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.8.3/gcc/ada/a-ngcoar.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.8.3/gcc/ada/a-ngcoar.ads')
-rw-r--r--gcc-4.8.3/gcc/ada/a-ngcoar.ads281
1 files changed, 281 insertions, 0 deletions
diff --git a/gcc-4.8.3/gcc/ada/a-ngcoar.ads b/gcc-4.8.3/gcc/ada/a-ngcoar.ads
new file mode 100644
index 000000000..8f8f37a79
--- /dev/null
+++ b/gcc-4.8.3/gcc/ada/a-ngcoar.ads
@@ -0,0 +1,281 @@
+------------------------------------------------------------------------------
+-- --
+-- GNAT RUN-TIME COMPONENTS --
+-- --
+-- ADA.NUMERICS.GENERIC_COMPLEX_ARRAYS --
+-- --
+-- S p e c --
+-- --
+-- This specification is derived from the Ada Reference Manual for use with --
+-- GNAT. In accordance with the copyright of that document, you can freely --
+-- copy and modify this specification, provided that if you redistribute a --
+-- modified version, any changes that you have made are clearly indicated. --
+-- --
+------------------------------------------------------------------------------
+
+with Ada.Numerics.Generic_Real_Arrays, Ada.Numerics.Generic_Complex_Types;
+
+generic
+ with package Real_Arrays is new Ada.Numerics.Generic_Real_Arrays (<>);
+ use Real_Arrays;
+ with package Complex_Types is new Ada.Numerics.Generic_Complex_Types (Real);
+ use Complex_Types;
+package Ada.Numerics.Generic_Complex_Arrays is
+ pragma Pure (Generic_Complex_Arrays);
+
+ -- Types
+
+ type Complex_Vector is array (Integer range <>) of Complex;
+ type Complex_Matrix is
+ array (Integer range <>, Integer range <>) of Complex;
+
+ -- Subprograms for Complex_Vector types
+ -- Complex_Vector selection, conversion and composition operations
+
+ function Re (X : Complex_Vector) return Real_Vector;
+ function Im (X : Complex_Vector) return Real_Vector;
+
+ procedure Set_Re (X : in out Complex_Vector; Re : Real_Vector);
+ procedure Set_Im (X : in out Complex_Vector; Im : Real_Vector);
+
+ function Compose_From_Cartesian
+ (Re : Real_Vector) return Complex_Vector;
+ function Compose_From_Cartesian
+ (Re, Im : Real_Vector) return Complex_Vector;
+
+ function Modulus (X : Complex_Vector) return Real_Vector;
+ function "abs" (Right : Complex_Vector) return Real_Vector renames Modulus;
+ function Argument (X : Complex_Vector) return Real_Vector;
+
+ function Argument
+ (X : Complex_Vector;
+ Cycle : Real'Base) return Real_Vector;
+
+ function Compose_From_Polar
+ (Modulus, Argument : Real_Vector) return Complex_Vector;
+
+ function Compose_From_Polar
+ (Modulus, Argument : Real_Vector;
+ Cycle : Real'Base) return Complex_Vector;
+
+ -- Complex_Vector arithmetic operations
+
+ function "+" (Right : Complex_Vector) return Complex_Vector;
+ function "-" (Right : Complex_Vector) return Complex_Vector;
+ function Conjugate (X : Complex_Vector) return Complex_Vector;
+ function "+" (Left, Right : Complex_Vector) return Complex_Vector;
+ function "-" (Left, Right : Complex_Vector) return Complex_Vector;
+ function "*" (Left, Right : Complex_Vector) return Complex;
+ function "abs" (Right : Complex_Vector) return Real'Base;
+
+ -- Mixed Real_Vector and Complex_Vector arithmetic operations
+
+ function "+"
+ (Left : Real_Vector;
+ Right : Complex_Vector) return Complex_Vector;
+
+ function "+"
+ (Left : Complex_Vector;
+ Right : Real_Vector) return Complex_Vector;
+
+ function "-"
+ (Left : Real_Vector;
+ Right : Complex_Vector) return Complex_Vector;
+
+ function "-"
+ (Left : Complex_Vector;
+ Right : Real_Vector) return Complex_Vector;
+
+ function "*" (Left : Real_Vector; Right : Complex_Vector) return Complex;
+ function "*" (Left : Complex_Vector; Right : Real_Vector) return Complex;
+
+ -- Complex_Vector scaling operations
+
+ function "*"
+ (Left : Complex;
+ Right : Complex_Vector) return Complex_Vector;
+
+ function "*"
+ (Left : Complex_Vector;
+ Right : Complex) return Complex_Vector;
+
+ function "/"
+ (Left : Complex_Vector;
+ Right : Complex) return Complex_Vector;
+
+ function "*"
+ (Left : Real'Base;
+ Right : Complex_Vector) return Complex_Vector;
+
+ function "*"
+ (Left : Complex_Vector;
+ Right : Real'Base) return Complex_Vector;
+
+ function "/"
+ (Left : Complex_Vector;
+ Right : Real'Base) return Complex_Vector;
+
+ -- Other Complex_Vector operations
+
+ function Unit_Vector
+ (Index : Integer;
+ Order : Positive;
+ First : Integer := 1) return Complex_Vector;
+
+ -- Subprograms for Complex_Matrix types
+
+ -- Complex_Matrix selection, conversion and composition operations
+
+ function Re (X : Complex_Matrix) return Real_Matrix;
+ function Im (X : Complex_Matrix) return Real_Matrix;
+
+ procedure Set_Re (X : in out Complex_Matrix; Re : Real_Matrix);
+ procedure Set_Im (X : in out Complex_Matrix; Im : Real_Matrix);
+
+ function Compose_From_Cartesian (Re : Real_Matrix) return Complex_Matrix;
+
+ function Compose_From_Cartesian
+ (Re, Im : Real_Matrix) return Complex_Matrix;
+
+ function Modulus (X : Complex_Matrix) return Real_Matrix;
+ function "abs" (Right : Complex_Matrix) return Real_Matrix renames Modulus;
+
+ function Argument (X : Complex_Matrix) return Real_Matrix;
+
+ function Argument
+ (X : Complex_Matrix;
+ Cycle : Real'Base) return Real_Matrix;
+
+ function Compose_From_Polar
+ (Modulus, Argument : Real_Matrix) return Complex_Matrix;
+
+ function Compose_From_Polar
+ (Modulus : Real_Matrix;
+ Argument : Real_Matrix;
+ Cycle : Real'Base) return Complex_Matrix;
+
+ -- Complex_Matrix arithmetic operations
+
+ function "+" (Right : Complex_Matrix) return Complex_Matrix;
+ function "-" (Right : Complex_Matrix) return Complex_Matrix;
+
+ function Conjugate (X : Complex_Matrix) return Complex_Matrix;
+ function Transpose (X : Complex_Matrix) return Complex_Matrix;
+
+ function "+" (Left, Right : Complex_Matrix) return Complex_Matrix;
+ function "-" (Left, Right : Complex_Matrix) return Complex_Matrix;
+ function "*" (Left, Right : Complex_Matrix) return Complex_Matrix;
+ function "*" (Left, Right : Complex_Vector) return Complex_Matrix;
+
+ function "*"
+ (Left : Complex_Vector;
+ Right : Complex_Matrix) return Complex_Vector;
+
+ function "*"
+ (Left : Complex_Matrix;
+ Right : Complex_Vector) return Complex_Vector;
+
+ -- Mixed Real_Matrix and Complex_Matrix arithmetic operations
+
+ function "+"
+ (Left : Real_Matrix;
+ Right : Complex_Matrix) return Complex_Matrix;
+
+ function "+"
+ (Left : Complex_Matrix;
+ Right : Real_Matrix) return Complex_Matrix;
+
+ function "-"
+ (Left : Real_Matrix;
+ Right : Complex_Matrix) return Complex_Matrix;
+
+ function "-"
+ (Left : Complex_Matrix;
+ Right : Real_Matrix) return Complex_Matrix;
+
+ function "*"
+ (Left : Real_Matrix;
+ Right : Complex_Matrix) return Complex_Matrix;
+
+ function "*"
+ (Left : Complex_Matrix;
+ Right : Real_Matrix) return Complex_Matrix;
+
+ function "*"
+ (Left : Real_Vector;
+ Right : Complex_Vector) return Complex_Matrix;
+
+ function "*"
+ (Left : Complex_Vector;
+ Right : Real_Vector) return Complex_Matrix;
+
+ function "*"
+ (Left : Real_Vector;
+ Right : Complex_Matrix) return Complex_Vector;
+
+ function "*"
+ (Left : Complex_Vector;
+ Right : Real_Matrix) return Complex_Vector;
+
+ function "*"
+ (Left : Real_Matrix;
+ Right : Complex_Vector) return Complex_Vector;
+
+ function "*"
+ (Left : Complex_Matrix;
+ Right : Real_Vector) return Complex_Vector;
+
+ -- Complex_Matrix scaling operations
+
+ function "*"
+ (Left : Complex;
+ Right : Complex_Matrix) return Complex_Matrix;
+
+ function "*"
+ (Left : Complex_Matrix;
+ Right : Complex) return Complex_Matrix;
+
+ function "/"
+ (Left : Complex_Matrix;
+ Right : Complex) return Complex_Matrix;
+
+ function "*"
+ (Left : Real'Base;
+ Right : Complex_Matrix) return Complex_Matrix;
+
+ function "*"
+ (Left : Complex_Matrix;
+ Right : Real'Base) return Complex_Matrix;
+
+ function "/"
+ (Left : Complex_Matrix;
+ Right : Real'Base) return Complex_Matrix;
+
+ -- Complex_Matrix inversion and related operations
+
+ function Solve
+ (A : Complex_Matrix;
+ X : Complex_Vector) return Complex_Vector;
+
+ function Solve (A, X : Complex_Matrix) return Complex_Matrix;
+
+ function Inverse (A : Complex_Matrix) return Complex_Matrix;
+
+ function Determinant (A : Complex_Matrix) return Complex;
+
+ -- Eigenvalues and vectors of a Hermitian matrix
+
+ function Eigenvalues (A : Complex_Matrix) return Real_Vector;
+
+ procedure Eigensystem
+ (A : Complex_Matrix;
+ Values : out Real_Vector;
+ Vectors : out Complex_Matrix);
+
+ -- Other Complex_Matrix operations
+
+ function Unit_Matrix
+ (Order : Positive;
+ First_1, First_2 : Integer := 1) return Complex_Matrix;
+
+end Ada.Numerics.Generic_Complex_Arrays;