If one_of(1,2) + 1 automatically simplified to one_of(2,3), it would
make such problems less likely, I suppose; but I doubt it would eliminate
them.
I think my one_of idea was intended for multiple representations of
equivalent expressions--things like
(%i14) e : 4* sin(x + y) * cos(x - y);
(%o14) 4*cos(y-x)*sin(y+x)
(%i15) one_of(e, trigrat(e), expand(exponentialize(e)));
(%o15) one_of(4*cos(y-x)*sin(y+x),2*sin(2*y)+2*sin(2*x),-%i*%e^
(2*%i*y)+%i*%e^(-2*%i*y)-%i*%e^(2*%i*x)+%i*%e^(-2*%i*x))
Or Bessel / hypergeometric, etc.
Barton
-----macrakis at gmail.com wrote: -----
>The?problem?here?is?with?correlated?expressions.?Consider
>
>?????expr:?oneof(1,2)+1
>
>Presumably?expr^2?can?take?on?the?values?4?and?9.??But?what?about
>expand(expr^2)???Surely?that?should?also?take?on?the?values?4?and?9,
>and?not?4,?6,?and?9...
>
>????????????-s
>