suzanne.soy/scribble-math
1
0
Fork 0
Code Issues 8 Pull Requests 3 Actions Packages Projects Releases Wiki Activity

Added checks of solutions.

Browse Source
This commit is contained in:
Jens Axel Søgaard 2012-07-04 23:54:23 +02:00
parent 66ceaeb682
commit 4c8e1866e5
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
bracket/examples/equation-solving.rkt
View File

@ -1,8 +1,17 @@
#lang bracket
DeclareVars(x,a,b,c);
Solve(2*x=1,x); % x = 1/2
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.