> 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.