[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

This page is part of the web mail archives of SRFI 77 from before July 7th, 2015. The new archives for SRFI 77 contain all messages, not just those from before July 7th, 2015.

*To*: qrczak@xxxxxxxxxx*Subject*: Re: +nan.0 problems*From*: Aubrey Jaffer <agj@xxxxxxxxxxxx>*Date*: Sat, 22 Oct 2005 19:33:36 -0400 (EDT)*Cc*: srfi-77@xxxxxxxxxxxxxxxxx*Delivered-to*: srfi-77@xxxxxxxxxxxxxxxxx*In-reply-to*: <87zmp1tmd9.fsf@xxxxxxxxxxxxx> (qrczak@xxxxxxxxxx)*References*: <20051021145326.816C11B77BB@xxxxxxxxxxxxxxxxxxxxx> <20051021155906.GC16464@NYCMJCOWA2> <Pine.LNX.4.58.0510210910130.18969@xxxxxxxxxxxxxx> <20051022020312.GB5632@NYCMJCOWA2> <20051022163037.D2AFB1B77BB@xxxxxxxxxxxxxxxxxxxxx> <87zmp1tmd9.fsf@xxxxxxxxxxxxx>

| From: "Marcin 'Qrczak' Kowalczyk" <qrczak@xxxxxxxxxx> | Date: Sat, 22 Oct 2005 20:52:50 +0200 | | Aubrey Jaffer <agj@xxxxxxxxxxxx> writes: | | > The total order of the reals is a crucial property for many | > applications. | | It is well known that the default order on the floating point | approximation of reals is not total. From Wikipedia, the free encyclopedia. <http://en.wikipedia.org/wiki/Total_order> In mathematics, a total order, linear order or simple order on a set X is any binary relation on X that is antisymmetric, transitive, and total. This means that, if we denote the relation by <=, the following statements hold for all a, b and c in X: if a <= b and b <= a then a = b (antisymmetry) if a <= b and b <= c then a <= c (transitivity) a <= b or b <= a (totalness) Which condition does it violate?

**Follow-Ups**:**Re: +nan.0 problems***From:*Thomas Bushnell BSG

**References**:**arithmetic issues***From:*Aubrey Jaffer

**Re: arithmetic issues***From:*John.Cowan

**Re: arithmetic issues***From:*bear

**Re: arithmetic issues***From:*John.Cowan

**+nan.0 problems***From:*Aubrey Jaffer

**Re: +nan.0 problems***From:*Marcin 'Qrczak' Kowalczyk

- Prev by Date:
**Re: arithmetic issues** - Next by Date:
**Re: arithmetic issues** - Previous by thread:
**Re: +nan.0 problems** - Next by thread:
**Re: +nan.0 problems** - Index(es):