graphs / design decision, eins, zwei oder drei

Hi,

unfortunately, it seems that I have to take a bad design decision. It will 
be bad, no matter how I do it ;-)

g:hypergraph([1,2,3],[[[1,2],1],[[1,3],1],[[2,3],1]],True);

is the (undirected) complete graph on three vertices and will print as

hypergraph([1,2,3],[[[1,2],1],[[1,3],1],[[2,3],1]],True)

Now, what is

subst(2,1,g);

supposed to do:

1. hypergraph([1,2,3],[[[1,2],2],[[1,3],2],[[2,3],2]],True)

(only edge weights are affected)

or

2. hypergraph([1,2,3],[[[2,2],2],[[2,3],2],[[2,3],2]],True)

(edge weights and the vertex names the edges consist of)

or

3. hypergraph([2,3],[[[2,2],2],[[2,3],2],[[2,3],2]],True)

(vertex names and edge weights)???

I final possibility would be to *require* that vertex names are always 
strings and implement 3.

I think that 3 is most consistent with usual maxima behaviour, so it is 
probably the right thing to do...

Please vote!

Thanks, Martin