I was trying to solve a problem but I found a difficulty, which I summarize in an example:

Good behaviour:

define f2(x,y)=4x+2y+1 done solve(f2(x,y)=0, x) {x=((-y)/(2))-((1)/(4))}Bad Behaviour?

define f1(t)=4x(t)+2y(t)+1 done solve(f1(t)=0,x(t)) gives a bad argument errorShouldn't it result in sth like:

{x(t)=((-y(t))/(2))-((1)/(4))}?

Thank you.