with
     any_Math.any_Algebra.any_Linear;


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