!standard 4.1 (11) 05-02-25 AI95-00415/02
!standard 3.2 (08)
!class presentation 05-02-07
!comment This is in the Amendment (AARM), but not yet approved.
!status Amendment 200Y 05-02-28
!status work item 05-02-07
!status received 05-02-07
!priority High
!difficulty Easy
!subject Presentation changes to the Standard
!summary
This AI corrects some minor errors noted in the Standard.
!question
1) "name" should be in the sans-serif font in 4.1(11).
2) "of" should be in the normal font in 3.2(8).
3) The C, COBOL, and Fortran standards all have been updated. We should
reference the most recent versions in 1.2.
4) Various mathematical terms are used in the standard, but there is no
definition of them. This is made worse by the vector/matrix packages, which
include terms probably not found in the dictionary ("inner product",
"Eigenvalue", and so on).
!recommendation
(See summary.)
!wording
(See corrigendum.)
!discussion
1) This was an editing error.
2) Italics are usually used to highlight new technical terms that we are
introducing. We certainly hope that "of" is not a technical term!
Argubly, "type of a subtype" and "constraint of a subtype" are terms that
are being defined, but since there are no index entries for any such terms,
they apparently aren't terms. Thus we just remove the italics.
3), Yes, we should reference the most recent versions of these standards.
4), We need to add a reference to a mathematical book. The CRC Concise
Encyclopedia of Mathematics is suggested.
We'll include an AARM note giving the book's ISBN (1584883472) and a web site
(www.mathworld.com) for additional reference.
!corrigendum 1.02(03)
@drepl
ISO/IEC 1539:1991, @i.
@dby
ISO/IEC 1539:2004, @i.
!corrigendum 1.02(04)
@drepl
ISO 1989:1985, @i.
@dby
ISO/IEC 1989:2002, @i.
!corrigendum 1.02(07)
@drepl
ISO/IEC 9899:1990, @i.
@dby
ISO/IEC 9899:1999, @i,
supplemented by Technical Corrigendum 1:2001 and Technical Corrigendum 2:2004.
!corrigendum 1.03(01)
@drepl
Terms are defined throughout this International Standard, indicated by
@i type. Terms explicitly defined in this International Standard are
not to be presumed to refer implicitly to similar terms defined elsewhere.
Terms not defined in this International Standard are to be interpreted
according to the @i. Informal descriptions of some terms are also given in Annex N,
"Glossary".
@dby
Terms are defined throughout this International Standard, indicated by
@i type. Terms explicitly defined in this International Standard are
not to be presumed to refer implicitly to similar terms defined elsewhere.
Mathematical terms not defined in this International Standard are to be
interpreted according to the @i. Other terms not defined in this International Standard are to
be interpreted according to the @i. Informal descriptions of some terms are also given in
Annex N, "Glossary".
!corrigendum 3.02(08)
@drepl
A @i of a given type is a combination of the type,
a constraint on values of the type, and certain
attributes specific to the subtype.
The given type is called the type @i the subtype.
Similarly, the associated constraint is called the
constraint @i the subtype. The set of values
of a subtype consists of the values of its type
that satisfy its constraint.
Such values @i to the subtype.
@dby
A @i of a given type is a combination of the type,
a constraint on values of the type, and certain
attributes specific to the subtype.
The given type is called the type of the subtype.
Similarly, the associated constraint is called the
constraint of the subtype. The set of values
of a subtype consists of the values of its type
that satisfy its constraint.
Such values @i to the subtype.
!corrigendum 4.01(11)
@drepl
The evaluation of a @fa determines the entity denoted by the
name. This evaluation has no other effect for a @fa that
is a @fa or a @fa.
@dby
The evaluation of a @fa determines the entity denoted by the
@fa. This evaluation has no other effect for a @fa that
is a @fa or a @fa.
!ACATS test
None needed.
!appendix
****************************************************************