Examples of Equation Solving


> (solve '(= x 3) 'x)
(= X 3)

> (solve '(= 3 x) 'x)
(= X 3)

> (solve '(= y (+ x b)) 'x)
  1>  (SOLVE (= Y (+ X B)) X)
    2>  (TRY-LEFT (= Y (+ X B)))
    < 2 (TRY-LEFT (= (- Y X) B))
    2>  (SOLVE (= (- Y X) B) X)
    < 2 (SOLVE NIL)
    2>  (TRY-RIGHT (= Y (+ X B)))
    < 2 (TRY-RIGHT (= (- Y B) X))
    2>  (SOLVE (= (- Y B) X) X)
    < 2 (SOLVE (= X (- Y B)))
  < 1 (SOLVE (= X (- Y B)))
(= X (- Y B))

> (solve '(= y (+ (* m x) b)) 'x)
(= X (/ (- Y B) M))

Contents    Page-10    Prev    Next    Page+10    Index