Thread Links			Date Links
Thread Prev	Thread Next	Thread Index	Date Prev	Date Next	Date Index

Re: Multi-precision (was...Please give me advice)

To: John Pryce <j.d.pryce@xxxxxxxxxxxx>
Subject: Re: Multi-precision (was...Please give me advice)
From: Paul Zimmermann <Paul.Zimmermann@xxxxxxxx>
Date: Thu, 14 Oct 2010 16:52:35 +0200
Cc: stds-1788@xxxxxxxxxxxxxxxxx
Delivered-to: mhonarc@xxxxxxxxxxxxxxxx
In-reply-to: <1778472835.30844.1287067601080.JavaMail.root@xxxxxxxxxxxxxx> (message from John Pryce on Thu, 14 Oct 2010 16:46:41 +0200 (CEST))
List-help: <http://listserv.ieee.org/cgi-bin/wa?LIST=STDS-1788>, <mailto:LISTSERV@LISTSERV.IEEE.ORG?body=INFO%20STDS-1788>
List-owner: <mailto:STDS-1788-request@LISTSERV.IEEE.ORG>
List-subscribe: <mailto:STDS-1788-subscribe-request@LISTSERV.IEEE.ORG>
List-unsubscribe: <mailto:STDS-1788-unsubscribe-request@LISTSERV.IEEE.ORG>
References: <B5A84A27-852C-437C-B568-465D194A34A0@xxxxxxxxxxxx> <4C8BC4E5.7060108@xxxxxxxxxxxx> <6DEE582E17F440C68E8D817C2710C144@KLENDATHU> <1E4D16D0-AB19-4E5F-8B7C-6F5B6378977D@xxxxxxxxxxxx> <20100912140049.213908BFD34@xxxxxxxxx> <4CB1E3DB.7080309@xxxxxxxxxxxx> <4CB329BF.4030106@xxxxxxxxxxxx> <07F08CE89136499D8E6E12AAC913052C@KLENDATHU> <4CB360E8.9060106@xxxxxxxxxxxxx> <4CB408FB.5020009@xxxxxxxxxxxx> <20101012072718.AFAE01042956@xxxxxxxxx> <1399107812.178116.1286880432436.JavaMail.root@xxxxxxxxxxxxxx> <E1P5cU9-0007lW-Ks@xxxxxxxxxxxxxx> <472211537.180041.1286882789961.JavaMail.root@xxxxxxxxxxxxxx> <E1P5eQd-0007x3-6Y@xxxxxxxxxxxxxx> <125039272.5960.1287057915804.JavaMail.root@xxxxxxxxxxxxxx> <E1P6MxS-0000iq-8C@xxxxxxxxxxxxxx> <1778472835.30844.1287067601080.JavaMail.root@xxxxxxxxxxxxxx>
Sender: stds-1788@xxxxxxxx

       John,

> Being an inf-sup type is a level 2, not level 3 concept: Does the set of nonempty intervals supported comprise exactly all [xlo,xhi] where xlo,xhi belong to some given set F? 

no, as already pointed out, with xlo=0 and xhi=+Inf for example.

Paul

References:
- Motion on decoration bit to verify continuity
  - From: John Pryce
- Do I have a second? Re: Motion on decoration bit to verify continuity
  - From: Ralph Baker Kearfott
- Re: Do I have a second? Re: Motion on decoration bit to verify continuity
  - From: Nate Hayes
- Re: Do I have a second? Re: Motion on decoration bit to verify continuity
  - From: John Pryce
- Re: Do I have a second? Re: Motion on decoration bit to verify continuity
  - From: Dan Zuras Intervals
- Motion P1788/0023.01:NoMidRad -- VOTING PERIOD BEGINS
  - From: Ralph Baker Kearfott
- Re: Motion P1788/0023.01:NoMidRad -- VOTING PERIOD BEGINS
  - From: Arnold Neumaier
- Re: Motion P1788/0023.01:NoMidRad -- VOTING PERIOD BEGINS
  - From: Nate Hayes
- A suggestion regarding status change Re: Motion P1788/0023.01:NoMidRad -- VOTING PERIOD BEGINS
  - From: R. Baker Kearfott
- Re: A suggestion regarding status change Re: Motion P1788/0023.01:NoMidRad -- VOTING PERIOD BEGINS
  - From: Arnold Neumaier
- Re: A suggestion regarding status change Re: Motion P1788/0023.01:NoMidRad -- VOTING PERIOD BEGINS
  - From: Dan Zuras Intervals
- Motion P1788/0023.01:NoMidRad withdrawn
  - From: Paul Zimmermann
- Re: Multi-precision (was...Please give me advice)
  - From: Paul Zimmermann

Prev by Date: Re: Question on performance
Next by Date: Re: Multi-precision (was...Please give me advice)
Previous by thread: Re: Multi-precision (was...Please give me advice)
Next by thread: Re: A suggestion regarding status change Re: Motion P1788/0023.01:NoMidRad -- VOTING PERIOD BEGINS
Index(es):
- Date
- Thread