public abstract region lowerTriangular(  int dim,  int size );
public region lowerTriangular(  int size ) { final region result = lowerTriangular(2, size); assert result.rank==2; return result; }
		public abstract region/*(dim)*/ lowerTriangular( /*nat*/ int dim, /*nat*/ int size );