KinderCalculus/Soar, Evert

Like TermsEdit

In traditional algebra, "like terms" refer to addition of terms with similar powers like 3x^2 + 4x^2 = 7x^2. Here we consider a more general "like terms" criteria to include those with different powers but can be combined via multiplication instead of addition. We call this principle "Nevadab", which is an initialism for "neighboring-verbs, add depth, alike bases". The "b" in Nevadab is silent. The odd word is a poor attempt at forcing the initialism into something pronounceable like "nevada".

Under the Nevadab criteria, we can combine a^3 * a^4 into a^7. Combining these terms involve 3 steps:

  1. Check that the verbs are neighboring: the verbs +, *, ^ form a ascending complexity sequence of plus, self-plus, self-self-plus. Each successive pair are neighboring verbs. + and ^ are distant verbs, not neighboring.
  2. Check that the bases are alike: the bases in the 2 terms must be the same.
  3. Add depth: to combine the terms, simply add the repeat (or depth in BLEAD speak).

The diagram below illustrate the generalization in an operator precedence diagram:


                                                                               .
                           3a + 4a = 7a                                        .
                                |                                              .
                                |                                              .
                                |                                              .
                          +-----+-----+                                        .
                          | \       / |                                        .
                          |  o--*--o  |                                        .
                          | /       \ |       3    3                           .
            3a * 4a  -----+  equals   +----- a  + b                            .
     (not neighbors)      |           |      (irreducible)                     .
                          |  *--o--   |                                        .
                          +-----+-----+                                        .
                                |                                              .
                                |                                              .
                                |                                              .
                            3    4    7                                        .
                           a  * a  = a                                         .

DistributiveEdit

Everts are distributive rules. They are called evert for their inside-out effects on the layering. Below we generalize the distributive rule beyond a(b+c) = ab + ac. This generalization simplifies the many distributive rules into one -- greatly simplifying algebra!

Mathematical expressions have a syntactic structure that can be drawn as a tree. For example,

                                                                               .
                           3             3                                     .
            3  3            \           /                                      .
           a  b      is      ^ -- * -- ^                                       .
                            /           \                                      .
                           a             b                                     .
                                                                               .
and                                                                            .
                                                                               .
                            a                                                  .
                3            \                                                 .
            (ab)      is      * -- ^ -- 3                                      .
                             /                                                 .
                            b                                                  .
                                                                               .

In the picture below, the center box represents this syntactic parse tree of the distributive expression:

                                                                               .
                                                                               .
                       3(a + b) = 3a + 3b                                      .
                                                                               .
                                |                                              .
                                |         u + v     u   v                      .
           same as -->          |         -----  =  - + -                      .
             right              |           d       d   d                      .
                                |                                              .
                       \        |        /                                     .
                        \       |       /                                      .
                         \      |      /                                       .
                          +-----+-----+                                        .
                          | \       / |                                        .
                          |  o--*--o  |                                        .
                          | /       \ |                                        .
                          |           |       3    3                           .
            3a * 3b  -----+  equals   +----- a  + b                            .
     (uninteresting)      |           |      (irreducible)                     .
                          |  \        |                                        .
                          |   *--o--  |                                        .
                          |  /        |                                        .
                          +-----+-----+                                        .
                         /      |      \                                       .
                        /       |       \                                      .
                       /        |        \                                     .
                                |                                              .
                    uv          |           uv       d__   d__                 .
log u + log v  =  o----         |          ----o  =  V u * V v                 .
   b       b        b           |           d                                  .
                                |                                              .
                                                                               .
                              3     3   3                                      .
                          (ab)  =  a   b                                       .
                                                                               .
                                                                               .
notes:                                                                         .
1.  the diagonals are distributive relations against the leaf & lattice (u v)  .
2.  log is nearly evertable, but not quite, with + replacing *                 .
                                                                               .
in the box,                                                                    .
*   =  seed verb                                                               .
o   =  repeater verb                                                           .
                                                                               .
u,v =  leaf, lattice                                                           .
a,b =  bases                                                                   .
d   =  depth                                                                   .
                                                                               .

Here is the same information in tabular form:

general form (*) self + self *
(1a)
a I b    a     b
----o = --o I --o
  c      c     c
(a+b)/c = a/c + b/c  
(a-b)/c = a/c - b/c
  c___    c__    c__
  V ab =  V a  * V b
   __
  Va/b = ...
(1b)
  “      a     b
o---- = o-- + o--
  c      c     c
same as above
log ab = log a + log b,   
   c        c       c

log a/b = log a - log b
   c         c       c
(2)
(a I b) O c = (a O c) I (b O c)
(a+b)c
 (ab)^c = ...
(3)
a O b        a
o---- = b I o--
  c          c

  "          a
----o =     --o O b
c            c

none


ab      a
-- = b ---
c       c
log a^b = b log a
   c           c

 c___      c__
V a^b =  (V a )^b