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.
a-ngrear.adb.diff
Description: Binary data
