12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory: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
Line 4,243:
Line 4,243:
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
| |
| |
Line 4,276:
Line 4,280:
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:
Line 4,313:
Line 4,320:
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
| |
| |
Line 4,350:
Line 4,361:
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:
