18 lines
352 B
Racket
18 lines
352 B
Racket
#lang bracket
|
|
DeclareVars(x,a,b,c);
|
|
|
|
Solve(2*x=1,x); % x = 1/2
|
|
Substitute(2*x=1,Solve(2*x=1,x)); % 1=1
|
|
|
|
Solve(2*x+3=1,x); % x = -1
|
|
|
|
Solve(a*x+b=c,x); % x = (c-b)/a
|
|
|
|
solution:=Solve(a*x+b+x=c,x);
|
|
solution;
|
|
% Check solution
|
|
Expand(Substitute(a*x+b+x,solution)); % This actually simplifies to c
|
|
% ... unfortunately not automatically.
|
|
|
|
|