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