From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,f2690a5e963b61b6
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!g47g2000cwa.googlegroups.com!not-for-mail
From: "MMM" <terekhov@emc.com>
Newsgroups: comp.lang.ada
Subject: Re: GCC 4.0 Ada.Containers Cursor danger.
Date: 12 Jul 2005 20:52:57 -0700
Organization: http://groups.google.com
Message-ID: <1121226777.362461.104520@g47g2000cwa.googlegroups.com>
References: <z--dnRI60_7j_lHfRVn-qw@megapath.net>
   <tyi72ga8ch55$.3tea03tbwrtx.dlg@40tude.net>
   <42cd064c$0$10817$9b4e6d93@newsread4.arcor-online.net>
   <k62rlp2n1ls3.1cnwufmnuit7v.dlg@40tude.net>
   <42cda8c4$0$22780$9b4e6d93@newsread2.arcor-online.net>
   <1u3hh2597i4ne$.1ryetugksbmus.dlg@40tude.net>
   <uslyp8mmb.fsf@earthlink.net>
   <1121093807.949660.274060@g44g2000cwa.googlegroups.com>
   <1121124248.600055.292320@f14g2000cwb.googlegroups.com>
   <1121137531.752285.44280@g44g2000cwa.googlegroups.com>
   <946e7$42d3c64d$4995421$28449@ALLTEL.NET>
   <1121179909.262566.192270@o13g2000cwo.googlegroups.com>
   <1121182524.007719.77090@z14g2000cwz.googlegroups.com>
   <1121193651.532277.179550@g14g2000cwa.googlegroups.com>
   <1121195560.962713.217640@o13g2000cwo.googlegroups.com>
   <1121197323.001169.250300@g43g2000cwa.googlegroups.com>
   <42d421d4$0$18018$9b4e6d93@newsread4.arcor-online.net>
NNTP-Posting-Host: 24.107.234.224
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1121226783 22026 127.0.0.1 (13 Jul 2005 03:53:03
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 13 Jul 2005 03:53:03 +0000 (UTC)
In-Reply-To: <42d421d4$0$18018$9b4e6d93@newsread4.arcor-online.net>
User-Agent: G2/0.2
Complaints-To: groups-abuse@google.com
Injection-Info: g47g2000cwa.googlegroups.com; posting-host=24.107.234.224;
   posting-account=0PrGnQwAAAAhG4fw_pPdaColajHpyOJW
Xref: g2news1.google.com comp.lang.ada:3608
Date: 2005-07-12T20:52:57-07:00
List-Id: <comp.lang.ada>

Georg Bauhaus wrote:
>
>  From the link you have given I can see that there are zillions
> of meanings of "order". AI 302 adds clarity by selecting no more than
Ok, try this one http://www.nist.gov/dads/HTML/totalorder.html

> two I think. A meaning in the very first sentences:
>
> "The library
> comprises sequence containers (vectors and lists), for inserting
> elements at
> specified positions, and associative containers (sets and maps), which
> position
> elements in order by key."
>
> That is, positioning (a necessary implementation mechanism) is by key.
Why this mechanism is necessay? From mathematical (as well as
computer science) point of view ordered set and ordered map is a
special case. From implementation point of view ordering by key is
just one possible solution.

> Later, the text introduces a sort order, and ordered associative
> containers. So perhaps "order" is overloaded in the AI to mean
> sorting and positioning depending on contenxt?
As I understand it, in mathematics "sorted" is a synonym for "ordered".
Fortunately, according to Simon, my understanding is in agreement
with English this time ;)

Mikhail