> > Yes, please resend an updated patch. > > 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. > > The same applies to Ada.Numerics.Complex_Real_Arrays.Inverse (ARM > G.3.2(140)).
Updated patch OK as well. > 2016-12-21 Simon Wright <si...@pushface.org > <mailto:si...@pushface.org>> > > PR ada/78845 > * a-ngcoar.adb (Inverse): call Unit_Matrix with First_1 set to > A'First(2) > and vice versa. > * a-ngrear.adb (Inverse): likewise.
