12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic (view source)
Revision as of 19:52, 8 June 2009
, 19:52, 8 June 2009→Note 5: ASCII → JPEG
Here is a summary of the result, illustrated by means of a digraph picture, where the "no change" element <math>(\operatorname{d}x)(\operatorname{d}y)</math> is drawn as a loop at the point <math>x~y.</math>
Here is a summary of the result, illustrated by means of a digraph picture, where the "no change" element <math>(\operatorname{d}x)(\operatorname{d}y)</math> is drawn as a loop at the point <math>x~y.</math>
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="10"
| [[Image:Directed Graph Enlargement Conj.jpg|500px]]
|}
{| align="center" cellpadding="10" width="90%"
| align="center" |
| align="center" |
<pre>
<pre>
o---------------------------------------o
o---------------------------------------o
| |
| |