> The function Ada.Numerics.Generic_Real_Arrays.Inverse is required
> (ARM G.3.1(72)) to return a matrix with the bounds of the dimension indices
> swapped, i.e. result'Range(1) == input'Range(2) and vice versa. The
> present code gets result'Range(1) correct, but result'Range(2) always
> starts at 1.
> 
> Of course, many users would always use ranges starting at 1 and wouldn't see a
> problem.
> 
> 2016-12-17  Simon Wright  <si...@pushface.org>
> 
>       PR ada/78845
>       * a-ngrear.adb (Inverse): call Unit_Matrix with First_1 set to
>       A'First(2)
>       and vice versa.

Patch is OK, thanks.

Reply via email to