[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Issue: REAL-NUMBER-TYPE (version 2)
- To: "Robert A. Cassels" <Cassels@STONY-BROOK.SCRC.Symbolics.COM>
- Subject: Re: Issue: REAL-NUMBER-TYPE (version 2)
- From: David N Gray <Gray@DSG.csc.ti.com>
- Date: Wed, 11 Jan 89 18:38:09 CST
- Cc: CL-Cleanup@Sail.Stanford.EDU
- In-reply-to: Msg of Sun, 8 Jan 89 11:29 EST from Robert A. Cassels <Cassels@STONY-BROOK.SCRC.Symbolics.COM>
- Sender: GRAY@Kelvin.csc.ti.com
> Proposal (REAL-NUMBER-TYPE:REAL):
>
> Add a standard type specifier
> (REAL low high)
> which means
> (OR (RATIONAL low high) (FLOAT low high))
...
> Proposal (REAL-NUMBER-TYPE:REALP):
>
> Add a specific data type predicate REALP which tests for membership in
> this type. [By analogy with NUMBERP.]
...
> Current Practice:
>
> Probably nobody does this.
Actually, both the REAL type and REALP predicate are already supported on the
TI Explorer and LMI Lambda.