# Discrete Mathematics & Theoretical Computer Science

## Volume 4 n° 2 (2001), pp. 291-300

author: | Lawrence S. Moss |
---|---|

title: | Simple Equational Specifications of Rational Arithmetic |

keywords: | equational specification, hidden function symbols, rational numbers |

abstract: | We exhibit an initial specification of the rational numbers equipped with addition, subtraction, multiplication, greatest integer function, and absolute value. Our specification uses only the sort of rational numbers. It uses one hidden function; that function is unary. But it does not use an error constant, or extra (hidden) sorts, or conditional equations. All of our work is elementary and self-contained. |

reference: | Lawrence S. Moss (2001),
Simple Equational Specifications of Rational Arithmetic,
Discrete Mathematics and Theoretical Computer Science 4, pp. 291-300 |

bibtex: | For a corresponding BibTeX entry, please consider our BibTeX-file. |

ps.gz-source: | dm040216.ps.gz (33 K) |

ps-source: | dm040216.ps (107 K) |

pdf-source: | dm040216.pdf (78 K) |

The first *source* gives you the `gzipped' PostScript, the second the plain
PostScript and the third the format for the Adobe accrobat
reader. Depending on the installation of your web browser, at least
one of these should (after some amount of time) pop up a window for
you that shows the full article. If this is not the case, you should
contact your system administrator to install your browser correctly.

Due to limitations of your local software, the two formats may show up differently on your screen. If eg you use xpdf to visualize pdf, some of the graphics in the file may not come across. On the other hand, pdf has a capacity of giving links to sections, bibliography and external references that will not appear with PostScript.

Automatically produced on Tue Oct 30 12:57:35 CET 2001 by gustedt