public override string ToString()
{
string s = "Dimension: " + name;
if (varying)
s += " varying from " + start + " to " + end;
else
s += " fixed at " + start;
return s;
}