function S = mk_max_table(domain, sizes)

assert(length(sizes) == length(domain));

S.domain = domain;
S.type = 'm';
S.T = myones(sizes);
S.arg = myzeros(sizes); % this is for the traceback procedure
S.sizes = sizes;

