with any_Math.any_Algebra.any_linear.any_d2; package float_Math.Algebra.linear.d2 is new float_Math.Algebra.linear.any_d2; pragma Pure (float_Math.Algebra.linear.d2);