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