Changes

|}

|}

In our analysis of the transformation <math>F,\!</math> we carried out Step&nbsp;1 in the more familiar form <math>\operatorname{E}F = F + \operatorname{D}F,</math> and we have just reached Step&nbsp;2 in the form <math>\operatorname{D}F = \operatorname{d}F + \operatorname{r}F,</math> where <math>\operatorname{r}F</math> is the residual term that remains for us to examine next.

In our analysis of the current transformation F,

we carried out Step 1 in the more familiar form

EF = F + DF, and we have just reached Step 2 in

the form DF = dF + rF, where rF is the residual

term that remains for us to examine next.

NB.  I'm am trying to give quick overview here,

'''NB.''' I'm am trying to give quick overview here, and this forces me to omit many picky details. The picky reader may wish to consult the more detailed presentation of this material at the following locations:

and this forces me to omit many picky details.

The picky reader may wish to consult the more

detailed presentation of this material in the

following ur-neighborhoods:

Jon Awbrey, "Differential Logic and Dynamic Systems"

; Jon Awbrey, "Differential Logic and Dynamic Systems"

 

: [http://stderr.org/pipermail/inquiry/2003-May/thread.html#478 DLOG D-a].   

DLOG D.  http://stderr.org/pipermail/inquiry/2003-May/thread.html#478

: [http://stderr.org/pipermail/inquiry/2003-June/thread.html#553 DLOG D-b].

DLOG D.  http://stderr.org/pipermail/inquiry/2003-June/thread.html#553

 

: [http://stderr.org/pipermail/inquiry/2003-May/000521.html DLOG D40].

Especially:

: [http://stderr.org/pipermail/inquiry/2003-June/000554.html DLOG D71].

 

DLOG D40.  http://stderr.org/pipermail/inquiry/2003-May/000521.html

DLOG D71. http://stderr.org/pipermail/inquiry/2003-June/000554.html

 

Take your pick, Gimli ...

==Note 18==

==Note 18==