generic package any_Math.any_Algebra is pragma Pure; end any_Math.any_Algebra;