From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: Fri, 26 Jul 91 14:28:45 CDT
From: dritz@antares.mcs.anl.gov
Subject: ARGUMENT_ERROR in NUMWG elementary functions spec
Message-ID: <9107261928.AA10039@papasun.mcs.anl.gov>
List-Id: <comp.lang.ada>

Yes, the specification for GENERIC_ELEMENTARY_FUNCTIONS defines an exception
called ARGUMENT_ERROR, which is raised when an argument to one of the functions
is outside the specified domain (for example, a negative argument to SQRT).

PostScript files for most of the proposed standards to come out of NUMWG and
A-ENWG (SIGAda Numerics Working Group and Ada-Europe Numerics Working Group),
along with accompanying rationales, are accessible by anonymous ftp in director
y
pub/ada/numwg-documents on Internet host info.mcs.anl.gov.  The ones currently
in place are:
   gef-proposal.ps      GENERIC_ELEMENTARY_FUNCTIONS  (approved by NRG and WG9)
   gef-rationale.ps     "
   gpf-proposal.ps      GENERIC_PRIMITIVE_FUNCTIONS   (approved by NRG and WG9)
   gpf-rationale.ps     "
   gcef-proposal.ps     GENERIC_COMPLEX_ELEMENTARY_FUNCTIONS   (still in NUMWG)
   gcef-rationale.ps    "
The proposal for packages of real and complex type declarations and basic
operations (including vector and matrix types), which will be called
gct-proposal.ps (for GENERIC_COMPLEX_TYPES, one of the packages covered), is no
t
yet in place and will not be for perhaps a few weeks, but its companion
rationale, gct-rationale.ps, *is* there now.  All these documents (and more)
will be in a special issue of Ada Letters edited by Jon Squire of Westinghouse,
planned for this fall.

Ken Dritz
Argonne National Laboratory