Array Shape

As in Fortran, the shape of an array, $a$, is defined as the vector of extents of its ranges, ie $($a.rng(0).size()$, \ldots,$   a.rng(R-1).size()$)$, where $R$ is the rank of the array. Implicitly, if two array have the same shape, they also have the same rank.