<html>
<font size=3>At 11:13 AM 6/7/2003 -0400, Stewart C. Russell wrote:<br>
<blockquote type=cite class=cite cite>Herbert Gintis wrote:<br>
<blockquote type=cite class=cite cite>... the language he wrote it in is
a complete mess. ...&nbsp; the<br>
absence of real floating point</blockquote><br>
you don't want floating point in typesetting software. The tiniest
precision difference can make a line break differently, which can make a
page throw differently, which can wreck the pagination of a whole
book.</font></blockquote><x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</x-tab>Different
users want different things. TeX lacks graphics support. When I wrote
graphics routines for TeX, I had to import a floating point package, and
it worked, though it's incredibly clunky to use.<br>
<x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</x-tab>Try
drawing curves, circles, etc. without floating point!<br>
<x-tab>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</x-tab>The power
should be in the software, and the user can decide whether to take
advantage of it, I think.<br><br>
Herb<br><br>
<br>
<x-sigsep><p></x-sigsep>
<font size=3>Herbert
Gintis&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<br>
Emeritus Professor of Economics, University of
Massachusetts&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<br>
External Faculty, Santa Fe Institute, Santa Fe, NM <br>
15 Forbes Avenue, Northampton, MA 01060 <br>
413-586-7756&nbsp; (Home Office) 206-984-9873 (Fax)<br>
Recent papers are posted on my
<a href="http://www-unix.oit.umass.edu/~gintis">web site</a>.<br>
Get <b>Game Theory Evolving</b> (Princeton, 2000) at
<a href="http://www.isbn.nu/0691009430/amazon">Amazon.com</a>.<br><br>
</font></html>