define from a equality

[compsystems]

how can I define from an equality?

1: expr0:=solve([equal(x+y,(1+√2)/2),equal(x-y,(1-(√2))/2)],[x,y],'=') returns
set[[x=(1/2),y=(1/(sqrt(2)))]]

2: expr0(1,1) returns x=(1/2)

3: define expr0(1,1)

=>

x:=(1/2)

[parisse]

Code : Tout sélectionner

f(a,b):=(a:=b);
subst(x=1/2,'=',f);