A generous syntax is used to descibe relations to be graphed. This generosity does not burden graphing, as the generous syntax may be built up using another, more basic syntax. Here, we will show how some more luxurious elements may be built from a basic syntax.
General comparisons, namely , may be emulated by exploiting the following identities:
Conjunctions and disjunctions may be emulated by exploiting the following identities:
Equations which contain partial functions may be modified so that the equation itself is total. The following identities may be used for and :
Logical negation may now be emulated by exploiting the following identity:
Some of the more exotic forms of syntax may be emulated by exploiting the following identities:
Although is used above, it may be emulated by exploiting the following identity:
Jeff Tupper | March 1996 |