string compute_fullname()
{
string rank_specifier;
if (Rank == 1)
rank_specifier = "[]";
else
rank_specifier = "[" + new String (',', Rank-1) + "]";
return element_type.Name + rank_specifier;
}