Re: [Ada] Fix PR ada/78845

> >> 2016-12-21 Simon Wright >> > > >> > >>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. > > Can the patch be committed, please, when co

Re: [Ada] Fix PR ada/78845

On 21 Dec 2016, at 14:52, Arnaud Charlet wrote: > >>> 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(

Re: [Ada] Fix PR ada/78845

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

Re: [Ada] Fix PR ada/78845

> >> 2016-12-17 Simon Wright > >> > >>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. > > The same problem exists in Ada.Numerics.Generic_Complex_Arrays > (a-congar.adb). Should I u

Re: [Ada] Fix PR ada/78845

> 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

[Ada] Fix PR ada/78845

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