1. -- 
  2. -- Jan & Uwe R. Zimmer, Australia, July 2011 
  3. -- 
  4.  
  5. with Float_Type; use Float_Type; 
  6. with Vectors_xD; 
  7.  
  8. package Vectors_4D is 
  9.  
  10.    type xy_Coordinates is (x, y, z, t); 
  11.  
  12.    package Vectors_4Di is new Vectors_xD (Real, xy_Coordinates); 
  13.  
  14.    subtype Vector_4D is Vectors_4Di.Vector_xD; 
  15.  
  16.    Zero_Vector_4D : constant Vector_4D := Vectors_4Di.Zero_Vector_xD; 
  17.  
  18.    function Image (V : Vector_4D) return String renames Vectors_4Di.Image; 
  19.  
  20.    function Norm (V : Vector_4D) return Vector_4D renames Vectors_4Di.Norm; 
  21.  
  22.    function "*" (Scalar : Real; V : Vector_4D) return Vector_4D renames Vectors_4Di."*"; 
  23.    function "*" (V : Vector_4D; Scalar : Real) return Vector_4D renames Vectors_4Di."*"; 
  24.    function "/" (V : Vector_4D; Scalar : Real) return Vector_4D renames Vectors_4Di."/"; 
  25.  
  26.    function "*" (V_Left, V_Right : Vector_4D) return Real renames Vectors_4Di."*"; 
  27.  
  28.    function Angle_Between (V_Left, V_Right : Vector_4D) return Real renames Vectors_4Di.Angle_Between; 
  29.  
  30.    function "+" (V_Left, V_Right : Vector_4D) return Vector_4D renames Vectors_4Di."+"; 
  31.    function "-" (V_Left, V_Right : Vector_4D) return Vector_4D renames Vectors_4Di."-"; 
  32.  
  33.    function "abs" (V : Vector_4D) return Real renames Vectors_4Di."abs"; 
  34.  
  35. end Vectors_4D;