kill(all);

sols : solve( x^2 - 2*x + 4 , x  );
x : ev( x , sols[1] );
x^2;

eqns : [ x^2 - y + 1 ,  y^2+x*y-2  ];

sols : solve( eqns , [x,y]  );

sols[1];

sols[2];

ev(eqns , sols[2] );

solve( sin(t)=sqrt(3)/2 , t );

dd
sols : linsolve( [ 2*x-y=1 , 3*y+x=-2] , [x,y]);
[x,y] : ev( [x,y] , sols);

linsolve(
    [ 
        2*x-y=1  , 
        3*y+x=-2, 
        3*y+x=-2
    ] , [x,y]) ;

pippo : 5;

pippo;

  
    
sqrt(pippo^2+1)   , pippo=4 , numer

;