1. -- 
  2. -- Jan & Uwe R. Zimmer, Australia, September 2019 
  3. -- 
  4.  
  5. with Vectors_xD_I; pragma Elaborate_All (Vectors_xD_I); 
  6.  
  7. package Vectors_2D_I is 
  8.  
  9.    type xy_Coordinates is (x, y); 
  10.  
  11.    package Vectors_2Di is new Vectors_xD_I (Integer, xy_Coordinates); 
  12.  
  13.    subtype Vector_2D_I is Vectors_2Di.Vector_xD_I; 
  14.  
  15.    Zero_Vector_2D_I : constant Vector_2D_I := Vectors_2Di.Zero_Vector_xD; 
  16.  
  17.    function Image (V : Vector_2D_I) return String renames Vectors_2Di.Image; 
  18.  
  19.    function Norm (V : Vector_2D_I) return Vector_2D_I renames Vectors_2Di.Norm; 
  20.  
  21.    function "*" (Scalar : Float; V : Vector_2D_I) return Vector_2D_I renames Vectors_2Di."*"; 
  22.    function "*" (V : Vector_2D_I; Scalar : Float) return Vector_2D_I renames Vectors_2Di."*"; 
  23.    function "/" (V : Vector_2D_I; Scalar : Float) return Vector_2D_I renames Vectors_2Di."/"; 
  24.  
  25.    function "*" (V_Left, V_Right : Vector_2D_I) return Float renames Vectors_2Di."*"; 
  26.  
  27.    function Angle_Between (V_Left, V_Right : Vector_2D_I) return Float renames Vectors_2Di.Angle_Between; 
  28.  
  29.    function "+" (V_Left, V_Right : Vector_2D_I) return Vector_2D_I renames Vectors_2Di."+"; 
  30.    function "-" (V_Left, V_Right : Vector_2D_I) return Vector_2D_I renames Vectors_2Di."-"; 
  31.    function "-" (V : Vector_2D_I)               return Vector_2D_I renames Vectors_2Di."-"; 
  32.  
  33.    function "abs" (V : Vector_2D_I) return Float renames Vectors_2Di."abs"; 
  34.  
  35. end Vectors_2D_I;