with
     any_Math.any_Algebra.any_linear.any_d3;


package      float_Math.Algebra.linear.d3 is new float_Math.Algebra.linear.any_d3;
pragma Pure (float_Math.Algebra.linear.d3);