-- lol. laughably slow! ie, you are doing it wrong! I think we need real matrices for this!
  -- yup! It is insane to do it this way. We need to drop back to matrices, and non-symbolic. I guess we found a place where my symbolic notation is not appropriate.

  -- when we implement copy-map[op1,op2] most of this will become redundant! 

    -- learn some short cut aliases:
    ul |*> #=> up left |_self>
    u |*> #=> up |_self>
    ur |*> #=> up right |_self>
    l |*> #=> left |_self>
    r |*> #=> right |_self>
    dl |*> #=> down left |_self>
    d |*> #=> down |_self>
    dr |*> #=> down right |_self>

    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R0 ul |_self> + d 0.0625 R0 u |_self> + dl 0.0625 R0 ur |_self> + r 0.0625 R0 l |_self> + 0.5 R0 |_self> + l 0.0625 R0 r |_self> + ur 0.0625 R0 dl |_self> + u 0.0625 R0 d |_self> + ul 0.0625 R0 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G0 ul |_self> + d 0.0625 G0 u |_self> + dl 0.0625 G0 ur |_self> + r 0.0625 G0 l |_self> + 0.5 G0 |_self> + l 0.0625 G0 r |_self> + ur 0.0625 G0 dl |_self> + u 0.0625 G0 d |_self> + ul 0.0625 G0 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B0 ul |_self> + d 0.0625 B0 u |_self> + dl 0.0625 B0 ur |_self> + r 0.0625 B0 l |_self> + 0.5 B0 |_self> + l 0.0625 B0 r |_self> + ur 0.0625 B0 dl |_self> + u 0.0625 B0 d |_self> + ul 0.0625 B0 dr |_self>)

    -- copy values to old-values:
    |null> => map[R,R0] rel-kets[R] |>
    |null> => map[G,G0] rel-kets[G] |>
    |null> => map[B,B0] rel-kets[B] |>

    -- apply our operators:
    |null> => map[smooth-R,R1] rel-kets[R0] |>
    |null> => map[smooth-G,G1] rel-kets[G0] |>
    |null> => map[smooth-B,B1] rel-kets[B0] |>

    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R1 ul |_self> + d 0.0625 R1 u |_self> + dl 0.0625 R1 ur |_self> + r 0.0625 R1 l |_self> + 0.5 R1 |_self> + l 0.0625 R1 r |_self> + ur 0.0625 R1 dl |_self> + u 0.0625 R1 d |_self> + ul 0.0625 R1 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G1 ul |_self> + d 0.0625 G1 u |_self> + dl 0.0625 G1 ur |_self> + r 0.0625 G1 l |_self> + 0.5 G1 |_self> + l 0.0625 G1 r |_self> + ur 0.0625 G1 dl |_self> + u 0.0625 G1 d |_self> + ul 0.0625 G1 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B1 ul |_self> + d 0.0625 B1 u |_self> + dl 0.0625 B1 ur |_self> + r 0.0625 B1 l |_self> + 0.5 B1 |_self> + l 0.0625 B1 r |_self> + ur 0.0625 B1 dl |_self> + u 0.0625 B1 d |_self> + ul 0.0625 B1 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R2] rel-kets[R1] |>
    |null> => map[smooth-G,G2] rel-kets[G1] |>
    |null> => map[smooth-B,B2] rel-kets[B1] |>

    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R2 ul |_self> + d 0.0625 R2 u |_self> + dl 0.0625 R2 ur |_self> + r 0.0625 R2 l |_self> + 0.5 R2 |_self> + l 0.0625 R2 r |_self> + ur 0.0625 R2 dl |_self> + u 0.0625 R2 d |_self> + ul 0.0625 R2 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G2 ul |_self> + d 0.0625 G2 u |_self> + dl 0.0625 G2 ur |_self> + r 0.0625 G2 l |_self> + 0.5 G2 |_self> + l 0.0625 G2 r |_self> + ur 0.0625 G2 dl |_self> + u 0.0625 G2 d |_self> + ul 0.0625 G2 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B2 ul |_self> + d 0.0625 B2 u |_self> + dl 0.0625 B2 ur |_self> + r 0.0625 B2 l |_self> + 0.5 B2 |_self> + l 0.0625 B2 r |_self> + ur 0.0625 B2 dl |_self> + u 0.0625 B2 d |_self> + ul 0.0625 B2 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R3] rel-kets[R2] |>
    |null> => map[smooth-G,G3] rel-kets[G2] |>
    |null> => map[smooth-B,B3] rel-kets[B2] |>

    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R3 ul |_self> + d 0.0625 R3 u |_self> + dl 0.0625 R3 ur |_self> + r 0.0625 R3 l |_self> + 0.5 R3 |_self> + l 0.0625 R3 r |_self> + ur 0.0625 R3 dl |_self> + u 0.0625 R3 d |_self> + ul 0.0625 R3 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G3 ul |_self> + d 0.0625 G3 u |_self> + dl 0.0625 G3 ur |_self> + r 0.0625 G3 l |_self> + 0.5 G3 |_self> + l 0.0625 G3 r |_self> + ur 0.0625 G3 dl |_self> + u 0.0625 G3 d |_self> + ul 0.0625 G3 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B3 ul |_self> + d 0.0625 B3 u |_self> + dl 0.0625 B3 ur |_self> + r 0.0625 B3 l |_self> + 0.5 B3 |_self> + l 0.0625 B3 r |_self> + ur 0.0625 B3 dl |_self> + u 0.0625 B3 d |_self> + ul 0.0625 B3 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R4] rel-kets[R3] |>
    |null> => map[smooth-G,G4] rel-kets[G3] |>
    |null> => map[smooth-B,B4] rel-kets[B3] |>

    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R4 ul |_self> + d 0.0625 R4 u |_self> + dl 0.0625 R4 ur |_self> + r 0.0625 R4 l |_self> + 0.5 R4 |_self> + l 0.0625 R4 r |_self> + ur 0.0625 R4 dl |_self> + u 0.0625 R4 d |_self> + ul 0.0625 R4 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G4 ul |_self> + d 0.0625 G4 u |_self> + dl 0.0625 G4 ur |_self> + r 0.0625 G4 l |_self> + 0.5 G4 |_self> + l 0.0625 G4 r |_self> + ur 0.0625 G4 dl |_self> + u 0.0625 G4 d |_self> + ul 0.0625 G4 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B4 ul |_self> + d 0.0625 B4 u |_self> + dl 0.0625 B4 ur |_self> + r 0.0625 B4 l |_self> + 0.5 B4 |_self> + l 0.0625 B4 r |_self> + ur 0.0625 B4 dl |_self> + u 0.0625 B4 d |_self> + ul 0.0625 B4 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R5] rel-kets[R4] |>
    |null> => map[smooth-G,G5] rel-kets[G4] |>
    |null> => map[smooth-B,B5] rel-kets[B4] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R5 ul |_self> + d 0.0625 R5 u |_self> + dl 0.0625 R5 ur |_self> + r 0.0625 R5 l |_self> + 0.5 R5 |_self> + l 0.0625 R5 r |_self> + ur 0.0625 R5 dl |_self> + u 0.0625 R5 d |_self> + ul 0.0625 R5 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G5 ul |_self> + d 0.0625 G5 u |_self> + dl 0.0625 G5 ur |_self> + r 0.0625 G5 l |_self> + 0.5 G5 |_self> + l 0.0625 G5 r |_self> + ur 0.0625 G5 dl |_self> + u 0.0625 G5 d |_self> + ul 0.0625 G5 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B5 ul |_self> + d 0.0625 B5 u |_self> + dl 0.0625 B5 ur |_self> + r 0.0625 B5 l |_self> + 0.5 B5 |_self> + l 0.0625 B5 r |_self> + ur 0.0625 B5 dl |_self> + u 0.0625 B5 d |_self> + ul 0.0625 B5 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R6] rel-kets[R5] |>
    |null> => map[smooth-G,G6] rel-kets[G5] |>
    |null> => map[smooth-B,B6] rel-kets[B5] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R6 ul |_self> + d 0.0625 R6 u |_self> + dl 0.0625 R6 ur |_self> + r 0.0625 R6 l |_self> + 0.5 R6 |_self> + l 0.0625 R6 r |_self> + ur 0.0625 R6 dl |_self> + u 0.0625 R6 d |_self> + ul 0.0625 R6 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G6 ul |_self> + d 0.0625 G6 u |_self> + dl 0.0625 G6 ur |_self> + r 0.0625 G6 l |_self> + 0.5 G6 |_self> + l 0.0625 G6 r |_self> + ur 0.0625 G6 dl |_self> + u 0.0625 G6 d |_self> + ul 0.0625 G6 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B6 ul |_self> + d 0.0625 B6 u |_self> + dl 0.0625 B6 ur |_self> + r 0.0625 B6 l |_self> + 0.5 B6 |_self> + l 0.0625 B6 r |_self> + ur 0.0625 B6 dl |_self> + u 0.0625 B6 d |_self> + ul 0.0625 B6 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R7] rel-kets[R6] |>
    |null> => map[smooth-G,G7] rel-kets[G6] |>
    |null> => map[smooth-B,B7] rel-kets[B6] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R7 ul |_self> + d 0.0625 R7 u |_self> + dl 0.0625 R7 ur |_self> + r 0.0625 R7 l |_self> + 0.5 R7 |_self> + l 0.0625 R7 r |_self> + ur 0.0625 R7 dl |_self> + u 0.0625 R7 d |_self> + ul 0.0625 R7 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G7 ul |_self> + d 0.0625 G7 u |_self> + dl 0.0625 G7 ur |_self> + r 0.0625 G7 l |_self> + 0.5 G7 |_self> + l 0.0625 G7 r |_self> + ur 0.0625 G7 dl |_self> + u 0.0625 G7 d |_self> + ul 0.0625 G7 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B7 ul |_self> + d 0.0625 B7 u |_self> + dl 0.0625 B7 ur |_self> + r 0.0625 B7 l |_self> + 0.5 B7 |_self> + l 0.0625 B7 r |_self> + ur 0.0625 B7 dl |_self> + u 0.0625 B7 d |_self> + ul 0.0625 B7 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R8] rel-kets[R7] |>
    |null> => map[smooth-G,G8] rel-kets[G7] |>
    |null> => map[smooth-B,B8] rel-kets[B7] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R8 ul |_self> + d 0.0625 R8 u |_self> + dl 0.0625 R8 ur |_self> + r 0.0625 R8 l |_self> + 0.5 R8 |_self> + l 0.0625 R8 r |_self> + ur 0.0625 R8 dl |_self> + u 0.0625 R8 d |_self> + ul 0.0625 R8 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G8 ul |_self> + d 0.0625 G8 u |_self> + dl 0.0625 G8 ur |_self> + r 0.0625 G8 l |_self> + 0.5 G8 |_self> + l 0.0625 G8 r |_self> + ur 0.0625 G8 dl |_self> + u 0.0625 G8 d |_self> + ul 0.0625 G8 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B8 ul |_self> + d 0.0625 B8 u |_self> + dl 0.0625 B8 ur |_self> + r 0.0625 B8 l |_self> + 0.5 B8 |_self> + l 0.0625 B8 r |_self> + ur 0.0625 B8 dl |_self> + u 0.0625 B8 d |_self> + ul 0.0625 B8 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R9] rel-kets[R8] |>
    |null> => map[smooth-G,G9] rel-kets[G8] |>
    |null> => map[smooth-B,B9] rel-kets[B8] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R9 ul |_self> + d 0.0625 R9 u |_self> + dl 0.0625 R9 ur |_self> + r 0.0625 R9 l |_self> + 0.5 R9 |_self> + l 0.0625 R9 r |_self> + ur 0.0625 R9 dl |_self> + u 0.0625 R9 d |_self> + ul 0.0625 R9 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G9 ul |_self> + d 0.0625 G9 u |_self> + dl 0.0625 G9 ur |_self> + r 0.0625 G9 l |_self> + 0.5 G9 |_self> + l 0.0625 G9 r |_self> + ur 0.0625 G9 dl |_self> + u 0.0625 G9 d |_self> + ul 0.0625 G9 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B9 ul |_self> + d 0.0625 B9 u |_self> + dl 0.0625 B9 ur |_self> + r 0.0625 B9 l |_self> + 0.5 B9 |_self> + l 0.0625 B9 r |_self> + ur 0.0625 B9 dl |_self> + u 0.0625 B9 d |_self> + ul 0.0625 B9 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R10] rel-kets[R9] |>
    |null> => map[smooth-G,G10] rel-kets[G9] |>
    |null> => map[smooth-B,B10] rel-kets[B9] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R10 ul |_self> + d 0.0625 R10 u |_self> + dl 0.0625 R10 ur |_self> + r 0.0625 R10 l |_self> + 0.5 R10 |_self> + l 0.0625 R10 r |_self> + ur 0.0625 R10 dl |_self> + u 0.0625 R10 d |_self> + ul 0.0625 R10 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G10 ul |_self> + d 0.0625 G10 u |_self> + dl 0.0625 G10 ur |_self> + r 0.0625 G10 l |_self> + 0.5 G10 |_self> + l 0.0625 G10 r |_self> + ur 0.0625 G10 dl |_self> + u 0.0625 G10 d |_self> + ul 0.0625 G10 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B10 ul |_self> + d 0.0625 B10 u |_self> + dl 0.0625 B10 ur |_self> + r 0.0625 B10 l |_self> + 0.5 B10 |_self> + l 0.0625 B10 r |_self> + ur 0.0625 B10 dl |_self> + u 0.0625 B10 d |_self> + ul 0.0625 B10 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R11] rel-kets[R10] |>
    |null> => map[smooth-G,G11] rel-kets[G10] |>
    |null> => map[smooth-B,B11] rel-kets[B10] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R11 ul |_self> + d 0.0625 R11 u |_self> + dl 0.0625 R11 ur |_self> + r 0.0625 R11 l |_self> + 0.5 R11 |_self> + l 0.0625 R11 r |_self> + ur 0.0625 R11 dl |_self> + u 0.0625 R11 d |_self> + ul 0.0625 R11 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G11 ul |_self> + d 0.0625 G11 u |_self> + dl 0.0625 G11 ur |_self> + r 0.0625 G11 l |_self> + 0.5 G11 |_self> + l 0.0625 G11 r |_self> + ur 0.0625 G11 dl |_self> + u 0.0625 G11 d |_self> + ul 0.0625 G11 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B11 ul |_self> + d 0.0625 B11 u |_self> + dl 0.0625 B11 ur |_self> + r 0.0625 B11 l |_self> + 0.5 B11 |_self> + l 0.0625 B11 r |_self> + ur 0.0625 B11 dl |_self> + u 0.0625 B11 d |_self> + ul 0.0625 B11 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R12] rel-kets[R11] |>
    |null> => map[smooth-G,G12] rel-kets[G11] |>
    |null> => map[smooth-B,B12] rel-kets[B11] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R12 ul |_self> + d 0.0625 R12 u |_self> + dl 0.0625 R12 ur |_self> + r 0.0625 R12 l |_self> + 0.5 R12 |_self> + l 0.0625 R12 r |_self> + ur 0.0625 R12 dl |_self> + u 0.0625 R12 d |_self> + ul 0.0625 R12 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G12 ul |_self> + d 0.0625 G12 u |_self> + dl 0.0625 G12 ur |_self> + r 0.0625 G12 l |_self> + 0.5 G12 |_self> + l 0.0625 G12 r |_self> + ur 0.0625 G12 dl |_self> + u 0.0625 G12 d |_self> + ul 0.0625 G12 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B12 ul |_self> + d 0.0625 B12 u |_self> + dl 0.0625 B12 ur |_self> + r 0.0625 B12 l |_self> + 0.5 B12 |_self> + l 0.0625 B12 r |_self> + ur 0.0625 B12 dl |_self> + u 0.0625 B12 d |_self> + ul 0.0625 B12 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R13] rel-kets[R12] |>
    |null> => map[smooth-G,G13] rel-kets[G12] |>
    |null> => map[smooth-B,B13] rel-kets[B12] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R13 ul |_self> + d 0.0625 R13 u |_self> + dl 0.0625 R13 ur |_self> + r 0.0625 R13 l |_self> + 0.5 R13 |_self> + l 0.0625 R13 r |_self> + ur 0.0625 R13 dl |_self> + u 0.0625 R13 d |_self> + ul 0.0625 R13 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G13 ul |_self> + d 0.0625 G13 u |_self> + dl 0.0625 G13 ur |_self> + r 0.0625 G13 l |_self> + 0.5 G13 |_self> + l 0.0625 G13 r |_self> + ur 0.0625 G13 dl |_self> + u 0.0625 G13 d |_self> + ul 0.0625 G13 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B13 ul |_self> + d 0.0625 B13 u |_self> + dl 0.0625 B13 ur |_self> + r 0.0625 B13 l |_self> + 0.5 B13 |_self> + l 0.0625 B13 r |_self> + ur 0.0625 B13 dl |_self> + u 0.0625 B13 d |_self> + ul 0.0625 B13 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R14] rel-kets[R13] |>
    |null> => map[smooth-G,G14] rel-kets[G13] |>
    |null> => map[smooth-B,B14] rel-kets[B13] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R14 ul |_self> + d 0.0625 R14 u |_self> + dl 0.0625 R14 ur |_self> + r 0.0625 R14 l |_self> + 0.5 R14 |_self> + l 0.0625 R14 r |_self> + ur 0.0625 R14 dl |_self> + u 0.0625 R14 d |_self> + ul 0.0625 R14 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G14 ul |_self> + d 0.0625 G14 u |_self> + dl 0.0625 G14 ur |_self> + r 0.0625 G14 l |_self> + 0.5 G14 |_self> + l 0.0625 G14 r |_self> + ur 0.0625 G14 dl |_self> + u 0.0625 G14 d |_self> + ul 0.0625 G14 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B14 ul |_self> + d 0.0625 B14 u |_self> + dl 0.0625 B14 ur |_self> + r 0.0625 B14 l |_self> + 0.5 B14 |_self> + l 0.0625 B14 r |_self> + ur 0.0625 B14 dl |_self> + u 0.0625 B14 d |_self> + ul 0.0625 B14 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R15] rel-kets[R14] |>
    |null> => map[smooth-G,G15] rel-kets[G14] |>
    |null> => map[smooth-B,B15] rel-kets[B14] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R15 ul |_self> + d 0.0625 R15 u |_self> + dl 0.0625 R15 ur |_self> + r 0.0625 R15 l |_self> + 0.5 R15 |_self> + l 0.0625 R15 r |_self> + ur 0.0625 R15 dl |_self> + u 0.0625 R15 d |_self> + ul 0.0625 R15 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G15 ul |_self> + d 0.0625 G15 u |_self> + dl 0.0625 G15 ur |_self> + r 0.0625 G15 l |_self> + 0.5 G15 |_self> + l 0.0625 G15 r |_self> + ur 0.0625 G15 dl |_self> + u 0.0625 G15 d |_self> + ul 0.0625 G15 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B15 ul |_self> + d 0.0625 B15 u |_self> + dl 0.0625 B15 ur |_self> + r 0.0625 B15 l |_self> + 0.5 B15 |_self> + l 0.0625 B15 r |_self> + ur 0.0625 B15 dl |_self> + u 0.0625 B15 d |_self> + ul 0.0625 B15 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R16] rel-kets[R15] |>
    |null> => map[smooth-G,G16] rel-kets[G15] |>
    |null> => map[smooth-B,B16] rel-kets[B15] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R16 ul |_self> + d 0.0625 R16 u |_self> + dl 0.0625 R16 ur |_self> + r 0.0625 R16 l |_self> + 0.5 R16 |_self> + l 0.0625 R16 r |_self> + ur 0.0625 R16 dl |_self> + u 0.0625 R16 d |_self> + ul 0.0625 R16 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G16 ul |_self> + d 0.0625 G16 u |_self> + dl 0.0625 G16 ur |_self> + r 0.0625 G16 l |_self> + 0.5 G16 |_self> + l 0.0625 G16 r |_self> + ur 0.0625 G16 dl |_self> + u 0.0625 G16 d |_self> + ul 0.0625 G16 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B16 ul |_self> + d 0.0625 B16 u |_self> + dl 0.0625 B16 ur |_self> + r 0.0625 B16 l |_self> + 0.5 B16 |_self> + l 0.0625 B16 r |_self> + ur 0.0625 B16 dl |_self> + u 0.0625 B16 d |_self> + ul 0.0625 B16 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R17] rel-kets[R16] |>
    |null> => map[smooth-G,G17] rel-kets[G16] |>
    |null> => map[smooth-B,B17] rel-kets[B16] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R17 ul |_self> + d 0.0625 R17 u |_self> + dl 0.0625 R17 ur |_self> + r 0.0625 R17 l |_self> + 0.5 R17 |_self> + l 0.0625 R17 r |_self> + ur 0.0625 R17 dl |_self> + u 0.0625 R17 d |_self> + ul 0.0625 R17 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G17 ul |_self> + d 0.0625 G17 u |_self> + dl 0.0625 G17 ur |_self> + r 0.0625 G17 l |_self> + 0.5 G17 |_self> + l 0.0625 G17 r |_self> + ur 0.0625 G17 dl |_self> + u 0.0625 G17 d |_self> + ul 0.0625 G17 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B17 ul |_self> + d 0.0625 B17 u |_self> + dl 0.0625 B17 ur |_self> + r 0.0625 B17 l |_self> + 0.5 B17 |_self> + l 0.0625 B17 r |_self> + ur 0.0625 B17 dl |_self> + u 0.0625 B17 d |_self> + ul 0.0625 B17 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R18] rel-kets[R17] |>
    |null> => map[smooth-G,G18] rel-kets[G17] |>
    |null> => map[smooth-B,B18] rel-kets[B17] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R18 ul |_self> + d 0.0625 R18 u |_self> + dl 0.0625 R18 ur |_self> + r 0.0625 R18 l |_self> + 0.5 R18 |_self> + l 0.0625 R18 r |_self> + ur 0.0625 R18 dl |_self> + u 0.0625 R18 d |_self> + ul 0.0625 R18 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G18 ul |_self> + d 0.0625 G18 u |_self> + dl 0.0625 G18 ur |_self> + r 0.0625 G18 l |_self> + 0.5 G18 |_self> + l 0.0625 G18 r |_self> + ur 0.0625 G18 dl |_self> + u 0.0625 G18 d |_self> + ul 0.0625 G18 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B18 ul |_self> + d 0.0625 B18 u |_self> + dl 0.0625 B18 ur |_self> + r 0.0625 B18 l |_self> + 0.5 B18 |_self> + l 0.0625 B18 r |_self> + ur 0.0625 B18 dl |_self> + u 0.0625 B18 d |_self> + ul 0.0625 B18 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R19] rel-kets[R18] |>
    |null> => map[smooth-G,G19] rel-kets[G18] |>
    |null> => map[smooth-B,B19] rel-kets[B18] |>


    -- learn our difference operators:
    smooth-R |*> #=> pos( dr 0.0625 R19 ul |_self> + d 0.0625 R19 u |_self> + dl 0.0625 R19 ur |_self> + r 0.0625 R19 l |_self> + 0.5 R19 |_self> + l 0.0625 R19 r |_self> + ur 0.0625 R19 dl |_self> + u 0.0625 R19 d |_self> + ul 0.0625 R19 dr |_self>)
    smooth-G |*> #=> pos( dr 0.0625 G19 ul |_self> + d 0.0625 G19 u |_self> + dl 0.0625 G19 ur |_self> + r 0.0625 G19 l |_self> + 0.5 G19 |_self> + l 0.0625 G19 r |_self> + ur 0.0625 G19 dl |_self> + u 0.0625 G19 d |_self> + ul 0.0625 G19 dr |_self>)
    smooth-B |*> #=> pos( dr 0.0625 B19 ul |_self> + d 0.0625 B19 u |_self> + dl 0.0625 B19 ur |_self> + r 0.0625 B19 l |_self> + 0.5 B19 |_self> + l 0.0625 B19 r |_self> + ur 0.0625 B19 dl |_self> + u 0.0625 B19 d |_self> + ul 0.0625 B19 dr |_self>)

    -- apply our operators:
    |null> => map[smooth-R,R] rel-kets[R19] |>
    |null> => map[smooth-G,G] rel-kets[G19] |>
    |null> => map[smooth-B,B] rel-kets[B19] |>