12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 21:38, 16 June 2009
, 21:38, 16 June 2009→Note 26: segment text + set off graphics
For the time being, I'll resort to using the alternative
For the time being, I'll resort to using the alternative
name "tangent map" for df.
name "tangent map" for df.
</pre>
{| align="center" cellspacing="10" style="text-align:center; width:90%"
|
<pre>
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
| |
| |
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
Figure 26-1. Differential or Tangent d[pq] : EX -> B
Figure 26-1. Differential or Tangent d[pq] : EX -> B
</pre>
|}
<pre>
Just to be clear about what's being indicated here,
Just to be clear about what's being indicated here,
it's a visual way of specifying the following data:
it's a visual way of specifying the following data:
Figure 26-2 shows the remainder map r[pq] : EX -> B,
Figure 26-2 shows the remainder map r[pq] : EX -> B,
that happens to be linear in pairs of variables.
that happens to be linear in pairs of variables.
</pre>
{| align="center" cellspacing="10" style="text-align:center; width:90%"
|
<pre>
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
| |
| |
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
Figure 26-2. Remainder r[pq] : EX -> B
Figure 26-2. Remainder r[pq] : EX -> B
</pre>
|}
<pre>
Reading the arrows off the map produces the following data:
Reading the arrows off the map produces the following data: